Zagadnienia logiki formalnej i ogólnej teorii mnogości

Ignatianum

  • Rok wydania: 2024
  • Oprawa: Miękka
Wysyłka:
1 - 3 dni robocze + czas dostawy
Sugerowana cena
64,00 PLN
Nasza cena
49,30 PLN
Oszczędzasz 23%
Najniższa cena w ciągu ostatnich 30 dni: 48,23 zł



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

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

Recenzje