Branches of Philosophy
Logic
Citation Formats
General Reference
APA Style
BibTeX
The branch of philosophy that studies the principles of valid inference: what makes one claim follow from another, and what distinguishes a sound argument from a merely persuasive one. Aristotle's Organon, especially the Prior Analytics, set out the theory of the syllogism and dominated logical study in the West for roughly two thousand years, until the nineteenth and early twentieth century work of Boole, Frege, and Russell reconstructed logic on a formal, symbolic footing and connected it to the foundations of mathematics. Logic underlies every other branch of philosophy in a specific sense: metaphysics, epistemology, and ethics all proceed by argument, and logic is the study of what makes an argument good independently of its subject matter.
Facts
Central QuestionWhat makes an inference valid: what relation must hold between premises and a conclusion for the conclusion to follow of necessity? 1 Key DebateWhether classical logic's own laws, bivalence and the law of excluded middle among them, are fixed and universal or genuinely open to revision: intuitionistic, many-valued, and paraconsistent logics have all been proposed as legitimate rivals to the classical system rather than as mere curiosities, reopening whether logic is discovered whole or built to purpose. 1 Disputed
Key DebateLogical pluralism versus logical monism: whether classical logic is the single correct account of valid inference, or whether distinct logics, classical, intuitionistic, relevance and paraconsistent among them, can each be correct for different subject matters or purposes. 1 JC Beall and Greg Restall's defense of logical pluralism reopened a question earlier logicians treated as closed in favor of classical logic alone. Cross-Tradition Connections
Associated With
Includes
Hegel's Science of Logic (1812 to 1816) recasts logic itself as a dialectical development of categories, the branch his method is most directly at home in.
In the Other Atlases
Sources
1. Stanford Encyclopedia of Philosophy
Stanford University, Center for the Study of Language and Informationentry: Classical LogicQuote, entry: Classical Logic
Typically, a logic consists of a formal or informal language together with a deductive system and/or a model theoretic semantics.
1. Stanford Encyclopedia of Philosophy
Stanford University, Center for the Study of Language and Informations.v. Classical LogicQuote, s.v. Classical Logic
Typically, a logic consists of a formal or informal language together with a deductive system and/or a model-theoretic semantics. The language has components that correspond to a part of a natural language like English or Greek.
1. Stanford Encyclopedia of Philosophy
Stanford University, Center for the Study of Language and Informations.v. Paraconsistent LogicQuote, s.v. Paraconsistent Logic
A logical consequence relation is explosive if according to it any arbitrary contradiction A, not-A entails any arbitrary conclusion B (ex contradictione quodlibet (ECQ)). Classical logic, and most standard non-classical logics too such as intuitionist logic, are explosive.
1. Stanford Encyclopedia of Philosophy
Stanford University, Center for the Study of Language and Informations.v. Logical PluralismQuote, s.v. Logical Pluralism
Logical pluralism is the view that there is more than one correct logic. Logics are theories of validity: they tell us which argument forms are valid. Different logics disagree about which forms are valid.
1. Stanford Encyclopedia of Philosophy
Stanford University, Center for the Study of Language and InformationIncludes: AristotleView the Source 1. Stanford Encyclopedia of Philosophy
Stanford University, Center for the Study of Language and InformationAssociated With: Aristotle, entry: Aristotle's LogicView the Source 1. Stanford Encyclopedia of Philosophy
Stanford University, Center for the Study of Language and InformationAssociated With: Ludwig Wittgenstein, entry: WittgensteinView the Source Reader Challenges (0 open reader challenges)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.
View At A Past Year
The atlas records no dated fact of its own for this entry, so there is no other year to choose.