Journal of Philosophical Logic 48 (1):113-136 (2019)

In truth theory one aims at general formal laws governing the attribution of truth to statements. Gupta’s and Belnap’s revision-theoretic approach provides various well-motivated theories of truth, in particular T* and T#, which tame the Liar and related paradoxes without a Tarskian hierarchy of languages. In property theory, one similarly aims at general formal laws governing the predication of properties. To avoid Russell’s paradox in this area a recourse to type theory is still popular, as testified by recent work in formal metaphysics by Williamson and Hale. There is a contingent Liar that has been taken to be a problem for type theory. But this is because this Liar has been presented without an explicit recourse to a truth predicate. Thus, type theory could avoid this paradox by incorporating such a predicate and accepting an appropriate theory of truth. There is however a contingent paradox of predication that more clearly undermines the viability of type theory. It is then suggested that a type-free property theory is a better option. One can pursue it, by generalizing the revision-theoretic approach to predication, as it has been done by Orilia with his system P*, based on T*. Although Gupta and Belnap do not explicitly declare a preference for T# over T*, they show that the latter has some advantages, such as the recovery of intuitively acceptable principles concerning truth and a better reconstruction of informal arguments involving this notion. A type-free system based on T# rather than T* extends these advantages to predication and thus fares better than P* in the intended applications of property theory.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s10992-018-9480-3
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,160
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

Modal Logic as Metaphysics.Timothy Williamson - 2013 - Oxford, England: Oxford University Press.
Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.

View all 37 references / Add more references

Citations of this work BETA

Properties.Francesco Orilia & Michele Paolini Paoletti - 2020 - Stanford Encyclopedia of Philosophy.

Add more citations

Similar books and articles

Property Theory and the Revision Theory of Definitions.Francesco Orilia - 2000 - Journal of Symbolic Logic 65 (1):212-246.
Type-Free Property Theory, Exemplification and Russell's Paradox.Francesco Orilia - 1991 - Notre Dame Journal of Formal Logic 32 (3):432-447.
Truth & Transcendence: Turning the Tables on the Liar Paradox.Gila Sher - 2017 - In Bradley Armour-Garb (ed.), Reflections on the Liar. Oxford: Oxford University Press. pp. 281-306.
The Liar: An Essay on Truth and Circularity.Jon Barwise & John Etchemendy - 1987 - Oxford, England and New York, NY, USA: Oxford University Press USA.
Presentence, Revision, Truth, and Paradox. [REVIEW]Nuel Belnap - 2006 - Philosophy and Phenomenological Research 73 (3):705–712.
Circularity, Truth, and the Liar Paradox.Andre Chapuis - 1993 - Dissertation, Indiana University
Gupta's Rule of Revision Theory of Truth.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (1):103-116.


Added to PP index

Total views
51 ( #220,527 of 2,499,433 )

Recent downloads (6 months)
4 ( #169,712 of 2,499,433 )

How can I increase my downloads?


My notes