22 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. |
| 18767 | Free logics has terms that do not designate real things, and even empty domains [Anderson,CA] |
| Full Idea: Free logics say 1) singular terms are allowed that do not designate anything that exists; sometimes 2) is added: the domain of discourse is allowed to be empty. Logics with both conditions are called 'universally free logics'. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.3) | |
| A reaction: I really like the sound of this, and aim to investigate it. Karel Lambert's writings are the starting point. Maybe the domain of logic is our concepts, rather than things in the world, in which case free logic sounds fine. |
| 18763 | Basic variables in second-order logic are taken to range over subsets of the individuals [Anderson,CA] |
| Full Idea: Under its now standard principal interpretation, the monadic predicate variables in second-order logic range over subsets of the domain on individuals. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.5) | |
| A reaction: This is an interpretation in which properties are just sets of things, which is fine if you are a logician, but not if you want to talk about anything important. Still, we must play the game. Boolos introduced plural quantification at this point. |
| 18771 | Stop calling ∃ the 'existential' quantifier, read it as 'there is...', and range over all entities [Anderson,CA] |
| Full Idea: Ontological quantifiers might just as well range over all the entities needed for the semantics. ...The minimal way would be to just stop calling '∃' an 'existential quantifier', and always read it as 'there is...' rather than 'there exists...'. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6) | |
| A reaction: There is no right answer here, but it seems to be the strategy adopted by most logicians, and the majority of modern metaphysicians. They just allow abstracta, and even fictions, to 'exist', while not being fussy what it means. Big mistake! |
| 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?). |
| 18769 | Do mathematicians use 'existence' differently when they say some entity exists? [Anderson,CA] |
| Full Idea: A cursory examination shows that mathematicians have no aversion to saying that this-or-that mathematical entity exists. But is this a different sense of 'existence'? | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6) | |
| A reaction: For those of us like me and my pal Quine who say that 'exist' is univocal (i.e. only one meaning), this is a nice challenge. Quine solves it by saying maths concerns sets of objects. I, who don't like sets, am puzzled (so I turn to fictionalism...). |
| 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. |
| 18770 | We can distinguish 'ontological' from 'existential' commitment, for different kinds of being [Anderson,CA] |
| Full Idea: There are sensible ways to maike a distinction between different kinds of being. ..One need not fear that this leads to a 'bloated ontology'. ...We need only distinguish 'ontological commitment' from 'existential commitment' | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6) | |
| A reaction: He speaks of giving fictional and abstract entities a 'lower score' in existence. I think he means the 'ontological' commitment to be the stronger of the two. |
| 18766 | 's is non-existent' cannot be said if 's' does not designate [Anderson,CA] |
| Full Idea: The paradox of negative existentials says that if 's' does not designate something, then the sentence 's is non-existent' is untrue. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.1) | |
| A reaction: This only seems be a problem for logicians. Everyone else can happily say 'my coffee is non-existent'. |
| 18768 | We cannot pick out a thing and deny its existence, but we can say a concept doesn't correspond [Anderson,CA] |
| Full Idea: Parmenides was correct - one cannot speak of that which is not, even to say that it is not. But one can speak of concepts and say of them that they do not correspond to anything real. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.5) | |
| A reaction: [This summarises Alonso Church, who was developing Frege] This sounds like the right thing to say about non-existence, but then the same principle must apply to assertions of existence, which will also be about concepts and not things. |
| 18765 | Individuation was a problem for medievals, then Leibniz, then Frege, then Wittgenstein (somewhat) [Anderson,CA] |
| Full Idea: The medieval philosophers and then Leibniz were keen on finding 'principles of individuation', and the idea appears again in Frege, to be taken up in some respects by Wittgenstein. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.6) | |
| A reaction: I take a rather empirical approach to this supposed problem, and suggest we break 'individuation' down into its component parts, and then just drop the word. Discussions of principles of individuations strike me as muddled. Wiggins and Lowe today. |
| 18764 | The notion of 'property' is unclear for a logical version of the Identity of Indiscernibles [Anderson,CA] |
| Full Idea: In the Identity of Indiscernibles, one speaks about properties, and the notion of a property is by no means clearly fixed and formalized in modern symbolic logic. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.5) | |
| A reaction: The unclarity of 'property' is a bee in my philosophical bonnet, in speech, and in metaphysics, as well as in logic. It may well be the central problem in our attempts to understand the world in general terms. He cites intensional logic as promising. |
| 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... |
| 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? |
| 5049 | Intelligent pleasure is the perception of beauty, order and perfection [Leibniz] |
| Full Idea: An intelligent being's pleasure is simply the perception of beauty, order and perfection. | |
| From: Gottfried Leibniz (A Résumé of Metaphysics [1697], §18) | |
| A reaction: Leibniz seems to have inherited this from the Greeks, especially Pythagoras and Plato. Buried in Leibniz's remark I see the Christian fear of physical pleasure. He should have got out more. Must an intelligent being always be intelligent? |
| 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. |
| 5048 | Perfection is simply quantity of reality [Leibniz] |
| Full Idea: Perfection is simply quantity of reality. | |
| From: Gottfried Leibniz (A Résumé of Metaphysics [1697], §11) | |
| A reaction: An interesting claim, but totally beyond my personal comprehension. I presume he inherited 'quantity of reality' from Plato, e.g. as you move up the Line from shadows to Forms you increase the degree of reality. I see 'real' as all-or-nothing. |
| 5050 | Evil serves a greater good, and pain is necessary for higher pleasure [Leibniz] |
| Full Idea: Evils themselves serve a greater good, and the fact that pains are found in minds is necessary if they are to reach greater pleasures. | |
| From: Gottfried Leibniz (A Résumé of Metaphysics [1697], §23) | |
| A reaction: How much pain is needed to qualify for the 'greater pleasures'? Some people receive an awful lot. I am not sure exactly how an evil can 'serve' a greater good. Is he recommending evil? |