Combining Texts

All the ideas for 'Euthyphro', 'Protocol Sentences' and 'What are Sets and What are they For?'

expand these ideas     |    start again     |     specify just one area for these texts


15 ideas

4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
The empty set is usually derived from Separation, but it also seems to need Infinity [Oliver/Smiley]
The empty set is something, not nothing! [Oliver/Smiley]
We don't need the empty set to express non-existence, as there are other ways to do that [Oliver/Smiley]
Maybe we can treat the empty set symbol as just meaning an empty term [Oliver/Smiley]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / c. Unit (Singleton) Sets
The unit set may be needed to express intersections that leave a single member [Oliver/Smiley]
5. Theory of Logic / G. Quantification / 6. Plural Quantification
If you only refer to objects one at a time, you need sets in order to refer to a plurality [Oliver/Smiley]
We can use plural language to refer to the set theory domain, to avoid calling it a 'set' [Oliver/Smiley]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
Logical truths are true no matter what exists - but predicate calculus insists that something exists [Oliver/Smiley]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
If mathematics purely concerned mathematical objects, there would be no applied mathematics [Oliver/Smiley]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Sets might either represent the numbers, or be the numbers, or replace the numbers [Oliver/Smiley]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / f. Foundationalism critique
If we are rebuilding our ship at sea, we should jettison some cargo [Boolos on Neurath]
We must always rebuild our ship on the open sea; we can't reconstruct it properly in dry-dock [Neurath]
13. Knowledge Criteria / E. Relativism / 6. Relativism Critique
Do the gods also hold different opinions about what is right and honourable? [Plato]
28. God / A. Divine Nature / 6. Divine Morality / b. Euthyphro question
Is what is pious loved by the gods because it is pious, or is it pious because they love it? (the 'Euthyphro Question') [Plato]
It seems that the gods love things because they are pious, rather than making them pious by loving them [Plato]