28 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] |
| 17518 | Counting 'coin in this box' may have coin as the unit, with 'in this box' merely as the scope [Ayers] |
| 17516 | If counting needs a sortal, what of things which fall under two sortals? [Ayers] |
| 17520 | Events do not have natural boundaries, and we have to set them [Ayers] |
| 17519 | To express borderline cases of objects, you need the concept of an 'object' [Ayers] |
| 17511 | Recognising continuity is separate from sortals, and must precede their use [Ayers] |
| 17510 | Speakers need the very general category of a thing, if they are to think about it [Ayers] |
| 17522 | We use sortals to classify physical objects by the nature and origin of their unity [Ayers] |
| 17515 | Seeing caterpillar and moth as the same needs continuity, not identity of sortal concepts [Ayers] |
| 17517 | Could the same matter have more than one form or principle of unity? [Ayers] |
| 17513 | If there are two objects, then 'that marble, man-shaped object' is ambiguous [Ayers] |
| 17523 | Sortals basically apply to individuals [Ayers] |
| 17521 | You can't have the concept of a 'stage' if you lack the concept of an object [Ayers] |
| 17514 | Temporal 'parts' cannot be separated or rearranged [Ayers] |
| 17509 | Some say a 'covering concept' completes identity; others place the concept in the reference [Ayers] |
| 17512 | If diachronic identities need covering concepts, why not synchronic identities too? [Ayers] |
| 19061 | An explanation is often a deduction, but that may well beg the question [Dummett] |
| 3161 | If mind is just an explanation, the explainer must have beliefs [Rey on Dennett] |
| 3177 | You couldn't drive a car without folk psychology [Dennett] |
| 19064 | Holism is not a theory of meaning; it is the denial that a theory of meaning is possible [Dummett] |