Combining Philosophers

Ideas for Michael Burke, Mark Steiner and A.George / D.J.Velleman

expand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers


11 ideas

4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST
The 'power set' of A is all the subsets of A [George/Velleman]
The 'ordered pair' <a, b>, for two sets a and b, is the set {{a, b},{a}} [George/Velleman]
Cartesian Product A x B: the set of all ordered pairs in which a∈A and b∈B [George/Velleman]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / e. Equivalence classes
Grouping by property is common in mathematics, usually using equivalence [George/Velleman]
'Equivalence' is a reflexive, symmetric and transitive relation; 'same first letter' partitions English words [George/Velleman]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Even the elements of sets in ZFC are sets, resting on the pure empty set [George/Velleman]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / b. Axiom of Extensionality I
Axiom of Extensionality: for all sets x and y, if x and y have the same elements then x = y [George/Velleman]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / c. Axiom of Pairing II
Axiom of Pairing: for all sets x and y, there is a set z containing just x and y [George/Velleman]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
The Axiom of Reducibility made impredicative definitions possible [George/Velleman]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / a. Sets as existing
ZFC can prove that there is no set corresponding to the concept 'set' [George/Velleman]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
As a reduction of arithmetic, set theory is not fully general, and so not logical [George/Velleman]