Adam Jonkisz Knihy

Monografię należy potraktować jako przykład kontynuacji badań nad semiotyką logiczną, prowadzonych w nurcie tradycyjnej (w sensie klasycznej) filozofii analitycznej. Ten nurt filozofii polskiej jest dziedzictwem kilku już pokoleń filozofów, do których profesor Adam Jonkisz należy także jako kontynuator podejmowanych zagadnień, stosowanych metod i nauczyciel tych tradycji. […] W swym całościowym ujęciu książka jest spójną prezentacją semiotyki logicznej i stanowić może lekturę do dyskusji w gronie filozofów, semiotyków (w innych działach humanistyki), logików, językoznawców. Z racji wielu przykładów zawartych w tomie, ilustrujących rozważane zagadnienia, oraz systematyczności w wykładaniu problemów i ukazaniu zależności między nimi, a także jasności języka stanowić może też wprowadzenie do zapoznania się lub pogłębienia tego działu logiki. Dr hab. Zbysław Muszyński, em. prof. UMCS Książka Adama Jonkisza […] jest monografią głównych zagadnień semiotyki logicznej i metodologii nauk. Można powiedzieć, że wieńczy ona wieloletnie badania i wykłady Autora z obu tych dyscyplin, dostarczając ich konsekwentnie przemyślanego ujęcia. Autor uwzględnia standardowe definicje i rozróżnienia, dostępne w podręcznikach logiki, ale je uściśla, koryguje i uzupełnia, proponując własne sformułowania i rozwiązania. W każdym kluczowym segmencie pracy występują stosowne definicje, które są dalej szczegółowo komentowane oraz niemal pedantycznie opatrywane specjalnymi zastrzeżeniami. Publikacja wpisuje się w tradycję podręczników z logiki Szkoły Lwowsko-Warszawskiej. Można powiedzieć, że dopełnia podręczniki Ajdukiewicza, Czeżowskiego, Kotarbińskiego i ich uczniów. Wspólne jest im dążenie do maksymalizacji ścisłości oraz zacięcie dydaktyczne. […] Książka może być przydatna podczas zajęć akademickich z przedmiotu zwanego logiką ogólną, logiką pragmatyczną, logiką praktyczną lub logiką nieformalną. Prof. dr hab. Jacek Wojtysiak

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.