Zagadnienia logiki formalnej i ogólnej teorii...

Více o knize

Książka ta jest drugą z trzech, które omawiają wybrane zagadnienia z logiki, koncentrując się na logice formalnej i ogólnej teorii mnogości. Szczegółowo analizowany jest klasyczny rachunek zdań, zwłaszcza metoda założeniowa. Wśród rachunków zdań nieklasycznych uwzględniono logikę wielowartościową, modalną (wąsko rozumianą), deontyczną, intuicjonistyczną oraz logiki pośrednie. Charakterystyka logiki predykatów również skupia się na klasycznych systemach, z naciskiem na system założeniowy. Teoria wynikania zdań kategorycznych jest omówiona w kontekście sylogistyki oraz nowszych metod, a następnie interpretowana w rachunku predykatów. W rozdziale o teorii mnogości poruszane są zagadnienia z ogólnej teorii, takie jak podstawowe pojęcia rachunku zbiorów i relacji, wybrane zagadnienia teorii liczb kardynalnych oraz antynomie klasycznej teorii mnogości i metody ich usuwania. Prezentowane w książce definicje, twierdzenia i dowody są inspirowane znanymi opracowaniami, ale różnią się układem, notacją, komentarzami oraz sposobem uzasadniania. Zawiera także nowe propozycje, takie jak algorytmiczna metoda wyszukiwania zależności definicyjnych między funktorami prawdziwościowymi oraz uproszczone metody sprawdzania poprawności logicznej wnioskowań ze zdaniami kategorycznymi.