First-Order Modal Logic
Fitting a Mendelsohn predkladajú dôkladné spracovanie modálnej logiky prvého rádu spolu s niektorými výrokovými podkladmi.
V celom texte uplatňujú trojaký prístup. Z hľadiska sémantiky používajú modely možného sveta, formálny dôkazový aparát je tabuľkový a v plnej miere sa venujú filozofickým diskusiám o tom, ako sa technický vývoj prejavuje na známych filozofických problémoch.
Kniha sa zaoberá samotnou kvantifikáciou vrátane rozdielu medzi aktualistickými a possibilistickými kvantifikátormi; rovnosťou, čo vedie k spracovaniu Fregeho hádanky ranná hviezda/večerná hviezda; pojmom existencie a logickými problémami, ktoré ho sprevádzajú; netuhými konštantami a symbolmi funkcií; abstrakcia predikátu, ktorá abstrahuje predikát z formuly, čím v podstate poskytuje funkciu rozsahu pre konštanty a funkčné symboly, čo vedie k objasneniu nejednoznačných výkladov, ktoré sú jadrom viacerých filozofických problémov; rozdiel medzi neexistenciou a neoznačením; a definitívne opisy, ktoré sú prevzaté z Fregeho aj Russelovej paradigmy.
