Propositional Logics Third Edition
Logika propozycjonalna przedstawia historię, filozofię i matematykę głównych systemów logiki propozycjonalnej. Logika klasyczna, logika modalna, logika wielowartościowa, intuicjonizm, logika parakonsystentna i implikacja zależna są analizowane w osobnych rozdziałach.
Każdy z nich rozpoczyna się od motywacji w terminach własnych pomysłodawców, po której następuje standardowa semantyka formalna, składnia i twierdzenie o kompletności. Rozdziały poświęcone różnym logikom są w dużej mierze samodzielne, dzięki czemu książka może być używana jako odniesienie. Dodatek podsumowuje formalną semantykę i aksjomatyzacje logik.
Pogląd, który ujednolica ekspozycję, jest taki, że logiki propozycjonalne obejmują spektrum. W miarę jak zmienia się aspekt rozważanych propozycji, zmienia się logika.
Wykazano, że każda logika w naturalny sposób mieści się w ogólnych ramach semantyki. Przedstawiono teorię tłumaczeń między logikami, która pozwala na dalsze porównania, a także podano warunki konieczne, aby tłumaczenie zachowało znaczenie.
W tym trzecim wydaniu materiał został przeorganizowany, aby ułatwić studiowanie tekstu, a także dodano nową sekcję dotyczącą logik parakonsystentnych z prostą semantyką, która podważa standardowe poglądy na naturę relacji konsekwencji. Tekst zawiera praktyczne przykłady i setki ćwiczeń, od rutynowych do otwartych problemów, dzięki czemu książka z jej jasną i staranną ekspozycją jest idealna do kursów lub indywidualnych studiów.
