Combining Texts

All the ideas for 'The Concept of Logical Consequence', 'De Essentia' and 'Aspects of Scientific Explanation'

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


9 ideas

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Split out the logical vocabulary, make an assignment to the rest. It's logical if premises and conclusion match [Tarski, by Rumfitt]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
X follows from sentences K iff every model of K also models X [Tarski]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
A 'model' is a sequence of objects which satisfies a complete set of sentential functions [Tarski]
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
A snowball's haecceity is the property of being identical with itself [Plantinga, by Westerhoff]
14. Science / A. Basis of Science / 4. Prediction
Explanatory facts also predict, and predictive facts also explain [Hempel, by Okasha]
14. Science / D. Explanation / 2. Types of Explanation / e. Lawlike explanations
For Hempel, explanations are deductive-nomological or probabilistic-statistical [Hempel, by Bird]
The covering-law model is for scientific explanation; historical explanation is quite different [Hempel]
14. Science / D. Explanation / 2. Types of Explanation / g. Causal explanations
Hempel rejects causation as part of explanation [Hempel, by Salmon]
19. Language / E. Analyticity / 1. Analytic Propositions
Sentences are 'analytical' if every sequence of objects models them [Tarski]