Combining Texts

All the ideas for 'The Intrinsic Quality of Experience', 'The Question of Realism' and 'First-Order Logic'

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

26 ideas

1. Philosophy / E. Nature of Metaphysics / 2. Possibility of Metaphysics
15053 If metaphysics can't be settled, it hardly matters whether it makes sense [Fine,K]
1. Philosophy / E. Nature of Metaphysics / 7. Against Metaphysics
15054 'Quietist' says abandon metaphysics because answers are unattainable (as in Kant's noumenon) [Fine,K]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
10282 Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
10283 A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W]
10284 There are three different standard presentations of semantics [Hodges,W]
10285 I |= φ means that the formula φ is true in the interpretation I [Hodges,W]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
10288 Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W]
10289 Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [Hodges,W]
5. Theory of Logic / K. Features of Logics / 6. Compactness
10287 If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
10286 A 'set' is a mathematically well-behaved class [Hodges,W]
7. Existence / C. Structure of Existence / 1. Grounding / a. Nature of grounding
15007 If you make 'grounding' fundamental, you have to mention some non-fundamental notions [Sider on Fine,K]
15006 Something is grounded when it holds, and is explained, and necessitated by something else [Fine,K, by Sider]
7. Existence / C. Structure of Existence / 1. Grounding / b. Relata of grounding
15055 Grounding relations are best expressed as relations between sentences [Fine,K]
7. Existence / C. Structure of Existence / 2. Reduction
15050 Reduction might be producing a sentence which gets closer to the logical form [Fine,K]
15051 Reduction might be semantic, where a reduced sentence is understood through its reduction [Fine,K]
15052 Reduction is modal, if the reductions necessarily entail the truth of the target sentence [Fine,K]
15056 The notion of reduction (unlike that of 'ground') implies the unreality of what is reduced [Fine,K]
7. Existence / D. Theories of Reality / 3. Reality
15046 Reality is a primitive metaphysical concept, which cannot be understood in other terms [Fine,K]
15060 Why should what is explanatorily basic be therefore more real? [Fine,K]
15048 In metaphysics, reality is regarded as either 'factual', or as 'fundamental' [Fine,K]
15047 What is real can only be settled in terms of 'ground' [Fine,K]
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / d. Secondary qualities
15061 Although colour depends on us, we can describe the world that way if it picks out fundamentals [Fine,K]
14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction
15059 Grounding is an explanation of truth, and needs all the virtues of good explanations [Fine,K]
14. Science / D. Explanation / 3. Best Explanation / b. Ultimate explanation
15057 Ultimate explanations are in 'grounds', which account for other truths, which hold in virtue of the grounding [Fine,K]
15. Nature of Minds / B. Features of Minds / 5. Qualia / b. Qualia and intentionality
8130 Qualities of experience are just representational aspects of experience ('Representationalism') [Harman, by Burge]
19. Language / D. Propositions / 5. Unity of Propositions
15058 A proposition ingredient is 'essential' if changing it would change the truth-value [Fine,K]