Journal of Philosophical Logic 43 (2-3):549-577 (2014)

Authors
Kit Fine
New York University
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  Intuitionistic logic  Forcing  Construction  Realism  Truthmaker  Truthmaking  Conditional  Realism
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10992-013-9281-7
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,290
Through your library

References found in this work BETA

Inquisitive Semantics.Ivano Ciardelli, Jeroen Groenendijk & Floris Roelofsen - 2018 - Oxford, England: Oxford University Press.
Modality and Tense: Philosophical Papers.Kit Fine - 2005 - Oxford, England: Oxford University Press.
Facts and Tautological Entailments.Bas C. Van Fraassen - 1969 - Journal of Philosophy 66 (15):477-487.

View all 8 references / Add more references

Citations of this work BETA

Angellic Content.Kit Fine - 2016 - Journal of Philosophical Logic 45 (2):199-226.
Aboutness in Imagination.Franz Berto - 2018 - Philosophical Studies 175 (8):1871-1886.
A Theory of Truthmaker Content I: Conjunction, Disjunction and Negation.Kit Fine - 2017 - Journal of Philosophical Logic 46 (6):625-674.
HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.

View all 64 citations / Add more citations

Similar books and articles

Negationless Intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
On Adopting Kripke Semantics in Set Theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.
Explicit Provability and Constructive Semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
Semi-Intuitionistic Logic.Juan Manuel Cornejo - 2011 - Studia Logica 98 (1-2):9-25.
The Coherence of Antirealism.Charles McCarty - 2006 - Mind 115 (460):947-956.
Reference and Perspective in Intuitionistic Logics.John Nolt - 2006 - Journal of Logic, Language and Information 16 (1):91-115.
Constructive Logic, Truth and Warranted Assertability.Greg Restall - 2001 - Philosophical Quarterly 51 (205):474-483.
On Logics with Coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.

Analytics

Added to PP index
2013-05-02

Total views
496 ( #18,533 of 2,519,274 )

Recent downloads (6 months)
15 ( #52,858 of 2,519,274 )

How can I increase my downloads?

Downloads

My notes