A spurious confusion in temporal logic

Marcin Tkaczyk

DOI: http://dx.doi.org/10.12775/LLP.2014.022

Abstract


R.L. Epstein and E. Buitrago-Díaz aspire to present a vitally new approach to temporal logic, an approach based on the idea of absolute truth-values. They claim the existing approaches are confused and incoherent, and contain a significant number of nonsenses. The alleged problems are generated by truth-values being relativized to positions in time. The fundamental incoherence consists in some confusion between propositions and their schemata. Epstein and Buitrago-Díaz have formulas be simply true or false and describe fixed areas of time. I endeavour to show that all objections Epstein and Buitrago-Díaz raise to existing temporal logic are misunderstandings. The calculus they present is easily reconstructable in existing calculi, so there is no new approach here. However, the calculus is correct and may be of some interest in logic.

Keywords


temporal logic; time; truth-value

Full Text:

PDF

References


Benthem, J.F.A.K. van, The Logic of Time, Dordrecht 1983: Reidel.

Epstein, R.L., “Reflections on temporal and modal logic”, Logic and Logical Philosophy, 24, 1 (2015): 111–139. DOI: 10.12775/LLP.2014.015

Epstein, R.L., and E. Buitrago-Díaz, “A Propositional of temporal connectives”, Logic and Logical Philosophy. DOI: 10.12775/LLP.2014.020

Jarmużek, T., and A. Pietruszczak, “Completeness of Minimal Positional Calculus”, Logic and Logical Philosophy, 13 (2004): 147–162. DOI: 10.12775/LLP.2004.009

McArthur, R.P., Tense Logic, Dordrecht 1976: Reidel.

Prior, A.N., Past, Present and Future, Oxford 1967: Clarendon Press.

Prior, A.N., Papers on Time and Tense, Oxford 1968: Clarendon Press.








Print ISSN: 1425-3305
Online ISSN: 2300-9802

Partnerzy platformy czasopism