set theory

Set Theory (and Russell's Paradox) martin Sat, 12/19/2009 - 08:49
Logical System

2013

Reading

Colin Howson, [1997] Logic with trees Chapter 11

Tutorial

Set theory is an extensive topic introduced elsewhere. It can be written as a first order theory.

There is one axiom schema, Abstraction (or Comprehension), which can generate infinitely many axioms

Help with Ex 3: Moderately Difficult Example martin Tue, 01/13/2009 - 01:55
Topic
Logical System
The Proof Applet martin Mon, 01/12/2009 - 19:21
Topic
Logical System

1/10/09 13 Software

Some predicate logic proofs or derivations using Gentzen calculus. Try to prove them (click 'Derive It' off the Wizard Menu, if you want help).

Tutorial 10: Set Theory V: Russell's Paradox, Axiomatic Set Theory, and Criticisms martin Sat, 01/10/2009 - 18:13
Topic
Logical System
Help with Subset Derivation: Short Rewrite Version martin Sat, 01/10/2009 - 12:56
Topic
Logical System
Help with Subset Derivation martin Sat, 01/10/2009 - 12:37
Topic
Logical System
Tutorial 7: Set Theory II: Subsets, Empty Set, Universe Set martin Fri, 01/09/2009 - 22:49
Topic
Logical System
Tutorial 9: Set Theory IV: Ordered Pairs, Cross Products martin Fri, 01/09/2009 - 12:50
Topic
Logical System
Tutorial 8: Set Theory III: Union, Intersection, Complement, Unordered Pairs, Power Set martin Thu, 01/08/2009 - 10:55
Topic
Logical System