0
$\begingroup$

This question already has an answer here:

Are all definitions or axioms in logic biconditional (iff) statements? It would make sense to me that they would be. A lot of times I will read a definition though and it won't be written as an iff. Just curious as to why they are or aren't.

$\endgroup$

marked as duplicate by Carl Mummert logic Aug 28 '17 at 12:20

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • $\begingroup$ I should say particularly in propositional calculus the $\iff$ $\endgroup$ – W. G. Aug 26 '17 at 20:14
  • $\begingroup$ Axioms need not be. Definitions are always of the form: When we use this word we mean precisely these conditions. If the conditions, then we use the word. If we use the word, then those conditions. Hence, the word iff the conditions. So definitions are if and only if statements. However in my opinion it seems very artificial and heavy handed to present them as such unless one is using a purely logic framework. Otherwise assignment and identity seem more fundamental to me then logical conditionals. $\endgroup$ – fleablood Aug 26 '17 at 20:15
  • $\begingroup$ Why wouldn't axioms be then? I mean I read a post from awhile back that they are treated which seemed to be identically from a logic stand point. $\endgroup$ – W. G. Aug 26 '17 at 20:21
  • $\begingroup$ Why would they be? An axiom is any statement taken to be without proof. The statement could be ... anything. So if my axiom is "all dogs are fish" that's not an if and only if statement. $\endgroup$ – fleablood Aug 26 '17 at 20:26
  • $\begingroup$ Axioms are list of things we want our objects to satisfy. There is absolutely no reason to require that they are biconditional. When somebody asks me what kind of coffee I want, I usually say: 1) I want black coffee. 2) I want no sugar. These are the two axioms of "coffee I like". Notice that they are not biconditional, yet perfectly describe what I want. Could you give example of axioms that are in form of biconditional and some axiom that is not, but you feel should be? $\endgroup$ – Ennar Aug 26 '17 at 20:32
2
$\begingroup$

Definitions in mathematics always go in both directions. For example, when we say we define $X$ to be a Riemann surface if it is a one-dimensional complex manifold, we really mean iff here. However, it is traditional in English to write definitions using if instead of iff, and most books still use if, though there are some which use iff. The same goes for axioms if we are defining something using axioms. For example, when we say we define $G$ to be a group if it satisfies the group axioms, we really also mean iff here.

$\endgroup$
  • $\begingroup$ However, individual axioms my indeed be conditionals, rather than biconditionals. $\endgroup$ – Jim H Aug 26 '17 at 22:32
  • $\begingroup$ Nice answer but did you mean two-dimensional instead of one-dimensional? $\endgroup$ – Giorgio Mossa Aug 27 '17 at 8:08
  • $\begingroup$ @WillHunting Ahhhhh I see, so you were talking of holomorphic manifolds. Thanks for clarifying. ;-) $\endgroup$ – Giorgio Mossa Aug 27 '17 at 12:34
  • $\begingroup$ Of course, definitions are not "really" biconditional in the sense that, apart from the definition itself, there is no way to prove (for example) that a Riemann surface is a one-dimensional complex manifold. Both "if" and "iff" in definitions are abbreviations for something other than a conditional or biconditional, although in English it can appear similar. $\endgroup$ – Carl Mummert Aug 28 '17 at 12:17
1
$\begingroup$

Definitions, yes. Axioms not necessarily.

Note that when we are looking for a definition of $X$, we ask: "What are the necessary and sufficient conditions for something to be an $X$?"

If $P$ is a sufficient condition for $Q$, we write $P \rightarrow Q$

If $P$ is a necessary condition for $Q$, we write $Q \rightarrow P$

So, if $P$ is a necessary and sufficient condition for $Q$, we get $(P \rightarrow Q) \land (Q \rightarrow P)$, which is of course just $P \leftrightarrow Q$

So that's where the biconditional comes from in case of definitions.

Axioms can be used to capture definitions as well, in which case we call the definitional axioms. But not all axioms express definitions.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.