How do we say that two logically equivalent definitions are not semantically equivalent?

Question

This is a question of terminology (and also relates to philosophy).

Very often we have a certain term, such as "differentiable function", and then we have a definition:

(1) def. A differentiable function is a function such that ...

Then we have a theorem stating

(2) theorem. A function is differentiable iff ...

If this theorem has a correct proof, then we could also have made (2) into a definition, and state that (1) and (2) are "equivalent" definitions.

However, we cannot simply assume that they are equivalent. This has to be proven.

---

Now my question is one of terminology: Is there an accepted simple term or phrase that captures the fact that "these two definitions are logically equivalent, but they are not semantically the same definition so that their logical equivalence requires a proof"?

---

For example, I'm thinking of something like "these two semantically independent definitions are equivalent".

A comparison with analytical philosophy might clarify: Frege's concept of "sense" and "reference": it may be that the Evening star and the Morning star are in fact the same particular planet Venus (they have the same reference), but as they are perceived by us, they have different identities (they have different senses). It then requires (physical) proof that they have the same reference. Similarly, our definitions may have the same reference (they refer to the same subset of functions, i.e. are equivalent), but they do not have the same sense (the definitions are different in terms of the meaning they convey when we read them). Hence it requires (mathematical) proof that the two definitions with different 'senses' (meanings), in fact are logically equivalent (have the same 'reference').

Answer 1

You could have said that they are equivalent definition, but that may not as strict as only one of them would be a definition and the other being a theorem.

If we want to be strict the most concise way is to decompose the definition and theorem first. They are of the form:

$$\phi\overset{def}\equiv\psi_{def}$$ $$\phi\Leftrightarrow\psi_{thm}$$

what one would do is to start with a theorem that says that $\psi_{def}\equiv\psi_{thm}$, if needed there can be a lot of statements that are equivalent. At this point we are only talking about equivalent statements. After this we introduce the definition (which can use any chosen statement).

What I've seen is that the parts of a definition as above has it's separate name. One call $\phi$ the definiendum and $\phi_{def}$ the differentiae. In similar way we would call $\phi$ and $\psi_{thm}$ the sides of the equivalence (of the theorem). That way we can say that the sides of the theorem are equivalent to the differentiae of the definition (or isolated that $\psi_{thm}$ is equivalent with the differentiae). However I find that somewhat clumsy and the term is not that usually used in mathematics anyway.

Answer 2

Extended comment: I have sometimes seen definitions presented in the following alternate manner:

(1) Theorem. For a function $f$, the following are equivalent: ____, ____, ____.

(2) Definition. A function is differentiable if it satisfies any one of the equivalent conditions in Theorem (1).

Such a style is nice because it ties the definition to all the equivalence theorem, and immediately allows using all the equivalent conditions interchangeably. Conceptually, it prevents the reader from thinking of differentiable as a single statement and instead a concept that has a number of equivalent formulations. (I don't know a term for this type of presentation; however, maybe it is along the lines of what you're asking for.)

On the other hand, there are important cases in mathematics where different words are used for different definitions, by convention, despite the fact that the definitions end up being equivalent. For example, we conceptually distinguish between holomorphic and analytic complex functions. Similarly in logic we distinguish the single turnstile $\vdash$ (proof-theoretic entailment) from the double turnstile $\vDash$ (semantic entailment), due to the fact that there is a priori no reason for them to agree, and then we prove a big "soundness and completeness" result stating their equivalence for some system.

There are also cases where one definition generalizes, and another does not, so it's important to use the one that generalizes. For example, I do not like when some authors define a compact set of real numbers as one that is closed and bounded; such a definition sets the reader up for failure later on in understanding what compact means in a general topological space.

Answer 3

Let's test your idea:

Theorem: A function is differentiable iff it is not not differentiable.

So then, is "not not differentiable" a good definition of differentiable?