Logica modală de ordinul întâi

Titlul original:

First-Order Modal Logic

Conținutul cărții:

Fitting și Mendelsohn prezintă un tratament aprofundat al logicii modale de ordinul întâi, împreună cu unele cunoștințe de bază despre propoziții.

Ei adoptă o abordare tripartită. Din punct de vedere semantic, aceștia utilizează modele de lumi posibile; mecanismele de demonstrare formală sunt tableaus; și sunt furnizate discuții filosofice complete privind modul în care evoluțiile tehnice influențează probleme filosofice bine cunoscute.

Cartea abordează cuantificarea în sine, inclusiv diferența dintre cuantificatorii realiști și cei posibiliști; egalitatea, ceea ce conduce la o tratare a enigmei lui Frege despre steaua de dimineață/steaua de seară; noțiunea de existență și problemele logice din jurul acesteia; constantele non-rigide și simbolurile funcțiilor; abstractizarea predicatului, care abstractizează un predicat dintr-o formulă, oferind de fapt o funcție de delimitare a domeniului de aplicare pentru constante și simboluri de funcție, ceea ce conduce la o clarificare a lecturilor ambigue din centrul mai multor probleme filosofice; distincția dintre nonexistență și nondesemnare; și descrieri definite, împrumutând atât din paradigma fregeană, cât și din cea russelliană.