Timpul și spațiul în logica formală

Titlul original:

Time and Space in Formal Logic

Conținutul cărții:

Timpul și spațiul în logica formală începe cu o analiză a ipotezelor cu privire la modul în care logica și limbajul relaționează. Apoi, în prima secțiune, timpurile sunt considerate a fi stabilite prin propoziții adevărate, iar acestea sunt legate ca înainte și după cu ajutorul conectivelor propoziționale temporale.

În a doua secțiune, timpii sunt tratați ca lucruri care pot fi selectate și numărate, ceea ce conduce la o logică a predicatului care permite cuantificarea timpilor. În cea de-a treia secțiune, locațiile din spațiu sunt, de asemenea, tratate ca lucruri care pot fi alese și numărate, ceea ce conduce la o logică a predicatului care permite cuantificarea atât a momentelor, cât și a locațiilor.

Numeroase aplicații ale sistemelor formale la formalizarea propozițiilor și inferențelor din limbajul obișnuit clarifică mai bine ipotezele pe care le facem în raționamentele care iau în considerare timpul și spațiul prin precizarea acestora în sistemele formale. Apendicele privind evenimentele, timpii de ramificare, intențiile și denumirile descriptive extind domeniul de aplicare al lucrării.