Skip to main content
SpringerLink
Log in

Constructing Situations and Time

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

Abstract

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).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Allen, J. F. (1983). Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11), 832–843.

    Article  Google Scholar 

  2. Allen, J. F., & Ferguson, G. (1994). Actions and events in interval temporal logic. Journal of Logic and Computation, 4(5), 531–579.

    Article  Google Scholar 

  3. Asher, N., & Lascarides, A. (2003). Logics of conversation. Cambridge University Press.

  4. Barwise, J., & Perry, J. (1983). Situations and attitudes. Cambridge: MIT Press.

    Google Scholar 

  5. Beesley, K. R., & Karttunen, L. (2003). Finite state morphology. Stanford: CSLI Publications.

    Google Scholar 

  6. Chang, C. C., & Keisler, H. J. (1973). Model theory. Amsterdam: North-Holland.

  7. Cooper, R. (2005). Austinian truth, attitudes and type theory. Research on Language and Computation, 3(4), 333–362.

    Article  Google Scholar 

  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.

  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. 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.

  11. Fernando, T. (2007). Observing events and situations in time. Linguistics and Philosophy, 30(5), 527–550.

    Article  Google Scholar 

  12. Fernando, T. (2009). Situations as indices and as denotations. Linguistics and Philosophy, 32(2), 185–206.

    Article  Google Scholar 

  13. Fernando, T. (2009). Situations in LTL as strings. Information and Computation, 207(10), 980–999.

    Article  Google Scholar 

  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.

  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.

    Article  Google Scholar 

  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.

    Article  Google Scholar 

  17. Harel, D., Kozen, D., & Tiuryn, J. (2000). Dynamic logic. MIT Press.

  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. Kamp, H., & Reyle, U. (1993). From discourse to logic. Dordrecht: Kluwer.

    Google Scholar 

  20. Kaplan, D. (1978). On the logic of demonstratives. Journal of Philosophical Logic, 8(1), 81–98.

    Google Scholar 

  21. Kratzer, A. (2008). Situations in natural language semantics. In Stanford encyclopedia of philosophy. http://plato.stanford.edu/entries/situations-semantics/.

  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.

  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.

  24. Mulligan, K., Simons, P., & Smith, B. (1984). Truth-makers. Philosophy and Phenomenological Research, 44, 287–321.

    Article  Google Scholar 

  25. Nelson, D. (1949). Constructible falsity. Journal of Symbolic Logic, 14(1), 16–26.

    Article  Google Scholar 

  26. Parsons, T. (1990). Events in the semantics of English: A study in subatomic semantics. Cambridge: MIT Press.

  27. Prior, A. (1967). Past, present and future. Oxford: Clarendon Press.

    Google Scholar 

  28. Ranta, A. (1994). Type-theoretical grammar. Oxford: Oxford University Press.

    Google Scholar 

  29. Reichenbach, H. (1947). Elements of symbolic logic. London: Macmillan.

    Google Scholar 

  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. Smith, B. (1999). Truthmaker realism. Australasian Journal of Philosophy, 77(3), 274–291.

    Article  Google Scholar 

  32. Soames, S. (1985). Lost innocence. Linguistics and Philosophy, 8(1), 59–71.

    Article  Google Scholar 

  33. Steedman, M. (1997). The Productions of time. Draft, ftp://ftp.cogsci.ed.ac.uk/pub/steedman/temporality/temporality.ps.gz. July 2000. Subsumes ‘Temporality.’ In J. van Benthem, & A. ter Meulen (Eds.), Handbook of logic and language (pp. 895–935). Elsevier.

  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. Thomason, S. K. (1984). On constructing instants from events. Journal of Philosophical Logic, 13, 85–96.

    Article  Google Scholar 

  36. Thomason, S. K. (1989). Free constructions of time from events. Journal of Philosophical Logic, 18, 43–67.

    Article  Google Scholar 

  37. Troelstra, A. S. (1999). From constructivism to computer science. Theoretical Computer Science, 211, 233–252.

    Article  Google Scholar 

  38. van Lambalgen, M., & Hamm, F. (2005). The proper treatment of events. Blackwell.

  39. van Lambalgen, M., & Hamm, F. (2006). Additional material for The proper treatment of events. http://staff.science.uva.nl/∼michiell/docs/ProofsTime.pdf. Accessed June 2006.

Download references

Author information

Authors and Affiliations

  1. Trinity College Dublin, Dublin, Ireland

    Tim Fernando

Authors
  1. Tim Fernando
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tim Fernando.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Fernando, T. Constructing Situations and Time. J Philos Logic 40, 371–396 (2011). https://doi.org/10.1007/s10992-010-9155-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10992-010-9155-1

Keywords

Search

Navigation