Logic
Part of the series on Logic and rhetoric 
Key articles 
General logic 
Bad logic 
“”Logic, my dear Zoe, merely enables one to be wrong with authority.

—The Doctor, Doctor Who (The Wheel in Space) 
Logic is the formal study, and use, of the interrelationship between statements in order to determine whether arguments yield useful, coherent and correct results, or bullshit. Logic is a useful guide to thinking as it is neutral to properties of things and focuses only on their relationships and what that implies. It is easy when examining a matter to get distracted by what pleases you about it or by the positive social effects believing in a statement's truth might have. Logic abstracts from contents that would make one think that way and can therefore direct our thoughts and others in a more helpful direction.
A logical argument has a conclusion which follows from its premises. Arguments come in two types, deductive and inductive.
In a good inductive argument the truth of the premises renders the conclusion likely, though not certain. Such an argument is described as strong. But further evidence could be added which would weaken an inductive argument so that even if the premises were true the conclusion would no longer be likely.
In a good deductive argument the truth of the premises absolutely guarantees the truth of the conclusion. Such an argument is valid. It is literally impossible for the premises of a valid argument to be true while the conclusion is false. No matter what other facts crop up, the premises imply the conclusion, thus a valid argument is a good deal more powerful than a merely strong one. What you're really after, though, is a sound argument: a sound argument combines validity with true premises. Since true premises guarantee a true conclusion in a valid argument, and the premises are true, the conclusion of a sound argument must be true as well.
(Although we call all sorts of things "valid" to mean they make good sense, in technical logical terms only a whole argument can be valid or invalid, not an individual statement. This makes sense because validity is a property of arguments and inferences, not of statements. On the other hand, we sometimes call arguments true or false. But, in logical terms, only individual statements, never whole arguments, are true or false. Truth and falsity come into play with respect to arguments when we consider the property of arguments called soundness. In short, an argument is sound if and only if it is (1) valid and (2) its premises are in fact true.)
The validity of an argument is determined by its structure. Where the argument structure breaks down is known as a formal logical fallacy. Of course, many other things can be wrong with an argument, such as it having misleading premises or missing the point entirely. Such errors are informal. Valid deductive arguments can be constructed with entirely false premises. Such arguments have a solid logical structure and can make interesting hypothetical cases, or they can just be not even wrong.
Traditional (Aristotelian) and propositional logic has as an operating assumption that all statements which aren't nonsense are either true or false. For instance, 2 + 2 = 4 is true, 37 = 84.6 is false. Extensions to logic include further possible values for a statement. Extending it like this isn't entirely as ludicrous as it sounds (contrast with paraconsistent logic); for example, threevalued logic poses three states of "true", "false" and "unknown". Further extensions suggest that there are (technically) infinite states, such as observed in fuzzy logic, where a proposition has specific degrees of truth represented by real number values in [0,1]. However, fuzzy logic should not be confused with Bayesianism. Though fuzzy truth values and probability values are real numbers in [0,1] and both fuzzy logic and Bayesian reasoning are tools for inductive reasoning, fuzzy truth values are truth functional whereas probability values are not. By truth functional it is meant that the truth of compound logical statements like 'The ball is blue or it is orange' is determined by the truths of the atomic propositions 'The ball is blue' and 'The ball is orange' and the truth conditions of the logical operator (in this case the disjunction 'or'). To see the difference between fuzzy truth values and probability values, consider the following: Given a fair die, let A stand for 'you roll a 1, 2, or 3' and let B stand for 'you roll a 4, 5 or 6'. The Pr(A) = .5 and the Pr(A and A) = .5. However, while the Pr(A) = Pr(B) = .5, the Pr(A and B) = 0. On the other hand, in fuzzy logic, since it is truth functional, if A stands for 'The ball is blue' and B stands for 'The ball is orange' and the ball is exactly half blue and half orange, then the truth value of A = B = .5 and the truth value of 'A and B' = 1.
(These logical systems need not be in conflict, however. Fuzzy logic and Bayesian reasoning are tools for inductive reasoning, and the value they assign to a statement represents the confidence we should have in its truth, which is very different from its actual truth. Thus these systems assigning a partial value to a statement is compatible with the statement itself being simply true (or simply false) as traditional logic dictates.)
Contents
Formal logic[edit]
In formal logic, any natural language used in an argument is reduced to abstract symbolism, with the results looking pretty much like equations in algebra or set theory. At its core, logic is the process of boiling down statements into pieces so that each individual step is unobjectionable. Indeed, looking at a single logical step, one might be forgiven for thinking logic is nothing more than stating the obvious, and has no practical use! Yet on another level, that is exactly what it is  each step is unobjectionable, but when placed together we can derive far more complicated ideas and know that they're right because each little jump is "obvious". This abstraction allows the clear and concise analysis of the content of the argument  i.e., not getting bogged down in things like "well it depends on what the definition of 'is' is".
A simple example would be modus ponens, which at a formal level is written like this (where p and q are variables ranging over propositions):
Formal logic is also known as symbolic logic or mathematical logic. It forms part of mathematics, and is often considered the foundational discipline upon which the rest of mathematics can be built.
Formal logic is not a single system, but rather many, with competing and contrary principles; the discipline concerns itself with studying the properties of these different logical systems, both as an endinitself (pure mathematics), but also to try to find which formal system best reflects our preexisting intuitive ideas of what is "logical".
Logical systems can be distinguished on the basis of which types of statements they concern themselves with:
 propositional calculus is concerned with the relationships between propositions, but not the internal structure of those propositions
 predicate calculus breaks propositions down into subject and predicate, and provides quantifiers (all, some). It is broken up into firstorder predicate calculus, which can assert that entities have properties, but cannot talk about those assertions or properties themselves; and higherorder predicate calculus, which enables assertions to be made about propositions and predicates.
 type theory extends predicate calculus with the notion that entities belong to certain types; restrictions are imposed on what can be said about entities of different types, to avoid paradoxes such as Russell's paradox
 modal logic is concerned with the notions of necessity and possibility.
 temporal logic formalizes temporal statements, and provides past, present and future tense (and aspect also)
There is one particular approach to logic which is known as classical, since it is the most popular approach, and the one which is generally presented first in textbooks. This approach is based on certain assumptions, such as the law of the excluded middle (everything is either true or not true, but not neither) and the law of noncontradiction (nothing can be both true and false simultaneously). Nonclassical logics question some of the assumptions of classical logic:
 nonreflexive logic: allows for violations of or restrictions on the law of identity, such as ^{} "Schr?dinger logics"^{[1]}
 substructural logic: permits fewer rules of inference than those permitted in classical propositional calculus
 relevance logic: attempts to better model our informal ideas of implication, by insisting the premise must be relevant to the conclusion (a type of substructural logic)
 linear logic: a system of logic based on the idea of constrained resources (a type of substructural logic)
 paracomplete logic: denies or restricts the law of the excluded middle (every statement must be either true or not true); the chief example is intuitionistic logic, which is inspired by the mathematical movements of intuitionism/constructivism
 manyvalued logic: denies the principle of bivalence (every statement is either true or false); distinct from paracomplete logics, as manyvalued logics can still validate the Law of the Excluded Middle
 paraconsistent logic: rejects the principle of explosion; permits valid reasoning from contradictory premises. (All relevance logics are paraconsistent, but not all paraconsistent logics are relevant)
 infinitary logic: whereas classical logic only permits finitelength propositions and finitelength proofs, infinitary logic allows propositions and proofs of infinite length
 quantum logic: a system of logic used to reason about quantum mechanical systems
The constitution of logic[edit]
The study of logic tries to relate formal logic to natural language argumentation. This has led to an old classification of the activities of the justification into parts, some of which are:
 semantics: The validity of an argument depends upon the meaning or semantics of the sentences that make it up
 inference: The account of how one moves from premises to conclusions in formal and natural language argumentation
 logical form: The identification of the kinds of inference used in argumentation and their representation in formal logic
These activities have remained part of logic since the times of Aristotle's Organon, although their nature has changed during the various revolutions that have happened in the subject.
Reason and rhetoric[edit]
Rarely are arguments outside of formal logic classes presented in a way that can be readily abstracted. This is usually because a formalized rendition makes for poor natural language, and often would require stating many things considered "obvious". The dangers come when logical fallacies sneak their way in, disguised by the way natural languages are conjugated and expressed, and when the "obvious" assumptions that are only implied or taken for granted are themselves false, or at least debatable. The study of logic without formalisms is known as informal logic.
When good arguments are assembled into highquality rhetorical speech, they form robust and even brilliant presentations. When poor arguments are disguised by translation into rhetoric, they will usually employ fallacies which may seem convincing for one who is not trained in understanding arguments. An example is technical jargon used by apologists to make it seem like what they say is somehow based on more truth than it actually is. Lots of websites are guilty of this when it comes to science too, donning the metaphorical white coat of the respected profession of science to dress woo arguments like they are based on scientific facts rather than PIDOOMAs.
Using what logic teaches[edit]
While it is often difficult to directly analyze arguments using formal techniques, it is worth the effort to at least try from time to time. This effort has the double reward of clarifying or refuting well or poorly constructed arguments, and reminding one how to construct a good argument oneself. A high quality argument could literally be footnoted or deconstructed in an appendix, expressing every element it contains at a formal level.
See also[edit]
Want to read this in another language?[edit]
External links[edit]
 , from Great Issues in Philosophy, by James Fieser (University of Tennessee at Martin)
References[edit]
  from the abstract: "Nonreflexive logics are logics in which the principle of identity does not hold in general"