Combining Philosophers
Ideas for Stilpo, Hilary Putnam and William W. Tait
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
6 ideas
4. Formal Logic / F. Set Theory ST / 3. Types of Set / a. Types of set
18958
|
In type theory, 'x ∈ y' is well defined only if x and y are of the appropriate type [Putnam]
|
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
9986
|
The null set was doubted, because numbering seemed to require 'units' [Tait]
|
4. Formal Logic / F. Set Theory ST / 3. Types of Set / d. Infinite Sets
9944
|
We understand some statements about all sets [Putnam]
|
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / o. Axiom of Constructibility V = L
13655
|
The Löwenheim-Skolem theorems show that whether all sets are constructible is indeterminate [Putnam, by Shapiro]
|
9915
|
V = L just says all sets are constructible [Putnam]
|
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
9984
|
We can have a series with identical members [Tait]
|