82 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. |
22026 | Philosophy is homesickness - the urge to be at home everywhere [Novalis] |
Full Idea: Philosophy is actually homesickness - the urge to be everywhere at home. | |
From: Novalis (General Draft [1799], 45) | |
A reaction: The idea of home [heimat] is powerful in German culture. The point of romanticism was seen as largely concerning restless souls like Byron and his heroes, who do not feel at home. Hence ironic detachment. |
19588 | The highest aim of philosophy is to combine all philosophies into a unity [Novalis] |
Full Idea: He attains the maximum of a philosopher who combines all philosophies into a single philosophy | |
From: Novalis (Logological Fragments II [1798], 31) | |
A reaction: I have found the epigraph for my big book! Recently a few narrowly analytical philosophers have attempted big books about everything (Sider, Heil, Chalmers), and they get a huge round of applause from me. |
19598 | Philosophy relies on our whole system of learning, and can thus never be complete [Novalis] |
Full Idea: Now all learning is connected - thus philosophy will never be complete. Only in the complete system of all learning will philosophy be truly visible. | |
From: Novalis (Logological Fragments II [1798], 39) | |
A reaction: Philosophy is evidently the unifying subject, which reveals the point of all the other subjects. It matches my maxim that 'science is the servant of philosophy'. |
19586 | Philosophers feed on problems, hoping they are digestible, and spiced with paradox [Novalis] |
Full Idea: The philosopher lives on problems as the human being does on food. An insoluble problem is an indigestible food. What spice is to food, the paradoxical is to problems. | |
From: Novalis (Logological Fragments II [1798], 09) | |
A reaction: Novalis would presumably have disliked Hegel's dialectic, where the best food seems to be the indigestible. |
19587 | Philosophy aims to produce a priori an absolute and artistic world system [Novalis] |
Full Idea: Philosophy ...is the art of producing all our conceptions according to an absolute, artistic idea and of developing the thought of a world system a priori out of the depths of our spirit. | |
From: Novalis (Logological Fragments II [1798], 19) | |
A reaction: A lovely statement of the dream of building world systems by pure thought - embodying perfectly the view of philosophy despised by logical positivists and modern logical metaphysicians. The Novalis view will never die! I like 'artistic'. |
19574 | If man sacrifices truth he sacrifices himself, by acting against his own convictions [Novalis] |
Full Idea: Man has his being in truth - if he sacrifices truth he sacrifices himself. Whoever betrays truth betrays himself. It is not a question of lying - but of acting against one's conviction. | |
From: Novalis (Miscellaneous Observations [1798], 038) | |
A reaction: Does he condone lying here, as long as you don't believe the lie? We would call it loss of integrity. |
19571 | Delusion and truth differ in their life functions [Novalis] |
Full Idea: The distinction between delusion and truth lies in the difference in their life functions. | |
From: Novalis (Miscellaneous Observations [1798], 008) | |
A reaction: Pure pragmatism, it seems. We might expect doubts about objective truth from a leading light of the Romantic movement. |
10987 | Three traditional names of rules are 'Simplification', 'Addition' and 'Disjunctive Syllogism' [Read] |
Full Idea: Three traditional names for rules are 'Simplification' (P from 'P and Q'), 'Addition' ('P or Q' from P), and 'Disjunctive Syllogism' (Q from 'P or Q' and 'not-P'). | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
11004 | Necessity is provability in S4, and true in all worlds in S5 [Read] |
Full Idea: In S4 necessity is said to be informal 'provability', and in S5 it is said to be 'true in every possible world'. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
A reaction: It seems that the S4 version is proof-theoretic, and the S5 version is semantic. |
11018 | There are fuzzy predicates (and sets), and fuzzy quantifiers and modifiers [Read] |
Full Idea: In fuzzy logic, besides fuzzy predicates, which define fuzzy sets, there are also fuzzy quantifiers (such as 'most' and 'few') and fuzzy modifiers (such as 'usually'). | |
From: Stephen Read (Thinking About Logic [1995], Ch.7) |
11011 | Same say there are positive, negative and neuter free logics [Read] |
Full Idea: It is normal to classify free logics into three sorts; positive free logics (some propositions with empty terms are true), negative free logics (they are false), and neuter free logics (they lack truth-value), though I find this unhelpful and superficial. | |
From: Stephen Read (Thinking About Logic [1995], Ch.5) |
11020 | Realisms like the full Comprehension Principle, that all good concepts determine sets [Read] |
Full Idea: Hard-headed realism tends to embrace the full Comprehension Principle, that every well-defined concept determines a set. | |
From: Stephen Read (Thinking About Logic [1995], Ch.8) | |
A reaction: This sort of thing gets you into trouble with Russell's paradox (though that is presumably meant to be excluded somehow by 'well-defined'). There are lots of diluted Comprehension Principles. |
14187 | If logic is topic-neutral that means it delves into all subjects, rather than having a pure subject matter [Read] |
Full Idea: The topic-neutrality of logic need not mean there is a pure subject matter for logic; rather, that the logician may need to go everywhere, into mathematics and even into metaphysics. | |
From: Stephen Read (Formal and Material Consequence [1994], 'Logic') |
10986 | Not all validity is captured in first-order logic [Read] |
Full Idea: We must recognise that first-order classical logic is inadequate to describe all valid consequences, that is, all cases in which it is impossible for the premisses to be true and the conclusion false. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: This is despite the fact that first-order logic is 'complete', in the sense that its own truths are all provable. |
10972 | The non-emptiness of the domain is characteristic of classical logic [Read] |
Full Idea: The non-emptiness of the domain is characteristic of classical logic. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
11024 | Semantics must precede proof in higher-order logics, since they are incomplete [Read] |
Full Idea: For the realist, study of semantic structures comes before study of proofs. In higher-order logic is has to, for the logics are incomplete. | |
From: Stephen Read (Thinking About Logic [1995], Ch.9) | |
A reaction: This seems to be an important general observation about any incomplete system, such as Peano arithmetic. You may dream the old rationalist dream of starting from the beginning and proving everything, but you can't. Start with truth and meaning. |
19597 | Logic (the theory of relations) should be applied to mathematics [Novalis] |
Full Idea: Ought not logic, the theory of relations, be applied to mathematics? | |
From: Novalis (Logological Fragments II [1798], 38) | |
A reaction: Bolzano was 19 when his was written. I presume Novalis would have been excited by set theory (even though he was a hyper-romantic). |
10985 | We should exclude second-order logic, precisely because it captures arithmetic [Read] |
Full Idea: Those who believe mathematics goes beyond logic use that fact to argue that classical logic is right to exclude second-order logic. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
14188 | Not all arguments are valid because of form; validity is just true premises and false conclusion being impossible [Read] |
Full Idea: Belief that every valid argument is valid in virtue of form is a myth. ..Validity is a question of the impossibility of true premises and false conclusion for whatever reason, and some arguments are materially valid and the reason is not purely logical. | |
From: Stephen Read (Formal and Material Consequence [1994], 'Logic') | |
A reaction: An example of a non-logical reason is the transitive nature of 'taller than'. Conceptual connections are the usual example, as in 'it's red so it is coloured'. This seems to be a defence of the priority of semantic consequence in logic. |
14182 | If the logic of 'taller of' rests just on meaning, then logic may be the study of merely formal consequence [Read] |
Full Idea: In 'A is taller than B, and B is taller than C, so A is taller than C' this can been seen as a matter of meaning - it is part of the meaning of 'taller' that it is transitive, but not of logic. Logic is now seen as the study of formal consequence. | |
From: Stephen Read (Formal and Material Consequence [1994], 'Reduct') | |
A reaction: I think I find this approach quite appealing. Obviously you can reason about taller-than relations, by putting the concepts together like jigsaw pieces, but I tend to think of logic as something which is necessarily implementable on a machine. |
14183 | Maybe arguments are only valid when suppressed premises are all stated - but why? [Read] |
Full Idea: Maybe some arguments are really only valid when a suppressed premise is made explicit, as when we say that 'taller than' is a transitive concept. ...But what is added by making the hidden premise explicit? It cannot alter the soundness of the argument. | |
From: Stephen Read (Formal and Material Consequence [1994], 'Suppress') |
10970 | A theory of logical consequence is a conceptual analysis, and a set of validity techniques [Read] |
Full Idea: A theory of logical consequence, while requiring a conceptual analysis of consequence, also searches for a set of techniques to determine the validity of particular arguments. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
10984 | Logical consequence isn't just a matter of form; it depends on connections like round-square [Read] |
Full Idea: If classical logic insists that logical consequence is just a matter of the form, we fail to include as valid consequences those inferences whose correctness depends on the connections between non-logical terms (such as 'round' and 'square'). | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: He suggests that an inference such as 'round, so not square' should be labelled as 'materially valid'. |
14184 | In modus ponens the 'if-then' premise contributes nothing if the conclusion follows anyway [Read] |
Full Idea: A puzzle about modus ponens is that the major premise is either false or unnecessary: A, If A then B / so B. If the major premise is true, then B follows from A, so the major premise is redundant. So it is false or not needed, and contributes nothing. | |
From: Stephen Read (Formal and Material Consequence [1994], 'Repres') | |
A reaction: Not sure which is the 'major premise' here, but it seems to be saying that the 'if A then B' is redundant. If I say 'it's raining so the grass is wet', it seems pointless to slip in the middle the remark that rain implies wet grass. Good point. |
14186 | Logical connectives contain no information, but just record combination relations between facts [Read] |
Full Idea: The logical connectives are useful for bundling information, that B follows from A, or that one of A or B is true. ..They import no information of their own, but serve to record combinations of other facts. | |
From: Stephen Read (Formal and Material Consequence [1994], 'Repres') | |
A reaction: Anyone who suggests a link between logic and 'facts' gets my vote, so this sounds a promising idea. However, logical truths have a high degree of generality, which seems somehow above the 'facts'. |
10973 | A theory is logically closed, which means infinite premisses [Read] |
Full Idea: A 'theory' is any logically closed set of propositions, ..and since any proposition has infinitely many consequences, including all the logical truths, so that theories have infinitely many premisses. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: Read is introducing this as the essential preliminary to an account of the Compactness Theorem, which relates these infinite premisses to the finite. |
11007 | Quantifiers are second-order predicates [Read] |
Full Idea: Quantifiers are second-order predicates. | |
From: Stephen Read (Thinking About Logic [1995], Ch.5) | |
A reaction: [He calls this 'Frege's insight'] They seem to be second-order in Tarski's sense, that they are part of a metalanguage about the sentence, rather than being a part of the sentence. |
10978 | In second-order logic the higher-order variables range over all the properties of the objects [Read] |
Full Idea: The defining factor of second-order logic is that, while the domain of its individual variables may be arbitrary, the range of the first-order variables is all the properties of the objects in its domain (or, thinking extensionally, of the sets objects). | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: The key point is that the domain is 'all' of the properties. How many properties does an object have. You need to decide whether you believe in sparse or abundant properties (I vote for very sparse indeed). |
10971 | A logical truth is the conclusion of a valid inference with no premisses [Read] |
Full Idea: Logical truth is a degenerate, or extreme, case of consequence. A logical truth is the conclusion of a valid inference with no premisses, or a proposition in the premisses of an argument which is unnecessary or may be suppressed. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
10988 | Any first-order theory of sets is inadequate [Read] |
Full Idea: Any first-order theory of sets is inadequate because of the Löwenheim-Skolem-Tarski property, and the consequent Skolem paradox. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: The limitation is in giving an account of infinities. |
10974 | Compactness is when any consequence of infinite propositions is the consequence of a finite subset [Read] |
Full Idea: Classical logical consequence is compact, which means that any consequence of an infinite set of propositions (such as a theory) is a consequence of some finite subset of them. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
10975 | Compactness does not deny that an inference can have infinitely many premisses [Read] |
Full Idea: Compactness does not deny that an inference can have infinitely many premisses. It can; but classically, it is valid if and only if the conclusion follows from a finite subset of them. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
10977 | Compactness blocks the proof of 'for every n, A(n)' (as the proof would be infinite) [Read] |
Full Idea: Compact consequence undergenerates - there are intuitively valid consequences which it marks as invalid, such as the ω-rule, that if A holds of the natural numbers, then 'for every n, A(n)', but the proof of that would be infinite, for each number. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
10976 | Compactness makes consequence manageable, but restricts expressive power [Read] |
Full Idea: Compactness is a virtue - it makes the consequence relation more manageable; but it is also a limitation - it limits the expressive power of the logic. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: The major limitation is that wholly infinite proofs are not permitted, as in Idea 10977. |
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) |
11014 | Self-reference paradoxes seem to arise only when falsity is involved [Read] |
Full Idea: It cannot be self-reference alone that is at fault. Rather, what seems to cause the problems in the paradoxes is the combination of self-reference with falsity. | |
From: Stephen Read (Thinking About Logic [1995], Ch.6) |
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?). |
11025 | Infinite cuts and successors seems to suggest an actual infinity there waiting for us [Read] |
Full Idea: Every potential infinity seems to suggest an actual infinity - e.g. generating successors suggests they are really all there already; cutting the line suggests that the point where the cut is made is already in place. | |
From: Stephen Read (Thinking About Logic [1995], Ch.8) | |
A reaction: Finding a new gambit in chess suggests it was there waiting for us, but we obviously invented chess. Daft. |
10979 | Although second-order arithmetic is incomplete, it can fully model normal arithmetic [Read] |
Full Idea: Second-order arithmetic is categorical - indeed, there is a single formula of second-order logic whose only model is the standard model ω, consisting of just the natural numbers, with all of arithmetic following. It is nevertheless incomplete. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: This is the main reason why second-order logic has a big fan club, despite the logic being incomplete (as well as the arithmetic). |
10980 | Second-order arithmetic covers all properties, ensuring categoricity [Read] |
Full Idea: Second-order arithmetic can rule out the non-standard models (with non-standard numbers). Its induction axiom crucially refers to 'any' property, which gives the needed categoricity for the models. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
10997 | Von Neumann numbers are helpful, but don't correctly describe numbers [Read] |
Full Idea: The Von Neumann numbers have a structural isomorphism to the natural numbers - each number is the set of all its predecessors, so 2 is the set of 0 and 1. This helps proofs, but is unacceptable. 2 is not a set with two members, or a member of 3. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) |
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. |
11016 | Would a language without vagueness be usable at all? [Read] |
Full Idea: We must ask whether a language without vagueness would be usable at all. | |
From: Stephen Read (Thinking About Logic [1995], Ch.7) | |
A reaction: Popper makes a similar remark somewhere, with which I heartily agreed. This is the idea of 'spreading the word' over the world, which seems the right way of understanding it. |
11019 | Supervaluations say there is a cut-off somewhere, but at no particular place [Read] |
Full Idea: The supervaluation approach to vagueness is to construe vague predicates not as ones with fuzzy borderlines and no cut-off, but as having a cut-off somewhere, but in no particular place. | |
From: Stephen Read (Thinking About Logic [1995], Ch.7) | |
A reaction: Presumably you narrow down the gap by supervaluation, then split the difference to get a definite value. |
11012 | A 'supervaluation' gives a proposition consistent truth-value for classical assignments [Read] |
Full Idea: A 'supervaluation' says a proposition is true if it is true in all classical extensions of the original partial valuation. Thus 'A or not-A' has no valuation for an empty name, but if 'extended' to make A true or not-true, not-A always has opposite value. | |
From: Stephen Read (Thinking About Logic [1995], Ch.5) |
11013 | Identities and the Indiscernibility of Identicals don't work with supervaluations [Read] |
Full Idea: In supervaluations, the Law of Identity has no value for empty names, and remains so if extended. The Indiscernibility of Identicals also fails if extending it for non-denoting terms, where Fa comes out true and Fb false. | |
From: Stephen Read (Thinking About Logic [1995], Ch.5) |
10995 | A haecceity is a set of individual properties, essential to each thing [Read] |
Full Idea: The haecceitist (a neologism coined by Duns Scotus, pronounced 'hex-ee-it-ist', meaning literally 'thisness') believes that each thing has an individual essence, a set of properties which are essential to it. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
A reaction: This seems to be a difference of opinion over whether a haecceity is a set of essential properties, or a bare particular. The key point is that it is unique to each entity. |
19575 | Refinement of senses increasingly distinguishes individuals [Novalis] |
Full Idea: The more our senses are refined, the more capable they become of distinguishing between individuals. The highest sense would be the highest receptivity to particularity in human nature. | |
From: Novalis (Miscellaneous Observations [1798], 072) | |
A reaction: I adore this idea!! It goes into the collection of support I am building for individual essences, against the absurd idea of kinds as essences (when they are actually categorisations). It also accompanies particularism in ethics. |
11001 | Equating necessity with truth in every possible world is the S5 conception of necessity [Read] |
Full Idea: The equation of 'necessity' with 'true in every possible world' is known as the S5 conception, corresponding to the strongest of C.I.Lewis's five modal systems. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
A reaction: Are the worlds naturally, or metaphysically, or logically possible? |
10989 | The standard view of conditionals is that they are truth-functional [Read] |
Full Idea: The standard view of conditionals is that they are truth-functional, that is, that their truth-values are determined by the truth-values of their constituents. | |
From: Stephen Read (Thinking About Logic [1995], Ch.3) |
11017 | Some people even claim that conditionals do not express propositions [Read] |
Full Idea: Some people even claim that conditionals do not express propositions. | |
From: Stephen Read (Thinking About Logic [1995], Ch.7) | |
A reaction: See Idea 14283, where this appears to have been 'proved' by Lewis, and is not just a view held by some people. |
10992 | The point of conditionals is to show that one will accept modus ponens [Read] |
Full Idea: The point of conditionals is to show that one will accept modus ponens. | |
From: Stephen Read (Thinking About Logic [1995], Ch.3) | |
A reaction: [He attributes this idea to Frank Jackson] This makes the point, against Grice, that the implication of conditionals is not conversational but a matter of logical convention. See Idea 21396 for a very different view. |
14185 | Conditionals are just a shorthand for some proof, leaving out the details [Read] |
Full Idea: Truth enables us to carry various reports around under certain descriptions ('what Iain said') without all the bothersome detail. Similarly, conditionals enable us to transmit a record of proof without its detail. | |
From: Stephen Read (Formal and Material Consequence [1994], 'Repres') | |
A reaction: This is his proposed Redundancy Theory of conditionals. It grows out of the problem with Modus Ponens mentioned in Idea 14184. To say that there is always an implied 'proof' seems a large claim. |
10983 | Knowledge of possible worlds is not causal, but is an ontology entailed by semantics [Read] |
Full Idea: The modal Platonist denies that knowledge always depends on a causal relation. The reality of possible worlds is an ontological requirement, to secure the truth-values of modal propositions. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: [Reply to Idea 10982] This seems to be a case of deriving your metaphyics from your semantics, of which David Lewis seems to be guilty, and which strikes me as misguided. |
10982 | How can modal Platonists know the truth of a modal proposition? [Read] |
Full Idea: If modal Platonism was true, how could we ever know the truth of a modal proposition? | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: I take this to be very important. Our knowledge of modal truths must depend on our knowledge of the actual world. The best answer seems to involve reference to the 'powers' of the actual world. A reply is in Idea 10983. |
10996 | Actualism is reductionist (to parts of actuality), or moderate realist (accepting real abstractions) [Read] |
Full Idea: There are two main forms of actualism: reductionism, which seeks to construct possible worlds out of some more mundane material; and moderate realism, in which the actual concrete world is contrasted with abstract, but none the less real, possible worlds. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
A reaction: I am a reductionist, as I do not take abstractions to be 'real' (precisely because they have been 'abstracted' from the things that are real). I think I will call myself a 'scientific modalist' - we build worlds from possibilities, discovered by science. |
10981 | A possible world is a determination of the truth-values of all propositions of a domain [Read] |
Full Idea: A possible world is a complete determination of the truth-values of all propositions over a certain domain. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: Even if the domain is very small? Even if the world fitted the logic nicely, but was naturally impossible? |
11000 | If worlds are concrete, objects can't be present in more than one, and can only have counterparts [Read] |
Full Idea: If each possible world constitutes a concrete reality, then no object can be present in more than one world - objects may have 'counterparts', but cannot be identical with them. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
A reaction: This explains clearly why in Lewis's modal realist scheme he needs counterparts instead of rigid designation. Sounds like a slippery slope. If you say 'Humphrey might have won the election', who are you talking about? |
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... |
19572 | Experiences tests reason, and reason tests experience [Novalis] |
Full Idea: Experience is the test of the rational - and vice versa. | |
From: Novalis (Miscellaneous Observations [1798], 010) | |
A reaction: A wonderful remark. Surely we can't ignore our need to test claims of pure logic by filling in the variables with concrete instances, to assess validity? And philosophy without examples is doomed to be abstract waffle. Coherence is the combined aim. |
19590 | Empiricists are passive thinkers, given their philosophy by the external world and fate [Novalis] |
Full Idea: An empiricist is one whose way of thinking is an effect of the external world and of fate - the passive thinker - to whom his philosophy is given. | |
From: Novalis (Teplitz Fragments [1798], 33) | |
A reaction: Novalis goes on to enthuse about 'magical idealism', so he rejects empiricism. This is an early attack on the Myth of the Given, found in Sellars and McDowell. |
4254 | Externalist accounts of knowledge do not require the traditional sort of justification [Kornblith] |
Full Idea: What is distinctive about externalist accounts of knowledge is that they do not require justification, at least in the traditional sense. | |
From: Hilary Kornblith (Internalism and Externalism: a History [2001], p.2) | |
A reaction: At least this gives animals the chance to know things, but I suspect that they never get beyond true beliefs. I'm sure humans have 'better' knowledge than animals. |
19594 | General statements about nature are not valid [Novalis] |
Full Idea: General statements are not valid in the study of nature. | |
From: Novalis (Last Fragments [1800], 17) | |
A reaction: This is his striking obsession with the particularity and fine detail of nature. Alexander von Humbolt was exploring nature in S.America in this year. It sounds wrong about physics, but possibly right about biology. |
10998 | The mind abstracts ways things might be, which are nonetheless real [Read] |
Full Idea: Ways things might be are real, but only when abstracted from the actual way things are. They are brought out and distinguished by the mind, by abstraction, but are not dependent on mind for their existence. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
A reaction: To me this just flatly contradicts itself. The idea that the mind can 'bring something out' by its operations, with the result being then accepted as part of reality is nonsense on stilts. What is real is the powers that make the possibilities. |
19591 | Desire for perfection is an illness, if it turns against what is imperfect [Novalis] |
Full Idea: An absolute drive toward perfection and completeness is an illness, as soon as it shows itself to be destructive and averse toward the imperfect, the incomplete. | |
From: Novalis (General Draft [1799], 33) | |
A reaction: Deep and true! Novalis seems to be a particularist - hanging on to the fine detail of life, rather than being immersed in the theory. These are the philosophers who also turn to literature. |
19596 | The whole body is involved in the formation of thoughts [Novalis] |
Full Idea: In the formation of thoughts all parts of the body seem to me to be working together. | |
From: Novalis (Last Fragments [1800], 20) | |
A reaction: I can only think that Spinoza must be behind this thought, or La Mettrie. It seems a strikingly unusual intuition for its time, when almost everyone takes a spiritual sort of dualism for granted. |
19573 | The seat of the soul is where our inner and outer worlds interpenetrate [Novalis] |
Full Idea: The seat of the soul is the point where the inner and the outer worlds touch. Wherever they penetrate each other - it is there at every point of penetration. | |
From: Novalis (Miscellaneous Observations [1798], 020) | |
A reaction: I surmise that Spinoza's dual-aspect monism is behind this interesting remark. See the related idea from Schopenhauer. |
19577 | Everything is a chaotic unity, then we abstract, then we reunify the world into a free alliance [Novalis] |
Full Idea: Before abstraction everything is one - but one as chaos is - after abstraction everything is again unified - but in a free alliance of independent, self-determined beings. A crowd has become a society - a chaos is transformed into a manifold world. | |
From: Novalis (Miscellaneous Observations [1798], 094) | |
A reaction: Personally I take (unfashionably) psychological abstraction to one of the key foundations of human thought, so I love this idea, which gives a huge picture of how the abstracting mind relates to reality. |
11005 | Negative existentials with compositionality make the whole sentence meaningless [Read] |
Full Idea: A problem with compositionality is negative existential propositions. If some of the terms of the proposition are empty, and don't refer, then compositionality implies that the whole will lack meaning too. | |
From: Stephen Read (Thinking About Logic [1995], Ch.5) | |
A reaction: I don't agree. I don't see why compositionality implies holism about sentence-meaning. If I say 'that circular square is a psychopath', you understand the predication, despite being puzzled by the singular term. |
10966 | A proposition objectifies what a sentence says, as indicative, with secure references [Read] |
Full Idea: A proposition makes an object out of what is said or expressed by the utterance of a certain sort of sentence, namely, one in the indicative mood which makes sense and doesn't fail in its references. It can then be an object of thought and belief. | |
From: Stephen Read (Thinking About Logic [1995], Ch.1) | |
A reaction: Nice, but two objections: I take it to be crucial to propositions that they eliminate ambiguities, and I take it that animals are capable of forming propositions. Read seems to regard them as fictions, but I take them to be brain events. |
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. |
19578 | Only self-illuminated perfect individuals are beautiful [Novalis] |
Full Idea: Everything beautiful is a self-illuminated, perfect individual. | |
From: Novalis (Miscellaneous Observations [1798], 101) | |
A reaction: It is a commonplace to describe something beautiful as being 'perfect'. Unfinished masterpieces are interesting exceptions. Are only 'individuals' beautiful? Is unity a necessary condition of beauty? Bad art fails to be self-illuminated. |
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. |
19589 | The whole point of a monarch is that we accept them as a higher-born, ideal person [Novalis] |
Full Idea: The distinguishing character of the monarchy lies precisely in the fact of belief in a higher-born person, of voluntary acceptance of an ideal person. I cannot choose a leader from among my peers. | |
From: Novalis (Fath and Love, or the King and Queen [1798], 18) | |
A reaction: Novalis was passionately devoted to the new king and queen of Prussia, only a few years after the French Revolution. This attitude seems to me unchanged among monarchists in present day Britain. Genetics has undermined 'higher-born'. |
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. |
19593 | Persons are shaped by a life history; splendid persons are shaped by world history [Novalis] |
Full Idea: What is it that shapes a person if not his life history? And in the same way a splendid person is shaped by nothing other than world history. Many people live better in the past and in the future than in the present. | |
From: Novalis (Last Fragments [1800], 15) | |
A reaction: Clearly there is a lot to be said for splendid people who live entirely in the present (such as jazz musicians). Some people do have an awesomely wide historical perspective on their immediate lives. Palaeontology is not the master discipline though! |
19595 | Nature is a whole, and its individual parts cannot be wholly understood [Novalis] |
Full Idea: Nature is a whole - in which each part in itself can never be wholly understood. | |
From: Novalis (Last Fragments [1800], 18) | |
A reaction: This doesn't seem right when studying some item in a laboratory, but it seems undeniable when you consider the history and future of each item. |
19592 | The basic relations of nature are musical [Novalis] |
Full Idea: Musical relations seem to me to be actually the basic relations of nature. | |
From: Novalis (Last Fragments [1800], 10) | |
A reaction: Novalis shows no signs of being a pythagorean, and then suddenly comes out with this. I suppose if you love music, this thought should float into your mind at regular intervals, because the power of music is so strong. Does he mean ratios? |
19576 | Religion needs an intermediary, because none of us can connect directly to a godhead [Novalis] |
Full Idea: Nothing is more indispensable for true religious feeling than an intermediary - which connects us to the godhead. The human being is absolutely incapable of sustaining an immediate relation with this. | |
From: Novalis (Miscellaneous Observations [1798], 073) | |
A reaction: I take this to be a defence of priests and organised religion, and an implied attack on protestants who give centrality to private prayer and conscience. |