29 ideas
19066 | Philosophy aims to understand the world, through ordinary experience and science [Dummett] |
15053 | If metaphysics can't be settled, it hardly matters whether it makes sense [Fine,K] |
15054 | 'Quietist' says abandon metaphysics because answers are unattainable (as in Kant's noumenon) [Fine,K] |
19067 | A successful proof requires recognition of truth at every step [Dummett] |
19060 | Truth-tables are dubious in some cases, and may be a bad way to explain connective meaning [Dummett] |
11066 | Deduction is justified by the semantics of its metalanguage [Dummett, by Hanna] |
19058 | Syntactic consequence is positive, for validity; semantic version is negative, with counterexamples [Dummett] |
19063 | Beth trees show semantics for intuitionistic logic, in terms of how truth has been established [Dummett] |
19059 | In standard views you could replace 'true' and 'false' with mere 0 and 1 [Dummett] |
19062 | Classical two-valued semantics implies that meaning is grasped through truth-conditions [Dummett] |
19065 | Soundness and completeness proofs test the theory of meaning, rather than the logic theory [Dummett] |
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] |
15055 | Grounding relations are best expressed as relations between sentences [Fine,K] |
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] |
15046 | Reality is a primitive metaphysical concept, which cannot be understood in other terms [Fine,K] |
15047 | What is real can only be settled in terms of 'ground' [Fine,K] |
15048 | In metaphysics, reality is regarded as either 'factual', or as 'fundamental' [Fine,K] |
15060 | Why should what is explanatorily basic be therefore more real? [Fine,K] |
15061 | Although colour depends on us, we can describe the world that way if it picks out fundamentals [Fine,K] |
19061 | An explanation is often a deduction, but that may well beg the question [Dummett] |
15059 | Grounding is an explanation of truth, and needs all the virtues of good explanations [Fine,K] |
15057 | Ultimate explanations are in 'grounds', which account for other truths, which hold in virtue of the grounding [Fine,K] |
19064 | Holism is not a theory of meaning; it is the denial that a theory of meaning is possible [Dummett] |
15058 | A proposition ingredient is 'essential' if changing it would change the truth-value [Fine,K] |
7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |