# set theory

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

Topic

Logical System

2013

### Reading

Colin Howson, [1997]Logic with treesChapter 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