Čas a priestor vo formálnej logike

Pôvodný názov:

Time and Space in Formal Logic

Obsah knihy:

Čas a priestor vo formálnej logike začína analýzou predpokladov o tom, ako logika a jazyk súvisia. Potom v prvej časti sa časy považujú za stanovené pravdivými propozíciami a tie sa spájajú ako pred a po pomocou časových propozičných spojok.

V druhej časti sa s časmi zaobchádza ako s vecami, ktoré možno vybrať a spočítať, čo vedie k predikátovej logike, ktorá umožňuje kvantifikáciu nad časmi. V tretej časti sa miesta v priestore tiež považujú za veci, ktoré možno vybrať a spočítať, čo vedie k predikátovej logike, ktorá umožňuje kvantifikáciu nad časmi aj miestami.

Mnohé aplikácie formálnych systémov na formalizáciu viet a záverov v bežnom jazyku lepšie objasňujú predpoklady, ktoré robíme pri uvažovaní zohľadňujúcom čas a priestor, tým, že ich spresňujeme vo formálnych systémoch. Prílohy o udalostiach, vetných časoch, zámeroch a opisných názvoch dopĺňajú rozsah práce.