33 ideas
| 19066 | Philosophy aims to understand the world, through ordinary experience and science [Dummett] |
| 16943 | Philosophy is continuous with science, and has no external vantage point [Quine] |
| 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] |
| 16949 | Klein summarised geometry as grouped together by transformations [Quine] |
| 16939 | Mass terms just concern spread, but other terms involve both spread and individuation [Quine] |
| 8526 | We might treat both tropes and substances as fundamental, so we can't presume it is just tropes [Daly] |
| 8527 | More than one trope (even identical ones!) can occupy the same location [Daly] |
| 8528 | If tropes are linked by the existence of concurrence, a special relation is needed to link them all [Daly] |
| 16948 | Once we know the mechanism of a disposition, we can eliminate 'similarity' [Quine] |
| 16945 | We judge things to be soluble if they are the same kind as, or similar to, things that do dissolve [Quine] |
| 16944 | Science is common sense, with a sophisticated method [Quine] |
| 16941 | Induction relies on similar effects following from each cause [Quine] |
| 16940 | Induction is just more of the same: animal expectations [Quine] |
| 16933 | Grue is a puzzle because the notions of similarity and kind are dubious in science [Quine] |
| 19061 | An explanation is often a deduction, but that may well beg the question [Dummett] |
| 16934 | General terms depend on similarities among things [Quine] |
| 16938 | To learn yellow by observation, must we be told to look at the colour? [Quine] |
| 16947 | Similarity is just interchangeability in the cosmic machine [Quine] |
| 8486 | Standards of similarity are innate, and the spacing of qualities such as colours can be mapped [Quine] |
| 19064 | Holism is not a theory of meaning; it is the denial that a theory of meaning is possible [Dummett] |
| 16932 | Projectible predicates can be universalised about the kind to which they refer [Quine] |
| 7375 | Quine probably regrets natural kinds now being treated as essences [Quine, by Dennett] |
| 16935 | If similarity has no degrees, kinds cannot be contained within one another [Quine] |
| 16936 | Comparative similarity allows the kind 'colored' to contain the kind 'red' [Quine] |
| 16937 | You can't base kinds just on resemblance, because chains of resemblance are a muddle [Quine] |
| 16942 | It is hard to see how regularities could be explained [Quine] |