# Do Ambivalent Axioms have a place in Mathematics?

I can't think of any examples of ambivalent axioms in mathematics (two ideas are ambivalent if there are sometimes conflicts between them), so please let me humor you with a strange example. Suppose someone was working on a mathematical theory of economies and wanted to account for everyone's perspective and also minimize harm. So in addition to these two axioms, "harm" and "perspective" and "valid" would have to be defined:

1) Do no harm 2) All perspectives are valid

So, in the theory, suppose you come to a point where you want to apply axiom 2 but it conflicts with axiom 1, for instance, a portion of the people have a perspective such that if their will were carried out without being moderated by the other peoples' perspective, there would be harm caused to people, some other life on the planet, or the ecosystem. Then what do you do to resolve this conflict? One solution is to "split" the theory into two branches, one in which you ignore 1, and the other in which you ignore the perspectives of that harm-causing group. There are other ways to do this too, but this is just a stupid example anyway.

So with that scenario in mind, when there are ambivalent axioms, the theory branches into a tree of results in a way that is unlike conventional mathematics.

So my questions are, have I made a brain fart? If not, could ambivalent-axiom theories be transformed into conventional non-ambivalent axiom theories after all definitions given? Would this help mathematics at all or is this solely the territory of other sciences like psychology and psychohistory? Is this abuse of the beautiful, well-tested mechanisms of mathematics, and if there were some conflicting idea in a theory it would enter the stage in another way like an "if statement."

My apologies for not thinking this through myself. I'm not in a mathy perspective lately and am lazy :D

-
In a logical system that obeys classical logic, if two axioms are "sometimes in conflict", i.e., if you can deduce contradictory answers from them, then you can prove anything; as such, any theory with "ambivalent axioms" would be inconsistent and hence uninteresting. There is plenty of work in studying how a "core" theory behaves under the addition of different axioms; e.g., ZF+Determinacy vs. ZF+Choice, so I don't see why you say that such a thing would be "unlike conventional mathematics" (unless you think Set Theory and Model Theory are not conventional mathematics). –  Arturo Magidin Oct 2 '11 at 5:58
Can someone please re-tag this? I'm really not sure how, but at least one tag seems completely off. –  Asaf Karagila Oct 2 '11 at 6:03
Psychohistory? As in, the field founded by Hari Seldon in the latter days of the First Galactic Empire?? –  Pete L. Clark Oct 2 '11 at 14:03

Mathematics which works with concrete ideas has some problem with conflicting axioms. Mostly because there is no such thing as a little bit of contradiction. You can only derive contradiction; and from it you can derive anything - which means theories in which there is a contradiction are not useful.

There are examples, however, to incompatible axioms (which is a better, and more common name than ambivalent). In set theory, there can be axioms which do not fit together as additional axioms of Zermelo-Fraenkel set theory.

Examples are:

1. $V=L$, Goedel's Axiom of Constructibility,
2. $AD$, The Axiom of Determinacy, which says that every game over the reals is determined.
3. $AC+\exists \kappa$ measurable, that is the combination of both the Axiom of Choice and the existence of a measurable cardinal.

Each pair of the three above is incompatible. However each one fits just fine with the rest of the ZF axioms.

(Although to be fair we do not know if ZF itself is consistent, and thus we cannot conclude the consistency of any of the combinations above; however assertions as the existence of a measurable cardinal are strong additions to the theory, and they can provide enough power to prove the consistency of ZF. Which means they cannot prove their own consistency, or else we would have a contradiction.)

There are many similar examples of how some axioms can be incompatible. However in many places mathematicians are interested in the implications, which gives them the freedom to assume the axioms they prefer.

Lastly, there is still the idea of Boolean-valued logic. In this logic we assign truth values which are not just $0,1$ (or True, False) but rather enrich the truth with further values. In this case a theorem may have truth value $a$, and another may have truth value $b$, while $a\land b=0$.

That is to say that we can prove two theorems which are both not false (which is different than being true, in this context) but the assumption of both is indeed false.

-
There have been some attempts, collectively known as paraconsistent logics, to construct logical systems that can deal with contradiction more gradually than exploding all at once. They are not intended to be used used as a basis for general mathematics, however -- but are available as one tool among many in mathematical modeling. –  Henning Makholm Oct 2 '11 at 7:10
@Henning: Thanks, I was not aware of this. –  Asaf Karagila Oct 2 '11 at 13:07