General 
By Branch/Doctrine 
By Historical Period 
By Movement/School 
By Individual Philosopher 

A huge subject broken down into manageable chunks 
Random Quote of the Day:

By Branch / Doctrine > Logic 

Logic (from the Greek "logos", which has a variety of meanings including word, thought, idea, argument, account, reason or principle) is the study of reasoning, or the study of the principles and criteria of valid inference and demonstration. It attempts to distinguish good reasoning from bad reasoning. Aristotle defined logic as "new and necessary reasoning", "new" because it allows us to learn what we do not know, and "necessary" because its conclusions are inescapable. It asks questions like "What is correct reasoning?", "What distinguishes a good argument from a bad one?", "How can we detect a fallacy in reasoning?" Logic investigates and classifies the structure of statements and arguments, both through the study of formal systems of inference and through the study of arguments in natural language. It deals only with propositions (declarative sentences, used to make an assertion, as opposed to questions, commands or sentences expressing wishes) that are capable of being true and false. It is not concerned with the psychological processes connected with thought, or with emotions, images and the like. It covers core topics such as the study of fallacies and paradoxes, as well as specialized analysis of reasoning using probability and arguments involving causality and argumentation theory. Logical systems should have three things: consistency (which means that none of the theorems of the system contradict one another); soundness (which means that the system's rules of proof will never allow a false inference from a true premise); and completeness (which means that there are no true sentences in the system that cannot, at least in principle, be proved in the system).
In Ancient India, the "Nasadiya Sukta" of the Rig Veda contains various logical divisions that were later recast formally as the four circles of catuskoti: "A", "not A", "A and not A" and "not A and not not A". The Nyaya school of Indian philosophical speculation is based on texts known as the "Nyaya Sutras" of Aksapada Gautama from around the 2nd Century B.C., and its methodology of inference is based on a system of logic (involving a combination of induction and deduction by moving from particular to particular via generality) that subsequently has been adopted by the majority of the other Indian schools. But modern logic descends mainly from the Ancient Greek tradition. Both Plato and Aristotle conceived of logic as the study of argument and from a concern with correctness of argumentation. Aristotle produced six works on logic, known collectively as the "Organon", the first of these, the "Prior Analytics", being the first explicit work in formal logic. Aristotle espoused two principles of great importance in logic, the Law of Excluded Middle (that every statement is either true or false) and the Law of NonContradiction (confusingly, also known as the Law of Contradiction, that no statement is both true and false). He is perhaps most famous for introducing the syllogism (or term logic) (see the section on Deductive Logic below). His followers, known as the Peripatetics, further refined his work on logic. In medieval times, Aristotelian logic (or dialectics) was studied, along with grammar and rhetoric, as one of the three main strands of the trivium, the foundation of a medieval liberal arts education. Logic in Islamic philosophy also contributed to the development of modern logic, especially the development of Avicennian logic (which was responsible for the introduction of the hypothetical syllogism, temporal logic, modal logic and inductive logic) as an alternative to Aristotelian logic. In the 18th Century, Immanuel Kant argued that logic should be conceived as the science of judgment, so that the valid inferences of logic follow from the structural features of judgments, although he still maintained that Aristotle had essentially said everything there was to say about logic as a discipline. In the 20th Century, however, the work of Gottlob Frege, Alfred North Whitehead and Bertrand Russell on Symbolic Logic, turned Kant's assertion on its head. This new logic, expounded in their joint work "Principia Mathematica", is much broader in scope than Aristotelian logic, and even contains classical logic within it, albeit as a minor part. It resembles a mathematical calculus and deals with the relations of symbols to each other.
Logic in general can be divided into Formal Logic, Informal Logic and Symbolic Logic and Mathematical Logic:
Deductive reasoning concerns what follows necessarily from given premises (i.e. from a general premise to a particular one). An inference is deductively valid if (and only if) there is no possible situation in which all the premises are true and the conclusion false. However, it should be remembered that a false premise can possibly lead to a false conclusion. Deductive reasoning was developed by Aristotle, Thales, Pythagoras and other Greek philosophers of the Classical Period. At the core of deductive reasoning is the syllogism (also known as term logic),usually attributed to Aristotle), where one proposition (the conclusion) is inferred from two others (the premises), each of which has one term in common with the conclusion. For example: Major premise: All humans are mortal. An example of deduction is: All apples are fruit. One might deny the initial premises, and therefore deny the conclusion. But anyone who accepts the premises must accept the conclusion. Today, some academics claim that Aristotle's system has little more than historical value, being made obsolete by the advent of Predicate Logic and Propositional Logic (see the sections below).
Inductive reasoning is the process of deriving a reliable generalization from observations (i.e. from the particular to the general), so that the premises of an argument are believed to support the conclusion, but do not necessarily ensure it. Inductive logic is not concerned with validity or conclusiveness, but with the soundness of those inferences for which the evidence is not conclusive. Many philosophers, including David Hume, Karl Popper and David Miller, have disputed or denied the logical admissibility of inductive reasoning. In particular, Hume argued that it requires inductive reasoning to arrive at the premises for the principle of inductive reasoning, and therefore the justification for inductive reasoning is a circular argument. An example of strong induction (an argument in which the truth of the premise would make the truth of the conclusion probable but not definite) is: All observed crows are black. An example of weak induction (an argument in which the link between the premise and the conclusion is weak, and the conclusion is not even necessarily probable) is: I always hang pictures on nails.
Modal Logic is any system of formal logic that attempts to deal with modalities (expressions associated with notions of possibility, probability and necessity). Modal Logic, therefore, deals with terms such as "eventually", "formerly", "possibly", "can", "could", "might", "may", "must", etc. Modalities are ways in which propositions can be true or false. Types of modality include:
Although Aristotle's logic is almost entirely concerned with categorical syllogisms, he did anticipate modal logic to some extent, and its connection with potentiality and time. Modern modal logic was founded by Gottlob Frege, although he initially doubted its viability, and it was only later developed by Rudolph Carnap (1891  1970), Kurt Gödel (1906  1978), C.I. Lewis (1883  1964) and then Saul Kripke (1940  ) who established System K, the form of Modal Logic that most scholars use today).
Propositional Logic (or Sentential Logic) is concerned only with sentential connectives and logical operators (such as "and", "or", "not", "if ... then ...", "because" and "necessarily"), as opposed to Predicate Logic (see below), which also concerns itself with the internal structure of atomic propositions. Propositional Logic, then, studies ways of joining and/or modifying entire propositions, statements or sentences to form more complex propositions, statements or sentences, as well as the logical relationships and properties that are derived from these methods of combining or altering statements. In propositional logic, the simplest statements are considered as indivisible units.
The Stoic philosophers in the late 3rd century B.C. attempted to study such statement operators as "and", "or" and "if ... then ...", and Chrysippus (c. 280205 B.C.) advanced a kind of propositional logic, by marking out a number of different ways of forming complex premises for arguments. This system was also studied by Medieval logicians, although propositional logic did not really come to fruition until the mid19th Century, with the advent of Symbolic Logic in the work of logicians such as Augustus DeMorgan (18061871), George Boole (18151864) and Gottlob Frege.
Predicate Logic allows sentences to be analysed into subject and argument in several different ways, unlike Aristotelian syllogistic logic, where the forms that the relevant part of the involved judgments took must be specified and limited (see the section on Deductive Logic above). Predicate Logic is also able to give an account of quantifiers general enough to express all arguments occurring in natural language, thus allowing the solution of the problem of multiple generality that had perplexed medieval logicians. For instance, it is intuitively clear that if: Some cat is feared by every mousethen it follows logically that: All mice are afraid of at least one catbut because the sentences above each contain two quantifiers ('some' and 'every' in the first sentence and 'all' and 'at least one' in the second sentence), they cannot be adequately represented in traditional logic. Predicate logic was designed as a form of mathematics, and as such is capable of all sorts of mathematical reasoning beyond the powers of term or syllogistic logic. In firstorder logic (also known as firstorder predicate calculus), a predicate can only refer to a single subject, but predicate logic can also deal with secondorder logic, higherorder logic, manysorted logic or infinitary logic. It is also capable of many commonsense inferences that elude term logic, and (along with Propositional Logic  see below) has all but supplanted traditional term logic in most philosophical circles. Predicate Logic was initially developed by Gottlob Frege and Charles Peirce in the late 19th Century, but it reached full fruition in the Logical Atomism of Whitehead and Russell in the 20th Century (developed out of earlier work by Ludwig Wittgenstein).
A logical fallacy is any sort of mistake in reasoning or inference, or, essentially, anything that causes an argument to go wrong. There are two main categories of fallacy, Fallacies of Ambiguity and Contextual Fallacies:
These are just some of the most commonly encountered types, the Internet Encyclopedia of Philosophy page on Fallacies lists 176!
A paradox is a statement or sentiment that is seemingly contradictory or opposed to common sense and yet is perhaps true in fact. Conversely, a paradox may be a statement that is actually selfcontradictory (and therefore false) even though it appears true. Typically, either the statements in question do not really imply the contradiction, the puzzling result is not really a contradiction, or the premises themselves are not all really true or cannot all be true together. The recognition of ambiguities, equivocations and unstated assumptions underlying known paradoxes has led to significant advances in science, philosophy and mathematics. But many paradoxes (e.g. Curry's Paradox) do not yet have universally accepted resolutions. It can be argued that there are four classes of paradoxes:
Paradoxes often result from selfreference (where a sentence or formula refers to itself directly), infinity (an argument which generates an infinite regress, or infinite series of supporting references), circular definitions (in which a proposition to be proved is assumed implicitly or explicitly in one of the premises), vagueness (where there is no clear fact of the matter whether a concept applies or not), false or misleading statements (assertions that are either willfully or unknowingly untrue or misleading), and halftruths (deceptive statements that include some element of truth). Some famous paradoxes include:
Three doctrines which may be considered under the heading of Logic are:


General  By Branch/Doctrine  By Historical Period  By Movement/School  By Individual Philosopher 