Truth-Maker Semantics for Intuitionistic Logic

Kit Fine

doi:10.1007/s10992-013-9281-7

Truth-Maker Semantics for Intuitionistic Logic

Kit Fine

Philosophy

Research output: Contribution to journal › Article › peer-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 language	English
Pages (from-to)	549-577
Journal	Journal of Philosophical Logic
Volume	43
Issue number	2-3
Early online date	1 May 2013
DOIs	https://doi.org/10.1007/s10992-013-9281-7
Publication status	Published - 1 Jun 2014

Keywords

intuitionism
institutionistic logic
forcing
construction
realism
truthmaker
truthmaking
conditional realism

Access to Document

10.1007/s10992-013-9281-7Licence: None: All rights reserved

https://link.springer.com/article/10.1007/s10992-013-9281-7Licence: None: All rights reserved

Cite this

@article{28fdbb0883df4634b6c153c3d50e3304,

title = "Truth-Maker Semantics for Intuitionistic Logic",

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.",

keywords = "intuitionism, institutionistic logic, forcing, construction, realism, truthmaker, truthmaking, conditional realism",

author = "Kit Fine",

year = "2014",

month = jun,

day = "1",

doi = "10.1007/s10992-013-9281-7",

language = "English",

volume = "43",

pages = "549--577",

journal = "Journal of Philosophical Logic",

issn = "0022-3611",

publisher = "Springer",

number = "2-3",

}

TY - JOUR

T1 - Truth-Maker Semantics for Intuitionistic Logic

AU - Fine, Kit

PY - 2014/6/1

Y1 - 2014/6/1

N2 - 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.

AB - 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.

KW - intuitionism

KW - institutionistic logic

KW - forcing

KW - construction

KW - realism

KW - truthmaker

KW - truthmaking

KW - conditional realism

U2 - 10.1007/s10992-013-9281-7

DO - 10.1007/s10992-013-9281-7

M3 - Article

SN - 0022-3611

VL - 43

SP - 549

EP - 577

JO - Journal of Philosophical Logic

JF - Journal of Philosophical Logic

IS - 2-3

ER -

Truth-Maker Semantics for Intuitionistic Logic

Abstract

Keywords

Access to Document

Fingerprint

Cite this