Ocena:
Recenzje prezentują mieszany pogląd na książkę o logice modalnej, chwaląc jej przejrzystość i dokładność, zwłaszcza jako wprowadzenie dla początkujących. Istnieją jednak poważne obawy dotyczące błędów typograficznych, szczególnie w niektórych wydrukach i formatach, takich jak Kindle, a także problemy z jakością stron w niektórych egzemplarzach.
Zalety:⬤ Jasne i dokładne wyjaśnienia sprawiają, że logika modalna jest przystępna dla początkujących.
⬤ Dobrze zorganizowana treść, która jest odpowiednia zarówno dla początkujących, jak i doświadczonych czytelników.
⬤ Przyjemny styl pisania z efektywnymi analogiami używanymi do wyjaśniania pojęć.
⬤ Dobra również do celów referencyjnych.
⬤ Większość recenzentów doceniła prawdziwy wgląd w logikę modalną.
⬤ Wiele błędów typograficznych, zwłaszcza w wydaniu Kindle i pierwszym druku.
⬤ Niektórzy recenzenci uznali książkę za powolną i nużącą, szczególnie dla osób z wcześniejszym doświadczeniem w logice.
⬤ Problemy z jakością stron i oprawą w niektórych egzemplarzach.
⬤ Brak interesującego formatowania lub dodatkowych materiałów, które mogłyby poprawić doświadczenie edukacyjne.
(na podstawie 9 opinii czytelników)
A New Introduction to Modal Logic
Ta długo oczekiwana książka zastępuje dwa klasyczne opracowania logiki modalnej autorstwa Hughesa i Cresswella: An Introduction to Modal Logic i A Companion to Modal Logic.
A New Introduction to Modal Logic to zupełnie nowa praca, napisana przez autorów całkowicie od nowa. Uwzględnili oni wszystkie nowe osiągnięcia, które miały miejsce od 1968 roku zarówno w modalnej logice zdań, jak i modalnej logice predykatów, bez poświęcania jasności ekspozycji i przystępności, które były podstawowymi cechami ich wcześniejszych prac.
Książka prowadzi czytelnika od najbardziej podstawowych systemów modalnej logiki propozycjonalnej aż do systemów predykatów modalnych z tożsamością. Obejmuje zarówno rozwój techniczny, taki jak kompletność i niekompletność oraz modele skończone i nieskończone, jak i ich zastosowania filozoficzne, zwłaszcza w obszarze modalnej logiki predykatów.