11 ideas
21463 | Hamann, Herder and Jacobi were key opponents of the Enlightenment [Gardner] |
Full Idea: Hamann, Herder and Jacobi are central figues in the reaction against Enlightenment. | |
From: Sebastian Gardner (Kant and the Critique of Pure Reason [1999], 10 'immediate') | |
A reaction: From a British perspective I would see Hume as the leading such figure. Hamann emphasised the neglect of the role of language. Jacobi was a Christian. |
21459 | Kant halted rationalism, and forced empiricists to worry about foundations [Gardner] |
Full Idea: Kant's Critique swiftly brought rationalism to a halt, and after Kant empiricism has displayed a nervousness regarding its foundations, and been forced to assume more sophisticated forms. | |
From: Sebastian Gardner (Kant and the Critique of Pure Reason [1999], 10 Intro) | |
A reaction: See the ideas of Laurence Bonjour for a modern revival of rationalism. After Kant philosophers either went existential, or stared gloomily into the obscure depths. Formal logic was seen as a possible rope ladder down. |
21460 | Only Kant and Hegel have united nature, morals, politics, aesthetics and religion [Gardner] |
Full Idea: Apart from Hegel, no later philosophical system equals in stature Kant's attempt to weld together the diverse fields of natural science, morality, politics, aesthetics and religion into a systematic overarching epistemological and metaphysical unity. | |
From: Sebastian Gardner (Kant and the Critique of Pure Reason [1999], 10) | |
A reaction: Earlier candidate are Plato and Aristotle. Earlier Enlightenment figures say little about morality or aesthetics. Hobbes ranges widely. Aquinas covered most things. |
21443 | Transcendental proofs derive necessities from possibilities (e.g. possibility of experiencing objects) [Gardner] |
Full Idea: A transcendental proof converts a possibility into a necessity: by saying under what conditions experience of objects is possible, transcendental proofs show those conditions to be necessary for us to the extent that we have any experience of objects. | |
From: Sebastian Gardner (Kant and the Critique of Pure Reason [1999], 02 'Transc') | |
A reaction: They appear to be hypothetical necessities, rather than true metaphysical necessities. Gardner is discussing Kant, but seems to be generalising. Hypothetical necessities are easy: if it is flying, it is necessarily above the ground. |
15943 | Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann] |
Full Idea: Von Neumann's Limitation of Size axiom is not self-evident, and he himself admitted that it seemed too strong. | |
From: comment on John von Neumann (An Axiomatization of Set Theory [1925]) by Shaughan Lavine - Understanding the Infinite VII.1 |
21444 | Modern geoemtry is either 'pure' (and formal), or 'applied' (and a posteriori) [Gardner] |
Full Idea: There is now 'pure' geometry, consisting of formal systems based on axioms for which truth is not claimed, and which are consequently not synthetic; and 'applied', a branch of physics, the truth of which is empirical, and therefore not a priori. | |
From: Sebastian Gardner (Kant and the Critique of Pure Reason [1999], 03 'Maths') | |
A reaction: His point is that there is no longer any room for a priori geometry. Might the same division be asserted of arithmetic, or analysis, or set theory? |
13672 | All the axioms for mathematics presuppose set theory [Neumann] |
Full Idea: There is no axiom system for mathematics, geometry, and so forth that does not presuppose set theory. | |
From: John von Neumann (An Axiomatization of Set Theory [1925]), quoted by Stewart Shapiro - Foundations without Foundationalism 8.2 | |
A reaction: Von Neumann was doubting whether set theory could have axioms, and hence the whole project is doomed, and we face relativism about such things. His ally was Skolem in this. |
19400 | Possibles demand existence, so as many of them as possible must actually exist [Leibniz] |
Full Idea: From the conflict of all the possibles demanding existence, this at once follows, that there exists that series of things by which as many of them as possible exist. | |
From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.91) | |
A reaction: I'm in tune with a lot of Leibniz, but my head swims with this one. He seems to be a Lewisian about possible worlds - that they are concrete existing entities (with appetites!). Could Lewis include Leibniz's idea in his system? |
19401 | God's sufficient reason for choosing reality is in the fitness or perfection of possibilities [Leibniz] |
Full Idea: The sufficient reason for God's choice can be found only in the fitness (convenance) or in the degree of perfection that the several worlds possess. | |
From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.92) | |
A reaction: The 'fitness' of a world and its 'perfection' seem very different things. A piece of a jigsaw can have wonderful fitness, without perfection. Occasionally you get that sinking feeling with metaphysicians that they just make it up. |
21453 | Leibnizian monads qualify as Kantian noumena [Gardner] |
Full Idea: Leibnizian monads clearly satisfy Kant's definition of noumena. | |
From: Sebastian Gardner (Kant and the Critique of Pure Reason [1999], 06 'Noumena') | |
A reaction: This needs qualifying, because Leibniz clearly specifies the main attributes of monads, where Kant is adamant that we can saying virtually nothing about noumena. |
19402 | The actual universe is the richest composite of what is possible [Leibniz] |
Full Idea: The actual universe is the collection of the possibles which forms the richest composite. | |
From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.92) | |
A reaction: 'Richest' for Leibniz means a maximum combination of existence, order and variety. It's rather like picking the best starting team from a squad of footballers. |