Marcin Tkaczyk ISBN: 978-83-7363-802-0 Stron: 282 Format: B5 Rok wydania: 2009
Książka jest poświęcona zbudowaniu i zbadaniu dwóch logik nieklasycznych, należących do grupy pozycyjnych logik temporalnych. Sformalizowano zwrot "w czasie", zwany funktorem realizacji czasowej. Skonstruowane logiki podają prawa, które rządzą użyciem tego zwrotu w językach teorii fizykalnych. Badania były tu pilotowane przez pytanie, czy do logiki czasu empirycznego nie przedostawały się w niekontrolowany sposób jakieś założenia z logiki czasów gramatycznych. Jedna z logik została zbudowana przy założeniu, że w językach teorii fizykalnych obowiązuje wymóg relewancji, a druga bez tego założenia. Wskazano też merytoryczną i formalną różnicę między fizykalnym a gramatycznym ujęciem czasu. Uzyskane wyniki zostały przedstawione w ramach całościowego ujęcia współczesnych logik temporalnych.
Spis treści
Wstęp
1 Natura logiki czasu empirycznego 1.1 Pojęcie logiki temporalnej 1.2 Typy logik temporalnych 1.3 Logika temporalna a teorie empiryczne
2 Semantyka opisowa 2.1 Fizyczny sens zdania czasowego 2.2 Czas empiryczny a czasy gramatyczne 2.3 Zdania czasowe w programie J. Łosia
3 Kryteria merytorycznej trafności formalizmu 3.1 Język logiki czasu empirycznego 3.2 Podstawowe wymogi formalne 3.3 Związki wynikania i relewancji
4 Problem trafności głównych typów formalizmu 4.1 Struktury modelowe używane w logice temporalnej 4.2 Rachunki pozycyjne 4.3 Zdaniowe logiki temporalne
5 Minimalny system logiki czasu empirycznego 5.1 Charakterystyka syntaktyczna 5.2 Charakterystyka semantyczna 5.3 Mocny system ET 5.4 Niektóre rozszerzenia systemu ET
Zakończenie Bibliografia Indeks
|