A spurious confusion in temporal logic

• Autorzy: Tkaczyk Marcin
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

temporal logic; time; truth-value

• Wydawca: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Czasopismo: Logic and Logical Philosophy
• Rocznik: 2015
• Tom: 24
• Numer: 2
• Strony: 201–216

Daty

wydano

2015-06-01

online

2014-12-02

Twórcy

autor

Tkaczyk Marcin

• Faculty of Philosophy, Departament of Logic, The John Paul II Catholic University of Lublin, al. Racławickie 14, 20-950 Lublin, Poland ,

Bibliografia

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

Identyfikatory

DOI

10.12775/LLP.2014.022