36 ideas
| 17651 | Without words or other symbols, we have no world [Goodman] |
| 17652 | Truth is irrelevant if no statements are involved [Goodman] |
| 8472 | Sentential logic is consistent (no contradictions) and complete (entirely provable) [Orenstein] |
| 8476 | Axiomatization simply picks from among the true sentences a few to play a special role [Orenstein] |
| 8480 | S4: 'poss that poss that p' implies 'poss that p'; S5: 'poss that nec that p' implies 'nec that p' [Orenstein] |
| 8474 | Unlike elementary logic, set theory is not complete [Orenstein] |
| 8465 | Mereology has been exploited by some nominalists to achieve the effects of set theory [Orenstein] |
| 8452 | Traditionally, universal sentences had existential import, but were later treated as conditional claims [Orenstein] |
| 8475 | The substitution view of quantification says a sentence is true when there is a substitution instance [Orenstein] |
| 8454 | The whole numbers are 'natural'; 'rational' numbers include fractions; the 'reals' include root-2 etc. [Orenstein] |
| 12215 | The existence of numbers is not a matter of identities, but of constituents of the world [Fine,K] |
| 12211 | It is plausible that x^2 = -1 had no solutions before complex numbers were 'introduced' [Fine,K] |
| 12209 | The indispensability argument shows that nature is non-numerical, not the denial of numbers [Fine,K] |
| 8473 | The logicists held that is-a-member-of is a logical constant, making set theory part of logic [Orenstein] |
| 12214 | 'Exists' is a predicate, not a quantifier; 'electrons exist' is like 'electrons spin' [Fine,K] |
| 12212 | Just as we introduced complex numbers, so we introduced sums and temporal parts [Fine,K] |
| 12216 | Real objects are those which figure in the facts that constitute reality [Fine,K] |
| 12218 | Being real and being fundamental are separate; Thales's water might be real and divisible [Fine,K] |
| 17656 | Being primitive or prior always depends on a constructional system [Goodman] |
| 17661 | We don't recognise patterns - we invent them [Goodman] |
| 12217 | For ontology we need, not internal or external views, but a view from outside reality [Fine,K] |
| 17659 | Reality is largely a matter of habit [Goodman] |
| 17657 | We build our world, and ignore anything that won't fit [Goodman] |
| 12213 | Ontological claims are often universal, and not a matter of existential quantification [Fine,K] |
| 8458 | Just individuals in Nominalism; add sets for Extensionalism; add properties, concepts etc for Intensionalism [Orenstein] |
| 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] |
| 8457 | The Principle of Conservatism says we should violate the minimum number of background beliefs [Orenstein] |
| 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] |
| 8477 | People presume meanings exist because they confuse meaning and reference [Orenstein] |
| 8471 | Three ways for 'Socrates is human' to be true are nominalist, platonist, or Montague's way [Orenstein] |
| 8484 | If two people believe the same proposition, this implies the existence of propositions [Orenstein] |
| 17649 | If the world is one it has many aspects, and if there are many worlds they will collect into one [Goodman] |