Combining Texts
Ideas for
'works', 'A Subject with No Object' and 'A Structural Account of Mathematics'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
12 ideas
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
9924
|
Modal logic gives an account of metalogical possibility, not metaphysical possibility [Burgess/Rosen]
|
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
9550
|
We only know relational facts about the empty set, but nothing intrinsic [Chihara]
|
9562
|
In simple type theory there is a hierarchy of null sets [Chihara]
|
9572
|
Realists about sets say there exists a null set in the real world, with no members [Chihara]
|
9573
|
The null set is a structural position which has no other position in membership relation [Chihara]
|
4. Formal Logic / F. Set Theory ST / 3. Types of Set / c. Unit (Singleton) Sets
9551
|
What is special about Bill Clinton's unit set, in comparison with all the others? [Chihara]
|
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / a. Sets as existing
9549
|
The set theorist cannot tell us what 'membership' is [Chihara]
|
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets
9933
|
The paradoxes are only a problem for Frege; Cantor didn't assume every condition determines a set [Burgess/Rosen]
|
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
9571
|
ZFU refers to the physical world, when it talks of 'urelements' [Chihara]
|
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
9563
|
A pack of wolves doesn't cease when one member dies [Chihara]
|
4. Formal Logic / G. Formal Mereology / 1. Mereology
13282
|
Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki]
|
9928
|
Mereology implies that acceptance of entities entails acceptance of conglomerates [Burgess/Rosen]
|