Combining Philosophers

All the ideas for Moses Schönfinkel, Oliver,A/Smiley,T and Jonathan Tallant

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

19 ideas

1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
18859 Metaphysics is a quest for truthmakers [Tallant]
2. Reason / D. Definition / 12. Paraphrase
18861 Maybe number statements can be paraphrased into quantifications plus identities [Tallant]
3. Truth / B. Truthmakers / 3. Truthmaker Maximalism
18866 Maybe only 'positive' truths need truth-makers [Tallant]
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
18860 A truthmaker is the minimal portion of reality that will do the job [Tallant]
3. Truth / B. Truthmakers / 12. Rejecting Truthmakers
18863 What is the truthmaker for a possible new power? [Tallant]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
14240 The empty set is something, not nothing! [Oliver/Smiley]
14239 The empty set is usually derived from Separation, but it also seems to need Infinity [Oliver/Smiley]
14241 We don't need the empty set to express non-existence, as there are other ways to do that [Oliver/Smiley]
14242 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
14243 The unit set may be needed to express intersections that leave a single member [Oliver/Smiley]
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
17699 Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel]
5. Theory of Logic / G. Quantification / 6. Plural Quantification
14234 If you only refer to objects one at a time, you need sets in order to refer to a plurality [Oliver/Smiley]
14237 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
14245 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
14246 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
14247 Sets might either represent the numbers, or be the numbers, or replace the numbers [Oliver/Smiley]
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
18864 The wisdom of Plato and of Socrates are not the same property [Tallant]
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
18865 Substance must have two properties: individuation, and property-bearing [Tallant]
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
18862 Are propositions all the thoughts and sentences that are possible? [Tallant]