Tempo e spazio nella logica formale

Titolo originale:

Time and Space in Formal Logic

Contenuto del libro:

Time and Space in Formal Logic” inizia con un'analisi dei presupposti su come la logica e il linguaggio si relazionano. Poi, nella prima sezione, si considera che i tempi siano stabiliti da proposizioni vere e che queste siano collegate come prima e dopo con connettivi proposizionali temporali.

Nella seconda sezione, i tempi sono trattati come cose che possono essere scelte e contate, il che porta a una logica dei predicati che consente la quantificazione dei tempi. Nella terza sezione, anche i luoghi nello spazio sono trattati come cose che possono essere scelte e contate, dando origine a una logica dei predicati che consente di quantificare sia i tempi che i luoghi.

Molte applicazioni dei sistemi formali alla formalizzazione di proposizioni e inferenze in linguaggio ordinario chiariscono meglio le assunzioni che facciamo nei ragionamenti che tengono conto del tempo e dello spazio, precisandole nei sistemi formali. Le appendici sugli eventi, sui tempi di ramificazione, sulle intenzioni e sui nomi descrittivi arricchiscono il lavoro.