, Volume 84, Issue 5, pp 975–994 | Cite as

Observations on the Trivial World

  • Zach WeberEmail author
  • Hitoshi Omori


A world is trivial if it makes every proposition true all at once. Such a world is impossible, an absurdity. Our world, we hope, is not an absurdity. It is important, nevertheless, for semantic and metaphysical theories that we be able to reason cogently about absurdities—if only to see that they are absurd. In this note we describe methods for ‘observing’ absurd objects like the trivial world without falling in to incoherence, using some basic techniques from modal logic. The goal is to begin to locate the trivial world’s relative position in modal space; the outcome is that the less we assume about relative possibility, the more detail we can discern at the edge of reason.



Thanks to Patrick Girard and several anonymous referees for very helpful comments. Thanks to audiences at: the University of Otago, Kyoto University, the Buenos Aires Logic Group, and the University of Otago. This was in part written while both authors were visiting the Institute for Computer Science, Czech Academy of Science, with our gratitude (especially to Petr Cintula). This work was supported by the Marsden Fund, Royal Society of New Zealand, and the Japan Society for the Promotion of Science JSPS KAKENHI Grant Number JP16K16684.


  1. Alban, M. (1943). Independence of the primitive symbols of Lewis’s calculi of propositions. Journal of Symbolic Logic, 8, 25–26.Google Scholar
  2. Areces, C., & ten Cate, B. (2006). Hybrid logics. In B. van Benthem & F. Wolter (Eds.), Handbook of modal logic. Amsterdam: Elsevier.Google Scholar
  3. Azzouni, J. (2013). Inconsistency in natural languages. Synthese, 190(15), 3175–3184.Google Scholar
  4. Baron, S., Colyvan, M., & Ripley, D. (2017). How mathematics can make a difference. Philosopher’s Imprint, 17(3), 1–19.Google Scholar
  5. Berto, F. (2012). Existence as a real property. New York: Springer.Google Scholar
  6. Berto, F. (2013). Impossible worlds. In E. Zalta (Ed.), Stanford Encyclopedia of Philosophy. Accessed 2 Mar 2018.
  7. Berto, F. (2014a). Modal noneism: Transworld identity, identification, and individuation. Australasian Journal of Logic, 11(2), 61–89.Google Scholar
  8. Berto, F. (2014b). On conceiving the inconsistent. Proceedings of the Aristotelian Society, 114(1), 103–121.Google Scholar
  9. Bjerring, J. C. (2013). On counterpossibles. Philosophical Studies, 168(2), 327–353.Google Scholar
  10. Blackburn, P., de Rijke, M., & Venema, Y. (2002). Cambridge tracts in theoretical computer science. In Modal logic (Vol. 53). Cambridge: Cambridge University Press.Google Scholar
  11. Bueno, O. (2007). Troubles with trivialism. Inquiry, 50(6), 655–667.Google Scholar
  12. Bueno, O., & Zalta, E. N. (2017). Object theory and modal meinongianism. Australasian Journal of Philosophy, 95(4), 761–778.Google Scholar
  13. Cantini, A. (2003). The undecidability of Grisin’s set theory. Studia Logica, 74(3), 345–368.Google Scholar
  14. Cresswell, M. (1975). Hyperintensional logic. Studia Logica, 34, 25–38.Google Scholar
  15. Estrada-González, L. (2012). Models of possibilism and trivialism. Logic and Logical Philosophy, 21, 175–205.Google Scholar
  16. Fine, K. (2014). Truth-maker semantics for intuitionistic logic. Journal of Philosophical Logic, 43(2), 549–577.Google Scholar
  17. Girard, P., & Weber, Z. (2015). Bad worlds. Thought, 4, 93–101.Google Scholar
  18. Girard, P., & Weber, Z. (unpublished). Modal logic without contraction in a metatheory without contraction. (manuscript).Google Scholar
  19. Halldén, S. (1950). Results concerning the decision problem of Lewis’s calculi S3 and S6. Journal of Symbolic Logic, 14, 230–236.Google Scholar
  20. Humberstone, L. (2011). Variations on a trivialist argument of Paul Kabay. Journal of Logic, Language, and Information, 20, 115–132.Google Scholar
  21. Jago, M. (2013). Impossible worlds. Noûs, 47(3), 713–728.Google Scholar
  22. Jago, M. (2014). The impossible: An essay on hyperintensionality. Oxford: Oxford University Press.Google Scholar
  23. Kabay, P. D. (2011). A defense of trivialism. Ph.D. thesis, University of Melbourne, Australia.Google Scholar
  24. Kielkopf, C. (1975). The logic of Nihilism. The New Scholasticism, 49, 162–167.Google Scholar
  25. Krakauer, B. (2013). What are impossible worlds? Philosophical Studies, 165(3), 989–1007.Google Scholar
  26. Kroon, F. (2008). Much ado about nothing: Priest and the reinvention of noneism. Philosophy and Phenomenological Research, 76(1), 199–207.Google Scholar
  27. Lamb, E. (2014). The saddest thing i know about the integers. Scientific American. Roots of unity blog.
  28. Lewis, D. (1990). Noneism or allism? Mind, 99(393), 23–31.Google Scholar
  29. Lewis, D. K. (1986). On the plurality of worlds. Oxford: Blackwell.Google Scholar
  30. Mares, E. D. (1997). Who’s afraid of impossible worlds? Notre Dame Journal of Formal Logic, 38(4), 516–526.Google Scholar
  31. Martin, B. (2014). Dialetheism and the impossibility of the world. Australasian Journal of Philosophy, 93(1), 61–75.Google Scholar
  32. Meinong, A. (1910). On assumptions. (Trans: J. Heanue) University of California Press, 1983.Google Scholar
  33. Mortensen, C. (1989). Anything is possible. Erkenntnis, 30(3), 319–337.Google Scholar
  34. Mortensen, C. (2005). It isn’t so, but could it be? Logique et Analyse, 48(189/192), 351–360.Google Scholar
  35. Nolan, D. (1997). Impossible worlds: A modest approach. Notre Dame Journal of Formal Logic, 38(4), 535–572.Google Scholar
  36. Nolan, D. (2008). Properties and paradox in Graham Priest’s towards non-being. Philosophy and Phenomenological Research, 76(1), 191–198.Google Scholar
  37. Nolan, D. (2013). Impossible worlds. Philosophy Compass, 8(4), 360–372.Google Scholar
  38. Omori, H., & Weber, Z. (unpublished). Just true? On the metatheory for paraconsistent truth (to appear).Google Scholar
  39. Plebani, M. (2015). Could everything be true? Probably not. Philosophia, 43(2), 499–504.Google Scholar
  40. Priest, G. (1990). Boolean negation and all that. Journal of Philosophical Logic, 19, 201–215.Google Scholar
  41. Priest, G. (1998). The trivial object and the non-triviality of a semantically closed theory with descriptions. Journal of Applied Non-Classical Logics, 8(1–2), 171–183.Google Scholar
  42. Priest, G. (2000). Could everything be true? Australasian Journal of Philosophy, 78(2), 189–195.Google Scholar
  43. Priest, G. (2006a). Doubt truth to be a liar. Oxford: Oxford University Press.Google Scholar
  44. Priest, G. (2006b). In contradiction: A study of the transconsistent (2nd ed.). Oxford: Oxford University Press.Google Scholar
  45. Priest, G. (2008). An introduction to non-classical logic (2nd ed.). Cambridge: Cambridge University Press.Google Scholar
  46. Priest, G. (2014). One. Oxford: Oxford University Press.Google Scholar
  47. Priest, G. (2016a). Thinking the impossible. Philosophical Studies, 173, 2649–2662.Google Scholar
  48. Priest, G. (2016b). Towards non-being (2nd ed.). Oxford: Oxford University Press.Google Scholar
  49. Routley, R. (1980). Exploring Meinong’s jungle and beyond. Philosophy Department, RSSS, Australian National University, Canberra. (New four volume edition from Synthese Library forthcoming).Google Scholar
  50. Routley, R. (1983). Nihilism and Nihilist Logics. In Discussion Papers in Environmental Philosophy (Vol. 4). Canberra: Australian National University.Google Scholar
  51. Routley, R., Plumwood, V., Meyer, R. K., & Brady, R. T. (1982). Relevant Logics and their Rivals. Atascardero, CA: Ridgeview.Google Scholar
  52. Slaney, J. K. (1989). RWX is not curry-paraconsistent. In G. Priest, R. Routley, & J. Norman (Eds.), Paraconsistent logic: Essays on the inconsistent (pp. 472–480). Munchen: Philosophia Verlag.Google Scholar
  53. Stalnaker, R. (1968). A theory of conditionals. In N. Rescher (Ed.), Studies in logical theory (pp. 98–112)., American philosophical quarterly monograph series 2 Oxford: Blackwell.Google Scholar
  54. Sylvan, R. (1992). On interpreting truth tables and relevant truth table logic. Notre Dame Journal of Formal Logic, 33(2), 207–215.Google Scholar
  55. Veldman, W. (1976). An intuitionistic completeness theorem for intuitionistic predicate logic. Journal of Symbolic Logic, 41, 159–166.Google Scholar
  56. Weber, Z. (2012). Transfinite cardinals in paraconsistent set theory. Review of Symbolic Logic, 5(2), 269–293.Google Scholar
  57. Weber, Z., Badia, G., & Girard, P. (2016). What is an inconsistent truth table? Australasian Journal of Philosophy, 94(3), 533–548.Google Scholar
  58. Williams, B. (1981). Persons, character, and morality. In Moral luck (pp. 1–19). Cambridge: Cambridge University Press.Google Scholar
  59. Wittgenstein, L. (1961). Notebooks 1914–1916. New York: Harper. (Translated by G.E.M. Anscombe).Google Scholar
  60. Woodward, R. (2013). Towards being. Philosophy and Phenomenological Research, 86(1), 183–193.Google Scholar

Copyright information

© Springer Science+Business Media B.V., part of Springer Nature 2018

Authors and Affiliations

  1. 1.Department of PhilosophyUniversity of OtagoDunedinNew Zealand
  2. 2.Department of Philosophy, Graduate School of LettersKyoto UniversityKyotoJapan

Personalised recommendations