Xeno Semantics for Ascending and Descending Truth
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
As part of an approach to the liar paradox and the other paradoxes affecting truth, I have proposed replacing our concept of truth with two concepts: ascending truth and descending truth.1 I am not going to discuss why I think this is the best approach or how it solves the paradoxes; instead, I concentrate on the theory of ascending and descending truth. I formulate an axiomatic theory of ascending truth and descending truth (ADT) and provide a possible-worlds semantics for it (which I dub xeno semantics). Xeno semantics is a generalization of the familiar neighborhood semantics, which itself is a generalization of the standard relational semantics. Once the details of ADT have been presented, it is easy to show that neither relational semantics nor neighborhood semantics will work for it; thus, the move to a more general framework is required. The main result is a fixed point theorem that guarantees the existence of an acceptable first-order constant-domain xeno model. From this result it follows that ADT is sound with respect to the class of such models. The upshot is that ADT is consistent relative to the background set theory.
|Keywords||No keywords specified (fix it)|
|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
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Claire Horisk (2007). The Expressive Role of Truth in Truth-Conditional Semantics. Philosophical Quarterly 57 (229):535–557.
João Marcos (2009). What is a Non-Truth-Functional Logic? Studia Logica 92 (2):215 - 240.
Ernie Lepore & Kirk Ludwig (2011). Truth and Meaning Redux. Philosophical Studies 154 (2):251-77.
Gilbert Plumer (1996). Truth and Collective Truth. Dialectica 50 (1):3-24.
Alessandro Giordani (2013). A New Semantics for Systems of Logic of Essence. Studia Logica (3):1-30.
D. E. Over (1981). Game Theoretical Semantics and Entailment. Studia Logica 40 (1):67 - 74.
Richard Heck (1997). Tarski, Truth, and Semantics. Philosophical Review 106 (4):533-554.
Mark Schroeder (2010). How to Be an Expressivist About Truth. In Cory D. Wright & Nikolaj J. L. L. Pedersen (eds.), New Waves in Truth. Palgrave Macmillan 282--298.
Stefan Wintein (2012). Assertoric Semantics and the Computational Power of Self-Referential Truth. Journal of Philosophical Logic 41 (2):317-345.
Philip Kremer (2009). Comparing Fixed-Point and Revision Theories of Truth. Journal of Philosophical Logic 38 (4):363 - 403.
Hans-Peter Leeb (2006). State-of-Affairs Semantics for Positive Free Logic. Journal of Philosophical Logic 35 (2):183 - 208.
Added to index2010-10-31
Total downloads33 ( #97,829 of 1,725,999 )
Recent downloads (6 months)5 ( #147,227 of 1,725,999 )
How can I increase my downloads?