Combining Texts

All the ideas for 'The Establishment of Scientific Semantics', 'Significance of the Kripkean Nec A Posteriori' and 'Why Medieval Philosophy Matters'

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

21 ideas

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 / E. Nature of Metaphysics / 4. Metaphysics as Science
22138 Science rests on scholastic metaphysics, not on Hume, Kant or Carnap [Boulter]
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]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
13338 '"It is snowing" is true if and only if it is snowing' is a partial definition of the concept of truth [Tarski]
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
13337 A language: primitive terms, then definition rules, then sentences, then axioms, and finally inference rules [Tarski]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
13335 Semantics is the concepts of connections of language to reality, such as denotation, definition and truth [Tarski]
13336 A language containing its own semantics is inconsistent - but we can use a second language [Tarski]
5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction
13339 A sentence is satisfied when we can assert the sentence when the variables are assigned [Tarski]
13340 Satisfaction is the easiest semantical concept to define, and the others will reduce to it [Tarski]
5. Theory of Logic / K. Features of Logics / 2. Consistency
13341 Using the definition of truth, we can prove theories consistent within sound logics [Tarski]
8. Modes of Existence / D. Universals / 2. Need for Universals
22134 Thoughts are general, but the world isn't, so how can we think accurately? [Boulter]
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 / 6. Logical Necessity
22150 Logical possibility needs the concepts of the proposition to be adequate [Boulter]
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 / 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]
14. Science / A. Basis of Science / 3. Experiment
22139 Experiments don't just observe; they look to see what interventions change the natural order [Boulter]
14. Science / B. Scientific Theories / 1. Scientific Theory
22136 Science begins with sufficient reason, de-animation, and the importance of nature [Boulter]
15. Nature of Minds / C. Capacities of Minds / 1. Faculties
22135 Our concepts can never fully capture reality, but simplification does not falsify [Boulter]
19. Language / C. Assigning Meanings / 10. Two-Dimensional Semantics
13972 Two-dimensionalism reinstates descriptivism, and reconnects necessity and apriority to analyticity [Soames]
19. Language / E. Analyticity / 3. Analytic and Synthetic
22152 Aristotelians accept the analytic-synthetic distinction [Boulter]
22. Metaethics / B. Value / 1. Nature of Value / b. Fact and value
22156 The facts about human health are the measure of the values in our lives [Boulter]