Książka

Marcin Tkaczyk: Logika czasu empirycznego

Zapisz się do newslettera:

Zgłoś konferencję, wypełniając formularz, który można pobrać > tutaj.

Dołącz o zespołu redakcyjnego portalu Academicon. Więcej informacji > tutaj.

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.

 

Zamów książkę w Księgarni Academicon!

logo ksiegarnia academicon

 

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

Zamów książkę w Księgarni Academicon!

logo ksiegarnia academicon

Wydawca: Wydawnictwo KUL
Miejsce wydania: Lublin
Numer wydania: 1
Rok: 2009
Oprawa: miękka
Stron: 282

Zleć nam wydanie

Zapraszamy autorów monografii, prac doktorskich, habilitacyjnych i innych prac naukowych, popularnonaukowych i dydaktycznych do wydania książki w nowoczesnym Wydawnictwie Academicon. Zapraszamy także do współpracy wydawniczej redaktorów czasopism, serii wydawniczych i prac zbiorowych.

Zleć nam usługę wydawniczą

Dla autorów, którzy chcieliby powierzyć nam tylko niektóre etapy procesu wydawniczego, przygotowaliśmy atrakcyjne pakiety usług: redakcyjny, dtp, graficzny, e-bookowy i drukarski.

Zamów książkę

Nasza e-księgarnia, gdzie znajdziesz nasze publikacje, i nie tylko...

Open Journal Systems

System do zarządzania online procesem redagowania czasopisma.

Open Conference System

System do zarządzania online konferencjami naukowymi.