Truth-Maker Semantics for Intuitionistic Logic

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

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

Categories

Keywords

Reprint years

DOI

10.1007/s10992-013-9281-7

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
A new semantics for intuitionistic predicate logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.
Expressing Second-order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
On adopting Kripke semantics in set theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.
On the complexity of propositional quantification in intuitionistic logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
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.
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic.Linda Postniece - unknown
Constructive logic, truth and warranted assertability.Greg Restall - 2001 - Philosophical Quarterly 51 (205):474-483.
Algebraic Kripke sheaf semantics for non-classical predicate logics.Nobu-Yuki Suzuki - 1999 - Studia Logica 63 (3):387-416.
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.

Analytics

Added to PP
2013-05-02

Downloads
553 (#31,417)

6 months
20 (#126,159)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Kit Fine
New York University

Citations of this work

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

View all 75 citations / Add more citations

References found in this work

Inquisitive Semantics.Ivano Ciardelli, Jeroen Groenendijk & Floris Roelofsen - 2018 - Oxford, England: Oxford University Press. Edited by J. A. G. Groenendijk & Floris Roelofsen.
Constructivism in mathematics: an introduction.A. S. Troelstra - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.
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 9 references / Add more references