Skip to main content Accessibility help
×
×
Home

EMBRACING THE TECHNICALITIES: EXPRESSIVE COMPLETENESS AND REVENGE

  • NICHOLAS TOURVILLE and ROY T COOK

Abstract

The Revenge Problem threatens every approach to the semantic paradoxes that proceeds by introducing nonclassical semantic values. Given any such collection Δ of additional semantic values, one can construct a Revenge sentence:

This sentence is either false or has a value in Δ.

The Embracing Revenge view, developed independently by Roy T. Cook and Phlippe Schlenker, addresses this problem by suggesting that the class of nonclassical semantic values is indefinitely extensible, with each successive Revenge sentence introducing a new ‘pathological’ semantic value into the discourse. The view is explicitly motivated in terms of the idea that every notion that seems to be expressible (e.g., “has a value in Δ”, for any definite collection of semantic values Δ) should, if at all possible, be expressible. Extant work on the Embracing Revenge view has failed to live up to this promise, since the formal languages developed within such work are expressively impoverished. We rectify this here by developing a much richer formal language, and semantics for that language, and we then prove an extremely powerful expressive completeness result for the system in question.

Copyright

Corresponding author

*DEPARTMENT OF PHILOSOPHY UNIVERSITY OF MINNESOTA – TWIN CITIES E-mail: cookx432@umn.edu
DEPARTMENT OF PHILOSOPHY RUTGERS UNIVER E-mail: tourville.nicholas@gmail.com

References

Hide All
Beall, J. (2006). True, false, and paranormal. Analysis, 66(2), 214.
Beall, J. (2008). Revenge of the Liar: New Essays on the Paradox. Oxford: Oxford University Press.
Cook, R. (2008). Embracing Revenge: On the Indefinite Extensibility of Language, in (Beall 2008), pp. 31–52.
Cook, R. (2009). What is a truth value, and how many are there? Studia Logica, 92, 183201.
Cook, R. (2013). Key Concepts in Philosophy: Paradoxes. Cambridge, UK: Polity Press.
Dummett, M. (1993). The Seas of Language. Oxford: Oxford University Press.
Field, H. (2008). Saving Truth from Paradox. Oxford: Oxford University Press.
Kripke, S. (1975). Outline of a theory of truth. Journal of Philosophy, 72, 690716.
Linnebo, Ø., & Rayo, A. (2012). Heirarchies ontological and idealogical. Mind, 121, 269308.
Priest, G. (1990). Boolean negation and all that. Journal of Philosophical Logic, 19(2), 201215.
Rayo, A. (2007). Beyond Plurals, in (Rayo & Uzquiano 2007), pp. 220–254.
Rayo, A., & Uzquiano, G. (2007). Absolute Generality. Oxford: Oxford University Press.
Rosenblatt, L., & Szmuc, D. (2014). On pathological truths, this Review, 7(4), 601–617.
Russell, B. (1906). On Some Difficulties in the Theory of Transfinite Numbers and Order Types, in (Russell 1973), pp. 135–164.
Russell, B. (1973). Bertrand Russell, Essays in Analysis. New York: Braziller.
Schlenker, P. (2010). Super-liars, this Review, 3(3), 374–414.
Tarski, A. (1933). The Concept of Truth in the Languages of the Deductive Sciences, in (Tarski 1983), pp. 252–278.
Tarski, A. (1983). In Corcoran, J., editor. Logic, Semantics, Metamathematics: Papers from 1923 to 1938. Indianapolis: Hackett Publishing.
Williamson, T. (1998). Indefinite extensibility. Grazer Philosophische Studien, 55, 124.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed