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

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,667

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

A new semantics for intuitionistic predicate logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.
Inquisitive Intuitionistic Logic.Wesley H. Holliday - 2020 - In Nicola Olivetti & Rineke Verbrugge, Advances in Modal Logic, Vol. 11. College Publications. pp. 329-348.
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.Norihiro Kamide, Yaroslav Shramko & Heinrich Wansing - 2017 - Studia Logica 105 (6):1193-1219.
Basic Intuitionistic Conditional Logic.Yale Weiss - 2019 - Journal of Philosophical Logic 48 (3):447-469.
A Reinterpretation of the Semilattice Semantics with Applications.Yale Weiss - 2021 - Logica Universalis 15 (2):171-191.
Truthmaker Semantics for Intuitionistic Modal Logic.Jon Erling Litland - forthcoming - Topoi.
Another Neighbourhood Semantics for Intuitionistic Logic.Morteza Moniri & Fatemeh Shirmohammadzadeh Maleki - forthcoming - Logic Journal of the IGPL.
A secondary semantics for Second Order Intuitionistic Propositional Logic.Mauro Ferrari, Camillo Fiorentini & Guido Fiorino - 2004 - Mathematical Logic Quarterly 50 (2):202-210.
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
A Semantic Hierarchy for Intuitionistic Logic.Guram Bezhanishvili & Wesley H. Holliday - 2019 - Indagationes Mathematicae 30 (3):403-469.

Analytics

Added to PP
2013-05-02

Downloads
618 (#46,795)

6 months
30 (#119,139)

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 84 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 & Dirk Van Dalen - 1988 - Amsterdam: North Holland. Edited by D. van Dalen.
Modality and Tense: Philosophical Papers.Kit Fine - 2005 - Oxford, England: Oxford University Press.
Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley, Formal Systems and Recursive Functions. Amsterdam,: North Holland. pp. 92-130.
Facts and tautological entailments.Bas C. Van Fraassen - 1969 - Journal of Philosophy 66 (15):477-487.

View all 10 references / Add more references