Truth, Dependence and Supervaluation: Living with the Ghost


In J Philos Logic 34:155–192, 2005, Leitgeb provides a theory of truth which is based on a theory of semantic dependence. We argue here that the conceptual thrust of this approach provides us with the best way of dealing with semantic paradoxes in a manner that is acceptable to a classical logician. However, in investigating a problem that was raised at the end of J Philos Logic 34:155–192, 2005, we discover that something is missing from Leitgeb’s original definition. Moreover, we show that once the appropriate repairs have been made, the resultant definition is equivalent to a version of the supervaluation definition suggested in J Philos 72:690–716, 1975 and discussed in detail in J Symb Log 51(3):663–681, 1986. The upshot of this is a philosophical justification for the simple supervaluation approach and fresh insight into its workings.

This is a preview of subscription content, access via your institution.


  1. 1.

    Belnap, N. (1982). Gupta’s rule of revision theory of truth. Journal of Philosophical Logic, 11, 103–116.

    Article  Google Scholar 

  2. 2.

    Burgess, J. P. (1986). The truth is never simple. The Journal of Symbolic Logic, 51(3), 663–681.

    Article  Google Scholar 

  3. 3.

    Cantini, A. (1990). A theory of truth arithmetically equivalent to \({ID}^1_1\). The Journal of Symbolic Logic, 55(1), 244–259.

    Article  Google Scholar 

  4. 4.

    Feferman, S. (1991). Reflecting on incompleteness. Journal of Symbolic Logic, 56(1), 1–49.

    Article  Google Scholar 

  5. 5.

    Field, H. (2008). Saving Truth from Paradox. Oxfoed: OUP.

    Book  Google Scholar 

  6. 6.

    Fitting,M. (1986). Notes on the mathematical aspects of Kripke’s theory of truth. Notre Dame Journal of Formal Logic, 27(1), 75–88.

    Article  Google Scholar 

  7. 7.

    Gupta, A., & Belnap, N. (1993). The revision theory of truth. Cambridge: MIT Press.

    Google Scholar 

  8. 8.

    Hodges, W. (1997). A shorter model theory. Cambridge: CUP.

    Google Scholar 

  9. 9.

    Kaye, R. (1991). Models of peano arithmetic. Oxford: Oxford University Press.

    Google Scholar 

  10. 10.

    Kripke, S. (1975). Outline of a theory of truth. Journal of Philosophy, 72, 690–716.

    Article  Google Scholar 

  11. 11.

    Leitgeb, H. (2005). What truth depends on. The Journal of Philosophical Logic, 34, 155–192.

    Article  Google Scholar 

  12. 12.

    Leitgeb, H., & Welch, P. (2009). A theory of propositional functions and truth. unpublished manuscript.

  13. 13.

    Moschovakis, Y. (1974). Elementary induction on abstract structures. Mineola: Dover.

    Google Scholar 

  14. 14.

    van Fraassen, B. C. (1971). Formal semantics and logic. New York: Macmillan.

    Google Scholar 

  15. 15.

    Vugt, F., & Bonnay, D. (2009). What makes a sentence be about the world? towards a unified account of groundedness. Unpublished.

  16. 16.

    Welch, P. D. (2003). On revision operators. The Journal of Symbolic Logic, 68, 689–711.

    Article  Google Scholar 

  17. 17.

    Welch, P. (2009). Games for truth. Bulletin of Symbolic Logic, 15(4), 410–427.

    Article  Google Scholar 

Download references

Author information



Corresponding author

Correspondence to Toby Meadows.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Meadows, T. Truth, Dependence and Supervaluation: Living with the Ghost. J Philos Logic 42, 221–240 (2013).

Download citation


  • Truth
  • Semantic truth definition
  • Dependence
  • Supervaluation
  • Leitgeb
  • Kripke
  • Revision theory of truth