Combining Texts

All the ideas for 'Katzav on limitations of dispositions', 'The Concept of Logical Consequence' and 'Structuralism'

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


11 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]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Structuralism is now common, studying relations, with no regard for what the objects might be [Hellman]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / c. Nominalist structuralism
Maybe mathematical objects only have structural roles, and no intrinsic nature [Hellman]
19. Language / E. Analyticity / 1. Analytic Propositions
Sentences are 'analytical' if every sequence of objects models them [Tarski]
26. Natural Theory / B. Natural Kinds / 1. Natural Kinds
The natural kinds are objects, processes and properties/relations [Ellis]
26. Natural Theory / D. Laws of Nature / 2. Types of Laws
Least action is not a causal law, but a 'global law', describing a global essence [Ellis]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
A species requires a genus, and its essence includes the essence of the genus [Ellis]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / c. Essence and laws
A hierarchy of natural kinds is elaborate ontology, but needed to explain natural laws [Ellis]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / d. Knowing essences
Without general principles, we couldn't predict the behaviour of dispositional properties [Ellis]