Adam Jonkisz Bücher

Monografia ta stanowi przykład kontynuacji badań nad semiotyką logiczną w tradycyjnej filozofii analitycznej. Profesor Adam Jonkisz, jako kontynuator tych zagadnień, wnosi wkład w polską filozofię, dziedzicząc dorobek wielu pokoleń myślicieli. Książka prezentuje spójną wizję semiotyki logicznej i może być inspirującą lekturą dla filozofów, semiotyków, logików oraz językoznawców. Dzięki licznym przykładom ilustrującym omawiane zagadnienia oraz systematycznemu podejściu, stanowi wprowadzenie do tego działu logiki. Publikacja ta jest zwieńczeniem wieloletnich badań i wykładów autora, oferując przemyślane ujęcie metodologii nauk oraz semiotyki logicznej. Autor precyzuje standardowe definicje i rozróżnienia, proponując własne sformułowania i rozwiązania, a kluczowe segmenty pracy zawierają szczegółowe definicje z odpowiednimi komentarzami. Książka wpisuje się w tradycję podręczników logiki Szkoły Lwowsko-Warszawskiej, dopełniając dorobek Ajdukiewicza, Czeżowskiego, Kotarbińskiego i ich uczniów, z naciskiem na maksymalizację ścisłości i dydaktykę. Może być użyteczna w akademickich zajęciach z logiki ogólnej, pragmatycznej, praktycznej lub nieformalnej.

Mamy przyjemność i zaszczyt przekazać w ręce Czytelników publikację dedykowaną Księdzu Profesorowi Józefowi Bremerowi SJ z okazji siedemdziesiątej rocznicy Jego urodzin. W pierwszej części monografii – z uwagi na jej jubileuszowy charakter – znalazły się teksty bezpośrednio związane z osobą Jubilata. Natomiast druga, najobszerniejsza, część zawiera artykuły naukowe ofiarowane Księdzu Profesorowi przez Jego przyjaciół, dawnych i obecnych współpracowników reprezentujących wiele polskich i zagranicznych uczelni oraz innych instytucji naukowych. W biograficznej części Księgi oprócz zwięzłego życiorysu Jubilata zamieszczono szczegółowe omówienie Jego działalności naukowej i poglądów filozoficznych, obszerny wywiad przeprowadzony z Jubilatem przez dr hab. Bogusławę Bodzioch-Bryłę, prof. AIK, oraz kompletny wykaz Jego publikacji. Od redaktorów tomu

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.

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.