22 ideas
19066 | Philosophy aims to understand the world, through ordinary experience and science [Dummett] |
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] |
6230 | If the soul were a tabula rasa, with no innate ideas, there could be no moral goodness or justice [Cudworth] |
6228 | Senses cannot judge one another, so what judges senses cannot be a sense, but must be superior [Cudworth] |
19061 | An explanation is often a deduction, but that may well beg the question [Dummett] |
6229 | Sense is fixed in the material form, and so can't grasp abstract universals [Cudworth] |
19064 | Holism is not a theory of meaning; it is the denial that a theory of meaning is possible [Dummett] |
6227 | Keeping promises and contracts is an obligation of natural justice [Cudworth] |
6225 | Obligation to obey all positive laws is older than all laws [Cudworth] |
17371 | Some kinds are very explanatory, but others less so, and some not at all [Devitt] |
17373 | Species pluralism says there are several good accounts of what a species is [Devitt] |
17372 | The higher categories are not natural kinds, so the Linnaean hierarchy should be given up [Devitt] |
6224 | An omnipotent will cannot make two things equal or alike if they aren't [Cudworth] |
6223 | If the will and pleasure of God controls justice, then anything wicked or unjust would become good if God commanded it [Cudworth] |
6226 | The requirement that God must be obeyed must precede any authority of God's commands [Cudworth] |