Zagadnienia logiki formalnej i ogólnej teorii mnogości
Adam Jonkisz
Zagadnienia logiki formalnej i ogólnej teorii mnogości
Adam Jonkisz
- Wydawnictwo: Ignatianum
- Rok wydania: 2024
- ISBN: 9788376146133
- Ilość stron: 340
- Oprawa: Miękka
1 - 3 dni robocze + czas dostawy*Przy zamówieniu większej ilości egzemplarzy czas realizacji zamówienia może ulec wydłużeniu
Opis: Zagadnienia logiki formalnej i ogólnej teorii mnogości - Adam Jonkisz
Książka ta jest drugą spośród trzech składających się na opracowanie wybranych zagadnień z logiki. Zagadnienia podjęte w rozważaniach są wybrane z logiki formalnej i ogólnej teorii mnogości. Najobszerniej jest omawiany klasyczny rachunek zdań, a zwłaszcza metoda założeniowa; spośród rachunków zdań nieklasycznych zostały wybrane rachunki logiki wielowartościowej, modalnej (rozumianej wąsko), deontycznej oraz logika intuicjonistyczna i tzw. logiki pośrednie.
Również charakterystyka logiki predykatów jest skupiona na rachunkach klasycznych – ponownie z naciskiem na system założeniowy. Teoria wynikania zdań kategorycznych jest najpierw omówiona odrębnie, w sposób przyjęty w sylogistyce, uzupełniony o nowsze metody, po czym teoria ta jest zinterpretowana w rachunku predykatów.
W rozdziale poświęconym teorii mnogości są podjęte zagadnienia zwykle umieszczane w jej części zwanej ogólną: podstawowe pojęcia rachunku zbiorów i relacji, wybrane zagadnienia teorii liczb kardynalnych, zagadnienia związane z antynomiami klasycznej teorii mnogości oraz ze sposobami ich usuwania.
Wyniki prezentowane w niniejszej książce, poświęconej zagadnieniom logiki formalnej i ogólnej teorii mnogości, sformułowane w niej definicje, twierdzenia i dowody są – co nieuniknione – wzorowane na znanych opracowaniach. Nie są jednak ich kompilacją, ponieważ różnią się nie tylko układem definicji i twierdzeń, lecz także ich sformułowaniami zapisanymi w jednolitej notacji (symbolice), komentarzami i przykładami, a często także sposobem uzasadniania twierdzeń (sposobem dowodzenia). Są także w książce merytorycznie nowe propozycje, jak algorytmiczna metoda wyszukiwania zależności definicyjnych między funktorami prawdziwościowymi oraz uproszczone metody sprawdzania poprawności logicznej wnioskowań ze zdaniami kategorycznymi.
Szczegóły: Zagadnienia logiki formalnej i ogólnej teorii mnogości - Adam Jonkisz
Tytuł: Zagadnienia logiki formalnej i ogólnej teorii mnogości
Autor: Adam Jonkisz
Wydawnictwo: Ignatianum
ISBN: 9788376146133
Języki: polski
Rok wydania: 2024
Ilość stron: 340
Oprawa: Miękka
Redakcja: Piskulak Dariusz