Metody logiki: Wydanie czwarte

Opinie czytelników

„Metody logiki” Quine'a są wysoko cenione jako fundamentalny tekst do nauki logiki pierwszego rzędu, chwalony za jasność, głębię i systematyczne podejście. Chociaż skutecznie obejmuje podstawy i oferuje wnikliwe techniki tłumaczenia języka naturalnego na formę logiczną, niektórzy czytelnicy uważają, że jest przytłaczający, złożony i brakuje mu pewnych obszarów, takich jak logika modalna.

⬤ Przejrzysty i spójny styl pisania; proza Quine'a jest precyzyjna i przystępna.
⬤ Wyczerpujące omówienie funkcji prawdy i teorii kwantyfikacji.
⬤ Oferuje cenne techniki przekładania języka naturalnego na schematy logiczne.
⬤ Uwagi historyczne i bibliografia zapewniają kontekst i zachęcają do dalszych badań.
⬤ Metody Quine'a zwiększają umiejętności logiczne i promują rygorystyczne myślenie.

⬤ Złożoność może przytłoczyć czytelników, szczególnie początkujących.
⬤ Wykluczenie logiki modalnej i logiki nieformalnej może sprawić, że czytelnicy będą chcieli bardziej kompleksowego wprowadzenia.
⬤ Niektórzy czytelnicy zauważają nieortodoksyjną notację i nadmierny kontekst historyczny, który może odwracać uwagę od głównych tematów.
⬤ Tekst może zostać uznany przez niektórych za suchy, pozbawiony wciągającej treści.
⬤ Nie nadaje się jako samodzielny tekst wprowadzający dla absolutnie początkujących; pomocne jest doświadczenie w logice.

(na podstawie 13 opinii czytelników)

Oryginalny tytuł:

Methods of Logic: Fourth Edition

Zawartość książki:

Ten powszechnie używany podręcznik współczesnej logiki formalnej oferuje teraz szereg nowych funkcji.

Zawierając zaktualizowane notacje, selektywne odpowiedzi na ćwiczenia, rozszerzone traktowanie dedukcji naturalnej oraz nowe dyskusje na temat logiki predykatów-funktorów i powinowactw między wyższą teorią zbiorów a elementarną logiką pojęć, nowe wydanie Quine'a będzie doskonale służyć zarówno w klasie, jak i do samodzielnego użytku.