Combining Texts

All the ideas for 'Carnap and Logical Truth', 'The Structure of Content' and 'Essence, Necessity and Explanation'

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

19 ideas

2. Reason / D. Definition / 4. Real Definition
15118 A successful Aristotelian 'definition' is what sciences produces after an investigation [Koslicki]
2. Reason / D. Definition / 6. Definition by Essence
15116 Essences cause necessary features, and definitions describe those necessary features [Koslicki]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
13010 In order to select the logic justified by experience, we would need to use a lot of logic [Boghossian on Quine]
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
9002 Elementary logic requires truth-functions, quantifiers (and variables), identity, and also sets of variables [Quine]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
13681 Logical consequence is marked by being preserved under all nonlogical substitutions [Quine, by Sider]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
13829 If logical truths essentially depend on logical constants, we had better define the latter [Hacking on Quine]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / a. Set theory paradoxes
9003 Set theory was struggling with higher infinities, when new paradoxes made it baffling [Quine]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
9004 If set theory is not actually a branch of logic, then Frege's derivation of arithmetic would not be from logic [Quine]
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
9006 Commitment to universals is as arbitrary or pragmatic as the adoption of a new system of bookkeeping [Quine]
9. Objects / D. Essence of Objects / 1. Essences of Objects
15110 An essence and what merely follow from it are distinct [Koslicki]
9. Objects / D. Essence of Objects / 3. Individual Essences
15113 Individuals are perceived, but demonstration and definition require universals [Koslicki]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / c. Essentials are necessary
15112 If an object exists, then its essential properties are necessary [Koslicki]
10. Modality / A. Necessity / 6. Logical Necessity
9001 Frege moved Kant's question about a priori synthetic to 'how is logical certainty possible?' [Quine]
11. Knowledge Aims / A. Knowledge / 4. Belief / b. Elements of beliefs
6171 Beliefs are states of the head that explain behaviour, and also items with referential truth-conditions [McGinn]
12. Knowledge Sources / A. A Priori Knowledge / 7. A Priori from Convention
9005 Examination of convention in the a priori begins to blur the distinction with empirical knowledge [Quine]
14. Science / A. Basis of Science / 2. Demonstration
15111 In demonstration, the explanatory order must mirror the causal order of the phenomena [Koslicki]
15115 In a demonstration the middle term explains, by being part of the definition [Koslicki]
14. Science / D. Explanation / 2. Types of Explanation / g. Causal explanations
15117 Greek uses the same word for 'cause' and 'explanation' [Koslicki]
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
15114 Discovering the Aristotelian essence of thunder will tell us why thunder occurs [Koslicki]