11 ideas
| 21916 | Philosophers can't be religious, and don't need to be; philosophy is perilous but free [Schopenhauer] |
| Full Idea: No one who is religious attains to philosophy; he does not need it. No one who really philosophizes is religious; he walks without leading-strings, perilously but free. | |
| From: Arthur Schopenhauer (Manuscript remains [1855], II p.241-3), quoted by Peter B. Lewis - Schopenhauer 3 | |
| A reaction: This is a direct reply to the opposite view expressed by Schleiermacher (and quoted by Lewis). I would say that to be a philosopher one must give priority to the philosophy, ahead of any religious beliefs. Thinking must be free. |
| 10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
| Full Idea: Definitions are called 'predicative', and are considered sound, if they only refer to entities which exist independently from the defined collection. | |
| From: Leon Horsten (Philosophy of Mathematics [2007], §2.4) |
| 8755 | Maddy replaces pure sets with just objects and perceived sets of objects [Maddy, by Shapiro] |
| Full Idea: Maddy dispenses with pure sets, by sketching a strong set theory in which everything is either a physical object or a set of sets of ...physical objects. Eventually a physiological story of perception will extend to sets of physical objects. | |
| From: report of Penelope Maddy (Realism in Mathematics [1990]) by Stewart Shapiro - Thinking About Mathematics 8.3 | |
| A reaction: This doesn't seem to find many supporters, but if we accept the perception of resemblances as innate (as in Hume and Quine), it is isn't adding much to see that we intrinsically see things in groups. |
| 10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
| Full Idea: If a theory has, up to isomorphism, exactly one model, then it is said to be 'categorical'. | |
| From: Leon Horsten (Philosophy of Mathematics [2007], §5.2) |
| 10885 | Computer proofs don't provide explanations [Horsten] |
| Full Idea: Mathematicians are uncomfortable with computerised proofs because a 'good' proof should do more than convince us that a certain statement is true. It should also explain why the statement in question holds. | |
| From: Leon Horsten (Philosophy of Mathematics [2007], §5.3) |
| 10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
| Full Idea: The notion of an ordinal number is a set-theoretic, and hence non-arithmetical, concept. | |
| From: Leon Horsten (Philosophy of Mathematics [2007], §2.3) |
| 10718 | A natural number is a property of sets [Maddy, by Oliver] |
| Full Idea: Maddy takes a natural number to be a certain property of sui generis sets, the property of having a certain number of members. | |
| From: report of Penelope Maddy (Realism in Mathematics [1990], 3 §2) by Alex Oliver - The Metaphysics of Properties | |
| A reaction: [I believe Maddy has shifted since then] Presumably this will make room for zero and infinities as natural numbers. Personally I want my natural numbers to count things. |
| 8756 | Intuition doesn't support much mathematics, and we should question its reliability [Maddy, by Shapiro] |
| Full Idea: Maddy says that intuition alone does not support very much mathematics; more importantly, a naturalist cannot accept intuition at face value, but must ask why we are justified in relying on intuition. | |
| From: report of Penelope Maddy (Realism in Mathematics [1990]) by Stewart Shapiro - Thinking About Mathematics 8.3 | |
| A reaction: It depends what you mean by 'intuition', but I identify with her second objection, that every faculty must ultimately be subject to criticism, which seems to point to a fairly rationalist view of things. |
| 17733 | We know mind-independent mathematical truths through sets, which rest on experience [Maddy, by Jenkins] |
| Full Idea: Maddy proposes that we can know (some) mind-independent mathematical truths through knowing about sets, and that we can obtain knowledge of sets through experience. | |
| From: report of Penelope Maddy (Realism in Mathematics [1990]) by Carrie Jenkins - Grounding Concepts 6.5 | |
| A reaction: Maddy has since backed off from this, and now tries to merely defend 'objectivity' about sets (2011:114). My amateurish view is that she is overrating the importance of sets, which merely model mathematics. Look at category theory. |
| 21924 | As the subject of willing I am wretched, but absorption in knowledge is bliss [Schopenhauer] |
| Full Idea: As the subject of willing I am an exceedingly wretched being, and all our suffering consistd in willing, ...but as soon as I am absorbed in knowledge, I am blissfully happy and nothing can assail me. | |
| From: Arthur Schopenhauer (Manuscript remains [1855], I p.137), quoted by Peter B. Lewis - Schopenhauer 4 | |
| A reaction: So the source of his pessimism is subjection to his own will. However, since becoming absorbed in knowledge is an easy task for a scholar, he has little to grumble about. Nietzsche mocked the great pessimist for playing the flute every day. |
| 21915 | To deduce morality from reason is blasphemy, because it is holy, and far above reason [Schopenhauer] |
| Full Idea: To deduce from reason [Vernunft] the moral element in conduct is blasphemy. In this element there is expressed the better consciousness which lies far above all reason. expresses itself in conduct as holiness, and is the true salvation of the world. | |
| From: Arthur Schopenhauer (Manuscript remains [1855], I p.47), quoted by Peter B. Lewis - Schopenhauer 3 | |
| A reaction: Aimed at Kant. Only Plato could inspire a non-religious person to write about morality is such terms. Maybe also the stoic ideal of beautiful deeds (given the supreme value Schopenhauer placed on the arts). |