An Intensional Theory of Truth: An Informal Report

Philosophical Forum 51 (2):115-126 (2020)
  Copy   BIBTEX

Abstract

Saul Kripke’s theory of truth suffers from expressive limitations – in particular, there are no extensional operators within that framework that allow one to characterize those sentences that fail to receive a truth value within the framework. Especially worrisome is the fact that there is no operator that outputs true on exactly the paradoxical sentences. In this paper I extend Kripke’s approach via the addition of extensional operators, which allows us to characterize many (but not all) such sentences, including the paradoxical ones.

Categories

Keywords

Reprint years

DOI

10.1111/phil.12253

Links

PhilArchive



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

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

Truth and Collective Truth.Gilbert Plumer - 1996 - Dialectica 50 (1):3-24.
Stewart Shapiro. Introduction—intensional mathematics and constructive mathematics. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, vol. 113, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 1–10. - Stewart Shapiro. Epistemic and intuitionistic arithmetic. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 11–46. - John Myhill. Intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 47–61. - Nicolas D. Goodman. A genuinely intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 63–79. - Andrej Ščedrov. Extending Godel's modal interpretation to type theory and set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 81–119. - Robert C. Flagg. Church's. [REVIEW]Craig A. Smorynski - 1991 - Journal of Symbolic Logic 56 (4):1496-1499.
Austinian truth, attitudes and type theory ∗.Robin Cooper - unknown
Intensional verbs and their intentional objects.Friederike Moltmann - 2008 - Natural Language Semantics 16 (3):239-270.
An approach to intensional logic.Imre Ruzsa - 1981 - Studia Logica 40 (3):269 - 287.
Explicating the Notion of Truth Within Transparent Intensional Logic.Jiri Raclavsky - 2014 - In Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI). Cham, Switzerland: Springer. pp. 167-177.
Truth and Argument Evaluation.Patrick Bondy - 2010 - Informal Logic 30 (2):142-158.
Intensional models for the theory of types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
An interpretation of martin‐löf's constructive theory of types in elementary topos theory.Anne Preller - 1992 - Mathematical Logic Quarterly 38 (1):213-240.
A comparison of two intensional logics.Edward N. Zalta - 1988 - Linguistics and Philosophy 11 (1):59-89.
Semantic Verbs Are Intensional Transitives.Justin D’Ambrosio - 2019 - Mind 128 (509):213-248.
∈ I : An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity.Steffen Lewitzka - 2009 - Notre Dame Journal of Formal Logic 50 (3):275-301.
Logic of Intensional Acts and the Theory of Games.A. T. Ishmuratov - 1988 - Bulletin of the Section of Logic 17 (3/4):104-13.
The Semantics of Contemporary Essentialism.Lawrence R. Poncinie - 1980 - Dissertation, University of Illinois at Chicago
Intensional verbs and quantifiers.Friederike Moltmann - 1997 - Natural Language Semantics 5 (1):1-52.

Analytics

Added to PP
2020-05-23

Downloads
56 (#285,674)

6 months
8 (#361,431)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Roy T. Cook
University of St. Andrews

Citations of this work

Add more citations

References found in this work

On Pathological Truths.Damian Szmuc & Lucas Rosenblatt - 2014 - Review of Symbolic Logic 7 (4):601-617.
Variations on a theme by Yablo.Hartry Field - 2005 - In J. C. Beall & Bradley Armour-Garb (eds.), Deflationism and Paradox. Clarendon Press. pp. 53–74.

Add more references