24 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. |
| 23449 | Interpreting a text is representing it as making sense [Morris,M] |
| Full Idea: Interpreting a text is a matter of making sense of it. And to make sense of a text is to represent it as making sense. | |
| From: Michael Morris (Guidebook to Wittgenstein's Tractatus [2008], Intro.2) | |
| A reaction: 'Making sense' is obviously not a very precise or determinate concept. It is probably better to say that the process is 'trying' to make sense of the text, because most texts don't totally make sense. |
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3) | |
| A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough. |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.3) |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) | |
| A reaction: [He cites Fagin and Halpern 1988 for this] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
| From: Melvin Fitting (Intensional Logic [2007], §1) |
| 23484 | Bipolarity adds to Bivalence the capacity for both truth values [Morris,M] |
| Full Idea: According to the Principle of Bipolarity, every meaningful sentence must be capable both of being true and of being false. It is not enough merely that every sentence must be either true or false (which is Bivalence). | |
| From: Michael Morris (Guidebook to Wittgenstein's Tractatus [2008], 3D) | |
| A reaction: It is said that early Wittgenstein endorses this. That is, in addition to being true, the sentence must be capable of falsehood (and vice versa). This seems to be flirting with the verification principle. I presume it is 'affirmative' sentences. |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
| From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
| A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
| 23494 | Conjunctive and disjunctive quantifiers are too specific, and are confined to the finite [Morris,M] |
| Full Idea: There are two problems with defining the quantifiers in terms of conjunction and disjunction. The general statements are unspecific, and do not say which things have the properties, and also they can't range over infinite objects. | |
| From: Michael Morris (Guidebook to Wittgenstein's Tractatus [2008], 5C) | |
| A reaction: That is, the universal quantifier is lots of ands, and the existential is lots of ors. If there only existed finite objects, then naming them all would be universal, and the infinite wouldn't be needed. |
| 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) |
| 23451 | Counting needs to distinguish things, and also needs the concept of a successor in a series [Morris,M] |
| Full Idea: Just distinguishing things is not enough for counting (and hence arithmetic). We need the crucial extra notion of the successor in a series of some kind. | |
| From: Michael Morris (Guidebook to Wittgenstein's Tractatus [2008], Intro.5) | |
| A reaction: This is a step towards the Peano Axioms of arithmetic. The successors could be fingers and toes, taken in a conventional order, and matched one-to-one to the objects. 'My right big toe of cows' means 16 cows (but non-verbally). |
| 23460 | To count, we must distinguish things, and have a series with successors in it [Morris,M] |
| Full Idea: Distinguishing between things is not enough for counting. …We need the crucial extra notion of a successor in a series of a certain kind. | |
| From: Michael Morris (Guidebook to Wittgenstein's Tractatus [2008], Intro) | |
| A reaction: This is the thinking that led to the Dedekind-Peano axioms for arithmetic. E.g. each series member can only have one successor. There is an unformalisable assumption that the series can then be applied to the things. |
| 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?). |
| 23452 | Discriminating things for counting implies concepts of identity and distinctness [Morris,M] |
| Full Idea: The discrimination of things for counting needs to bring with it the notion of identity (and, correlatively, distinctness). | |
| From: Michael Morris (Guidebook to Wittgenstein's Tractatus [2008], Intro.5) | |
| A reaction: Morris is exploring how practices like counting might reveal necessary truths about the world. |
| 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. |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
| A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |
| 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... |
| 23491 | There must exist a general form of propositions, which are predictabe. It is: such and such is the case [Morris,M] |
| Full Idea: The existence of a general propositional form is proved by the fact that there cannot be a proposition whose form could not have been foreseen (i.e. constructed). The general form of the proposition is: Such and such is the case. | |
| From: Michael Morris (Guidebook to Wittgenstein's Tractatus [2008], 4.5) | |
| A reaction: [last bit in Ogden translation] LW eventually expresses this symbolically. We could just say a proposition is an assertion. This strikes as either a rather empty claim, or an unfounded one. |
| 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. |