Indeterministic Temporal Logic

The questions od determinism, causality, and freedom have been the main philosophical problems debated since the beginning of temporal logic. The issue of the logical value of sentences about the future was stated by Aristotle in the famous tomorrow sea-battle passage. The question has inspired Łuka...

Full description

Bibliographic Details
Main Author: Trzęsicki Kazimierz
Format: Article
Language:English
Published: Sciendo 2015-09-01
Series:Studies in Logic, Grammar and Rhetoric
Subjects:
Online Access:https://doi.org/10.1515/slgr-2015-0034
_version_ 1819078865382801408
author Trzęsicki Kazimierz
author_facet Trzęsicki Kazimierz
author_sort Trzęsicki Kazimierz
collection DOAJ
description The questions od determinism, causality, and freedom have been the main philosophical problems debated since the beginning of temporal logic. The issue of the logical value of sentences about the future was stated by Aristotle in the famous tomorrow sea-battle passage. The question has inspired Łukasiewicz’s idea of many-valued logics and was a motive of A. N. Prior’s considerations about the logic of tenses. In the scheme of temporal logic there are different solutions to the problem. In the paper we consider indeterministic temporal logic based on the idea of temporal worlds and the relation of accessibility between them.
first_indexed 2024-12-21T19:19:53Z
format Article
id doaj.art-994e10fe4f444a409874b806f969c40f
institution Directory Open Access Journal
issn 2199-6059
language English
last_indexed 2024-12-21T19:19:53Z
publishDate 2015-09-01
publisher Sciendo
record_format Article
series Studies in Logic, Grammar and Rhetoric
spelling doaj.art-994e10fe4f444a409874b806f969c40f2022-12-21T18:52:58ZengSciendoStudies in Logic, Grammar and Rhetoric2199-60592015-09-0142113916210.1515/slgr-2015-0034slgr-2015-0034Indeterministic Temporal LogicTrzęsicki Kazimierz0University of BialystokThe questions od determinism, causality, and freedom have been the main philosophical problems debated since the beginning of temporal logic. The issue of the logical value of sentences about the future was stated by Aristotle in the famous tomorrow sea-battle passage. The question has inspired Łukasiewicz’s idea of many-valued logics and was a motive of A. N. Prior’s considerations about the logic of tenses. In the scheme of temporal logic there are different solutions to the problem. In the paper we consider indeterministic temporal logic based on the idea of temporal worlds and the relation of accessibility between them.https://doi.org/10.1515/slgr-2015-0034temporal logicdeterminismcausalityfreedom
spellingShingle Trzęsicki Kazimierz
Indeterministic Temporal Logic
Studies in Logic, Grammar and Rhetoric
temporal logic
determinism
causality
freedom
title Indeterministic Temporal Logic
title_full Indeterministic Temporal Logic
title_fullStr Indeterministic Temporal Logic
title_full_unstemmed Indeterministic Temporal Logic
title_short Indeterministic Temporal Logic
title_sort indeterministic temporal logic
topic temporal logic
determinism
causality
freedom
url https://doi.org/10.1515/slgr-2015-0034
work_keys_str_mv AT trzesickikazimierz indeterministictemporallogic