$\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)
Abstract
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)
Options
 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: 9,365
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.

Citations of this work BETA
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 (forthcoming). 'Truth Predicates' in Natural Language. In Dora Achourioti, Henri Galinon & José Martinez (eds.), Unifying Theories of Truth. Springer.
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.
Analytics

Monthly downloads

Added to index

2010-09-13

Total downloads

11 ( #113,077 of 1,089,079 )

Recent downloads (6 months)

1 ( #69,982 of 1,089,079 )

How can I increase my downloads?

My notes
Sign in to use this feature


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