Wprowadzenie do logiki symbolicznej i jej zastosowań

Opinie czytelników

Książka jest uważana za klasykę logiki symbolicznej, chwalona za jej głębię i integrację różnych powiązanych tematów. Zauważono jednak, że stanowi ona wyzwanie, szczególnie dla osób bez silnego zaplecza matematycznego.

⬤ Mocna prezentacja logiki symbolicznej
⬤ obejmuje wiele powiązanych tematów z jasnością
⬤ uważana za klasykę i znaczący wkład w filozofię
⬤ przydatna do zrozumienia głębszych pojęć w logice
⬤ kompleksowe traktowanie teorii aksjomatycznych.

⬤ Trudna do zrozumienia dla niematematyków
⬤ niektórzy uważają ją za pedantyczną i przestarzałą
⬤ nie obejmuje pewnych nowoczesnych metod w logice
⬤ nie zawiera praktycznych zastosowań, takich jak dedukcja naturalna czy rekurencja.

(na podstawie 8 opinii czytelników)

Oryginalny tytuł:

Introduction to Symbolic Logic and Its Applications

Zawartość książki:

Książka ta jest jednym z najbardziej przejrzystych, wszechstronnych i rygorystycznych wprowadzeń do nowoczesnej logiki symbolicznej dostępnych w dowolnym języku. Profesor Carnap, światowy autorytet w dziedzinie logiki symbolicznej, rozwija temat od elementarnych pojęć i prostych ćwiczeń poprzez konstrukcję i analizę wielu stosunkowo złożonych języków logicznych.

Następnie rozważa, bardzo szczegółowo, zastosowanie logiki symbolicznej do wyjaśnienia i aksjomatyzacji różnych teorii w matematyce, fizyce i biologii. Takie tematy, jak natura i użycie stałych i zmiennych, predykaty, łączniki zdaniowe, tabele prawdy, zdania uniwersalne i egzystencjalne, definicje, tożsamość, izomorfizm, systemy składniowe i semantyczne oraz relacje między nimi, system typów, odmiany relacji, Porządek liniowy, specjalne operatory, struktury i liczby kardynalne, opisy, pojęcia skończone i nieskończone, ciągłość, języki rzeczy, języki współrzędnych, systemy aksjomatów dla teorii zbiorów, arytmetyki, geometrii, topologii czasoprzestrzeni, pojęć biologicznych i wielu innych tematów, są szczegółowo omówione.

Szczególnie obszernie potraktowano logikę relacji. W książce zawarto setki problemów, przykładów i ćwiczeń, aby umożliwić studentom ćwiczenie technik logiki symbolicznej i ich wykorzystania.