
Pewne zastosowania wybranych rozszerzeń logiki tensalnej w niektórych naukach przyrodniczych
Author(s) -
Anna Kozanecka-Dymek
Publication year - 2021
Publication title -
studia philosophica wratislaviensia
Language(s) - English
Resource type - Journals
ISSN - 1895-8001
DOI - 10.19195/1895-8001.16.4.5
Subject(s) - event (particle physics) , computer science , metric (unit) , and gate , natural (archaeology) , arithmetic , mathematics , algorithm , history , logic gate , engineering , physics , operations management , quantum mechanics , archaeology
In the article an issue of applicability of tense logic in natural sciences is addressed. I argue that if one reaches the limits of applications of tense logic, then, in some cases, it is possible to apply some extensions of tense logic. Among examples of such systems is the metric tense logic which enables one to express how many units of time have passed since the occurrence of an event, or how many units of time will pass until the event will take place. Another example is the logic with operators Since and Until, which allows to express time dependences of occurring one event upon the occurrence of an another event.