$\in_I$ : An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity

Notre Dame Journal of Formal Logic 50 (3):275-301 (2009)
We present $\in_I$-Logic (Epsilon-I-Logic), a non-Fregean intuitionistic logic with a truth predicate and a falsity predicate as intuitionistic negation. $\in_I$ is an extension and intuitionistic generalization of the classical logic $\in_T$ (without quantifiers) designed by Sträter as a theory of truth with propositional self-reference. The intensional semantics of $\in_T$ offers a new solution to semantic paradoxes. In the present paper we introduce an intuitionistic semantics and study some semantic notions in this broader context. Also we enrich the quantifier-free language by the new connective < that expresses reference between statements and yields a finer characterization of intensional models. Our results in the intuitionistic setting lead to a clear distinction between the notion of denotation of a sentence and the here-proposed notion of extension of a sentence (both concepts are equivalent in the classical context). We generalize the Fregean Axiom to an intuitionistic version not valid in $\in_I$. A main result of the paper is the development of several model constructions. We construct intensional models and present a method for the construction of standard models which contain specific (self-)referential propositions
Keywords truth theory   non-Fregean logics   self-reference   intuitionistic logic   semantic paradoxes   intensional semantics   extension   intension   denotation
Categories (categorize this paper)
DOI 10.1215/00294527-2009-012
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 23,201
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles
Kevin Scharp (2010). Falsity. In Cory D. Wright & Nikolaj Jang Lee Linding Pedersen (eds.), New Waves in Truth. Palgrave Macmillan
Friederike Moltmann (2015). 'Truth Predicates' in Natural Language. In Dora Achourioti, Henri Galinon & José Martinez (eds.), Unifying Theories of Truth. Springer 57-83.
David H. Sanford (1975). Borderline Logic. American Philosophical Quarterly 12 (1):29-39.
Giacomo Bonanno (1999). Varieties of Interpersonal Compatibility of Beliefs. In Jelle Gerbrandy, Maarten Marx, Maarten de Rijke & Yde Venema (eds.), Essays dedicated to Johan van Benthem on the occasion of his 50th birthday. Amsterdam University Press

Monthly downloads

Added to index


Total downloads

16 ( #282,004 of 1,940,950 )

Recent downloads (6 months)

1 ( #457,798 of 1,940,950 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.