Truth-Maker Semantics for Intuitionistic Logic

Research output: Contribution to journalArticlepeer-review


Colleges, School and Institutes


I propose a new semantics for intuitionistic logic, which is a cross between the construction-oriented semantics of Brouwer-Heyting-Kolmogorov and the condition-oriented semantics of Kripke. The new semantics shows how there might be a common semantical underpinning for intuitionistic and classical logic and how intuitionistic logic might thereby be tied to a realist conception of the relationship between language and the world.


Original languageEnglish
Pages (from-to)549-577
JournalJournal of Philosophical Logic
Issue number2-3
Early online date1 May 2013
Publication statusPublished - 1 Jun 2014


  • intuitionism, institutionistic logic, forcing, construction, realism, truthmaker, truthmaking, conditional realism