Combining Texts

All the ideas for 'In Defense of Essentialism', 'Hilbert's Programme' and 'Formal and Material Consequence'

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

19 ideas

5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
14187 If logic is topic-neutral that means it delves into all subjects, rather than having a pure subject matter [Read]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
14183 Maybe arguments are only valid when suppressed premises are all stated - but why? [Read]
14188 Not all arguments are valid because of form; validity is just true premises and false conclusion being impossible [Read]
14182 If the logic of 'taller of' rests just on meaning, then logic may be the study of merely formal consequence [Read]
5. Theory of Logic / B. Logical Consequence / 5. Modus Ponens
14184 In modus ponens the 'if-then' premise contributes nothing if the conclusion follows anyway [Read]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
14186 Logical connectives contain no information, but just record combination relations between facts [Read]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
17809 Gödel showed that the syntactic approach to the infinite is of limited value [Kreisel]
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
17810 The study of mathematical foundations needs new non-mathematical concepts [Kreisel]
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
14193 'Substance theorists' take modal properties as primitive, without structure, just falling under a sortal [Paul,LA]
14195 If an object's sort determines its properties, we need to ask what determines its sort [Paul,LA]
14196 Substance essentialism says an object is multiple, as falling under various different sortals [Paul,LA]
9. Objects / C. Structure of Objects / 8. Parts of Objects / b. Sums of parts
14198 Absolutely unrestricted qualitative composition would allow things with incompatible properties [Paul,LA]
9. Objects / D. Essence of Objects / 2. Types of Essence
14190 Deep essentialist objects have intrinsic properties that fix their nature; the shallow version makes it contextual [Paul,LA]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
14191 Deep essentialists say essences constrain how things could change; modal profiles fix natures [Paul,LA]
9. Objects / D. Essence of Objects / 15. Against Essentialism
14192 Essentialism must deal with charges of arbitrariness, and failure to reduce de re modality [Paul,LA]
14197 An object's modal properties don't determine its possibilities [Paul,LA]
10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals
14185 Conditionals are just a shorthand for some proof, leaving out the details [Read]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
14189 'Modal realists' believe in many concrete worlds, 'actualists' in just this world, 'ersatzists' in abstract other worlds [Paul,LA]
27. Natural Reality / C. Space / 3. Points in Space
17811 The natural conception of points ducks the problem of naming or constructing each point [Kreisel]