Truth-Maker Semantics for Intuitionistic Logic

Kit Fine

Research output: Contribution to journalArticlepeer-review

54 Citations (Scopus)
1 Downloads (Pure)

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.
Original languageEnglish
Pages (from-to)549-577
JournalJournal of Philosophical Logic
Volume43
Issue number2-3
Early online date1 May 2013
DOIs
Publication statusPublished - 1 Jun 2014

Keywords

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

Fingerprint

Dive into the research topics of 'Truth-Maker Semantics for Intuitionistic Logic'. Together they form a unique fingerprint.

Cite this