资讯

Boris Čulina, Logic of paradoxes in classical set theories, Synthese, Vol. 190, No. 3 (February 2013), pp. 525-547 ...
Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics.
Patrick Dehornoy, Another Use of Set Theory, The Bulletin of Symbolic Logic, Vol. 2, No. 4 (Dec., 1996), pp. 379-391 ...
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 ...
Students taking this course should already have taken a year-long introductory course in logic in a Philosophy Department, or a mathematical course that covers the basics of set theory and logic. If ...