Erkenntnis

, Volume 39, Issue 1, pp 23–50 | Cite as

A. N. Prior's rediscovery of tense logic

  • Peter Øhrstrøm
  • Per Hasle
Article
Received:
Revised:

Keywords

Tense Logic 
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.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ben-Ari, M., A. Pnueli, and Z. Manna: 1981, ‘The Temporal Logic of Branching Time’,Proc. 8th ACM Symp. on Principles of Programming Languages, 164–176.Google Scholar
  2. Borges, J. L.: 1962,Ficciones, Grove Press Inc., New York.Google Scholar
  3. Burgess, J. P.: 1984, ‘Tense Logic’, in D. Gabbay and F. Guenther (eds.),Handbook of Philosophical Logic II, Synthese Library, Dordrecht, pp. 89–133.Google Scholar
  4. Findlay, J. N.: 1968, ‘Time: A Treatment of Some Puzzles’,Austr. Jour. Phil. 19, 1941, reprinted in R. M. Gale (ed.),The Philosophy of Time, New Jersey, p. 143 ff.Google Scholar
  5. Flo, O.: 1970, ‘Bibliograpy of the Philosophical Writings of A. N. Prior’,Theoria 36, 189–213.Google Scholar
  6. van Fraassen, B. C.: 1980, ‘Report on Tense Logic’, in E. Agazzi (ed.),Modern Logic:A Survey, Reidel, Dordrecht, pp. 425–38.Google Scholar
  7. Gabbay, D.: 1987, ‘Modal and Temporal Programming’, in A. Galton (1987), pp. 197–237.Google Scholar
  8. Galton, A. (ed.): 1987,Temporal Logic and its Applications, Academic Press, London.Google Scholar
  9. Gardies, J.-L.: 1975,La Logique de Temps, Presses Universitares de France.Google Scholar
  10. Geach, P. T.: 1970, ‘Arthur Prior: A Personal Impression’,Theoria 36, 186–88.Google Scholar
  11. Goldblatt, R.: 1980, ‘Diodorean Modality in Minkowski Spacetime’,Studia Logicae 39(2–3), 220–36.Google Scholar
  12. Gordon, C. N.: 1975, ‘The Identification of a Preferred Inertial Frame’,Foundations of Physics 5, 173–83.Google Scholar
  13. Hale, R.: 1987, ‘Temporal Logic Programming’, in A. Galton (ed.), pp. 91–119.Google Scholar
  14. Hasle, P.: 1991, ‘Building a Temporal Logic for Natural Language Understanding with the HOL-system’, in C. Brown and G. Koch (eds.),Natural Language Understanding and Logic Programming III, North Holland, pp. 92–110.Google Scholar
  15. Kenny, A.: 1970, ‘Arthur Normann Prior (1914–1969)’,Proceedings of the British Academy LVI, 321–49.Google Scholar
  16. Massey, G.: 1969, ‘Tense Logic! Why Bother?’,NOUS 3, 17–32.Google Scholar
  17. Mates, B.: 1949, ‘Diodorean Implication’,Philosophical Review 58, 234–44.Google Scholar
  18. McCall, S.: 1976, ‘Objective Time Flow’,Phil. Sci. 43, 337–62.Google Scholar
  19. McTaggart: 1908, ‘The Unreality of Time’,Mind, 457–74.Google Scholar
  20. Peirce, C. S.: 1931–1958,Collected Papers, Harvard University Press, Cambridge Massachusetts.Google Scholar
  21. Prior, A. N.: 1957a,Time and Modality, Oxford.Google Scholar
  22. Prior, A. N.: 1957b, ‘The Necessary and the Possible’,The Listener. Google Scholar
  23. Prior, A. N.: 1957c, ‘Symbolism and Analogy’,The Listener. Google Scholar
  24. Prior, A. N.: 1967,Past Present and Future, Oxford.Google Scholar
  25. Prior, A. N.: 1968,Papers on Time and Tense, Oxford.Google Scholar
  26. Prior, A. N.: 1972,The Notion of the Present’, in J. F. Faser et al. (eds.),The Study of Time, Springer, pp. 320–23.Google Scholar
  27. Prior, A. N.:Determinism in Philosophy and Theology (DPT), Box 6 (4 p.) Bodleian Library, Oxford (This paper is not dated but it contains certain theological statements which suggest that it is early).Google Scholar
  28. Prior, A. N.: 1966,A Statement of Temporal Realism (TR), Box 7, 4 p., Badleian Library, Oxford.Google Scholar
  29. Prior, A. N.: 1976a, ‘What is Logic?’, published in P. T. Geach and A. J. P. Kenny (eds.),Papers in Logic and Ethics, London, pp. 122–29.Google Scholar
  30. Prior, A. N.:Some Free Thinking about Time (SFTT), Box 7, Bodleian Library, Oxford.Google Scholar
  31. Prior, A. N.: 1976a, ‘It was to be (IWB)’, P. T. Geach and A. J. P. Kenny (eds.),Papers in Logic and Ethics, London, pp. 97–108.Google Scholar
  32. Prior, A. N. and K. Fine: 1977,Worlds, Times and Selves, Duckworth.Google Scholar
  33. Prior, A. N.: 1976b, in P. T. Geach and A. J. P. Kenny (eds.),The Doctrine of Propositions and Terms, London.Google Scholar
  34. Prior, A. N.: 1969, ‘Recent Advances in Tense Logic’,The Monist 53, 325–39.Google Scholar
  35. Reichenbach, Hans: 1947,Elements of Symbolic Logic, New York, pp. 287–98.Google Scholar
  36. Rescher, N.: ‘Truth and Necessity in Temporal Perspective’, in R. Gale (ed.),The Philosophy of Time, New Jersey, pp. 183–220.Google Scholar
  37. Rescher, N. and A. Urquhart: 1971,Temporal Logic, Springer.Google Scholar
  38. Robin Le Poidevin: 1991,Change, Cause and Contradiction;A Defence of the Tenseless Theory of Time, Macmillan Press Ltd.Google Scholar
  39. Swinburne, Richard: 1990, ‘Tensed Facts’,American Philosophical Quarterly 27, 117–30.Google Scholar
  40. Thayse, A. (ed.): 1989,From Modal Logic to Deductive Databases, John Wiley & Sons, Chichester.Google Scholar
  41. Thomas, I.: 1971, ‘In Memoriam — A. N. Prior’,Notre Dame Journal of Formal Logic XII, 129–130.Google Scholar
  42. von Weizäcker, C. F.: 1971, ‘The Unity of Physics’, in T. Bastin (ed.).Quantum Theory and Beyond, Cambridge, pp. 229–262.Google Scholar
  43. Whitrow, G. J.: 1980,The Natural Philosophy of Time, 2nd ed., Oxford.Google Scholar
  44. Øhrstrøm, P.: ‘Anselm, Ockham and Leibniz on Divine Foreknowledge and Human Freedom’,Erkenntnis 21, 209–222.Google Scholar
  45. Øhrstrøm, P.: 1990, ‘A. N. Prior's Tense Logic and the Special Theory of Relativity’,Physical Interpretations of Relativity Theory II, London, pp. 207–214.Google Scholar
  46. Øhrstrøm, P. and P. Hasle: 1991, ‘Medieval Logic and Natural Language Understanding’, in C. Brown and G. Koch (eds.),Natural Language Understanding and Logic Programming, North-Holland, pp. 75–91.Google Scholar

Copyright information

© Kluwer Academic Publishers 1993

Authors and Affiliations

  • Peter Øhrstrøm
    • 1
  • Per Hasle
    • 1
  1. 1.Department of Information ScienceUniversity of AarhusAarhus NDenmark

Personalised recommendations