27 ideas
17651 | Without words or other symbols, we have no world [Goodman] |
17652 | Truth is irrelevant if no statements are involved [Goodman] |
10282 | Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W] |
10283 | A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W] |
10284 | There are three different standard presentations of semantics [Hodges,W] |
10285 | I |= φ means that the formula φ is true in the interpretation I [Hodges,W] |
10289 | Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [Hodges,W] |
10288 | Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W] |
10287 | If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W] |
10286 | A 'set' is a mathematically well-behaved class [Hodges,W] |
17656 | Being primitive or prior always depends on a constructional system [Goodman] |
17661 | We don't recognise patterns - we invent them [Goodman] |
17659 | Reality is largely a matter of habit [Goodman] |
17657 | We build our world, and ignore anything that won't fit [Goodman] |
17654 | A world can be full of variety or not, depending on how we sort it [Goodman] |
17653 | Things can only be judged the 'same' by citing some respect of sameness [Goodman] |
17660 | Discovery is often just finding a fit, like a jigsaw puzzle [Goodman] |
17658 | Users of digital thermometers recognise no temperatures in the gaps [Goodman] |
17650 | We lack frames of reference to transform physics, biology and psychology into one another [Goodman] |
17655 | Grue and green won't be in the same world, as that would block induction entirely [Goodman] |
2534 | Mindless bodies are zombies, bodiless minds are ghosts [Sturgeon] |
2537 | Types are properties, and tokens are events. Are they split between mental and physical, or not? [Sturgeon] |
2532 | Intentionality isn't reducible, because of its experiential aspect [Sturgeon] |
2533 | Rule-following can't be reduced to the physical [Sturgeon] |
2535 | The main argument for physicalism is its simple account of causation [Sturgeon] |
2536 | Do facts cause thoughts, or embody them, or what? [Sturgeon] |
17649 | If the world is one it has many aspects, and if there are many worlds they will collect into one [Goodman] |