Does adopting a non-classical logic mean classical logic is wrong?

Not necessarily. Some philosophers are logical pluralists who hold that classical and non-classical logics are each correct for different purposes or domains, while revisionists argue one system is genuinely correct. Often a non-classical logic is offered as the right logic for a specific phenomenon such as vagueness or inconsistency rather than as a wholesale replacement.

Non-Classical Logics

Non-classical logics challenge one or more of classical logic's assumptions — bivalence, excluded middle, explosion — to better model vagueness, constructive proof, relevance, and inconsistency.

Εύρεση θέματος με το PaperMindΣύντομαFind papers & topics

Tools & resources

Λήψη διαφανειών

Learn & explore

ΒίντεοΣύντομα

Definition

A non-classical logic is a system of logical consequence that rejects or modifies at least one principle of classical logic — such as bivalence, the law of excluded middle, the law of non-contradiction, or ex falso quodlibet — typically for philosophical reasons.

Scope

This area surveys the major systems that depart from classical logic and the philosophical motivations for them. It covers intuitionistic logic and its rejection of excluded middle on constructivist grounds, many-valued and fuzzy logics that abandon bivalence to handle vagueness, relevance and paraconsistent logics that restrict or reject the inference from contradiction to anything, and free logic that revises the classical treatment of non-denoting terms and existence.

Sub-topics

Core questions

Which classical principle should be given up, and on what grounds?
Is the choice of logic answerable to metaphysics, meaning, or mathematical practice?
Can rejecting a classical law be a genuine disagreement about logic or merely a change of subject?
How do these systems handle vagueness, constructive proof, and inconsistency?

Key concepts

bivalence
law of excluded middle
ex falso quodlibet (explosion)
constructive proof
degrees of truth
truth-value gaps and gluts

Key theories

Meaning-theoretic case for revision: Dummett argues that a theory of meaning grounded in verification rather than truth conditions favours intuitionistic over classical logic, making the choice of logic answerable to the philosophy of language.
Logical revisionism vs. conservatism: Haack frames the debate over whether anomalies such as vagueness, the semantic paradoxes, and quantum phenomena justify revising classical logic, distinguishing genuinely rival logics from mere supplements.

History

Non-classical logics arose in the early twentieth century: Brouwer's intuitionism and Lukasiewicz's many-valued systems in the 1920s, relevance logic from the 1950s (Anderson and Belnap), and paraconsistent logics later. Dummett reframed the issue as one in the theory of meaning, while Priest and Haack systematized the field and its motivations.

Debates

Is logic revisable?: Whether the laws of classical logic are immune to revision or, as Quine's web-of-belief picture and Dummett's meaning-theoretic arguments suggest, can be rationally given up in response to philosophical or empirical pressure.

Key figures

L. E. J. Brouwer
Arend Heyting
Michael Dummett
Graham Priest
Susan Haack
Jan Lukasiewicz

Seminal works

priest2008
haack1978
dummett1991

Frequently asked questions

Does adopting a non-classical logic mean classical logic is wrong?: Not necessarily. Some philosophers are logical pluralists who hold that classical and non-classical logics are each correct for different purposes or domains, while revisionists argue one system is genuinely correct. Often a non-classical logic is offered as the right logic for a specific phenomenon such as vagueness or inconsistency rather than as a wholesale replacement.