15 ideas
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. |
17832 | Zermelo showed that the ZF axioms in 1930 were non-categorical [Zermelo, by Hallett,M] |
Full Idea: Zermelo's paper sets out to show that the standard set-theoretic axioms (what he calls the 'constitutive axioms', thus the ZF axioms minus the axiom of infinity) have an unending sequence of different models, thus that they are non-categorical. | |
From: report of Ernst Zermelo (On boundary numbers and domains of sets [1930]) by Michael Hallett - Introduction to Zermelo's 1930 paper p.1209 | |
A reaction: Hallett says later that Zermelo is working with second-order set theory. The addition of an Axiom of Infinity seems to have aimed at addressing the problem, and the complexities of that were pursued by Gödel. |
13028 | Replacement was added when some advanced theorems seemed to need it [Zermelo, by Maddy] |
Full Idea: Zermelo included Replacement in 1930, after it was noticed that the sequence of power sets was needed, and Replacement gave the ordinal form of the well-ordering theorem, and justification for transfinite recursion. | |
From: report of Ernst Zermelo (On boundary numbers and domains of sets [1930]) by Penelope Maddy - Believing the Axioms I §1.8 | |
A reaction: Maddy says that this axiom suits the 'limitation of size' theorists very well, but is not so good for the 'iterative conception'. |
11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
Full Idea: If a designated conclusion follows from the premisses, but the argument involves two howlers which cancel each other out, then the moral is that the path an argument takes from premisses to conclusion does matter to its logical evaluation. | |
From: Ian Rumfitt ("Yes" and "No" [2000], II) | |
A reaction: The drift of this is that our view of logic should be a little closer to the reasoning of ordinary language, and we should rely a little less on purely formal accounts. |
11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table. | |
From: Ian Rumfitt ("Yes" and "No" [2000]) | |
A reaction: This is the standard view which Rumfitt sets out to challenge. |
11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious. | |
From: Ian Rumfitt ("Yes" and "No" [2000], III) | |
A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value. |
17626 | The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers [Zermelo] |
Full Idea: Two opposite tendencies of thought, the idea of creative advance and of collection and completion (underlying the Kantian 'antinomies') find their symbolic representation and their symbolic reconciliation in the transfinite numbers based on well-ordering. | |
From: Ernst Zermelo (On boundary numbers and domains of sets [1930], §5) | |
A reaction: [a bit compressed] It is this sort of idea, from one of the greatest set-theorists, that leads philosophers to think that the philosophy of mathematics may offer solutions to metaphysical problems. As an outsider, I am sceptical. |
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. |
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. |
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. |
11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
Full Idea: The standard view is that affirming not-A is more complex than affirming the atomic sentence A itself, with the latter determining its sense. But we could learn 'not' directly, by learning at once how to either affirm A or reject A. | |
From: Ian Rumfitt ("Yes" and "No" [2000], IV) | |
A reaction: [compressed] This seems fairly anti-Fregean in spirit, because it looks at the psychology of how we learn 'not' as a way of clarifying what we mean by it, rather than just looking at its logical behaviour (and thus giving it a secondary role). |
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. |
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. |