Combining Philosophers

All the ideas for Oliver,A/Smiley,T, Samir Okasha and Alonzo Church

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

22 ideas

4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
14239 The empty set is usually derived from Separation, but it also seems to need Infinity [Oliver/Smiley]
14240 The empty set is something, not nothing! [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 / 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]
5. Theory of Logic / K. Features of Logics / 7. Decidability
18758 Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee]
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]
7. Existence / C. Structure of Existence / 2. Reduction
22180 Multiple realisability is said to make reduction impossible [Okasha]
14. Science / A. Basis of Science / 3. Experiment
22172 Not all sciences are experimental; astronomy relies on careful observation [Okasha]
22177 Randomised Control Trials have a treatment and a control group, chosen at random [Okasha]
14. Science / A. Basis of Science / 6. Falsification
22174 The discoverers of Neptune didn't change their theory because of an anomaly [Okasha]
22175 Science mostly aims at confirming theories, rather than falsifying them [Okasha]
14. Science / B. Scientific Theories / 1. Scientific Theory
22182 Theories with unobservables are underdetermined by the evidence [Okasha]
14. Science / B. Scientific Theories / 5. Commensurability
22185 Two things can't be incompatible if they are incommensurable [Okasha]
14. Science / C. Induction / 1. Induction
22176 Induction is inferences from examined to unexamined instances of a given kind [Okasha]
14. Science / C. Induction / 6. Bayes's Theorem
22178 If the rules only concern changes of belief, and not the starting point, absurd views can look ratiional [Okasha]
27. Natural Reality / A. Classical Physics / 1. Mechanics / b. Laws of motion
22173 Galileo refuted the Aristotelian theory that heavier objects fall faster [Okasha]
27. Natural Reality / G. Biology / 5. Species
17366 Virtually all modern views of speciation rest on relational rather than intrinsic features [Okasha]