Zagadnienia syntaktyki i semantyki systemów dedukcyjnych

En savoir plus sur le livre

Książka ta jest ostatnią z trzech części poświęconych wybranym zagadnieniom logiki, koncentrując się na metalogice wąsko rozumianej, obejmującej syntaktykę i semantykę systemów dedukcyjnych, głównie KRZ i WRP, ale także inne systemy logiki klasycznej. Rozdział syntaktyczny omawia metody dowodzenia twierdzeń o systemach dedukcyjnych, w tym dowody indukcyjne i te korzystające z postaci normalnych. Analizowane są pojęcia konsekwencji oraz właściwości systemów, takie jak niesprzeczność, zupełność, rozstrzygalność i niezależność aksjomatów. W części semantycznej przedstawiono koncepcję spełniania i prawdy oraz związane z nią zagadnienia, w tym niesprzeczność semantyczną, kategoryczność, pełność systemu oraz relację wynikania logicznego. Dodatkowo, omówiono wybrane twierdzenia metalogiki, które ilustrują ograniczenia metod formalnych, a także metodę definiowania modelu w rekonstrukcjach teorii empirycznych, porównując ją z klasycznym aksjomatyzowaniem. Książka wyróżnia się trafnym doborem problemów i klarownym sposobem prezentacji, co czyni ją zrozumiałą zarówno dla specjalistów, jak i dla osób początkujących w logice, a także wprowadza nowe propozycje uporządkowania i rozwinięcia istniejących wyników.