Dane szczegółowe: | |
Wydawca: | Katolicki Uniwersytet Lubelski, KUL |
Rok wyd.: | 2009 |
Oprawa: | miękka |
Ilość stron: | 282 s. |
Wymiar: | 165x240 mm |
EAN: | 9788373638020 |
ISBN: | 978-83-7363-802-0 |
Data: | 2009-03-23 |
Opis książki:
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
Książka "Logika czasu empirycznego" - Marcin Tkaczyk - oprawa miękka - Wydawnictwo Katolicki Uniwersytet Lubelski, KUL. Książka posiada 282 stron i została wydana w 2009 r.