20 ideas
8207 | The quest for simplicity drove scientists to posit new entities, such as molecules in gases [Quine] |
8208 | In arithmetic, ratios, negatives, irrationals and imaginaries were created in order to generalise [Quine] |
10476 | The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W] |
6396 | A sentence is held true because of a combination of meaning and belief [Davidson] |
10478 | Since first-order languages are complete, |= and |- have the same meaning [Hodges,W] |
10477 | |= in model-theory means 'logical consequence' - it holds in all models [Hodges,W] |
10474 | |= should be read as 'is a model for' or 'satisfies' [Hodges,W] |
10473 | Model theory studies formal or natural language-interpretation using set-theory [Hodges,W] |
10475 | A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W] |
10481 | Models in model theory are structures, not sets of descriptions [Hodges,W] |
10480 | First-order logic can't discriminate between one infinite cardinal and another [Hodges,W] |
8205 | Explaining events just by bodies can't explain two events identical in space-time [Quine] |
8206 | Necessity could be just generalisation over classes, or (maybe) quantifying over possibilia [Quine] |
11145 | Having a belief involves the possibility of being mistaken [Davidson] |
6397 | The concept of belief can only derive from relationship to a speech community [Davidson] |
6392 | Thought depends on speech [Davidson] |
6393 | A creature doesn't think unless it interprets another's speech [Davidson] |
11144 | Concepts are only possible in a language community [Davidson] |
6395 | An understood sentence can be used for almost anything; it isn't language if it has only one use [Davidson] |
6394 | The pattern of sentences held true gives sentences their meaning [Davidson] |