Idő és tér a formális logikában

Eredeti címe:

Time and Space in Formal Logic

Könyv tartalma:

Time and Space in Formal Logic a logika és a nyelv kapcsolatára vonatkozó feltételezések elemzésével kezdődik. Ezután az első szakaszban az időket igaz tételek által megállapítottnak vesszük, és ezeket időbeli állítmánykapcsoló kötőszavakkal mint előtte és utána viszonyítjuk egymáshoz.

A második szakaszban az időket olyan dolgokként kezeljük, amelyeket ki lehet választani és meg lehet számolni, ami egy olyan predikátumlogikához vezet, amely lehetővé teszi az idők feletti kvantifikációt. A harmadik szakaszban a térben lévő helyeket szintén olyan dolgokként kezeljük, amelyeket ki lehet választani és meg lehet számolni, ami egy olyan predikátumlogikához vezet, amely lehetővé teszi a kvantifikációt mind az idők, mind a helyek felett.

A formális rendszerek számos alkalmazása a hétköznapi nyelvi tételek és következtetések formalizálására jobban tisztázza azokat a feltételezéseket, amelyeket az időt és a teret figyelembe vevő érvelés során teszünk azáltal, hogy ezeket a formális rendszerekben pontosítjuk. Az eseményekről, az elágazási időkről, a szándékokról és a leíró nevekről szóló függelékek bővítik a munka terjedelmét.