pokaz koszyk
rozwiń menu
tylko:  
Tytuł książki:

Logika czasu empirycznego

Autor książki:

Marcin Tkaczyk

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
Cena wydawcy: 29.00 złpozycja niedostępna

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.