Solving Prior’s Problem with a Priorean Tool

Synthese 193 (11):3567-3577 (2016)
  Copy   BIBTEX

Abstract

I will show how a metaphysical problem of Arthur Prior’s can be solved by a logical tool he developed himself, but did not put to any foundational use: metric logic. The broader context is given by the key question about the metaphysics of time: Is time tenseless, i.e., is time just a structure of instants; or is time tensed, because some facts are irreducibly tensed? I take sides with Prior and the tensed theory. Like him, I therefore I have to deal with a more specific metaphysical question: How can the instants of tenseless time be reduced to tensed facts? This is the point where, on the technical level, hybrid logic and metric logic come in. For present purposes, both can be seen as species of tense logic; and both are creations of Prior. In his argument for the tensed theory of time, Prior used hybrid tense logic to reduce instants. But, as he himself pointed out, this reduction runs into deep problems, because it immediately generalizes to other categories, for example and most importantly to persons. My main aim is to show that metric logic does not run into similar difficulties: It will help the tensed theory reduce instants, but it leaves persons untouched. I will also give reasons for preferring a metric to a hybrid logic of time that are independent of the metaphysical issue of reduction, but concern temporal reasoning, natural language semantics, and the epistemic side of time-keeping.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
Tense Logic.Ulrich Meyer - 2015 - Philosophy Compass 10 (6):406-419.
Axiomatising the Prior Future in Predicate Logic.Max Cresswell - 2013 - Logica Universalis 7 (1):87-101.
Arthur Prior and Medieval Logic.Sara L. Uckelman - 2012 - Synthese 188 (3):349-366.
Papers on time and tense.Arthur Norman Prior - 1968 - New York: Oxford University Press. Edited by Per F. V. Hasle.
Papers on Time and Tense.Arthur N. Prior - 1968 - Oxford, England: Oxford University Press UK. Edited by Per F. V. Hasle.
The taming of the states.A. Montanari, A. Peron & A. Policriti - 2000 - Logic Journal of the IGPL 8 (5):681-699.

Analytics

Added to PP
2015-11-02

Downloads
49 (#287,646)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Martin Pleitz
University of Münster (PhD)

Citations of this work

No citations found.

Add more citations

References found in this work

Naming and Necessity: Lectures Given to the Princeton University Philosophy Colloquium.Saul A. Kripke - 1980 - Cambridge, MA: Harvard University Press. Edited by Darragh Byrne & Max Kölbel.
Naming and Necessity.S. Kripke - 1972 - Tijdschrift Voor Filosofie 45 (4):665-666.
Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..
Past, Present and Future.Arthur N. Prior - 1967 - Oxford, GB: Oxford University Press.
Time and modality.Arthur N. Prior - 1955 - Westport, Conn.: Greenwood Press.

View all 18 references / Add more references