19 ideas
| 19695 | The devil was wise as an angel, and lost no knowledge when he rebelled [Whitcomb] |
| Full Idea: The devil is evil but nonetheless wise; he was a wise angel, and through no loss of knowledge, but, rather, through some sort of affective restructuring tried and failed to take over the throne. | |
| From: Dennis Whitcomb (Wisdom [2011], 'Argument') | |
| A reaction: ['affective restructuring' indeed! philosophers- don't you love 'em?] To fail at something you try to do suggests a flaw in the wisdom. And the new regime the devil wished to introduce doesn't look like a wise regime. Not convinced. |
| 19342 | Reason avoids multiplying hypotheses or principles [Leibniz] |
| Full Idea: Reason requires that we avoid multiplying hypotheses or principles, in somewhat the same way that the simplest system is always preferred in astronomy. | |
| From: Gottfried Leibniz (Discourse on Metaphysics [1686], 5) | |
| A reaction: He offers this principle without mentioning Ockham, as if it were self-evident. |
| 15327 | Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten] |
| Full Idea: Kripke has a semantic theory of truth which has inspired promising axiomatic theories of truth. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Leon Horsten - The Tarskian Turn 01.2 | |
| A reaction: Feferman produced an axiomatic version of Kripke's semantic theory. |
| 15343 | Kripke offers a semantic theory of truth (involving models) [Kripke, by Horsten] |
| Full Idea: One of the most popular semantic theories of truth is Kripke's theory. It describes a class of models which themselves involve a truth predicate (unlike Tarski's semantic theory). | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Leon Horsten - The Tarskian Turn 02.3 | |
| A reaction: The modern versions explored by Horsten are syntactic versions of this, derived from Feferman's axiomatisation of the Kripke theory. |
| 14967 | Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta] |
| Full Idea: Kripke showed via a fixed-point argument that certain three-valued languages can contain their own truth predicates. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Anil Gupta - Truth | |
| A reaction: [Gupta also cites Martin and Woodruff 1975] It is an odd paradox that truth can only be included if one adds a truth-value of 'neither true nor false'. The proposed three-valued system is 'strong Kleene logic'. |
| 14966 | The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta] |
| Full Idea: Kripke established that, contrary to the prevalent Tarskian dogma, attributions of truth do not always force a move to a metalanguage. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975], 5.1) by Anil Gupta - Truth | |
| A reaction: [Gupta also cites Martin and Woodruff 1975] |
| 16328 | Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach] |
| Full Idea: Kripke's main contribution was …his classification of the different consistent fixed points and the discussion of their use for discriminating between ungrounded sentences, paradoxical sentences, and so on. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Volker Halbach - Axiomatic Theories of Truth 15.1 |
| 12711 | The immediate cause of movements is more real [than geometry] [Leibniz] |
| Full Idea: The force or proximate cause of these changes [of position] is something more real, and there is sufficient basis to attribute it to one body more than to another. | |
| From: Gottfried Leibniz (Discourse on Metaphysics [1686], §18), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 3 | |
| A reaction: The force is said to be 'more real' than geometry. Leibniz seems to have embraced fairly physical powers in the period 1678-1698, and then seen them as more and more like spirits. |
| 19349 | The complete notion of a substance implies all of its predicates or attributes [Leibniz] |
| Full Idea: The nature of an individual substance or of a complete being is to have a notion so complete that it is sufficient to contain and to allow us to deduce from it all the predicates of the subject to which this notion is attributed. | |
| From: Gottfried Leibniz (Discourse on Metaphysics [1686], §8) | |
| A reaction: This is the unusual Leibnizian view of such things, which he takes to extremes. I think it depends on whether you are talking of predicates, or of real intrinsic properties. I don't see how what happens to a substance can be contained in the subject. |
| 7558 | Substances mirror God or the universe, each from its own viewpoint [Leibniz] |
| Full Idea: Each substance is like a whole world, and like a mirror of God, or indeed of the whole universe, which each one expresses in its own fashion. | |
| From: Gottfried Leibniz (Discourse on Metaphysics [1686]), quoted by Nicholas Jolley - Leibniz Intro | |
| A reaction: Leibniz isn't a pantheist, so he does not identify God with the universe, so it is a bit revealing that substance could reflect either one or the other, and he doesn't seem to care which. In the end, for all the sophistication, he just made it up. |
| 16761 | Forms are of no value in physics, but are indispensable in metaphysics [Leibniz] |
| Full Idea: The consideration of forms serves no purpose in the details of physics and must not be used to explain particular phenomena. …but their misuse must not lead us to reject something which is so useful to metaphysics. | |
| From: Gottfried Leibniz (Discourse on Metaphysics [1686], 10), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 24.5 | |
| A reaction: This is a key test for the question of whether metaphysics is separate from science (as Leibniz and Pasnau think), or whether there is a continuum. Is 'substantial form' an illuminating way to undestand modern physics? |
| 13088 | Subjects include predicates, so full understanding of subjects reveals all the predicates [Leibniz] |
| Full Idea: The subject-term must always include the predicate-term, in such a way that the man who understood the notion of the subject perfectly would also judge that the predicate belongs to it. | |
| From: Gottfried Leibniz (Discourse on Metaphysics [1686], §8) | |
| A reaction: Sounds as if every sentence is analytic, but he doesn't mean that. He does, oddly, mean that if we fully understand the name 'Alexander', we understand his complete history, which is a bit silly, I'm afraid. Even God doesn't learn things just from names. |
| 13085 | Leibniz is some form of haecceitist [Leibniz, by Cover/O'Leary-Hawthorne] |
| Full Idea: Some form of haecceitism is central to the Leibnizian metaphysic. | |
| From: report of Gottfried Leibniz (Discourse on Metaphysics [1686], §8) by Cover,J/O'Leary-Hawthorne,J - Substance and Individuation in Leibniz 5.2.1 | |
| A reaction: That is, there is some inner hallmark that individuates each thing (though they don't mean the Duns Scotus idea of a haecceity which has no qualities apart from the capacity to individuate). Leibniz thinks essences individuate. |
| 5024 | Knowledge doesn't just come from the senses; we know the self, substance, identity, being etc. [Leibniz] |
| Full Idea: It is always false to say that all our notions come from the so-called external senses, for the notion I have of myself and of my thoughts, and consequently of being, substance, action, identity, and many others, come from an internal experience. | |
| From: Gottfried Leibniz (Discourse on Metaphysics [1686], §27) | |
| A reaction: Of course, an empiricist like Hume would not deny this, as he bases his views on 'experience' (including anger, for example), not just 'sense experience'. But Hume, famously, said he has no experience of a Self, so can't get started on Leibniz's journey. |
| 5027 | If a person's memories became totally those of the King of China, he would be the King of China [Leibniz] |
| Full Idea: If someone were suddenly to become the King of China, forgetting what he has been, as if born anew, is this not as if he were annihilated, and a King of China created in his place at the same moment? | |
| From: Gottfried Leibniz (Discourse on Metaphysics [1686], §34) | |
| A reaction: Strikingly, this clearly endorse the view of the empiricist Locke. It is a view about the continuity of the self, not its essence, but Descartes must have turned in his grave when he read this. When this 'King of China' introspects his self, what is it? |
| 5023 | Future contingent events are certain, because God foresees them, but that doesn't make them necessary [Leibniz] |
| Full Idea: We must distinguish between what is certain and what is necessary; everyone agrees that future contingents are certain, since God foresees them, but it is not thereby admitted that they are necessary. | |
| From: Gottfried Leibniz (Discourse on Metaphysics [1686], §13) | |
| A reaction: An interesting point, since there is presumably a difference between God foreseeing that future squares will have four corners, and His foreseeing the next war. It seems to me, though, that 'certainty' is bad enough news for free will, without necessity. |
| 2119 | People argue for God's free will, but it isn't needed if God acts in perfection following supreme reason [Leibniz] |
| Full Idea: People try to safeguard God's freedom, as though it were not freedom of the highest sort to act in perfection following sovereign reason. | |
| From: Gottfried Leibniz (Discourse on Metaphysics [1686], §03) |
| 5025 | Mind and body can't influence one another, but God wouldn't intervene in the daily routine [Leibniz] |
| Full Idea: It is inconceivable that mind and body should have any influence on one another, and it is unreasonable simply to have recourse to the extraordinary operation of the universal cause in a matter which is ordinary and particular. | |
| From: Gottfried Leibniz (Discourse on Metaphysics [1686], §33) | |
| A reaction: Leibniz was the ultimate intellectual contortionist! Here he is rejecting Cartesian interactionism, and also Malebranche's Occasionalism (God bridges the gap), in order to prepare for his own (daft) theory of what is now called Parallelism. |
| 5026 | Animals lack morality because they lack self-reflection [Leibniz] |
| Full Idea: It is for lack of reflection on themselves that beasts have no moral qualities. | |
| From: Gottfried Leibniz (Discourse on Metaphysics [1686], §34) | |
| A reaction: Interesting, but I think this is false. I would say animals do have a sense of their self, because that is the most basic feature of any mind, but what they lack is second-order thought, that is, ability to reflect on and judge their own beliefs and acts. |