Journal of Philosophical Logic

, Volume 22, Issue 4, pp 385–428 | Cite as

Twenty-five basic theorems in situation and world theory

  • Edward N. Zalta


The foregoing set of theorems forms an effective foundation for the theory of situations and worlds. All twenty-five theorems seem to be basic, reasonable principles that structure the domains of properties, relations, states of affairs, situations, and worlds in true and philosophically interesting ways. They resolve 15 of the 19 choice points defined in Barwise (1989) (see Notes 22, 27, 31, 32, 35, 36, 39, 43, and 45). Moreover, important axioms and principles stipulated by situation theorists are derived (see Notes 33, 37, and 38). This is convincing evidence that the foregoing constitutes a theory of situations. Note that worlds are just a special kind of situation, and that the basic theorems of world theory, which were derived in previous work, can still be derived in this situation-theoretic setting. So there seems to be no fundamental incompatibility between situations and worlds — they may peacably coexist in the foundations of metaphysics. The theory may therefore reconcile two research programs that appeared to be heading off in different directions. And we must remind the reader that the general metaphysical principles underlying our theory were not designed with the application to situation theory in mind. This suggests that the general theory and the underlying distinction have explanatory power, for they seem to relate and systematize apparently unrelated phenomena.


Research Program General Theory Explanatory Power Convince Evidence Special Kind 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Aczel, P., 1988,Non-Weil-Founded Sets, CSLI Lecture Notes, No. 14, Stanford: Center for the Study of Language and Information Publications.Google Scholar
  2. Adams, R. M., 1974, “Theories of Actuality,”Nous 8: 211–31.Google Scholar
  3. Adams, R. M., 1981, “Actualism and Thisness,”Synthese 49: 3–41.Google Scholar
  4. Anderson, C. A., 1984, “General Intensional Logic,” inHandbook of Philosophical Logic, Vol. II, D. Gabbay and F. Guenthner (eds.), Dordrecht: D. Reidel, 355–85.Google Scholar
  5. Barwise, J., 1985, “The Situation in Logic — III: Situations, Sets, and the Axiom of Foundation,” Technical Report No. CSLI-85-26, Stanford: Center for the Study of Language and Information Publications; page references are to the reprint in Barwise (1989).Google Scholar
  6. Barwise, J., 1989,The Situation in Logic, CSLI Lecture Notes, No. 17, Stanford: Center for the Study of Language and Information Publications.Google Scholar
  7. Barwise, J. and Perry, J., 1980, “The Situation Underground,” inStanford Working Papers in Semantics, J. Barwise and I. Sag (eds.), Stanford Cognitive Science Group.Google Scholar
  8. Barwise, J. and Perry, J., 1981a, “Semantic Innocence and Uncompromising Situations,” inMidwest Studies in Philosophy: 6, P. French, T. Uehling, and H. Wettstein (eds.), Minneapolis: University of Minnesota, 387–404.Google Scholar
  9. Barwise, J. and Perry, J., 1981b, “Situations and Attitudes,”Journal of Philosophy 78/11: 668–691.Google Scholar
  10. Barwise, J. and Perry, J., 1983,Situations and Attitudes, Cambridge: MIT Press.Google Scholar
  11. Barwise, J. and Perry, J., 1984, “Shifting Situations and Shaken Attitudes,” Technical Report No. CSLI-84-13, Stanford: Center for the Study of Language and Information Publications; also published inLinguistics and Philosophy 8/1 (1985): 105–61 (all page references are to the 1984 publication).Google Scholar
  12. Castañeda, H. N., 1974, “Thinking and the Structure of the World,”Philosophia 4: 3–40.Google Scholar
  13. Chisholm, R., 1976,Person and Object, La Salle: Open Court.Google Scholar
  14. Cresswell, M., 1973,Logics and Languages, London: Methuen.Google Scholar
  15. Church, A., 1951, “A Formulation of the Logic of Sense and Denotation,”Structure, Method, and Meaning, New York: The Liberal Arts Press.Google Scholar
  16. Deutsch, H., 1990, “Contingency and Modal Logic,”Philosophical Studies 60: 89–102.Google Scholar
  17. Fine, K., 1977, “Postscript” to Arthur Prior,Worlds, Times, and Selves, Amherst: University of Massachusetts.Google Scholar
  18. Fine, K., 1985, “Plantinga on the Reduction of Possibilist Discourse,” inAlvin Plantinga, J. Tomberlin and P. van Inwagen (eds.), Dordrecht: D. Reidel.Google Scholar
  19. Frege, G., 1892, “On Sense and Reference,” inTranslations from the Philosophical Writings of Gottlob Frege, P. Geach and M. Black (ed.), Oxford: Blackwell, 1970, 56–78.Google Scholar
  20. Kaplan, D., 1977, “Demonstratives,” inThemes from Kaplan, J. Almog, H. Wettstein, and J. Perry (eds.), Oxford: Oxford University Press, 1989, 481–563.Google Scholar
  21. Kripke, S., 1963, “Semantical Considerations on Modal Logic,”Acta Philosophica Fennica 16: 83–94.Google Scholar
  22. Kripke, S., 1959, “A Completeness Theorem in Modal Logic,”Journal of Symbolic Logic 24: 1–15.Google Scholar
  23. Lewis, D., 1986,On the Plurality of Worlds, Oxford: Blackwell.Google Scholar
  24. Lewis, D., 1973, “Possible Worlds,” inCounterfactuals, Cambridge: Harvard University Press, pp. 84–91.Google Scholar
  25. Lycan, W., 1988, “Review ofOn the Plurality of Worlds,”The Journal of Philosophy 85 (January): 42–47.Google Scholar
  26. Mally, E., 1912,Gegenstandstheoretische Grundlagen der Logik und Logistik, Leipzig: Barth.Google Scholar
  27. Meinong, A., 1904, “Über Gegenstandstheorie,” in A. Meinong (ed.),Untersuchungen zur Gegenstandstheorie und Psychologie, Leipzig: Barth; English translation, “On the Theory of Objects,” inRealism and the Background of Phenomenology, R. Chisholm (ed.), Glencoe: The Free Press, 1960, 76–117.Google Scholar
  28. Menzel, C., 1991, ‘The True Modal Logic,”Journal of Philosophical Logic 20: 331–374.Google Scholar
  29. Montague, R., 1974,Formal Philosophy, R. Thomason (ed.), New Haven: Yale University Press.Google Scholar
  30. Myhill, J., 1963, “An Alternative to the Method of Extension and Intension,” inThe Philosophy of Rudolf Carnap, P. Schilpp (ed.), La Salle: Open Court, 299–310.Google Scholar
  31. Perry, J., 1986, “From Worlds to Situations,”Journal of Philosophical Logic 15: 83–107.Google Scholar
  32. Plantinga, A., 1974,The Nature of Necessity, Oxford: Clarendon.Google Scholar
  33. Plantinga, A., 1976, “Actualism and Possible Worlds,”Theoria 42: 139–60.Google Scholar
  34. Pollock, J., 1984,The Foundations of Philosophical Semantics, Princeton: Princeton University Press.Google Scholar
  35. Quine, W. V. O., 1960, “Variables Explained Away,” reprinted inSelected Logic Papers, New York: Random House, 227–35.Google Scholar
  36. Rapaport, W., 1978, “Meinongian Theories and a Russellian Paradox,”Nous 12: 153–80.Google Scholar
  37. Sosa, E., 1986, “Imagery and Imagination — Sensory Images and Fictional Characters,” inGrazer Philosophische Studien, R. Haller (ed.),25/26: 485–500.Google Scholar
  38. Stalnaker, R., 1986a, “Possible Worlds and Situations,”Journal of Philosophical Logic 15: 109–23.Google Scholar
  39. Stalnaker, R., 1986b, “Counterparts and Identity,” inMidwest Studies in Philosophy, XI, P. French, T. Uehling, and H. Wettstein (eds.), Minneapolis: University of Minnesota Press, 121–140.Google Scholar
  40. Stalnaker, R., 1985,Inquiry, Cambridge: Bradford/MIT.Google Scholar
  41. Stalnaker, R., 1976, “Possible Worlds,”Nous 10: 65–75.Google Scholar
  42. van Inwagen, P., 1986, “Two Concepts of Possible Worlds,” inMidwest Studies in Philosophy, XI, P. French, T. Uehling, and H. Wettstein (eds.), Minneapolis: University of Minnesota Press, 185–213.Google Scholar
  43. Zalta, E., 1991, “A Theory of Situations,” inSituation Theory and Its Applications, II, J. Barwise, G. Plotkin, and S. Tutiya (eds.), Stanford: Center for the Study of Language and Information Publications.Google Scholar
  44. Zalta, E., 1988,Intensional Logic and the Metaphysics of Intentionality, Cambridge: MIT Press/Bradford Books.Google Scholar
  45. Zalta, E., 1987, “On the Structural Similarities between Worlds and Times,”Philosophical Studies 51: 213–39.Google Scholar
  46. Zalta, E., 1983,Abstract Objects: An Introduction to Axiomatic Metaphysics, Dordrecht: D. Reidel.Google Scholar

Copyright information

© Kluwer Academic Publishers 1993

Authors and Affiliations

  • Edward N. Zalta
    • 1
  1. 1.Philosophy DepartmentStanford UniversityUSA

Personalised recommendations