Truth-Maker Semantics for Intuitionistic Logic

Research output: Contribution to journalArticle

Authors

Colleges, School and Institutes

Abstract

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.

Details

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

Keywords

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