20 ideas
| 19579 | The history of philosophy is just experiments in how to do philosophy [Novalis] |
| Full Idea: The history of philosophy up to now is nothing but a history of attempts to discover how to do philosophy. | |
| From: Novalis (Logological Fragments I [1798], 01) | |
| A reaction: I take post-Fregean analytic metaphysics to be another experiment in how to do philosophy. I suspect that the experiment of Husserl, Heidegger, Derrida etc has been a failure. |
| 19583 | Philosophy only begins when it studies itself [Novalis] |
| Full Idea: All philosophy begins where philosophizing philosophises itself. | |
| From: Novalis (Logological Fragments I [1798], 79) | |
| A reaction: The modern trend for doing metaphilosophy strikes me as wholly admirable, though I suspect that the enemies of philosophy (who are legion) see it as a decadence. |
| 10061 | The If-thenist view only seems to work for the axiomatised portions of mathematics [Musgrave] |
| Full Idea: The If-thenist view seems to apply straightforwardly only to the axiomatised portions of mathematics. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: He cites Lakatos to show that cutting-edge mathematics is never axiomatised. One might reply that if the new mathematics is any good then it ought to be axiomatis-able (barring Gödelian problems). |
| 10065 | Perhaps If-thenism survives in mathematics if we stick to first-order logic [Musgrave] |
| Full Idea: If we identify logic with first-order logic, and mathematics with the collection of first-order theories, then maybe we can continue to maintain the If-thenist position. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: The problem is that If-thenism must rely on rules of inference. That seems to mean that what is needed is Soundness, rather than Completeness. That is, inference by the rules must work properly. |
| 10049 | Logical truths may contain non-logical notions, as in 'all men are men' [Musgrave] |
| Full Idea: Containing only logical notions is not a necessary condition for being a logical truth, since a logical truth such as 'all men are men' may contain non-logical notions such as 'men'. | |
| From: Alan Musgrave (Logicism Revisited [1977], §3) | |
| A reaction: [He attributes this point to Russell] Maybe it is only a logical truth in its general form, as ∀x(x=x). Of course not all 'banks' are banks. |
| 10050 | A statement is logically true if it comes out true in all interpretations in all (non-empty) domains [Musgrave] |
| Full Idea: The standard modern view of logical truth is that a statement is logically true if it comes out true in all interpretations in all (non-empty) domains. | |
| From: Alan Musgrave (Logicism Revisited [1977], §3) |
| 19581 | A problem is a solid mass, which the mind must break up [Novalis] |
| Full Idea: A problem is a solid, synthetic mass which is broken up by means of the penetrating power of the mind. | |
| From: Novalis (Logological Fragments I [1798], 04) |
| 19584 | Whoever first counted to two must have seen the possibility of infinite counting [Novalis] |
| Full Idea: Whoever first understood how to count to two, even if he still found it difficult to keep on counting, saw nonetheless the possibility of infinite counting according to the same laws. | |
| From: Novalis (Logological Fragments I [1798], 84) | |
| A reaction: Presumably it is the discerning of the 'law' which triggers this. Is the key concept 'addition' or 'successor' (or are those the same?). |
| 10058 | No two numbers having the same successor relies on the Axiom of Infinity [Musgrave] |
| Full Idea: The axiom of Peano which states that no two numbers have the same successor requires the Axiom of Infinity for its proof. | |
| From: Alan Musgrave (Logicism Revisited [1977], §4 n) | |
| A reaction: [He refers to Russell 1919:131-2] The Axiom of Infinity is controversial and non-logical. |
| 10062 | Formalism seems to exclude all creative, growing mathematics [Musgrave] |
| Full Idea: Formalism seems to exclude from consideration all creative, growing mathematics. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: [He cites Lakatos in support] I am not immediately clear why spotting the remote implications of a formal system should be uncreative. The greatest chess players are considered to be highly creative and imaginative. |
| 10063 | Formalism is a bulwark of logical positivism [Musgrave] |
| Full Idea: Formalism is a bulwark of logical positivist philosophy. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: Presumably if you drain all the empirical content out of arithmetic and geometry, you are only left with the bare formal syntax, of symbols and rules. That seems to be as analytic as you can get. |
| 22025 | Novalis thought self-consciousness cannot disclose 'being', because we are temporal creatures [Novalis, by Pinkard] |
| Full Idea: Novalis came to think that the kind of existence , or 'being', that is disclosed in self-consciousness remains, as it were, forever out of our reach because of the kind of temporal creatures we are. | |
| From: report of Novalis (Logological Fragments I [1798]) by Terry Pinkard - German Philosophy 1760-1860 06 | |
| A reaction: It looks here as if Novalis kicked Heidegger's Dasein into the long grass before it even got started, but maybe they have different notions of 'being', with Novalis seeking timeless being, and Heidegger, influenced by Bergson, accepting temporality. |
| 10558 | Abstract objects are actually constituted by the properties by which we conceive them [Zalta] |
| Full Idea: Where for ordinary objects one can discover the properties they exemplify, abstract objects are actually constituted or determined by the properties by which we conceive them. I use the technical term 'x encodes F' for this idea. | |
| From: Edward N. Zalta (Deriving Kripkean Claims with Abstract Objects [2006], 2 n2) | |
| A reaction: One might say that whereas concrete objects can be dubbed (in the Kripke manner), abstract objects can only be referred to by descriptions. See 10557 for more technicalities about Zalta's idea. |
| 22067 | Poetry is true idealism, and the self-consciousness of the universe [Novalis] |
| Full Idea: Poetry is true idealism - contemplation of the world as contemplation of a large mind - self-consciousness of the universe. | |
| From: Novalis (Logological Fragments I [1798], vol 3 p.640), quoted by Ernst Behler - Early German Romanticism | |
| A reaction: It looks like the step from Fichte's idealism to the Absolute is poetry, which embraces the ultimate Spinozan substance through imagination. Or something... |
| 10557 | Abstract objects are captured by second-order modal logic, plus 'encoding' formulas [Zalta] |
| Full Idea: My object theory is formulated in a 'syntactically second-order' modal predicate calculus modified only so as to admit a second kind of atomic formula ('xF'), which asserts that object x 'encodes' property F. | |
| From: Edward N. Zalta (Deriving Kripkean Claims with Abstract Objects [2006], p.2) | |
| A reaction: This is summarising Zalta's 1983 theory of abstract objects. See Idea 10558 for Zalta's idea in plain English. |
| 10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |
| Full Idea: Logical positivists did not adopt old-style logicism, but rather logicism spiced with varying doses of If-thenism. | |
| From: Alan Musgrave (Logicism Revisited [1977], §4) | |
| A reaction: This refers to their account of mathematics as a set of purely logical truths, rather than being either empirical, or a priori synthetic. |
| 19585 | Every person has his own language [Novalis] |
| Full Idea: Every person has his own language. Language is the expression of the spirit. | |
| From: Novalis (Logological Fragments I [1798], 91) | |
| A reaction: Nice to see someone enthusiastically affirming what was later famously denied, and maybe even disproved. |
| 19582 | Morality and philosophy are mutually dependent [Novalis] |
| Full Idea: Without philosophy there is no true morality, and without morality no philosophy. | |
| From: Novalis (Logological Fragments I [1798], 21) | |
| A reaction: Challenging! Maybe unthinking people drift in a sea of vague untethered morality, and people who seem to have a genuine moral strength are always rooted in some sort of philosophy. Maybe. Is the passion for philosophy a moral passion? |
| 22027 | Life isn't given to us like a novel - we write the novel [Novalis] |
| Full Idea: Life must not be a novel that is given to us, but one that is made by us. | |
| From: Novalis (Logological Fragments I [1798], 99) | |
| A reaction: The roots of existentialism are in the Romantic movement. Sartre seems to have taken this idea literally. |
| 19580 | If the pupil really yearns for the truth, they only need a hint [Novalis] |
| Full Idea: If a pupil genuinely desires truth is requires only a hint to show him how to find what he is seeking. | |
| From: Novalis (Logological Fragments I [1798], 02) | |
| A reaction: The tricky job for the teacher or supervisor is assessing whether the pupil genuinely desires truth, or needs motivating. |