12 ideas
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'. |
17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
Full Idea: There are many coherent stopping points in the hierarchy of increasingly strong mathematical systems, starting with strict finitism, and moving up through predicativism to the higher reaches of set theory. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], Intro) |
17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
Full Idea: Roughly speaking, 'reflection principles' assert that anything true in V [the set hierarchy] falls short of characterising V in that it is true within some earlier level. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 2.1) |
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). |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3) |
17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
Full Idea: Some of the standard large cardinals (in order of increasing (logical) strength) are: inaccessible, Mahlo, weakly compact, indescribable, Erdös, measurable, strong, Wodin, supercompact, huge etc. (...and ineffable). | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) | |
A reaction: [I don't understand how cardinals can have 'logical strength', but I pass it on anyway] |
17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
Full Idea: To the extent that we are justified in accepting Peano Arithmetic we are justified in accepting its consistency, and so we know how to expand the axiom system so as to overcome the limitation [of Gödel's Second Theorem]. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.1) | |
A reaction: Each expansion brings a limitation, but then you can expand again. |
17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
Full Idea: The arithmetical instances of undecidability that arise at one stage of the hierarchy are settled at the next. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) |
16640 | Form is the principle that connects a thing's constitution (rather than being operative) [Hill,N] |
Full Idea: Form is the state and condition of a thing, a result of the connection among its material principles; it is a constituting principle, not an operative one. | |
From: Nicholas Hill (Philosophia Epicurea [1610], n 35) | |
A reaction: Pasnau presents this as a denial of form, but it looks to me like someone fishing for what form could be in a more scientific context. Aristotle would have approved of 'principles'. Hill seems to defend the categorical against the dispositional. |