23 ideas
17713 | After 1903, Husserl avoids metaphysical commitments [Mares] |
7807 | The laws of thought are true, but they are not the axioms of logic [Bolzano, by George/Van Evra] |
9618 | Bolzano wanted to reduce all of geometry to arithmetic [Bolzano, by Brown,JR] |
17715 | The truth of the axioms doesn't matter for pure mathematics, but it does for applied [Mares] |
9830 | Bolzano began the elimination of intuition, by proving something which seemed obvious [Bolzano, by Dummett] |
17716 | Mathematics is relations between properties we abstract from experience [Mares] |
17265 | Philosophical proofs in mathematics establish truths, and also show their grounds [Bolzano, by Correia/Schnieder] |
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] |
9185 | Bolzano wanted to avoid Kantian intuitions, and prove everything that could be proved [Bolzano, by Dummett] |
17700 | The most popular view is that coherent beliefs explain one another [Mares] |
17704 | Operationalism defines concepts by our ways of measuring them [Mares] |
6029 | Whoever knows future causes knows everything that will be [Cicero] |
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] |
22276 | Bolzano saw propositions as objective entities, existing independently of us [Bolzano, by Potter] |
17264 | Propositions are abstract structures of concepts, ready for judgement or assertion [Bolzano, by Correia/Schnieder] |
12232 | A 'proposition' is the sense of a linguistic expression, and can be true or false [Bolzano] |
17702 | Unstructured propositions are sets of possible worlds; structured ones have components [Mares] |
12233 | The ground of a pure conceptual truth is only in other conceptual truths [Bolzano] |
17708 | Maybe space has points, but processes always need regions with a size [Mares] |