Logica modale del primo ordine

Titolo originale:

First-Order Modal Logic

Contenuto del libro:

Fitting e Mendelsohn presentano una trattazione approfondita della logica modale del primo ordine, insieme ad alcune basi proposizionali.

L'approccio adottato è triplice. Dal punto di vista semantico, utilizzano modelli di mondi possibili; il meccanismo di prova formale è costituito da tableau e vengono fornite discussioni filosofiche complete sul modo in cui gli sviluppi tecnici influiscono su problemi filosofici ben noti.

Il libro tratta la quantificazione stessa, compresa la differenza tra quantificatori attualisti e possibilisti; l'uguaglianza, che porta a una trattazione dell'enigma stella del mattino/stella della sera di Frege; la nozione di esistenza e i problemi logici che la circondano; le costanti non rigide e i simboli di funzione; l'astrazione del predicato, che astrae un predicato da una formula, fornendo di fatto una funzione di scoping per le costanti e i simboli di funzione, che porta a chiarire le letture ambigue al centro di diversi problemi filosofici; la distinzione tra non esistenza e non designazione; e le descrizioni definite, mutuando sia dal paradigma fregeano che da quello russelliano.