Temporal logik – Wikipedia

Logik, Formellt system
	Bayesian logik; Bivalent logik; Boolesk algebra; Deontisk logik; Filosofisk logik; Flervärd logik; Matematisk logik; Metalogik; Modallogik; Satslogik; Temporal logik;
Logiska system
	Första ordningens logik; Andra ordningens logik; Deontisk logik; Intuitionistisk logik; Klassisk logik; Kontemporär logik; Linjär logik; Parakonsistent logik; Predikatlogik; Relationell logik; Relevanslogik; Sannolikhetslogik; Satslogik; Substrukturell logik; Suddig logik (fuzzy logic); Syllogistisk logik;
	Denna tabell: visa • redigera

Temporal logik är logik där de ingående satserna eller satsdelarna står i ett tidsmässigt förhållande eller beroende till varandra. Till skillnad från satslogiken som uttrycker logiken mellan samtidiga händelser, uttrycker temporal logik logiken mellan icke samtidiga händelser, och hanterar begrepp som "före", "efter", "dåtid", "framtid", "då", "nu", "sen". Även tidsaspekten i begrepp som "orsak" och "verkan" bör tillhöra den temporala logiken eftersom kausalitet inte kan uttryckas i satslogiken och en verkan inte kan föregå dess orsak.

Mera allmänt avses en formalism att använda för att klargöra filosofiska frågor om tid, och semantiken av temporala uttryck i naturligt språk. Medan temporala satser har diskuterats länge inom språkvetenskap och filosofi så formulerades det första formella systemet först 1947 av den polska logikern Jerzy Łoś^[1].

Referenser

^ Łoś, Jerzy (1947). ”Podstawy analizy metodologicznej kanonów Milla” (på polska). Zasoby Biblioteki Głównej Umcs (nakł. Uniwersytetu Marii Curie-Skłodowskiej). http://dlibra.umcs.lublin.pl/dlibra/doccontent?id=4085.

[:0-1] Łoś, Jerzy (1947). ”Podstawy analizy metodologicznej kanonów Milla” (på polska). Zasoby Biblioteki Głównej Umcs (nakł. Uniwersytetu Marii Curie-Skłodowskiej). http://dlibra.umcs.lublin.pl/dlibra/doccontent?id=4085.

[1]