Combining Texts

All the ideas for 'The Logic of Scientific Discovery', 'In Defense of Absolute Essentialism' and 'Alfred Tarski: life and logic'

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

28 ideas

2. Reason / A. Nature of Reason / 5. Objectivity
22358 Scientific objectivity lies in inter-subjective testing [Popper]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
10147 The Axiom of Choice is consistent with the other axioms of set theory [Feferman/Feferman]
10148 Axiom of Choice: a set exists which chooses just one element each of any set of sets [Feferman/Feferman]
10149 Platonist will accept the Axiom of Choice, but others want criteria of selection or definition [Feferman/Feferman]
10150 The Trichotomy Principle is equivalent to the Axiom of Choice [Feferman/Feferman]
10146 Cantor's theories needed the Axiom of Choice, but it has led to great controversy [Feferman/Feferman]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10158 A structure is a 'model' when the axioms are true. So which of the structures are models? [Feferman/Feferman]
10162 Tarski and Vaught established the equivalence relations between first-order structures [Feferman/Feferman]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
10160 Löwenheim-Skolem says if the sentences are countable, so is the model [Feferman/Feferman]
10159 Löwenheim-Skolem Theorem, and Gödel's completeness of first-order logic, the earliest model theory [Feferman/Feferman]
5. Theory of Logic / K. Features of Logics / 4. Completeness
10161 If a sentence holds in every model of a theory, then it is logically derivable from the theory [Feferman/Feferman]
5. Theory of Logic / K. Features of Logics / 7. Decidability
10156 'Recursion theory' concerns what can be solved by computing machines [Feferman/Feferman]
10155 Both Principia Mathematica and Peano Arithmetic are undecidable [Feferman/Feferman]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
13804 A property is essential iff the object would not exist if it lacked that property [Forbes,G]
13805 Properties are trivially essential if they are not grounded in a thing's specific nature [Forbes,G]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
13808 A relation is essential to two items if it holds in every world where they exist [Forbes,G]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / c. Essentials are necessary
13806 Trivially essential properties are existence, self-identity, and de dicto necessities [Forbes,G]
9. Objects / D. Essence of Objects / 9. Essence and Properties
13807 A property is 'extraneously essential' if it is had only because of the properties of other objects [Forbes,G]
9. Objects / D. Essence of Objects / 11. Essence of Artefacts
13809 One might be essentialist about the original bronze from which a statue was made [Forbes,G]
10. Modality / C. Sources of Modality / 4. Necessity from Concepts
13810 The source of de dicto necessity is not concepts, but the actual properties of the thing [Forbes,G]
14. Science / A. Basis of Science / 6. Falsification
22188 Give Nobel Prizes for really good refutations? [Gorham on Popper]
7780 Falsification is the criterion of demarcation between science and non-science [Popper, by Magee]
16830 We don't only reject hypotheses because we have falsified them [Lipton on Popper]
6794 If falsification requires logical inconsistency, then probabilistic statements can't be falsified [Bird on Popper]
6795 When Popper gets in difficulties, he quietly uses induction to help out [Bird on Popper]
14. Science / B. Scientific Theories / 2. Aim of Science
3856 Good theories have empirical content, explain a lot, and are not falsified [Popper, by Newton-Smith]
14. Science / C. Induction / 3. Limits of Induction
7779 There is no such thing as induction [Popper, by Magee]
14. Science / C. Induction / 4. Reason in Induction
3860 Science cannot be shown to be rational if induction is rejected [Newton-Smith on Popper]