Logika czasu empirycznego

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.

Więcej informacji na temat książki w bazie publikacji Academicon.