Hodnotenie:
Quineove „Metódy logiky“ sú vysoko cenené ako základný text pre štúdium logiky prvého rádu, oceňovaný pre svoju jasnosť, hĺbku a systematický prístup. Hoci účinne pokrýva základy a ponúka dômyselné techniky prekladu prirodzeného jazyka do logickej podoby, niektorí čitatelia ju považujú za ohromujúcu, zložitú a nedostatočnú v určitých oblastiach, ako je modálna logika.
Výhody:⬤ Jasný a ucelený štýl písania; Quineova próza je presná a prístupná.
⬤ Komplexné pokrytie pravdivostných funkcií a teórie kvantifikácie.
⬤ Ponúka cenné techniky na preklad prirodzeného jazyka do logických schém.
⬤ Historické poznámky a bibliografia poskytujú kontext a podnecujú k ďalšiemu štúdiu.
⬤ Quineove metódy zlepšujú logické zručnosti a podporujú rigorózne myslenie.
⬤ Komplexnosť môže čitateľov, najmä začiatočníkov, ohromiť.
⬤ Vylúčenie modálnej logiky a neformálnej logiky môže čitateľom spôsobiť, že budú chcieť komplexnejší úvod.
⬤ Niektorí čitatelia si všimli neortodoxný zápis a prílišný historický kontext, ktorý by mohol odvádzať pozornosť od hlavných tém.
⬤ Text môžu niektorí považovať za suchý, bez pútavého obsahu.
⬤ Nie je vhodný ako samostatný úvodný text pre úplných začiatočníkov; základy logiky pomáhajú.
(na základe 13 čitateľských recenzií)
Methods of Logic: Fourth Edition
Táto široko používaná učebnica modernej formálnej logiky teraz ponúka niekoľko noviniek.
Nové vydanie Quinovej učebnice, ktorá obsahuje aktualizované notácie, výberové odpovede na cvičenia, rozšírené spracovanie prirodzenej dedukcie a nové diskusie o predikátovej logike a príbuznosti medzi vyššou teóriou množín a elementárnou logikou termov, bude výborne slúžiť na vyučovanie aj na samostatné používanie.
