Ocena:
Książka Tarskiego jest chwalona za jasny język i głębię treści, co czyni ją cennym źródłem wiedzy dla studentów logiki, zwłaszcza tych z pewnym wcześniejszym doświadczeniem matematycznym. Jest często polecana jako kluczowa lektura dla każdego zainteresowanego logiką, choć niektórzy uważają, że może nie być najlepszym wyborem dla absolutnie początkujących ze względu na jej gęstość i złożoność. Tekst zawiera pouczające przypisy i skutecznie łączy koncepcje, choć pojawia się krytyka dotycząca jego dosłowności i braku odpowiedzi na ćwiczenia.
Zalety:⬤ Przejrzysty i dobrze napisany, dzięki czemu złożone koncepcje są przystępne.
⬤ Wartościowa do samodzielnej nauki i zapewnia głęboki wgląd w logikę.
⬤ Bogata treść łącząca definicje i struktury aksjomatyczne.
⬤ Polecana czytelnikom, którzy mieli już styczność z logiką i matematyką.
⬤ Przydatne przypisy, które zwiększają zrozumienie.
⬤ Rozbudowana i może wydawać się rozwlekła lub sucha dla niektórych czytelników.
⬤ Nie nadaje się dla zupełnie początkujących; zalecana jest wcześniejsza znajomość logiki lub matematyki.
⬤ Brak rozwiązań ćwiczeń na końcu każdego rozdziału.
⬤ Niektórzy czytelnicy uznali ją za zbyt złożoną i niewciągającą do samodzielnej nauki bez dodatkowych instrukcji.
(na podstawie 32 opinii czytelników)
Introduction to Logic: And to the Methodology of Deductive Sciences
Ta klasyczna praca, opublikowana po raz pierwszy w języku polskim w 1936 roku, została pierwotnie napisana jako książka popularnonaukowa - taka, która przedstawiałaby wykształconemu czytelnikowi świeckiemu jasny obraz pewnych potężnych trendów myślowych we współczesnej logice. Według autora, tendencje te dążyły do stworzenia jednolitego aparatu pojęciowego jako wspólnej podstawy dla całej ludzkiej wiedzy.
Ponieważ te nowe osiągnięcia w myśli logicznej miały na celu udoskonalenie i wyostrzenie metody dedukcyjnej, niezbędnego narzędzia w wielu dziedzinach do wyprowadzania wniosków z przyjętych założeń, autor zdecydował się poszerzyć zakres pracy. W kolejnych wydaniach poprawił książkę, aby uczynić ją również tekstem, na którym można oprzeć podstawowy kurs uniwersytecki z logiki i metodologii nauk dedukcyjnych. To właśnie to poprawione wydanie jest przedrukowywane tutaj.
Część pierwsza omawia elementy logiki i metody dedukcyjnej, w tym użycie zmiennych, rachunek zdań, teorię tożsamości, teorię klas, teorię relacji i metodę dedukcyjną. Część druga obejmuje zastosowania logiki i metodologii w konstruowaniu teorii matematycznych, w tym prawa porządku dla liczb, prawa dodawania i odejmowania, rozważania metodologiczne dotyczące konstruowanej teorii, podstawy arytmetyki liczb rzeczywistych i inne. Autor zapewnił liczne ćwiczenia, aby pomóc studentom przyswoić materiał, który nie tylko stanowi stymulujące i prowokujące do myślenia wprowadzenie do podstaw myśli logicznej, ale jest doskonałym uzupełnieniem kursów logiki i podstaw matematyki.
