Truth-Maker Semantics for Intuitionistic Logic
Research output: Contribution to journal › Article
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.
|Journal||Journal of Philosophical Logic|
|Early online date||1 May 2013|
|Publication status||Published - 1 Jun 2014|
- intuitionism, institutionistic logic, forcing, construction, realism, truthmaker, truthmaking, conditional realism