Logika i filozofia - współczesne wprowadzenie

Opinie czytelników

Podręcznik jest chwalony za przejrzystość, intuicyjną strukturę i skuteczne ćwiczenia, które pomagają uczniom zrozumieć logikę pierwszego rzędu. Obejmuje zaawansowane tematy, takie jak logika wyższego rzędu i logika modalna, które stanowią solidną podstawę do dalszej nauki. Istnieją jednak poważne skargi dotyczące słabej jakości oprawy i trwałości książki, a wielu użytkowników zgłasza problemy z wypadaniem stron wkrótce po zakupie. Dodatkowo, wydanie Kindle jest krytykowane za problemy z formatowaniem, co utrudnia korzystanie z niego. Niektórzy recenzenci zauważyli również, że choć jest to dobry podręcznik logiki, to brakuje mu głębi w dyskusjach filozoficznych.

Przejrzyste i intuicyjne rozdziały, skuteczne ćwiczenia sprawdzające zrozumienie, różne ścieżki nauczania, włączenie logiki wyższego rzędu i logiki modalnej, uczciwa cena i dobry materiał podstawowy dla studentów.

Słaba jakość oprawy prowadząca do wypadania stron, problemy z formatowaniem edycji Kindle i potencjalny brak głębi w tematach filozoficznych.

(na podstawie 9 opinii czytelników)

Oryginalny tytuł:

Logic and Philosophy - A Modern Introduction

Zawartość książki:

Kompleksowe wprowadzenie do logiki formalnej, Logika i filozofia: A Modern Introduction to rygorystyczny, ale przystępny tekst, odpowiedni dla studentów, którzy po raz pierwszy stykają się z tematem. Obfite, starannie opracowane zestawy ćwiczeń, którym towarzyszy jasna, wciągająca ekspozycja, budują eksplorację logiki zdaniowej, logiki predykatów pierwszego rzędu, teorii opisów, tożsamości, relacji, teorii zbiorów, logiki modalnej i logiki arystotelesowskiej. Jak sugeruje tytuł, Logic and Philosophy jest poświęcony nie tylko logice, ale także debatom filozoficznym, które doprowadziły do rozwoju tej dziedziny. W 13. edycji dodano wiele nowych materiałów. Wprowadzenie do teorii mnogości i jej związku z logiką i matematyką, w tym kwestie filozoficzne, jest teraz częścią rozdziału 13. Rozdział 15 jest wprowadzeniem do logiki modalnej i semantyki Kripkego, kończącym się dyskusją filozoficznych problemów z jakimkolwiek logicznym dostosowaniem modalności. Instruktorzy, którzy nie chcą prezentować metod dowodowych, znajdą rozdziały poświęcone drzewom prawdy zarówno dla logiki zdaniowej, jak i logiki pierwszego rzędu, a także prezentację drzew dla logiki modalnej.

Szczególne cechy tego tekstu obejmują prezentacje historii logiki, alternatywy dla tradycyjnych metod dowodu warunkowego i pośredniego oraz dyskusję problemów semantycznych z uniwersalnymi i egzystencjalnymi instancjami. Przez cały czas autorzy są wrażliwi na kwestie filozoficzne, które wynikają z relacji między zwykłym językiem, logiką symboliczną oraz uzasadnieniami składni i semantyki różnych języków symbolicznych. Dyskusje sięgają od uzasadnienia tabeli prawdy dla zdaniowego renderowania stwierdzeń if... then do paradoksów semantycznych i składniowych, w tym niektórych kłopotliwych paradoksów, które pojawiają się w zwykłym języku (np. tak zwany paradoks kata lub quiz niespodzianka).

Logic and Philosophy zawiera obszerny materiał na jedno- lub dwusemestralny kurs i zapewnia gruntowne przygotowanie do bardziej zaawansowanych kursów logiki.