29 ideas
| 17713 | After 1903, Husserl avoids metaphysical commitments [Mares] |
| 17715 | The truth of the axioms doesn't matter for pure mathematics, but it does for applied [Mares] |
| 17716 | Mathematics is relations between properties we abstract from experience [Mares] |
| 17000 | We might fix identities for small particulars, but it is utopian to hope for such things [Kripke] |
| 11868 | A different piece of wood could have been used for that table; constitution isn't identity [Wiggins on Kripke] |
| 17044 | A relation can clearly be reflexive, and identity is the smallest reflexive relation [Kripke] |
| 16999 | A vague identity may seem intransitive, and we might want to talk of 'counterparts' [Kripke] |
| 17058 | What many people consider merely physically necessary I consider completely necessary [Kripke] |
| 4970 | What is often held to be mere physical necessity is actually metaphysical necessity [Kripke] |
| 17059 | Unicorns are vague, so no actual or possible creature could count as a unicorn [Kripke] |
| 17703 | Light in straight lines is contingent a priori; stipulated as straight, because they happen to be so [Mares] |
| 4950 | Possible worlds are useful in set theory, but can be very misleading elsewhere [Kripke] |
| 17003 | Kaplan's 'Dthat' is a useful operator for transforming a description into a rigid designation [Kripke] |
| 9221 | The best known objection to counterparts is Kripke's, that Humphrey doesn't care if his counterpart wins [Kripke, by Sider] |
| 17714 | Aristotelians dislike the idea of a priori judgements from pure reason [Mares] |
| 17052 | The a priori analytic truths involving fixing of reference are contingent [Kripke] |
| 17705 | Empiricists say rationalists mistake imaginative powers for modal insights [Mares] |
| 17700 | The most popular view is that coherent beliefs explain one another [Mares] |
| 17704 | Operationalism defines concepts by our ways of measuring them [Mares] |
| 2799 | Bayes' theorem explains why very surprising predictions have a higher value as evidence [Horwich] |
| 2798 | Probability of H, given evidence E, is prob(H) x prob(E given H) / prob(E) [Horwich] |
| 4969 | I regard the mind-body problem as wide open, and extremely confusing [Kripke] |
| 17710 | Aristotelian justification uses concepts abstracted from experience [Mares] |
| 17706 | The essence of a concept is either its definition or its conceptual relations? [Mares] |
| 4956 | A description may fix a reference even when it is not true of its object [Kripke] |
| 17032 | Even if Gödel didn't produce his theorems, he's still called 'Gödel' [Kripke] |
| 17701 | Possible worlds semantics has a nice compositional account of modal statements [Mares] |
| 17702 | Unstructured propositions are sets of possible worlds; structured ones have components [Mares] |
| 17708 | Maybe space has points, but processes always need regions with a size [Mares] |