Michael Dummett

Sir Michael Anthony Eardley Dummett (27 June 1925 – 27 December 2011) was a British philosopher whose work in the philosophy of language, philosophy of logic, and philosophy of mathematics provided a new foundation for intuitionistic logic independent of Brouwer’s original mentalist philosophy. Dummett argued that the choice between classical and intuitionistic logic is fundamentally a question about the theory of meaning — about what it is to understand a statement — rather than a question about the nature of mathematical objects.

Core ideas

• Anti-realism and the theory of meaning: Dummett’s central argument is that a theory of meaning based on verification-transcendent truth conditions is untenable. If the meaning of a sentence is its truth conditions, and those truth conditions may forever outstrip all possible evidence, then a speaker’s grasp of meaning cannot be fully manifested in behavior. Meaning must instead be tied to what can be recognized as warranting assertion — that is, to proof or verification. This yields a “verificationist” or “anti-realist” theory of meaning.
• The manifestation argument: understanding a sentence requires the ability to recognize what would count as evidence for or against it. If truth can transcend all possible evidence, then speakers are attributed a cognitive capacity (grasping truth conditions that may never be verified) that can never be displayed. A theory of meaning must be based on what speakers can do — and what they can do is recognize proofs and grounds for assertion.
• Logical consequence: if meaning is constituted by assertibility conditions (proof) rather than truth conditions, then valid inference is what preserves warranted assertibility, not what preserves truth. The valid inferences under this conception are those of intuitionistic logic, not classical logic.
• Generality beyond mathematics: unlike Brouwer, Dummett’s argument applies to any domain where verification-transcendent truth claims arise — empirical claims about the past, counterfactuals, claims about other minds, and ethical statements. Intuitionism, on Dummett’s reading, is not a peculiarity of the philosophy of mathematics but a consequence of taking the theory of meaning seriously.

Significance for this research

Dummett’s meaning-theoretic argument for intuitionism connects the formal apparatus of Heyting algebras to questions about language, communication, and understanding. If meaning is constituted through constructive interpretive acts rather than fixed by truth conditions, then the semiotic universe’s Heyting-algebraic foundation is not merely a mathematical choice but a philosophical necessity: the semantic values of signs are determined by what interpretive processes can construct, not by an independent partition of the world into true and false.

Dummett’s work also bridges analytic philosophy of language and intuitionistic logic, making the connection between semiotics and constructive mathematics more than analogical.

Notable works

• “Truth” (1959)
• Frege: Philosophy of Language (1973)
• “The Philosophical Basis of Intuitionistic Logic” (1975)
• Elements of Intuitionism (1977; 2nd ed. 2000)
• Truth and Other Enigmas (1978)
• The Logical Basis of Metaphysics (1991)

Related

• L. E. J. Brouwer — whose intuitionism Dummett re-grounded in meaning theory
• Arend Heyting — whose formal system Dummett’s philosophy interprets
• Mathematical constructivism — the philosophical tradition
• Law of excluded middle — the classical principle Dummett’s argument challenges
• Intuitionistic Logic — the school Dummett’s philosophy supports