Combining Philosophers

All the ideas for Thales, Scott Soames and Feferman / Feferman

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

34 ideas

1. Philosophy / B. History of Ideas / 2. Ancient Thought
1597 Thales was the first western thinker to believe the arché was intelligible [Roochnik on Thales]
1. Philosophy / C. History of Philosophy / 5. Modern Philosophy / c. Modern philosophy mid-period
13966 Analytic philosophy loved the necessary a priori analytic, linguistic modality, and rigour [Soames]
1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis
13974 If philosophy is analysis of meaning, available to all competent speakers, what's left for philosophers? [Soames]
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
15163 The interest of quantified modal logic is its metaphysical necessity and essentialism [Soames]
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 / F. Referring in Logic / 2. Descriptions / a. Descriptions
15158 Indefinite descriptions are quantificational in subject position, but not in predicate position [Soames]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
15157 Recognising the definite description 'the man' as a quantifier phrase, not a singular term, is a real insight [Soames]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
15156 The universal and existential quantifiers were chosen to suit mathematics [Soames]
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 / 7. Essence and Necessity / a. Essence as necessary properties
13969 Kripkean essential properties and relations are necessary, in all genuinely possible worlds [Soames]
10. Modality / A. Necessity / 5. Metaphysical Necessity
15162 We understand metaphysical necessity intuitively, from ordinary life [Soames]
15161 There are more metaphysically than logically necessary truths [Soames]
10. Modality / C. Sources of Modality / 3. Necessity by Convention
13973 A key achievement of Kripke is showing that important modalities are not linguistic in source [Soames]
10. Modality / C. Sources of Modality / 5. Modality from Actuality
3013 Nothing is stronger than necessity, which rules everything [Thales, by Diog. Laertius]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
13968 Kripkean possible worlds are abstract maximal states in which the real world could have been [Soames]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
15152 To study meaning, study truth conditions, on the basis of syntax, and representation by the parts [Soames]
15153 Tarski's account of truth-conditions is too weak to determine meanings [Soames]
19. Language / C. Assigning Meanings / 2. Semantics
13965 Semantics as theory of meaning and semantics as truth-based logical consequence are very different [Soames]
19. Language / C. Assigning Meanings / 6. Truth-Conditions Semantics
13964 Semantic content is a proposition made of sentence constituents (not some set of circumstances) [Soames]
19. Language / C. Assigning Meanings / 10. Two-Dimensional Semantics
13972 Two-dimensionalism reinstates descriptivism, and reconnects necessity and apriority to analyticity [Soames]
19. Language / D. Propositions / 4. Mental Propositions
15154 We should use cognitive states to explain representational propositions, not vice versa [Soames]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / c. Ultimate substances
1494 Thales said water is the first principle, perhaps from observing that food is moist [Thales, by Aristotle]
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
1713 Thales must have thought soul causes movement, since he thought magnets have soul [Thales, by Aristotle]
29. Religion / A. Polytheistic Religion / 2. Greek Polytheism
1742 Thales said the gods know our wrong thoughts as well as our evil actions [Thales, by Diog. Laertius]