Classical Logic

© All Rights Reserved

27 views

Classical Logic

© All Rights Reserved

- Koch, Epistemopathology
- Liz15
- Logica - Basic Logic Symbols
- A Brief History of Natural Deduction (Pelletier)
- Indian Logic for AI system Design : Presented at Vigyan Bharati Seminar at IISc- Bangalore in 2006
- Nothingness
- Theory of Falsification and Its Evolution
- Final Examination in PhilosophyLogic
- 1342083149-1
- Uncertain Evaluation for an Ultrasonic data fusion based target differentiation problem using Generalized Aggregated Uncertanty measure 2
- 1966 - Popper - Objective Knowledge
- 02 TPSI 2010 Discrete Mathematics
- jill hatanakas website peer review
- AR2592
- HN ATC Notes Module 2 Part3
- lesson plan 3
- T1 Pri WB Math P5.pdf
- SS13A04303 Switching Theory and Logic Design
- Achilles and the Tortue
- Sundholm, Inference Versus Consequence

You are on page 1of 3

Classical logic

Classical logic identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well. They are characterised by a number of properties:[1] 1. 2. 3. 4. 5. Law of the excluded middle and Double negative elimination; Law of noncontradiction, and the principle of explosion; Monotonicity of entailment and Idempotency of entailment; Commutativity of conjunction; De Morgan duality: every logical operator is dual to another;

While not entailed by the preceding conditions, contemporary discussions of classical logic normally only include propositional and first-order logics.[2][3] The intended semantics of classical logic is bivalent. With the advent of algebraic logic it became apparent however that classical propositional calculus admits other semantics. In Boolean-valued semantics (for classical propositional logic), the truth values are the elements of an arbitrary Boolean algebra; "true" corresponds to the maximal element of the algebra, and "false" corresponds to the minimal element. Intermediate elements of the algebra correspond to truth values other than "true" and "false". The principle of bivalence holds only when the Boolean algebra is taken to be the two-element algebra, which has no intermediate elements.

Aristotle's Organon introduces his theory of syllogisms, which is a logic with a restricted form of judgments: assertions take one of four forms, All Ps are Q, Some Ps are Q, No Ps are Q, and Some Ps are not Q. These judgments find themselves if two pairs of two dual operators, and each operator is the negation of another, relationships that Aristotle summarised with his square of oppositions. Aristotle explicitly formulated the law of the excluded middle and law of non-contradiction in justifying his system, although these laws cannot be expressed as judgments within the syllogistic framework. George Boole's algebraic reformulation of logic, his system of Boolean logic; The first-order logic found in Gottlob Frege's Begriffsschrift.

Non-classical logics

Computability logic is a semantically constructed formal theory of computability, as opposed to classical logic, which is a formal theory of truth; integrates and extends classical, linear and intuitionistic logics. Many-valued logic, including fuzzy logic, which rejects the law of the excluded middle and allows as a truth value any real number between 0 and 1. Intuitionistic logic rejects the law of the excluded middle, double negative elimination, and the De Morgan's laws; Linear logic rejects idempotency of entailment as well; Modal logic extends classical logic with non-truth-functional ("modal") operators. Paraconsistent logic (e.g., dialetheism and relevance logic) rejects the law of noncontradiction; Relevance logic, linear logic, and non-monotonic logic reject monotonicity of entailment; In Deviant Logic, Fuzzy Logic: Beyond the Formalism, Susan Haack divided non-classical logics into deviant, quasi-deviant, and extended logics.

Classical logic

References

[1] Gabbay, Dov, (1994). 'Classical vs non-classical logic'. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson, (Eds), Handbook of Logic in Artificial Intelligence and Logic Programming, volume 2, chapter 2.6. Oxford University Press. [2] Shapiro, Stewart (2000). Classical Logic. In Stanford Encyclopedia of Philosophy [Web]. Stanford: The Metaphysics Research Lab. Retrieved October 28, 2006, from http:/ / plato. stanford. edu/ entries/ logic-classical/ [3] Haack, Susan, (1996). Deviant Logic, Fuzzy Logic: Beyond the Formalism. Chicago: The University of Chicago Press.

Further reading

Graham Priest, An Introduction to Non-Classical Logic: From If to Is, 2nd Edition, CUP, 2008, ISBN 978-0-521-67026-5 Warren Goldfard, "Deductive Logic", 1st edition, 2003, ISBN 0-87220-660-2

Classical logic Source: http://en.wikipedia.org/w/index.php?oldid=541383152 Contributors: AnakngAraw, Anonymous Dissident, Chalst, Fryed-peach, Good Olfactory, Gregbard, Guppyfinsoup, Hugo Herbelin, Jagged 85, Lambiam, Levineps, Logician2, MetaNest, Mhss, Muckapedia, Pcap, Qwertyus, Simeon, Soler97, Tijfo098, Tizio, 17 anonymous edits

License

Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/

- Koch, EpistemopathologyUploaded bybenjsher
- Liz15Uploaded byAnonymous 8erOuK4i
- Logica - Basic Logic SymbolsUploaded bypetroetpaulo2006
- A Brief History of Natural Deduction (Pelletier)Uploaded byFabio_Salgado
- Indian Logic for AI system Design : Presented at Vigyan Bharati Seminar at IISc- Bangalore in 2006Uploaded byProf. (Dr) Ananda M Ghosh.
- NothingnessUploaded byTalha Mahmood
- Theory of Falsification and Its EvolutionUploaded byCirineu Costa
- Final Examination in PhilosophyLogicUploaded byGary Muse
- 1342083149-1Uploaded byrgovindan123
- Uncertain Evaluation for an Ultrasonic data fusion based target differentiation problem using Generalized Aggregated Uncertanty measure 2Uploaded byMia Amalia
- 1966 - Popper - Objective KnowledgeUploaded byAdrian
- 02 TPSI 2010 Discrete MathematicsUploaded byAnonymous DA79TiGk
- jill hatanakas website peer reviewUploaded byapi-114772135
- HN ATC Notes Module 2 Part3Uploaded bysn.bharath8179
- lesson plan 3Uploaded byapi-241886359
- AR2592Uploaded byeocv20
- T1 Pri WB Math P5.pdfUploaded byteerapong onogk
- SS13A04303 Switching Theory and Logic DesignUploaded bysubbu
- Achilles and the TortueUploaded byLaurence Freitas
- Sundholm, Inference Versus ConsequenceUploaded byYasmiraToledo
- PerUploaded byGeomar Robilla
- r 035301040107Uploaded byInternational Journal of computational Engineering research (IJCER)
- An Outline of TheosophyUploaded byBeatrice Malaimare
- El inferencialismo de CarnapUploaded byelias
- Logical Consequence Notes 5Uploaded byelias
- argumentativoUploaded byDiego Emilio
- DMUploaded byria
- Lecture 1Uploaded byVIPUL SAINI
- Review of DavisUploaded byJohn Le Tourneux
- Rhetorical Analysis KatieBrownCommentsUploaded byAntonio Miller

- Summary of The Mind's I by Less WrongUploaded byAhmad Alhour
- Building an Optimizing CompilerUploaded byAhmad Alhour
- WYAH - Building a Modern Functional Compiler From First PrinciplesUploaded byAhmad Alhour
- Mov is Turing CompleteUploaded byaglobal2
- unleashing the idea-marketing book, seth godinUploaded byazaleea_rose
- LogicismUploaded byAhmad Alhour
- Summary of Complexity: a Guided TourUploaded byAhmad Alhour
- Diamond SutraUploaded byIlker özşekerli
- Discrete MathematicsUploaded byAhmad Alhour
- Descriptive Set TheoryUploaded byAhmad Alhour
- Intro to the Theory of ComputationUploaded byAhmad Alhour
- station islandUploaded bypiej1209
- Foundations of MathematicsUploaded byAhmad Alhour
- Liber 71Uploaded bym.a.a
- MUMONKAN - All 48 Koans With CommentariesUploaded byAhmad Alhour
- Psychology of Human MisjudgementUploaded byvahss_11
- Universal AlgebraUploaded byAhmad Alhour
- Algebraic StructureUploaded byAhmad Alhour
- Zen and WorkUploaded byAhmad Alhour
- graphtheoryUploaded byKhoa Pham
- Fuzzy LogicUploaded byAhmad Alhour
- Formal Predicate CalculusUploaded byAhmad Alhour
- Foundations of ProgrammingUploaded byiggix
- Category TheoryUploaded byAhmad Alhour
- Kant, Prolegomena to any Future MetaphysicUploaded byJoe Beccard
- Useful Algorithms ConceptsUploaded byAhmad Alhour
- Web2py CheatsheetUploaded byinsightsx

- McaUploaded byChris MacDonald
- e SolutionUploaded bydhashrath
- Strong Inference Platt 1964Uploaded by何青峰
- 3A65BECDd01Uploaded byAbdullah
- 4 Type-driven interpretation.pdfUploaded byMilosh Petrovic
- MUST READ INTEGRAL The-development-of-action-logics-Cook-Greuter.pdfUploaded byZaq Mosher
- Krieger - Creative Criticism- A Broader View of Symbolism (Sewanee Review, 1950)Uploaded bymarxbert
- Putnam-The Nature, Handout 8Uploaded bydssgss
- CosmologyUploaded byJacquie
- Semantics and Pragmatics 1Uploaded bySholastic
- Critique of NihilismUploaded bylauren
- Zen Style ProgrammingUploaded bynofestering7255
- Oneness and Manyness Buddhist Causality-wooUploaded bytamodeb2
- This is Not My Beautiful BiosphereUploaded byGabriela Rodríguez
- Gödel's Incompleteness Theorem Proof Short VersionUploaded byNikothePanda
- 1-20introduction-20to-20the-20study-20of-20language-20-281-29-131103104720-phpapp02.pptUploaded byMilena Sáenz
- The Logic of Schelling’s Freedom EssayUploaded byrcarturo
- Micat SampleUploaded byCharan Iyer
- Substance, Attribute, And Mode in SpinozaUploaded byLam Sin Wing
- MODULE 1 - PHILO1_What_is_Philosophy_by_Prof._AV_Pinpin-Macapinlac.pdfUploaded byGerald Getalado
- Branches of PhilosophyUploaded byFlorenio Mediavillo Jaballas
- SankaraUploaded byKoushik Kashyap
- mcc59Uploaded byVivek Parmar
- The Portable Chris LanganUploaded bydylancatlow
- Creative Intelligence, Essays in the Pragmatic Attitude - John Dewey (1917)Uploaded byWaterwind
- the miniature guide to critical thinking concepts toolsUploaded byapi-275315066
- Development of Level of Safety Using Fuzzy Logic System for Rear End Collisions Based on Microscopic Driving Behaviours.pdfUploaded byBasil
- L_1.pdfUploaded byALIKNF
- Sample Argument (Parik Sir)Uploaded byishaan_gautam
- Theoretical Computer Science an IntroductionUploaded byJeremy Hutchinson