Logic
Aristotle wrote his Organon in the 4th century BCE, establishing term logic as the dominant system of reasoning for over two thousand years. His work introduced the hypothetical syllogism and temporal modal logic to Western thought. In India, the Nyaya school treated inference as a source of knowledge called pramana. This approach followed perception of an object and tried to arrive at conclusions about its cause. The Mohist school in China also acknowledged the importance of language for logic while relating ideas to ethics. Gongsun Long proposed the white horse paradox, defending the thesis that a white horse is not a horse. Ibn Sina founded Avicennian logic which replaced Aristotelian logic as the dominant system in the Islamic world during the Middle Ages. He developed an original temporally modalized syllogistic theory involving temporal logic and modal logic.
Gottlob Frege published his Begriffsschrift in 1879, marking what many see as the birthplace of modern logic. This work introduced quantifiers and relational predicates using formal language instead of natural language. George Boole invented Boolean algebra as a mathematical system of logic around the same period. Charles Peirce developed the logic of relatives alongside these pioneers. Alfred North Whitehead and Bertrand Russell condensed many insights in their Principia Mathematica. First-order logic became the standard system of modern logic due to its analytical generality. It allowed the formalization of mathematics and drove investigation into set theory. Gottfried Wilhelm Leibniz's idea of a universal formal language served as a forerunner to these developments. The shift from natural language to formal language represented a hallmark of this new symbolic approach.
Intuitionistic logic uses the same symbols as classical logic but excludes rules like double negation elimination. This rule states that if a sentence is not not true then it is true. In intuitionistic logic this inference becomes invalid because truth is established by verification using a proof. Jan Łukasiewicz and Stephen Cole Kleene proposed ternary logics with a third truth value representing indeterminate statements. Fuzzy logics have an infinite number of degrees of truth represented by real numbers between 0 and 1. Graham Priest advocates paraconsistent logics which can deal with contradictions without triggering the principle of explosion. These systems reject basic intuitions of classical logic such as bivalence or the law of excluded middle. Modal logic introduces operators expressing possibility and necessity to apply logic to fields beyond mathematics. Deontic logic concerns ethics while temporal modal logic articulates relations across time.
Inductive arguments make their conclusion probable rather than ensuring its truth through premises alone. Observations showing all ravens seen so far are black lead to the generalization that all ravens are black. Abductive arguments infer the best explanation for given premises in everyday discourse. A plate with breadcrumbs in the kitchen suggests a house-mate had a midnight snack too tired to clean up. This conclusion is justified because it offers the most likely explanation compared to alternatives like a burglar breaking in. Ampliative reasoning plays a central role in scientific inquiry where conclusions may be false even if all premises hold true. The support provided comes in degrees ranging from strong likelihood to weak uncertainty. Induction often relies on statistical considerations while abduction focuses on explanatory power regardless of statistics.
Fallacies represent flaws in reasoning leading to incorrect conclusions despite potentially true outcomes. John Stuart Mill gave a restrictive definition requiring fallacies to appear correct to distinguish them from careless mistakes. Formal fallacies find error in argument structure such as denying the antecedent in conditional statements. Informal fallacies locate errors in content or context including ambiguity, presumption, and relevance issues. Douglas N. Walton's dialogical approach sees arguments as speech acts occurring within specific contexts like business negotiations. Dialogues function as games of persuasion where each player attempts to convince opponents through valid moves. Fallacies violate standards governing proper argumentative rules depending on dialogue type. The epistemic approach treats logic as expanding knowledge by linking justified beliefs to unproven ones. Bayesianism interprets reasoning as changing subjective probabilities called credences based on incoming information.
Set theory originated in Georg Cantor's study of the infinite during the late 19th century. His work generated challenging issues including Cantor's theorem and the status of the Axiom of Choice. Computability theory studies effective procedures using Turing machines to determine if problems can be solved algorithmically. Logicism pursued reducing mathematics to logical tautologies through projects by Frege, Whitehead, and Russell. Russell's paradox crippled Frege's project while Gödel's incompleteness theorems defeated Hilbert's program. Model theory examines mathematical properties of formal systems through set-theoretic constructions. Proof theory investigates whether algorithms exist to find proofs for every formula within a system. Metalogicians compare syntax determining deductions with semantics defining truth values across possible worlds.
Claude Shannon showed how Boolean logic could implement computer circuits using electronic logic gates. Voltage levels represent truth values while inputs determine output function values through transistor arrangements. Automatic theorem provers construct proofs step-by-step from premises without human intervention. Prolog serves as a logic programming language designed to express facts using predicate logic formulas. Formal semantics applies model theory to natural language expressions examining truth conditions in specific situations. Richard Montague and Barbara Partee focused their analysis on English language meaning compositionality. Quantum mechanics insights have been argued to refute distributivity principles suggesting quantum logic might replace classical logic. These computational applications demonstrate how abstract logical formalisms translate into practical technological implementations today.
Continue Browsing
Common questions
When did Aristotle write his Organon and what system of reasoning did it establish?
Aristotle wrote his Organon in the 4th century BCE, establishing term logic as the dominant system of reasoning for over two thousand years. His work introduced the hypothetical syllogism and temporal modal logic to Western thought.
What year did Gottlob Frege publish his Begriffsschrift and why is it significant?
Gottlob Frege published his Begriffsschrift in 1879, marking what many see as the birthplace of modern logic. This work introduced quantifiers and relational predicates using formal language instead of natural language.
How does intuitionistic logic differ from classical logic regarding truth verification?
Intuitionistic logic uses the same symbols as classical logic but excludes rules like double negation elimination because truth is established by verification using a proof. In this system, the inference that if a sentence is not not true then it is true becomes invalid.
Who proposed the white horse paradox and what was the thesis defended?
Gongsun Long proposed the white horse paradox while defending the thesis that a white horse is not a horse. The Mohist school in China also acknowledged the importance of language for logic while relating ideas to ethics.
When did Georg Cantor originate set theory and what issues did his study generate?
Set theory originated in Georg Cantor's study of the infinite during the late 19th century. His work generated challenging issues including Cantor's theorem and the status of the Axiom of Choice.