Combining Texts

All the ideas for 'Gödel's Proof', 'A Specimen of Discoveries' and 'Structure and Nature'

unexpand these ideas     |    start again     |     specify just one area for these texts


6 ideas

2. Reason / A. Nature of Reason / 4. Aims of Reason
The two basics of reasoning are contradiction and sufficient reason [Leibniz]
     Full Idea: The two first principles of reasoning are: the principle of contradiction, and the principle of the need for giving a reason.
     From: Gottfried Leibniz (A Specimen of Discoveries [1686], p.75)
     A reaction: Could animals have any reasoning ability (say, in solving a physical problem)? Leibniz's criteria both require language. Note the overlapping of the principle of sufficient reason (there IS a reason) with the contractual idea of GIVING reasons.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
I apply structuralism to concrete and abstract objects indiscriminately [Quine]
     Full Idea: My own line is a yet more sweeping structuralism (than David Lewis's account of classes), applying to concrete and abstract objects indiscriminately.
     From: Willard Quine (Structure and Nature [1992], p.6), quoted by Stewart Shapiro - Philosophy of Mathematics 4.9
     A reaction: Shapiro calls this 'breathtaking', and retreats from it, but it is something like my own view, starting from Mill's pebbles and working up.
7. Existence / D. Theories of Reality / 6. Physicalism
My ontology is quarks etc., classes of such things, classes of such classes etc. [Quine]
     Full Idea: My tentative ontology continues to consist of quarks and their compounds, also classes of such things, classes of such classes, and so on.
     From: Willard Quine (Structure and Nature [1992], p.9), quoted by Stewart Shapiro - Philosophy of Mathematics 4.9
     A reaction: I would call this the Hierarchy of Abstraction (just coined it - what do you think?). Unlike Quine, I don't see why its ontology should include things called 'sets' in addition to the things that make them up.
17. Mind and Body / A. Mind-Body Dualism / 5. Parallelism
Assume that mind and body follow their own laws, but God has harmonised them [Leibniz]
     Full Idea: Why not assume that God initially created the soul and body with so much ingenuity that, whilst each follows its own laws and properties and operations, all thing agree most beautifull among themselves? This is the 'hypothesis of concomitance'.
     From: Gottfried Leibniz (A Specimen of Discoveries [1686], p.80)
     A reaction: They may be in beautifully planned harmony, but how do we know that they are in harmony? Presumably their actions must be compared, and God would even have to harmonise the comparison. Parallelism seems to imply epiphenomenalism or idealism.
18. Thought / A. Modes of Thought / 5. Rationality / b. Human rationality
The human intellect has not been, and cannot be, fully formalized [Nagel/Newman]
     Full Idea: The resources of the human intellect have not been, and cannot be, fully formalized.
     From: E Nagel / JR Newman (Gödel's Proof [1958], VIII)
     A reaction: This conclusion derives from Gödel's Theorem. Some people (e.g. Penrose) get over-excited by this discovery, and conclude that the human mind is supernatural. Imagination is the key - it is a feature of rationality that escapes mechanization.
29. Religion / D. Religious Issues / 3. Problem of Evil / b. Human Evil
God doesn't decide that Adam will sin, but that sinful Adam's existence is to be preferred [Leibniz]
     Full Idea: God does not decide whether Adam should sin, but whether that series of things in which there is an Adam whose perfect individual notion involves sin should nevertheless be preferred to others.
     From: Gottfried Leibniz (A Specimen of Discoveries [1686], p.78)
     A reaction: Compare whether the person responsible for setting a road speed limit is responsible for subsequent accidents. Leibniz's belief that the world could have been made no better than it is (by an omnipotent being) strikes me as blind faith, not an argument.