21 ideas
17713 | After 1903, Husserl avoids metaphysical commitments [Mares] |
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
10885 | Computer proofs don't provide explanations [Horsten] |
17715 | The truth of the axioms doesn't matter for pure mathematics, but it does for applied [Mares] |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
17716 | Mathematics is relations between properties we abstract from experience [Mares] |
15797 | All structures are dispositional, objects are dispositions sets, and events manifest dispositions [Fetzer] |
15800 | All events and objects are dispositional, and hence all structural properties are dispositional [Fetzer] |
17703 | Light in straight lines is contingent a priori; stipulated as straight, because they happen to be so [Mares] |
17714 | Aristotelians dislike the idea of a priori judgements from pure reason [Mares] |
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] |
17710 | Aristotelian justification uses concepts abstracted from experience [Mares] |
17706 | The essence of a concept is either its definition or its conceptual relations? [Mares] |
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] |
15798 | Kinds are arrangements of dispositions [Fetzer] |
15799 | Lawlike sentences are general attributions of disposition to all members of some class [Fetzer] |
17708 | Maybe space has points, but processes always need regions with a size [Mares] |