Aristotelian Roots of Contemporary Tense Logic

Tense logic is a branch of contemporary logic which includes formal devices that allow us to deal with the temporal relations between propositions. The aim of our paper is threefold: 1) to reveal how Aristotelian philosophical ideas about time, truth, possibility and necessity were reinterpreted by...

Full description

Saved in:
Bibliographic Details
Main Authors: Živilė PABIJUTAITĖ, Pranciškus GRICIUS
Format: Article
Language:German
Published: Babeș-Bolyai University 2024-08-01
Series:Studia Universitatis Babeș-Bolyai. Philosophia
Subjects:
Online Access:https://studia.reviste.ubbcluj.ro/index.php/subbphilosophia/article/view/7500
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1839606041310920704
author Živilė PABIJUTAITĖ
Pranciškus GRICIUS
author_facet Živilė PABIJUTAITĖ
Pranciškus GRICIUS
author_sort Živilė PABIJUTAITĖ
collection DOAJ
description Tense logic is a branch of contemporary logic which includes formal devices that allow us to deal with the temporal relations between propositions. The aim of our paper is threefold: 1) to reveal how Aristotelian philosophical ideas about time, truth, possibility and necessity were reinterpreted by the founder of contemporay tense logic Arthur Prior; 2) to discuss what novel solutions to the classical problem of future contingents are available using Priorean invention; 3) to describe how the tools of tense logic have transcended their original theoretical purposes.
format Article
id doaj-art-cf434c17002048c0aa4421b0c20bd8b0
institution Matheson Library
issn 2065-9407
language deu
publishDate 2024-08-01
publisher Babeș-Bolyai University
record_format Article
series Studia Universitatis Babeș-Bolyai. Philosophia
spelling doaj-art-cf434c17002048c0aa4421b0c20bd8b02025-08-01T11:12:04ZdeuBabeș-Bolyai UniversityStudia Universitatis Babeș-Bolyai. Philosophia2065-94072024-08-0169210.24193/subbphil.2024.2.04Aristotelian Roots of Contemporary Tense Logic Živilė PABIJUTAITĖ0https://orcid.org/0000-0002-4928-7298Pranciškus GRICIUS1https://orcid.org/0000-0002-4241-9681Faculty of Philosophy, Universiteto St. 9/1, Vilnius University, Vilnius, LT-01513, Lithuania. e-mail: zivile.pabijutaite@fsf.vu.ltUniversity of Oxford, Vilnius University St Hilda’s College, Cowley Pl., Oxford OX4 1DY, United Kingdom. e-mail: pranciskus.gricius@st-hildas.ox.ac.ukTense logic is a branch of contemporary logic which includes formal devices that allow us to deal with the temporal relations between propositions. The aim of our paper is threefold: 1) to reveal how Aristotelian philosophical ideas about time, truth, possibility and necessity were reinterpreted by the founder of contemporay tense logic Arthur Prior; 2) to discuss what novel solutions to the classical problem of future contingents are available using Priorean invention; 3) to describe how the tools of tense logic have transcended their original theoretical purposes.https://studia.reviste.ubbcluj.ro/index.php/subbphilosophia/article/view/7500Tense LogicSea-Battle ParadoxFuture ContingentsArthur PriorAristotle
spellingShingle Živilė PABIJUTAITĖ
Pranciškus GRICIUS
Aristotelian Roots of Contemporary Tense Logic
Studia Universitatis Babeș-Bolyai. Philosophia
Tense Logic
Sea-Battle Paradox
Future Contingents
Arthur Prior
Aristotle
title Aristotelian Roots of Contemporary Tense Logic
title_full Aristotelian Roots of Contemporary Tense Logic
title_fullStr Aristotelian Roots of Contemporary Tense Logic
title_full_unstemmed Aristotelian Roots of Contemporary Tense Logic
title_short Aristotelian Roots of Contemporary Tense Logic
title_sort aristotelian roots of contemporary tense logic
topic Tense Logic
Sea-Battle Paradox
Future Contingents
Arthur Prior
Aristotle
url https://studia.reviste.ubbcluj.ro/index.php/subbphilosophia/article/view/7500
work_keys_str_mv AT zivilepabijutaite aristotelianrootsofcontemporarytenselogic
AT pranciskusgricius aristotelianrootsofcontemporarytenselogic