Journal of Philosophical Logic 48 (1):113-136 (2019)
Authors |
|
Abstract |
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) |
ISBN(s) | |
DOI | 10.1007/s10992-018-9480-3 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Formal Philosophy: Selected Papers of Richard Montague.Richard Montague - 1974 - New Haven: Yale University Press.
Necessary Beings: An Essay on Ontology, Modality, and the Relations Between Them.Bob Hale - 2013 - Oxford, England: Oxford University Press.
View all 37 references / Add more references
Citations of this work BETA
Properties.Francesco Orilia & Michele Paolini Paoletti - 2020 - Stanford Encyclopedia of Philosophy.
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 Speaks the Truth: A Defense of the Revision Theory of Truth.Aladdin Mahmūd Yaqūb - 1993 - Oxford, England: Oxford University Press.
Lessons on Truth From Mediaeval Solutions to the Liar Paradox.Catarina Dutilh Novaes - 2011 - Philosophical Quarterly 61 (242):58-78.
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.
Type-Free Property Theory, Bradley's Regress and Meinong and Russell Reconceiled.Francesco Orilia - 1991 - Grazer Philosophische Studien 39 (1):103-125.
Type-Free Property Theory, Bradley's Regress and Meinong and Russell Reconceiled.Orilia Francesco - 1991 - Grazer Philosophische Studien 39 (1):103-125.
Liars, Truth-Gaps, and Truth: A Comparison of Formal and Philosophical Solutions to the Semantical Paradoxes.Gary Ronald Mar - 1985 - Dissertation, University of California, Los Angeles
Gupta's Rule of Revision Theory of Truth.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (1):103-116.
Analytics
Added to PP index
2018-09-18
Total views
51 ( #220,527 of 2,499,433 )
Recent downloads (6 months)
4 ( #169,712 of 2,499,433 )
2018-09-18
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?
Downloads