Combining Texts

All the ideas for 'Two Problems of Epistemology', 'Carnap and Logical Truth' and 'World and Essence'

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

21 ideas

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 / A. Existence of Objects / 4. Impossible objects
16435 Plantinga proposes necessary existent essences as surrogates for the nonexistent things [Plantinga, by Stalnaker]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
14655 The 'identity criteria' of a name are a group of essential and established facts [Plantinga]
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
14658 'Being Socrates' and 'being identical with Socrates' characterise Socrates, so they are among his properties [Plantinga]
9. Objects / D. Essence of Objects / 2. Types of Essence
14656 Does Socrates have essential properties, plus a unique essence (or 'haecceity') which entails them? [Plantinga]
9. Objects / D. Essence of Objects / 9. Essence and Properties
14654 Properties are 'trivially essential' if they are instantiated by every object in every possible world [Plantinga]
14653 X is essentially P if it is P in every world, or in every X-world, or in the actual world (and not ¬P elsewhere) [Plantinga]
14660 If a property is ever essential, can it only ever be an essential property? [Plantinga]
14661 Essences are instantiated, and are what entails a thing's properties and lack of properties [Plantinga]
9. Objects / F. Identity among Objects / 5. Self-Identity
14657 Does 'being identical with Socrates' name a property? I can think of no objections to it [Plantinga]
10. Modality / A. Necessity / 4. De re / De dicto modality
14652 'De re' modality is as clear as 'de dicto' modality, because they are logically equivalent [Plantinga]
10. Modality / A. Necessity / 6. Logical Necessity
9001 Frege moved Kant's question about a priori synthetic to 'how is logical certainty possible?' [Quine]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
14659 We can imagine being beetles or alligators, so it is possible we might have such bodies [Plantinga]
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 / 6. Falsification
18284 Particulars can be verified or falsified, but general statements can only be falsified (conclusively) [Popper]