Journal of Philosophical Logic

, Volume 40, Issue 1, pp 33–54 | Cite as

Setting the Facts Straight

  • Mark Jago


Substantial facts (or states of affairs) are not well-understood entities. Many philosophers object to their existence on this basis. Yet facts, if they can be understood, promise to do a lot of philosophical work: they can be used to construct theories of property possession and truthmaking, for example. Here, I give a formal theory of facts, including negative and logically complex facts. I provide a theory of reduction similar to that of the typed λ-calculus and use it to provide identity conditions for facts. This theory validates truthmaker maximalism: it provides truthmakers for all truths. I then show how the usual truth-in-a-model relation can be replaced by two relations: one between models and facts, saying that a given fact obtains relative to the model, and the other between facts and propositions: the truthmaking relation.


Facts States of affairs Ontology Negative facts Properties Truthmaking λ-calculus Reduction 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Armstrong, D. (1989). A combinatorial theory of possibility. Cambridge: Cambridge University Press.Google Scholar
  2. 2.
    Armstrong, D. (1997). A world of states of affairs. Cambridge: Cambridge University Press.CrossRefGoogle Scholar
  3. 3.
    Armstrong, D. (2004). Truth and truthmakers. Cambridge: Cambridge University Press.CrossRefGoogle Scholar
  4. 4.
    Barendregt, H. (1984). The lambda calculus: its syntax and semantics. Amsterdam: North Holland.Google Scholar
  5. 5.
    Beall, J. (2000). On truthmakers for negative truths. Australian Journal of Philosophy, 78(2), 264–268.CrossRefGoogle Scholar
  6. 6.
    Cameron, R. (2007). How to be a truthmaker maximalist. Nous, 42(3), 410–421.CrossRefGoogle Scholar
  7. 7.
    Cameron, R. (2008). Truthmakers and necessary connections. Synthese, 161(1), 27–45.CrossRefGoogle Scholar
  8. 8.
    Fine, K. (1982). First-order modal theories III—Facts. Synthese, 53(1), 43–122.Google Scholar
  9. 9.
    Horwich, P. (1990). Truth. Oxford: Blackwell.Google Scholar
  10. 10.
    Jago, M., & Barker, S. (2010). Being positive about negative facts. Philosophy and Phenomenological Research. Available at
  11. 11.
    Lewis, D. (1986a). Against structural universals. Australasian Journal of Philosophy, 64(1), 25–46.CrossRefGoogle Scholar
  12. 12.
    Lewis, D. (1986b). On the plurality of worlds. Oxford: Blackwell.Google Scholar
  13. 13.
    Martin-Löf, P. (1984). Intuitionistic type theory. Napoli: Bibliopolis.Google Scholar
  14. 14.
    Meinong, A. (1904). Über gegenstandstheorie. In A. Meinong (ed.), Untersuchungen zur gegenstadstheorie und psychologie. Leipzig: Barth.Google Scholar
  15. 15.
    Molnar, G. (2000). Truthmakers for negative truths. Australasian Journal of Philosophy, 78(1), 72–86.CrossRefGoogle Scholar
  16. 16.
    Mumford, S. (2007). Negative truth and falsehood. Proceedings of the Aristotelian Society, 107(1), 45–71.CrossRefGoogle Scholar
  17. 17.
    Parsons, J. (2006). Negative truths from positive facts? Australasian Journal of Philosophy, 84(4), 591–602.CrossRefGoogle Scholar
  18. 18.
    Priest, G. (2005). Towards non-being. Oxford: Clarendon.CrossRefGoogle Scholar
  19. 19.
    Restall, G. (2004). One way to face facts. The Philosophical Quarterly, 54(216), 420–426.CrossRefGoogle Scholar
  20. 20.
    Russell, B. (1985). The philosophy of logical atomism. In D. Pears (ed.), The philosophy of logical atomism (pp. 35–155) La Salle: Open Court.Google Scholar
  21. 21.
    Sider, T. (2005). Another look at Armstrong’s combinatorialism. Nous, 39(4), 679.CrossRefGoogle Scholar
  22. 22.
    Tait, W. (1967). Intensional interpretations of functionals of finite type. Journal of Symbolic Logic, 32, 198–212.CrossRefGoogle Scholar
  23. 23.
    Van Fraassen, B. (1969). Facts and tautological entailments. Journal of Philosophy, 66(15), 477–487.CrossRefGoogle Scholar
  24. 24.
    Wittgenstein, L. (1922). Tractatus logico-philosophicus. London: Kegan Paul.Google Scholar
  25. 25.
    Wright, C. (1992). Truth and objectivity. Harvard: Harvard University Press.Google Scholar
  26. 26.
    Zalta, E. (1993). Twenty-five basic theorems in situation and world theory. Journal of Philosophical Logic, 22(4), 385–428.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations

  1. 1.Department of PhilosophyMacquarie UniversitySydneyAustralia

Personalised recommendations