The Laws of Classical Logic

==The Laws of Classical Logic==
Classical logic rests upon a foundation of axioms. The axioms of classical logic, are a set of a priori abstractions that humans glean from pure reason, in order to make categorical syllogisms; their existence is contingent upon sentient brains. Some may argue, like myself, that these laws have correlates to basic laws of metaphysics1 and that this accounts for the 'utility' of logic, but it does not follow that logical rules are rules for the universe - they are rules for arguments that may or may not mirror basic metaphysics. The universe isn't subject to any laws of logic at all. The universe merely exists. However, because I feel there is a clear relationship between the metaphysical status of these concepts and their application to logic, I will address both concepts in my definitions.
==The Axioms of Classical Logic==
The Law of Identity: Metaphysically, this law asserts that "A is A" or "anything is itself." For propositions: "If a proposition is true, then it is true."
The Law of the Excluded Middle: Metaphysically, this law asserts "anything is either A or not A." For propositions: "A proposition, such as P, is either true or false." We also refer to such statements as "tautologies"
The Law of Noncontradiction: Metaphysically, this law asserts:: "Nothing can be both A and not-A." For propositions: "A proposition, P, can not be both true and false."
All of our syllogisms rely on these laws - that any thing is equal to itself, that tautologies must be true, and that contradictions must be false. Classical logic holds that everything has a definite, non-contradictory nature. A metaphysical law of identity would hold that to be perceived or even exist at all it must have a definite, non-contradictory nature. 
==Self Evident Nature of Axioms==
Seeing as axioms are the foundation to classic logic, it is not possible to use classical logic to justify them anymore than it would be possible to use a building's second floor as its foundation. Any attempt to do so is doubly folly, seeing as the axioms of logic, as well as logic itself, is prescriptive, not descriptive. It's not a element of the universe that we need to verify as true or false, it is a system. In addition, any natural attempt to give logic a psychological justification would be viciously circular, since all reasoning, including that to produce the justification, already assumes the validity of logical rules of inference.
Finally, Aristotle found any attempt to logically justify axioms as unnecessary: he held that the axioms of classical logic are self evident. It was said that they are are self evident because 1) all syllogisms rely on them, and 2) because they can be defended through retortion.
A defense through retortion occurs whenever an argument must rely upon the very principle it seeks to challenge or overturn. Any attempt to form a syllogism to refute the axioms of classical logic will have to rely on the very axioms it seeks to overturn, leading to an implicit avocation of the axiom, which leads to a self refutation (we call this type of self refutation the Stolen concept fallacy.) See the Informal Fallacies section for more on this.
==Necessity and Contingency==
An understanding of axioms can be further advanced if the concepts of necessity and contingency are introduced. A proposition is said to be a necessary proposition if it's negation necessarily entails a contradiction. Axioms are considered to be necessary propositions.
A proposition is said to be a contingent proposition if it can be either true or false. As we will learn later, Categorical Propositions are one type of statement that can be either true or false.
==Controversy==
While some logicians refer to these axioms as the "Three laws of thought", implying that all cognition relies on them, it is important to realize that this presumption is false: not all logical systems rely on these axioms (although they may in fact be implied within them), and some logical systems do not rely on axioms at all. Other forms of logic, such as Propositional Logic instead rely on rules or definitions defined within the system, such as Well Formed Formular.
Greg Lopez writes that:
the so-called "laws of logic" are not necessary to create an axiomatic formal logic: they are, however, derivable theorems of certain systems. Such systems which do not assume the "laws of logic" can be found in E. Mendelson's "Introduction to Mathematical Logic," as well as S.C. Kleene's "Mathematical Logic." To be clear, I freely admit that the axioms and rules of inference for both of these systems were designed so as to imply the "laws of logic." I still disagree with assertions, however, that these laws are fundamental axioms to all logical thought, and need not be defended or proposed as such.
==What these axioms are NOT==
These axioms are axioms for classical logic. Not all thought or even all logic.
It is also important to avoid conflating or confusing the so called laws of thought with set of nomological (Physical) laws for the universe. Logic is not cosmology. It is not descriptive of how the universe works'. It is prescriptive: it sets forth a method of examining arguments.
The universe is not 'logical' (or illogical), it merely is. When a star radiates within a certain spectrum of light, appearing to us as "red" this is simply due to this physical cause and not due to its 'adherence' to logic.
It is also important not to confuse classical logic with psychology. The so called laws of thought are not rules for human behavior, they don't even cover all human thought: in our dreams, we are able to imagine contradictions, like being both the victim and the attacker, or being both young and old at the same time - human thought contains rational, irrational and non rational thought - both logic and emotions, impulses and instincts.
Finally, there is no reason to hold that these axioms are "immaterial", or transcendental. Such claims are matters of theology or dualistic philosophy, and are merely incidental issues in logic qua logic. These claims are usually based on arguments from ignorance. An incomplete physical account for abstractions is not a positive argument for an immaterial account for abstractions. Second, 'immateriality' is a negative concept, and a negative definition devoid of a universe of discourse, is meaningless. Unless someone can show how something immaterial can exist, how something immaterial can act without violating the principle of conservation of energy and how something immaterial can interact with physical brains, then the claim that these logical laws that people create are transcendent or immaterial remains incoherent.
Those taking the Course in Logic 101 will want to proceed to the next section: The Difference Between Believing and Knowing Alternatively, students may wish to at least peruse the following section.
==For Advanced Students==
The following section delves into the matter of axioms more deeply, and requires knowledge of symbolic logic. Those following the Course in Logic 101 will learn everything required to grasp this section in later lessons, and can skip this section for now, if desired.
As stated above, some logical systems to not require any axioms at all. For example, the set of axioms for the sentential, or propositional, logic is {} - the empty set!
So how does such a system "get off the ground"?
It creates a set of rules, defined within the system:
Let the set of English capital letters be well-formed formular (WFFs), which may be appended
by zero to an infinite amount of primes to indicate different WFFs
If A and B are WFFs, then (A v B) is a WFF
If A and B are WFFs, then (A & B) is a WFF
If A is a WFF, then (~A) is a WFF
If A and B are WFFs, then define (A -> B) to be ((~A) v B)
If A and B are WFFs, then define (A <-> B) to be ((A -> B) & (B ->A))
No other strings are WFFs
That defines our "grammar" for our fake little language that will turn into the propositional logic.
Now define 21 rules of inference to allow us to move between WFFs:
Then we define a function that maps each propositional variable to two values: "True" or "false" (or 1 and 0, or "your mom" and "your dad" - it doesn't matter from a formal point of view).
Then come the soundness (if you can derive a string from a set of strings above, then it must be "true") and completeness (all "true" strings can be derived from the rules above) proofs, and we're done! The system is both sound and complete.
All this in much more detail can be found at:
http://www.algebra.com/algebra/about/history/Propositional-logic.wikipedia#Axioms
The point is that there can be no axioms in this logic, the most basic of all modern logics (there are other formulations that do have axioms, though): everything is definitional. And how does one argue with a definition? My point is: the answer to the question "why doesn't everyone accept the axioms of logic?" is that it can be the case that there's nothing to accept. Literally.
This system even allows us to create a proof for the law of non contradiction:
Proof (by reductio):
1) (A & ~A) [Proposition]
2) A [Conjunction elimination from 1]
3) ~A [Conjunction elimination from 1]
4) ~(A & ~A) [Reductio, 1 - 3]
QED
This is a proof of the Law of Noncontradiction (LNC) using the simplest logical system there is, which is called sentential, or Propositional Logic. The rules used in the proof were cited in square brackets. The LNC is line 4 of the proof. In short, the argument shows that the LNC is derivable from logic in the most rigorous way possible: a deductive proof.
This said, there are cases where certain logics don't "work" (for example, "all men are mortal, Socrates is a man, therefore Socrates is mortal" is an invalid argument under the logic given above. I'll leave it as an exercise for the interested to figure out why)2.
Those taking the Course in Logic 101 will want to proceed to the next section: The Difference Between Believing and Knowing
Footnotes
1. Metaphysics is a term applied to one of the works of Aristotle; and it has to do with theories concerning how existence itself 'works'. The only grounds requires for any basic metaphysical system is the existence of sentient brains. A sentient brain would glean basic metaphysical axioms, necessarily (and at least implicitly), in the process of thought. As for the question of where sentient brains 'come from' this is a question well outside the purview of both logic an metaphysics, it's a question of biology and, perhaps cosmology.
2. Ok, here's the answer: http://en.wikipedia.org/wiki/First-order_logic
Propositional logic is not adequate for formalizing valid arguments that rely on the internal structure of the propositions involved. For example, a translation of the valid argument
* All men are mortal * Socrates is a man * Therefore, Socrates is mortal 
into propositional logic yields
* A * B * therefore C 
which is invalid, as there is no connection between the premises and the conclusion.
References
Copi, I. M, Cohen, C., (2001), "Introduction to Logic", 11th Edition.
Lopez, G. "Where are the Laws of Thought" Retrieved from the World Wide Web on June 18, 2007
http://www.infidelguy.com/forumarchives/modules.php?name=Boards&file=viewtopic&t=5581&start=10
Category:Logic