26 ideas
| 7807 | The laws of thought are true, but they are not the axioms of logic [Bolzano, by George/Van Evra] |
| 9987 | An aggregate in which order does not matter I call a 'set' [Bolzano] |
| 9618 | Bolzano wanted to reduce all of geometry to arithmetic [Bolzano, by Brown,JR] |
| 10856 | A truly infinite quantity does not need to be a variable [Bolzano] |
| 9830 | Bolzano began the elimination of intuition, by proving something which seemed obvious [Bolzano, by Dummett] |
| 17265 | Philosophical proofs in mathematics establish truths, and also show their grounds [Bolzano, by Correia/Schnieder] |
| 16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
| 16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
| 16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
| 16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
| 9185 | Bolzano wanted to avoid Kantian intuitions, and prove everything that could be proved [Bolzano, by Dummett] |
| 9757 | A person viewed as an agent makes no sense without its own future [Korsgaard] |
| 9758 | To make sense of personal identity, focus on agency rather than experience [Korsgaard] |
| 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] |
| 12233 | The ground of a pure conceptual truth is only in other conceptual truths [Bolzano] |
| 9759 | Theory of action focuses on explanation and prediction; practical action on justification and choice [Korsgaard] |
| 18678 | Maybe final value rests on the extrinsic property of being valued by a rational agent [Korsgaard, by Orsi] |
| 18225 | If we can't reason about value, we can reason about the unconditional source of value [Korsgaard] |
| 18228 | An end can't be an ultimate value just because it is useless! [Korsgaard] |
| 9760 | Self-concern may be a source of pain, or a lack of self-respect, or a failure of responsibility [Korsgaard] |
| 18224 | Goodness is given either by a psychological state, or the attribution of a property [Korsgaard] |
| 9761 | Personal concern for one's own self widens out into concern for the impersonal [Korsgaard] |
| 18233 | Contemplation is final because it is an activity which is not a process [Korsgaard] |
| 18226 | For Aristotle, contemplation consists purely of understanding [Korsgaard] |