Combining Texts
Ideas for
'fragments/reports', 'The Semantic Tradition from Kant to Carnap' 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
11 ideas
4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic
8077
|
Stoic propositional logic is like chemistry - how atoms make molecules, not the innards of atoms [Chrysippus, by Devlin]
|
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL
20791
|
Chrysippus has five obvious 'indemonstrables' of reasoning [Chrysippus, by Diog. Laertius]
|
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
9572
|
Realists about sets say there exists a null set in the real world, with no members [Chihara]
|
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]
|
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 / 4. Axioms for Sets / j. Axiom of Choice IX
18270
|
Choice suggests that intensions are not needed to ensure classes [Coffa]
|
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 / 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]
|