History and Philosophy of Logic 42 (2):180-188 (2021)

David Jakobsen
Aalborg University
In 1954, A. N. Prior discovered a way to formalize tense-logic—as such, there is no doubt that he is the father of modern tense-logic. Despite this, he considered his early teacher in philosophy and logic, J. N. Findlay, to be, in a sense, the father of modern tense-logic. This title has been disputed, and it has been argued that Findlay merely had the luck of inspiring Prior’s invention through an important footnote in an article on time from 1941. However, others have accepted the view that Findlay is the father of tense-logic merely based on the same footnote and Prior’s appraisal. This article will argue, based upon a reading of Findlay’s early authorship, that both views are wrong. Furthermore, an evaluation of Findlay’s early work makes it evident that Prior was able to provide the formal foundation that was lacking in Findlay’s theory of tenses. Finally, the article argues that Prior’s tense-logic and Findlay theory of tenses was part of a different view on the relationship between symbols and metaphysics than the one espoused by Bertrand Russell.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/01445340.2021.1903828
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,687
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Past, Present and Future.Arthur Prior - 1967 - Clarendon Press.
Time and Modality.A. N. PRIOR - 1955 - Greenwood Press.
Mr. Strawson on Logical Theory.W. V. Quine - 1953 - Mind 62 (248):433-451.
A.N. Prior and ‘The Nature of Logic’.David Jakobsen - 2019 - History and Philosophy of Logic 41 (1):71-81.

View all 17 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A.N. Prior and ‘The Nature of Logic’.David Jakobsen - 2019 - History and Philosophy of Logic 41 (1):71-81.
Tense Logic.Ulrich Meyer - 2015 - Philosophy Compass 10 (6):406-419.
Papers on Time and Tense.Arthur N. Prior - 1968 - Oxford University Press.
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
Papers on Time and Tense.Arthur N. Prior - 2003 - Oxford University Press UK.
Temporal Reference in Linear Tense Logic.M. J. Cresswell - 2010 - Journal of Philosophical Logic 39 (2):173-200.
Tense, Temporal Reference, and Tense Logic.Patrick Blackburn - 1994 - Journal of Semantics 11 (1-2):83-101.
A Note on the Interpolation Property in Tense Logic.Frank Wolter - 1997 - Journal of Philosophical Logic 26 (5):545-551.
Finite Trees in Tense Logic.Bellissima Fabio & Cittadini Saverio - 1999 - Studia Logica 62 (2):121-140.
Worlds and Times.Ulrich Meyer - 2006 - Notre Dame Journal of Formal Logic 47 (1):25--37.


Added to PP index

Total views
5 ( #1,151,152 of 2,432,281 )

Recent downloads (6 months)
5 ( #138,513 of 2,432,281 )

How can I increase my downloads?


My notes