Boris Čulina, Logic of paradoxes in classical set theories, Synthese, Vol. 190, No. 3 (February 2013), pp. 525-547 ...

Bear with me. This logic is illuminating. In set theory, a union of a collection of sets is defined as the set of all members of the collection.

Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics.

The naive set theory problem is to begin with a full comprehension axiom, and to find a logic strong enough to prove theorems, but weak enough not to prove everything. This paper considers the ...

The aim of the course is to help students of philosophy become familiar with naive set theory, classical logic, and modal logic. From set theory, the course covers both ‘working’ set theory as a tool ...

Technical Terms Mathematical Logic: The study of formal systems, including model theory and proof theory, that provides rigorous methods for establishing truth and validity within mathematics.

The aim of the course is to familiarize students of philosophy with the essentials of naive set theory and formal logic. From set theory, the course covers (i) what is needed for use in formal ...