Journal of Philosophical Logic

, Volume 40, Issue 3, pp 371–396 | Cite as

Constructing Situations and Time

  • Tim FernandoEmail author


Situations serving as partial worlds as well as events in natural language semantics are constructed from a type-theoretic interpretation of first-order formulae and (after a type reduction) temporal formulae. Limitations of the Russell-Wiener-Kamp derivation of time from events are discussed and overcome to give a more widely applicable account of temporal granularity. Finite situations are formulated as strings of observations, conceptualized to persist inertially (in the absence of forces).


Situations Events Time Strings Natural language semantics Types 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Allen, J. F. (1983). Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11), 832–843.CrossRefGoogle Scholar
  2. 2.
    Allen, J. F., & Ferguson, G. (1994). Actions and events in interval temporal logic. Journal of Logic and Computation, 4(5), 531–579.CrossRefGoogle Scholar
  3. 3.
    Asher, N., & Lascarides, A. (2003). Logics of conversation. Cambridge University Press.Google Scholar
  4. 4.
    Barwise, J., & Perry, J. (1983). Situations and attitudes. Cambridge: MIT Press.Google Scholar
  5. 5.
    Beesley, K. R., & Karttunen, L. (2003). Finite state morphology. Stanford: CSLI Publications.Google Scholar
  6. 6.
    Chang, C. C., & Keisler, H. J. (1973). Model theory. Amsterdam: North-Holland.Google Scholar
  7. 7.
    Cooper, R. (2005). Austinian truth, attitudes and type theory. Research on Language and Computation, 3(4), 333–362.CrossRefGoogle Scholar
  8. 8.
    Davidson, D. (1967). The logical form of action sentences. In N. Rescher (Ed.), The logic of decision and action (pp. 81–95). University of Pittsburgh Press.Google Scholar
  9. 9.
    Dowty, D. R. (1986). The effects of aspectual class on the temporal structure of discourse: Semantics or pragmatics? Linguistics and Philosophy, 9, 37–61.Google Scholar
  10. 10.
    Emerson, E. A. (1992). Temporal and modal logic. In J. van Leeuwen (Ed.), Handbook of theoretical computer science. Formal methods and semantics (Vol. B, pp. 995–1072). MIT Press.Google Scholar
  11. 11.
    Fernando, T. (2007). Observing events and situations in time. Linguistics and Philosophy, 30(5), 527–550.CrossRefGoogle Scholar
  12. 12.
    Fernando, T. (2009). Situations as indices and as denotations. Linguistics and Philosophy, 32(2), 185–206.CrossRefGoogle Scholar
  13. 13.
    Fernando, T. (2009). Situations in LTL as strings. Information and Computation, 207(10), 980–999.CrossRefGoogle Scholar
  14. 14.
    Fernando, T. (2010). Temporal propositions as vague predicates. In M. Aloni, & K. Schulz (Eds.), Amsterdam colloquium 2009. LNAI (Vol. 6042, pp. 143–152). Springer.Google Scholar
  15. 15.
    Fikes, R. E., & Nilsson, N. J. (1971). STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2, 189–208.CrossRefGoogle Scholar
  16. 16.
    Ginzburg, J. (2005). Abstraction and ontology: Questions as propositional abstracts in type theory with records. Journal of Logic and Computation, 15(2), 113–130.CrossRefGoogle Scholar
  17. 17.
    Harel, D., Kozen, D., & Tiuryn, J. (2000). Dynamic logic. MIT Press.Google Scholar
  18. 18.
    Kamp, H. (1979). Events, instants and temporal reference. In R. Bäuerle, U. Egli, & A. von Stechow (Eds.), Semantics from different points of view (pp. 27–54). Berlin: Springer.Google Scholar
  19. 19.
    Kamp, H., & Reyle, U. (1993). From discourse to logic. Dordrecht: Kluwer.Google Scholar
  20. 20.
    Kaplan, D. (1978). On the logic of demonstratives. Journal of Philosophical Logic, 8(1), 81–98.Google Scholar
  21. 21.
    Kratzer, A. (2008). Situations in natural language semantics. In Stanford encyclopedia of philosophy.
  22. 22.
    Martin-Löf, P. (1984). Intuitionistic type theory. Napoli: Bibliopolis. Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980.Google Scholar
  23. 23.
    McCarthy, J., & Hayes, P. (1969). Some philosophical problems from the standpoint of artificial intelligence. In M. Meltzer, & D. Michie (Eds.), Machine intelligence (Vol. 4, pp. 463–502). Edinburgh University Press.Google Scholar
  24. 24.
    Mulligan, K., Simons, P., & Smith, B. (1984). Truth-makers. Philosophy and Phenomenological Research, 44, 287–321.CrossRefGoogle Scholar
  25. 25.
    Nelson, D. (1949). Constructible falsity. Journal of Symbolic Logic, 14(1), 16–26.CrossRefGoogle Scholar
  26. 26.
    Parsons, T. (1990). Events in the semantics of English: A study in subatomic semantics. Cambridge: MIT Press.Google Scholar
  27. 27.
    Prior, A. (1967). Past, present and future. Oxford: Clarendon Press.Google Scholar
  28. 28.
    Ranta, A. (1994). Type-theoretical grammar. Oxford: Oxford University Press.Google Scholar
  29. 29.
    Reichenbach, H. (1947). Elements of symbolic logic. London: Macmillan.Google Scholar
  30. 30.
    Schubert, L. (2000). The situations we talk about. In J. Minker (Ed.), Logic-based artificial intelligence (pp. 407–439). Dordrecht: Kluwer.Google Scholar
  31. 31.
    Smith, B. (1999). Truthmaker realism. Australasian Journal of Philosophy, 77(3), 274–291.CrossRefGoogle Scholar
  32. 32.
    Soames, S. (1985). Lost innocence. Linguistics and Philosophy, 8(1), 59–71.CrossRefGoogle Scholar
  33. 33.
    Steedman, M. (1997). The Productions of time. Draft, July 2000. Subsumes ‘Temporality.’ In J. van Benthem, & A. ter Meulen (Eds.), Handbook of logic and language (pp. 895–935). Elsevier.
  34. 34.
    Sundholm, G. (1986). Proof theory and meaning. In D. Gabbay, & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 3, pp. 471–506). Dordrecht: Reidel.Google Scholar
  35. 35.
    Thomason, S. K. (1984). On constructing instants from events. Journal of Philosophical Logic, 13, 85–96.CrossRefGoogle Scholar
  36. 36.
    Thomason, S. K. (1989). Free constructions of time from events. Journal of Philosophical Logic, 18, 43–67.CrossRefGoogle Scholar
  37. 37.
    Troelstra, A. S. (1999). From constructivism to computer science. Theoretical Computer Science, 211, 233–252.CrossRefGoogle Scholar
  38. 38.
    van Lambalgen, M., & Hamm, F. (2005). The proper treatment of events. Blackwell.Google Scholar
  39. 39.
    van Lambalgen, M., & Hamm, F. (2006). Additional material for The proper treatment of events.∼michiell/docs/ProofsTime.pdf. Accessed June 2006.

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations

  1. 1.Trinity College DublinDublinIreland

Personalised recommendations