28 ideas
| 19335 | Reasonings have a natural ordering in God's understanding, but only a temporal order in ours [Leibniz] |
| Full Idea: All reasonings are eminent in God, and they preserve an order among themselves in his understanding as well as in ours; but for him this is just an order and a priority of nature, whereas for us there is a priority of time. | |
| From: Gottfried Leibniz (The Theodicy [1710], p.192), quoted by Franklin Perkins - Leibniz: Guide for the Perplexed 2.III | |
| A reaction: This view is found in Frege, and seems to be the hallmark of rationalist philosophy. There is an apriori assumption that reality has a rational order, so that pure reason is a tool for grasping it. Lewis's 'mosaic' of experiences has no order. |
| 23445 | Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo] |
| Full Idea: Naïve set theory is based on the principles that any formula defines a set, and that coextensive sets are identical. | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 4.2) | |
| A reaction: The second principle is a standard axiom of ZFC. The first principle causes the trouble. |
| 23447 | In classical semantics singular terms refer, and quantifiers range over domains [Linnebo] |
| Full Idea: In classical semantics the function of singular terms is to refer, and that of quantifiers, to range over appropriate domains of entities. | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 7.1) |
| 23443 | The axioms of group theory are not assertions, but a definition of a structure [Linnebo] |
| Full Idea: Considered in isolation, the axioms of group theory are not assertions but comprise an implicit definition of some abstract structure, | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 3.5) | |
| A reaction: The traditional Euclidean approach is that axioms are plausible assertions with which to start. The present idea sums up the modern approach. In the modern version you can work backwards from a structure to a set of axioms. |
| 23444 | To investigate axiomatic theories, mathematics needs its own foundational axioms [Linnebo] |
| Full Idea: Mathematics investigates the deductive consequences of axiomatic theories, but it also needs its own foundational axioms in order to provide models for its various axiomatic theories. | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 4.1) | |
| A reaction: This is a problem which faces the deductivist (if-then) approach. The deductive process needs its own grounds. |
| 23446 | You can't prove consistency using a weaker theory, but you can use a consistent theory [Linnebo] |
| Full Idea: If the 2nd Incompleteness Theorem undermines Hilbert's attempt to use a weak theory to prove the consistency of a strong one, it is still possible to prove the consistency of one theory, assuming the consistency of another theory. | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 4.6) | |
| A reaction: Note that this concerns consistency, not completeness. |
| 23448 | Mathematics is the study of all possible patterns, and is thus bound to describe the world [Linnebo] |
| Full Idea: Philosophical structuralism holds that mathematics is the study of abstract structures, or 'patterns'. If mathematics is the study of all possible patterns, then it is inevitable that the world is described by mathematics. | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 11.1) | |
| A reaction: [He cites the physicist John Barrow (2010) for this] For me this is a major idea, because the concept of a pattern gives a link between the natural physical world and the abstract world of mathematics. No platonism is needed. |
| 23441 | Logical truth is true in all models, so mathematical objects can't be purely logical [Linnebo] |
| Full Idea: Modern logic requires that logical truths be true in all models, including ones devoid of any mathematical objects. It follows immediately that the existence of mathematical objects can never be a matter of logic alone. | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 2) | |
| A reaction: Hm. Could there not be a complete set of models for a theory which all included mathematical objects? (I can't answer that). |
| 23442 | Game Formalism has no semantics, and Term Formalism reduces the semantics [Linnebo] |
| Full Idea: Game Formalism seeks to banish all semantics from mathematics, and Term Formalism seeks to reduce any such notions to purely syntactic ones. | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 3.3) | |
| A reaction: This approach was stimulated by the need to justify the existence of the imaginary number i. Just say it is a letter! |
| 19367 | Saying we must will whatever we decide to will leads to an infinite regress [Leibniz] |
| Full Idea: As for volition itself, to say that it is the object of free will is incorrect. We will to act, strictly speaking, and we do not will to will, else we should still say we will to have the will to will, and that would go on to infinity. | |
| From: Gottfried Leibniz (The Theodicy [1710], p.151), quoted by Franklin Perkins - Leibniz: Guide for the Perplexed 4.IV | |
| A reaction: This strikes me as an elementary difficulty which most fans of free will appear to evade. Thoughts just arise in us, and some of them are volitions. We can say there is then a 'gap' (Searle) where we choose, but what happens in the gap? |
| 19351 | Perfections of soul subordinate the body, but imperfections of soul submit to the body [Leibniz] |
| Full Idea: Insofar as the soul has perfection ...God has accommodated the body to the soul, and has arranged beforehand that the body is impelled to execute its orders. Insofar as it is imperfect and confused, God accommodates soul to body, swayed by passions. | |
| From: Gottfried Leibniz (The Theodicy [1710], p.159), quoted by Franklin Perkins - Leibniz: Guide for the Perplexed 3.IV | |
| A reaction: Perkins says this is the nearest Leibniz gets to the idea of interaction between body and soul. Perfection and confusion are on a continuum for Leibniz. With such speculations I always wonder how these things can be known. How perfect is my mind? |
| 19331 | Will is an inclination to pursue something good [Leibniz] |
| Full Idea: One may say that 'will' consists in the inclination to do something in proportion to the good it contains. | |
| From: Gottfried Leibniz (The Theodicy [1710], p.136), quoted by Franklin Perkins - Leibniz: Guide for the Perplexed 2.III | |
| A reaction: This emphasises that the will is faced with options, rather than generating the options. The context is a discussion of the nature of God's will. I think 'will' is a really useful concept, and dislike the Hobbesian rejection of will. |
| 20416 | By 1790 aestheticians were mainly trying to explain individual artistic genius [Kemp] |
| Full Idea: By 1790 the idea that a central task for the aesthetician was to explain or at least adequately to describe the phenomenon of the individual artistic genius had definitely taken hold. | |
| From: Gary Kemp (Croce and Collingwood [2012], Intro) | |
| A reaction: Hence when Kant and Hegel write about art, though are only really thinking of the greatest art (which might be in touch with the sublime or Spirit etc.). Nowadays I think we expect accounts of art to cover modest amateur efforts as well. |
| 20417 | Expression can be either necessary for art, or sufficient for art (or even both) [Kemp] |
| Full Idea: Seeing art as expression has two components: 1) if something is a work of art, then it is expressive, 2) if something is expressive, then it is a work of art. So expression can be necessary or sufficient for art. (or both, for Croce and Collingwood). | |
| From: Gary Kemp (Croce and Collingwood [2012], 1) | |
| A reaction: I take the idea that art 'expresses' the feelings of an artist to be false. Artists are more like actors. Nearly all art has some emotional impact, which is of major importance, but I don't think 'expression' is a very good word for that. |
| 20419 | We don't already know what to express, and then seek means of expressing it [Kemp] |
| Full Idea: One cannot really know, or be conscious of, what it is that one is going to express, and then set about expressing it; indeed if one is genuinely conscious of it then one has already expressed it. | |
| From: Gary Kemp (Croce and Collingwood [2012], 1) | |
| A reaction: That pretty conclusively demolishes the idea that art is expression. I picture Schubert composing at the piano: he doesn't feel an emotion, and then hunt for its expression on the keyboard; he seeks out expressive phrases by playing. |
| 20418 | The horror expressed in some works of art could equallly be expressed by other means [Kemp] |
| Full Idea: The horror or terror of Edvard Much's 'The Scream' could in principle be expressed by different paintings, or even by works of music. | |
| From: Gary Kemp (Croce and Collingwood [2012], 1) | |
| A reaction: A very good simple point against the idea that the point of art is expression. It leaves out the very specific nature of each work of art! |
| 19346 | Most people facing death would happily re-live a similar life, with just a bit of variety [Leibniz] |
| Full Idea: I believe there would be few persons who, being at the point of death, were not content to take up life again, on condition of passing through the same amount of good and evil, provided that it were not the same kind. | |
| From: Gottfried Leibniz (The Theodicy [1710], p.130), quoted by Franklin Perkins - Leibniz: Guide for the Perplexed 2.IV | |
| A reaction: Nice challenge. People who refuse the offer are not necessarily suicidal. He's probably right, but Leibniz doesn't recognise the factor of boredom. Look up the suicide note of the actor George Sanders! One life may be enough. |
| 19340 | Metaphysical evil is imperfection; physical evil is suffering; moral evil is sin [Leibniz] |
| Full Idea: Evil may be taken metaphysically, physically, and morally. Metaphysical evil consists in mere imperfection, physical evil is suffering, and moral evil is sin. | |
| From: Gottfried Leibniz (The Theodicy [1710], p.136), quoted by Franklin Perkins - Leibniz: Guide for the Perplexed 2.IV | |
| A reaction: There seem to be plenty of imperfections in the world which don't look like evil. Or do you only declare it to be an imperfection because it seems to be evil (by some other standard)? Human evil comes from ignorance, so metaphysical explains moral. |
| 19366 | You can't assess moral actions without referring to the qualities of character that produce them [Leibniz] |
| Full Idea: One is more worthy of praise when one owes the action to one's good qualities, and more culpable in proportion as one has been impelled by one's evil qualities; assessing actions without weighing the qualities whence they spring is to talk at random. | |
| From: Gottfried Leibniz (The Theodicy [1710], p.426), quoted by Franklin Perkins - Leibniz: Guide for the Perplexed 4.IV | |
| A reaction: Mill tries to separate judgement of the agent from judgement of the consequences of the action, but I think Leibniz has spotted that just judging outcomes ceases to be a 'moral' judgement. |
| 19326 | God must be intelligible, to select the actual world from the possibilities [Leibniz] |
| Full Idea: The cause of the world must be intelligent: for this existing world being contingent and an infinity of worlds being equally possible, with equal claim to existence, the cause of the world must have regarded all of these worlds to fix on one of them. | |
| From: Gottfried Leibniz (The Theodicy [1710], p.127), quoted by Franklin Perkins - Leibniz: Guide for the Perplexed 2.II | |
| A reaction: A wonderfully Leibnizian way of putting what looks like the design argument. |
| 19327 | The intelligent cause must be unique and all-perfect, to handle all the interconnected possibilities [Leibniz] |
| Full Idea: The intelligent cause ought to be infinite in all ways, and absolutely perfect in power, in wisdom, and in goodness, since it relates to all that which is possible. Also, since all is connected together, there is no ground for admitting more than one. | |
| From: Gottfried Leibniz (The Theodicy [1710], p.128), quoted by Franklin Perkins - Leibniz: Guide for the Perplexed 2.II | |
| A reaction: Notice that Leibniz's possible worlds seem to be all connected together, unlike David Lewis's worlds, which are discrete. Personally I suspect that all perfections will lead to contradiction, though Leibniz strongly argues against it. |
| 19344 | God prefers men to lions, but might not exterminate lions to save one man [Leibniz] |
| Full Idea: It is certain that God sets greater store by a man than a lion; nevertheless it can hardly be said with certainty that God prefers a single man in all respects to the whole of lion-kind. | |
| From: Gottfried Leibniz (The Theodicy [1710], p.189), quoted by Franklin Perkins - Leibniz: Guide for the Perplexed 2.IV | |
| A reaction: Lovely problems arise when you guess at God's values! We have the same problem. Would you kill a poacher who was wiping out the last remaining lions? How many lions would you kill to save a human? |
| 19330 | If justice is arbitrary, or fixed but not observed, or not human justice, this undermines God [Leibniz] |
| Full Idea: The three dogmas (1) that the nature of justice is arbitrary, (2) it is fixed, but not certain God will observe it, or (3) the justice we know is not that which God observes, destroy our confidence in the love of God. | |
| From: Gottfried Leibniz (The Theodicy [1710], p.237), quoted by Franklin Perkins - Leibniz: Guide for the Perplexed 2.III | |
| A reaction: Leibniz proceeds to carefully refute these three responses to the dilemma about how justice relates to God. |
| 19325 | God is the first reason of things; our experiences are contingent, and contain no necessity [Leibniz] |
| Full Idea: God is the first reason of things: all that we see and experience is contingent and nothing in them renders their existence necessary. | |
| From: Gottfried Leibniz (The Theodicy [1710], p.127), quoted by Franklin Perkins - Leibniz: Guide for the Perplexed 2.II | |
| A reaction: Perkins presents this as the first step in one of Leibniz's arguments for God. They all seem to be variants of the ontological argument. [His 'Theodicy' is the Huggard translation, 1985] This resembles Aquinas's Third Way. |
| 19329 | The laws of physics are wonderful evidence of an intelligent and free being [Leibniz] |
| Full Idea: These admirable laws [of physics] are wonderful evidence of an intelligent and free being, as opposed to the system of absolute and brute necessity, advocated by Strato and Spinoza. | |
| From: Gottfried Leibniz (The Theodicy [1710], p.332), quoted by Franklin Perkins - Leibniz: Guide for the Perplexed 2.II | |
| A reaction: Note the swipe at Spinoza. Leibniz defends the absolute necessities residing in God, but is too polite to call those 'brute', though personally I can't see the difference. But he says the laws arise from 'perfection and order', not from God's necessity. |
| 19437 | Prayers are useful, because God foresaw them in his great plan [Leibniz] |
| Full Idea: Not only cares and labours but also prayers are useful; God having had these prayers in view before he regulated things. | |
| From: Gottfried Leibniz (The Theodicy [1710], Abridge III) | |
| A reaction: Hm. I'm struggling with this one. So I can't skip prayers today, because God has foreseen them and included them in his great plan? Hard to motivate yourself, like starting a game of chess after you've already been declared the winner. |
| 19337 | How can an all-good, wise and powerful being allow evil, sin and apparent injustice? [Leibniz] |
| Full Idea: There is this question of natural theology, how a sole Principle, all-good, all-wise and all-powerful, has been able to admit evil, and especially to permit sin, and how it could resolve to make the wicked often happy and the good unhappy? | |
| From: Gottfried Leibniz (The Theodicy [1710], p.098), quoted by Franklin Perkins - Leibniz: Guide for the Perplexed 2.IV | |
| A reaction: His answer is, roughly, that there is an unavoidable trade-off, which humans cannot fully understand. Personally I would say that if there is a God, the evidence for his benevolence towards humanity is not encouraging. |
| 19345 | Being confident of God's goodness, we disregard the apparent local evils in the visible world [Leibniz] |
| Full Idea: Being made confident by demonstrations of the goodness and the justice of God, we disregard the appearances of harshness and justice which we see in this small portion of his Kingdom that is exposed to our gaze. | |
| From: Gottfried Leibniz (The Theodicy [1710], p.120), quoted by Franklin Perkins - Leibniz: Guide for the Perplexed 2.IV | |
| A reaction: Hm. If this locality is full of evils, and the rest of it is much better, how come we are stuck in this miserable corner of things? God is obliged to compromise, but did he select us to get the worst of it? |