pokaz koszyk
rozwiń menu
tylko:  
Tytuł książki:

Zagadnienia logiki formalnej i ogólnej teorii mnogości

Autor książki:

Adam Jonkisz

Dane szczegółowe:
Wydawca: Ignatianum
Rok wyd.: 2024
Oprawa: miękka
Ilość stron: 340 s.
EAN: 9788376146133
ISBN: 978-83-7614-613-3
Data: 2024-05-14
Cena wydawcy: 64.00 złpozycja niedostępna

Opis książki:

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.

Książka "Zagadnienia logiki formalnej i ogólnej teorii mnogości" - Adam Jonkisz - oprawa miękka - Wydawnictwo Ignatianum. Książka posiada 340 stron i została wydana w 2024 r.