David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 171 (1):195 - 226 (2009)
We introduce a variant of pointer structures with denotational semantics and show its equivalence to systems of boolean equations: both have the same solutions. Taking paradoxes to be statements represented by systems of equations (or pointer structures) having no solutions, we thus obtain two alternative means of deciding paradoxical character of statements, one of which is the standard theory of solving boolean equations. To analyze more adequately statements involving semantic predicates, we extend propositional logic with the assertion operator and give its complete axiomatization. This logic is a sub-logic of statements in which the semantic predicates become internalized (for instance, counterparts of Tarski’s definitions and T-schemata become tautologies). Examples of analysis of self-referential paradoxes are given and the approach is compared to the alternative ones.
|Keywords||Paradox Self-reference Internal theory of truth|
|Categories||categorize this paper)|
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
Nuel D. Belnap (1982). Gupta's Rule of Revision Theory of Truth. Journal of Philosophical Logic 11 (1):103-116.
D. A. Bochvar & Merrie Bergmann (1981). On a Three-Valued Logical Calculus and its Application to the Analysis of the Paradoxes of the Classical Extended Functional Calculus. History and Philosophy of Logic 2 (1-2):87-112.
Roy T. Cook (2004). Patterns of Paradox. Journal of Symbolic Logic 69 (3):767-774.
Solomon Feferman (2008). Axioms for Determinateness and Truth. Review of Symbolic Logic 1 (2):204-217.
Solomon Feferman (1991). Reflecting on Incompleteness. Journal of Symbolic Logic 56 (1):1-49.
Citations of this work BETA
Similar books and articles
Joachim Bromand (2002). Why Paraconsistent Logic Can Only Tell Half the Truth. Mind 111 (444):741-749.
Greg Restall (2007). Curry's Revenge: The Costs of Non-Classical Solutions to the Paradoxes of Self-Reference. In J. C. Beall (ed.), Revenge of the Liar: New Essays on the Paradox. Oxford University Press.
Kevin Scharp (2013). Truth, the Liar, and Relativism. Philosophical Review 122 (3):427-510.
Hartry Field (2003). A Revenge-Immune Solution to the Semantic Paradoxes. Journal of Philosophical Logic 32 (2):139-177.
Peter Simons (2006). The Logic of Location. Synthese 150 (3):443 - 458.
Alexandre Billon (2011). My Own Truth ---Pathologies of Self-Reference and Relative Truth. In Rahman Shahid, Primiero Giuseppe & Marion Mathieu (eds.), Logic, Epistemology, and the Unity of Science, Vol. 23. springer.
Gary Mar & Paul St Denis (1999). What the Liar Taught Achilles. Journal of Philosophical Logic 28 (1):29-46.
Roy T. Cook (2009). What is a Truth Value and How Many Are There? Studia Logica 92 (2):183 - 201.
Greg Restall (1993). Deviant Logic and the Paradoxes of Self Reference. Philosophical Studies 70 (3):279 - 303.
Added to index2009-01-28
Total downloads12 ( #137,846 of 1,140,199 )
Recent downloads (6 months)1 ( #142,694 of 1,140,199 )
How can I increase my downloads?