Autor: Kazimierz Trzęsicki

Logika i teoria mnogości Ujęcie systematyczno-historyczne

Kazimierz Trzęsicki | Programy matematyczne Matematyka, Teoria matematyki Matematyka

Niniejsza książka "Logika i teoria mnogości Ujęcie systematyczno-historyczne" jest wykładem w ujęciu systematyczno-historycznym. Znaczty to, że tematy logiczne i teoriomnogościowe podjęte są w sposób i w kolejności wynikającej z zamiaru ich jednolitego ujęcia, a także to, że dąży się do ukazania ich kontekstów historycznego oraz filozoficznego. Zarówno logika jak i teoria mnogości mają głębokie korzenie filozoficzne. Dobra intuicja jednego i drugiego, logiki i teorii mnogości, nie może więc obyć się bez wskazania ich źródeł filozoficznych i historii dociekań nad ich podstawowymi zagadnieniami. Książka podzielona jest na dwie zasadnicze częśći. Pierwsza poświęcona jest logice. Druga zaś teorii mnogości. W części pierwszej korzysta się z pewnych podstawowych pojęć teoriomnogościowych, choć w sposób systematyczny są one wprowadzone dopiero w części drugiej. Wystarczającą intuicję tych pojęć, jak można przyjąć, wynosi się już ze szkoły średniej. Za to w części poświęconej teorii...