Necessity and Logic
1. The Principle of Contradiction. The principle says, basically, that if something is contradictory it is false, and hence if the negation of something is contradictory, then the thing is true.
o The principle contains a number of different sub-principles. For instance, at one point Leibniz breaks it up into:
o Non-contradiction (strictly speaking): p is not both true and false
o Bivalence: either p is true or p is false.
o Leibniz doesn’t give us a proof of the proposition. He takes it to be crucial and self-evident. It’s interesting to note that some logicians deny bivalence—and manage to do a lot of things without it.
o There are other basic rules Leibniz gives. For instance, not-not-p being p, etc. It seems that Leibniz uses “Principle of Contradiction” as a catch-all title for all purely logical rules, other than purely self-evident assertions such as the concept of a horse is not the concept of a chair.
o Leibniz rightly sees the principle as at the heart of the method of proof known as reductio ad absurdum. Suppose we want to prove something. We can prove it by showing that its negation implies a self-contradiction. Any proof can be put in this way. Here’s a modern example. Some numbers are rational, in that they can be written in the form n/m where n and m are integers. Suppose we want to show: Sometimes an irrational number raised to an irrational power is rational. We can prove it by reductio ad absurdum. Suppose this is false. Then, whenever an irrational number is raised to an irrational power, the answer is irrational. Thus, Ö2Ö2 is irrational. Hence, (Ö2Ö2)Ö2 is also irrational. But (Ö2Ö2)Ö2=Ö2Ö2×Ö2=Ö22=2. Hence it is false that whenever an irrational number is raised to an irrational power and it is true (by assumption). Hence, we have a contradiction, and so the proof is complete: we have shown that assuming the negation of the claim we are to prove leads to a contradiction.
o Anything that can be proved by means of the principle of contradiction is to be called a logically necessary truth. A proposition that can’t thus be proved or disproved is logically contingent. A contingent truth is a truth that can’t be proved by means of the principle of contradiction.
2. The second principle is the Principle of Sufficient Reason (PSR).
3. Free will.
4. “What is independent of sense and matter”
5. Copernicus
and “hypotheses”.