First-Order Modal Logic
Fitting i Mendelsohn przedstawiają dogłębną analizę logiki modalnej pierwszego rzędu, wraz z pewnymi podstawami propozycjonalnymi.
Przyjmują oni potrójne podejście. Semantycznie, używają możliwych modeli świata; formalna maszyneria dowodowa to tableaus; a pełne dyskusje filozoficzne są dostarczane w sposób, w jaki rozwój techniczny wpływa na dobrze znane problemy filozoficzne.
Książka obejmuje samą kwantyfikację, w tym różnicę między kwantyfikatorami aktualistycznymi i możliwymi; równość, prowadzącą do rozwiązania zagadki Fregego dotyczącej gwiazdy porannej / gwiazdy wieczornej; pojęcie istnienia i otaczające je problemy logiczne; niesztywne stałe i symbole funkcyjne; abstrakcja predykatu, która abstrahuje predykat z formuły, w efekcie zapewniając funkcję zakresu dla stałych i symboli funkcyjnych, prowadząc do wyjaśnienia niejednoznacznych odczytań w sercu kilku problemów filozoficznych; rozróżnienie między nieistnieniem a nieoznaczeniem; oraz opisy definitywne, zapożyczone zarówno z paradygmatów frege'owskich, jak i russellowskich.
