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...
Saved in:
Main Authors: | , |
---|---|
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 |