Live briefing
Everything about Classical logic
Class of formal logics
Classical logic or Frege–Russell logic is the intensively studied and most widely used class of deductive logic. Classical logic has had much influence on analytic philosophy. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Classical logicA 5-minute orientation
- Skim a recent paper: Fuzzy logic-based DDoS attacks and network traffic anomaly detection methods: Classification, overview, and future perspectivesInfluential work since 2022
- Pick up a classic book: Alice's Adventures in WonderlandThe most-reprinted book on the subject
- Read the landmark paper: Proof Nets for Classical LogicCited 32 times
- Go sideways: Algebraic logicA closely related topic
- Go sideways: History of logicA closely related topic
📖 Definitions
Noun A kind of logic based on the principles that each proposition has a truth value of either "true" or "false", but not both, and that if a proposition were to be both true and false or neither true nor false then a result would be that all propositions would be both true and false.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Proof Nets for Classical Logic
Classical logic without bivalence
First-Order Classical Modal Logic
Classical foundations of quantum logic
Default reasoning using classical logic
CUT FOR CLASSICAL CORE LOGIC
Hilbert's ?-operator and classical logic
Noncontractive Classical Logic
🆕 Influential since 2022
Fuzzy logic-based DDoS attacks and network traffic anomaly detection methods: Classification, overview, and future perspectives
A Fundamental Non-Classical Logic
Classical Logic is not Uniquely Characterizable
ON THREE-VALUED PRESENTATIONS OF CLASSICAL LOGIC
Getting some (non-classical) closure with justification logic
📚 Books worth reading
Alice's Adventures in WonderlandLewis Carroll · 1865
Alice's Adventures in Wonderland / Through the Looking GlassLewis Carroll, Lucy Etheldred Broadwood · 1881
La PoeticaAristotle · 1479
ἹστορίαιἩρόδοτος · 1494
EssaysFrancis Bacon · 1618
The Complete Works of Lewis CarrollLewis Carroll · 1900
Alice's Adventures in Wonderland / Through the Looking-Glass / The Hunting of the SnarkLewis Carroll · 1924
The experience of literatureLionel Trilling, William Shakespeare · 1967
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Algebraic logic In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables. What is now usually called classical algebraic…
- History of logic The history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in India…
- Logical connective In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is an operator that combines or modifies…
- Principle of bivalence In logic, the semantic principle (or law) of bivalence states that every declarative sentence expressing a proposition (of a theory under inspection) has…
- Outline of logic Logic is the formal science of using reason and is considered a branch of both philosophy and mathematics and to a lesser extent computer science. Logic…
- Propositional logic Propositional logic is a branch of classical logic. It is also called statement logic, sentential calculus, propositional calculus, sentential logic, or…
- Mathematical object A mathematical object is an abstract entity arising in mathematics. Typically, a mathematical object can be a value that can be assigned to a symbol, and…
- Logical consequence Logical consequence (also entailment or logical implication) is a fundamental concept in logic which describes the relationship between statements that…