David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
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
Saul A. Kripke (1975). Outline of a Theory of Truth. Journal of Philosophy 72 (19):690-716.
Stephen Yablo (1993). Paradox Without Self--Reference. Analysis 53 (4):251-252.
Anil Gupta (1982). Truth and Paradox. Journal of Philosophical Logic 11 (1):1-60.
Roy T. Cook (2004). Patterns of Paradox. Journal of Symbolic Logic 69 (3):767-774.
Citations of this work BETA
Sjur Dyrkolbotn & Michał Walicki (2013). Propositional Discourse Logic. Synthese 191 (5):1-37.
Similar books and articles
Joachim Bromand (2002). Why Paraconsistent Logic Can Only Tell Half the Truth. Mind 111 (444):741-749.
Roy T. Cook (2009). What is a Truth Value and How Many Are There? Studia Logica 92 (2):183 - 201.
Gary Mar & Paul St Denis (1999). What the Liar Taught Achilles. Journal of Philosophical Logic 28 (1):29-46.
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
Peter Simons (2006). The Logic of Location. Synthese 150 (3):443 - 458.
Hartry Field (2003). A Revenge-Immune Solution to the Semantic Paradoxes. Journal of Philosophical Logic 32 (2):139-177.
Kevin Scharp (2013). Truth, the Liar, and Relativism. Philosophical Review 122 (3):427-510.
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
Greg Restall (1993). Deviant Logic and the Paradoxes of Self Reference. Philosophical Studies 70 (3):279 - 303.
Added to index2009-01-28
Total downloads25 ( #153,035 of 1,796,164 )
Recent downloads (6 months)1 ( #468,527 of 1,796,164 )
How can I increase my downloads?