42 ideas
| 9470 | Modal logic is not an extensional language [Parsons,C] |
| Full Idea: Modal logic is not an extensional language. | |
| From: Charles Parsons (A Plea for Substitutional Quantification [1971], p.159 n8) | |
| A reaction: [I record this for investigation. Possible worlds seem to contain objects] |
| 13418 | The old problems with the axiom of choice are probably better ascribed to the law of excluded middle [Parsons,C] |
| Full Idea: The difficulties historically attributed to the axiom of choice are probably better ascribed to the law of excluded middle. | |
| From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §2) | |
| A reaction: The law of excluded middle was a target for the intuitionists, so presumably the debate went off in that direction. |
| 9469 | Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C] |
| Full Idea: I argue (against Quine) that the existential quantifier substitutionally interpreted has a genuine claim to express a concept of existence, which may give the best account of linguistic abstract entities such as propositions, attributes, and classes. | |
| From: Charles Parsons (A Plea for Substitutional Quantification [1971], p.156) | |
| A reaction: Intuitively I have my doubts about this, since the whole thing sounds like a verbal and conventional game, rather than anything with a proper ontology. Ruth Marcus and Quine disagree over this one. |
| 9468 | On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C] |
| Full Idea: For the substitutional interpretation of quantifiers, a sentence of the form '(∃x) Fx' is true iff there is some closed term 't' of the language such that 'Ft' is true. For the objectual interpretation some object x must exist such that Fx is true. | |
| From: Charles Parsons (A Plea for Substitutional Quantification [1971], p.156) | |
| A reaction: How could you decide if it was true for 't' if you didn't know what object 't' referred to? |
| 17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
| Full Idea: In Parsons's demonstrative model of counting, '1' means the first, and counting says 'the first, the second, the third', where one is supposed to 'tag' each object exactly once, and report how many by converting the last ordinal into a cardinal. | |
| From: report of Charles Parsons (Frege's Theory of Numbers [1965]) by Richard G. Heck - Cardinality, Counting and Equinumerosity 3 | |
| A reaction: This sounds good. Counting seems to rely on that fact that numbers can be both ordinals and cardinals. You don't 'convert' at the end, though, because all the way you mean 'this cardinality in this order'. |
| 18201 | General principles can be obvious in mathematics, but bold speculations in empirical science [Parsons,C] |
| Full Idea: The existence of very general principles in mathematics are universally regarded as obvious, where on an empiricist view one would expect them to be bold hypotheses, about which a prudent scientist would maintain reserve. | |
| From: Charles Parsons (Mathematical Intuition [1980], p.152), quoted by Penelope Maddy - Naturalism in Mathematics | |
| A reaction: This is mainly aimed at Quine's and Putnam's indispensability (to science) argument about mathematics. |
| 13419 | If functions are transfinite objects, finitists can have no conception of them [Parsons,C] |
| Full Idea: The finitist may have no conception of function, because functions are transfinite objects. | |
| From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §4) | |
| A reaction: He is offering a view of Tait's. Above my pay scale, but it sounds like a powerful objection to the finitist view. Maybe there is a finitist account of functions that could be given? |
| 13417 | If a mathematical structure is rejected from a physical theory, it retains its mathematical status [Parsons,C] |
| Full Idea: If experience shows that some aspect of the physical world fails to instantiate a certain mathematical structure, one will modify the theory by sustituting a different structure, while the original structure doesn't lose its status as part of mathematics. | |
| From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §2) | |
| A reaction: This seems to be a beautifully simple and powerful objection to the Quinean idea that mathematics somehow only gets its authority from physics. It looked like a daft view to begin with, of course. |
| 16661 | There are two sorts of category - referring to things, and to circumstances of things [Boethius] |
| Full Idea: Is it not now clear what the difference is between items in the categories? Some serve to refer to a thing, whereas others serve to refer to the circumstances of a thing. | |
| From: Boethius (Concerning the Trinity [c.518], Ch. 4), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 12.5 |
| 15035 | If universals are not separate, we can isolate them by abstraction [Boethius, by Panaccio] |
| Full Idea: Boethius argued that universals can be successfully isolated by abstraction, even if they do not exist as separate entities in the world. | |
| From: report of Boethius (Second Commentary on 'Isagoge' [c.517]) by Claude Panaccio - Medieval Problem of Universals 'Sources' | |
| A reaction: Personally I rather like this unfashionable view. I can't think of any other plausible explanation, unless it is a less conscious psychological process of labelling. Boethius's idea led to medieval 'immanent realism'. |
| 14665 | We can call the quality of Plato 'Platonity', and say it is a quality which only he possesses [Boethius] |
| Full Idea: Let the incommunicable property of Plato be called 'Platonity'. For we can call this quality 'Platonity' by a fabricated word, in the way in which we call the quality of man 'humanity'. Therefore this Platonity is one man's alone - Plato's. | |
| From: Boethius (Librium de interpretatione editio secunda [c.516], PL64 462d), quoted by Alvin Plantinga - Actualism and Possible Worlds 5 | |
| A reaction: Plantinga uses this idea to reinstate the old notion of a haecceity, to bestow unshakable identity on things. My interest in the quotation is that the most shocking confusions about properties arose long before the invention of set theory. |
| 23308 | Reasoning relates to understanding as time does to eternity [Boethius, by Sorabji] |
| Full Idea: Boethius says that reasoning [ratiocinatio] is related to intellectual understanding [intellectus] as time to eternity, involving as it does movement from one stage to another. | |
| From: report of Boethius (The Consolations of Philosophy [c.520], 4, prose 6) by Richard Sorabji - Rationality 'Shifting' | |
| A reaction: This gives true understanding a quasi-religious aura, as befits a subject which is truly consoling. |
| 5771 | Knowledge of present events doesn't make them necessary, so future events are no different [Boethius] |
| Full Idea: Just as the knowledge of present things imposes no necessity on what is happening, so foreknowledge imposes no necessity on what is going to happen. | |
| From: Boethius (The Consolations of Philosophy [c.520], V.IV) | |
| A reaction: This, I think, is the key idea if you are looking for a theological answer to the theological problem of free will. Don't think of God as seeing the future 'now'. God is outside time, and so only observes all of history just as we observe the present. |
| 5767 | Rational natures require free will, in order to have power of judgement [Boethius] |
| Full Idea: There is freedom of the will, for it would be impossible for any rational nature to exist without it. Whatever by nature has the use of reason has the power of judgement to decide each matter. | |
| From: Boethius (The Consolations of Philosophy [c.520], V.II) | |
| A reaction: A view taken up by Aquinas (Idea 1849) and Kant (Idea 3740). The 'power of judgement' pinpoints the core of rationality, and it is not clear how a robot could fulfil such a power, if it lacked consciousness. Does a machine 'judge' barcodes? |
| 5768 | God's universal foreknowledge seems opposed to free will [Boethius] |
| Full Idea: God's universal foreknowledge and freedom of the will seem clean contrary and opposite. | |
| From: Boethius (The Consolations of Philosophy [c.520], V.III) | |
| A reaction: The original source of the great theological and philosophical anguish over free will. The problem is anything which fixes future facts, be it oracular knowledge or scientific prediction. Personally I think free will was an invention by religions. |
| 5769 | Does foreknowledge cause necessity, or necessity cause foreknowledge? [Boethius] |
| Full Idea: Does foreknowledge of the future cause the necessity of events, or necessity cause the foreknowledge? | |
| From: Boethius (The Consolations of Philosophy [c.520], V.III) | |
| A reaction: An intriguing question, though not one that bothers me. I don't understand how foreknowledge causes necessity, unless God's vision of the future is a kind of 'freezing ray'. Even the gods must bow to necessity (Idea 3016). |
| 5762 | The wicked want goodness, so they would not be wicked if they obtained it [Boethius] |
| Full Idea: If the wicked obtained what they want - that is goodness - they could not be wicked. | |
| From: Boethius (The Consolations of Philosophy [c.520], IV.II) | |
| A reaction: This is a nice paradox which arises from Boethius being, like Socrates, an intellectualist. The question is whether the wicked want the good de re or de dicto. If they wanted to good de re (as its true self) they would obviously not be wicked. |
| 7096 | We may still admire a person's character even if the traits are involuntary [Statman] |
| Full Idea: If we focus on the evaluation of character traits, voluntariness becomes less important. We would not withdraw our admiration for a person only because we found out that his or her being such a person was not a result of voluntary choice. | |
| From: Daniel Statman (Introduction to Virtue Ethics [1997], §3) | |
| A reaction: The need for voluntariness does not disappear. I would not admire the only generous deed you had ever performed if it was the result of hypnotism. I might admire the hypnotist. Nevertheless, I regard this idea as a crucial truth in moral theory. |
| 7098 | There is a new sort of moral scepticism, about the possibility of moral theories [Statman] |
| Full Idea: Since the 1980s, ethics has witnessed a new sort of moral scepticism, this time about the possibility of moral theories. | |
| From: Daniel Statman (Introduction to Virtue Ethics [1997], §4) | |
| A reaction: He cites McDowell, Williams, Nussbaum and Baier as the culprits. 'Particularism' (every situation is different, so there can't be rules) seems an essential part of virtue theory, but total absence of principles sounds to me like moral drift. |
| 5770 | Rewards and punishments are not deserved if they don't arise from free movement of the mind [Boethius] |
| Full Idea: If there is no free will, then in vain is reward offered to the good and punishment to the bad, because they have not been deserved by any free and willed movement of the mind. | |
| From: Boethius (The Consolations of Philosophy [c.520], V.III) | |
| A reaction: I just don't see why decisions have to come out of nowhere in order to have any merit. People are different from natural forces, because the former can be persuaded by reasons. A moral agent is a mechanism which decides according to reasons. |
| 5764 | When people fall into wickedness they lose their human nature [Boethius] |
| Full Idea: When people fall into wickedness they lose their human nature. | |
| From: Boethius (The Consolations of Philosophy [c.520], IV.III) | |
| A reaction: This is a view I find quite sympathetic, but which is a million miles from the modern view. Today's paper showed a picture of a famous criminal holding a machine gun and a baby. We seem to delight in the idea that human nature is partly wicked. |
| 5756 | Happiness is a good which once obtained leaves nothing more to be desired [Boethius] |
| Full Idea: Happiness is a good which once obtained leaves nothing more to be desired. | |
| From: Boethius (The Consolations of Philosophy [c.520], III.I) | |
| A reaction: This sounds like the ancient 'eudaimonism' of Socrates and Aristotle, which might not be entirely compatible with orthodox Christianity. It is not true, though, that happy people lack ambition. To be happy, an unfilfilled aim may be needed. |
| 7099 | With a broad concept of flourishing, it might be possible without the virtues [Statman] |
| Full Idea: In a rich conception of human flourishing, both individuals and societies seem to be able to flourish without the virtues. | |
| From: Daniel Statman (Introduction to Virtue Ethics [1997], §5) | |
| A reaction: I can see Aristotle clutching his head in despair at this thought. It might look like flourishing, but it couldn't be the real thing. It is Aristotle's fault, though, for including external goods. Money and pleasure offer a kind of flourishing. |
| 5763 | The bad seek the good through desire, but the good through virtue, which is more natural [Boethius] |
| Full Idea: The supreme good is the goal of good men and bad men alike, and the good seek it by means of a natural activity - the exercise of virtue - while the bad strive to acquire it by means of their desires, which is not a natural way of obtaining the good. | |
| From: Boethius (The Consolations of Philosophy [c.520], IV.II) | |
| A reaction: Interesting here is the slightly surprising claim that the pursuit of virtue is 'natural', implying that the mere pursuit of desire is not. Doesn't nature have to be restrained to achieve the good? Boethius is in the tradition of Aristotle and stoicism. |
| 7100 | Virtue theory isn't a genuine ethical theory, because it doesn't have universal application [Statman] |
| Full Idea: It can be claimed that universality is a necessary property of any ethical theory and therefore virtue theory, which fails in this respect, is not a theory, and hence poses no alternative to genuine ethical theories. | |
| From: Daniel Statman (Introduction to Virtue Ethics [1997], §5) | |
| A reaction: Replies: a) totally universal morality is an idle dream (part of the 'Enlightenment Project' to prove everything) and we must settle for something more relative; b) virtues aren't totally universal, but they are truths about humanity. I prefer b). |
| 7102 | Promises create moral duties that have nothing to do with character [Statman] |
| Full Idea: That duties are created irrespective of facts about character is obvious from the case of promises, which bind their makers irrespective of their motives or personality. | |
| From: Daniel Statman (Introduction to Virtue Ethics [1997], §5) | |
| A reaction: Just occasionally a promise can be broken, by a sensitive and wise person. I promise to give your son some money; I then discover he is a drug dealer. Promises arise out of character, and cannot be made by robots. |
| 7095 | Moral education is better by concrete example than abstract principle [Statman] |
| Full Idea: According to virtue theory, education through moral exemplars is more effective than education focused on principles and obligations, because it is far more concrete. | |
| From: Daniel Statman (Introduction to Virtue Ethics [1997], §3) | |
| A reaction: Aristotle's view is that virtues must be developed from childhood, when principles don't mean much. The problem is that young people may witness highly virtuous behaviour in their exemplars, but totally fail to appreciate it without mention of principles. |
| 5759 | Varied aims cannot be good because they differ, but only become good when they unify [Boethius] |
| Full Idea: The various things that men pursue are not perfect and good, because they differ from one another; ..when they differ they are not good, but when they begin to be one they become good, so it is through the acquisition of unity that these things are good. | |
| From: Boethius (The Consolations of Philosophy [c.520], III.XI) | |
| A reaction: This is a criticism of Aristotle's pluralism about the good(s) for man. Boethius' thought is appealing, and ties in with the Socratic notion that the virtues might be unified in some way. I think it is right that true virtues merge together, ideally. |
| 7094 | Friends express friendship even when no utility is involved [Statman] |
| Full Idea: Being a good friend means acting in ways that express the friendship even when those ways do not promote overall utility. | |
| From: Daniel Statman (Introduction to Virtue Ethics [1997], §3) | |
| A reaction: This implies that friendship is a true virtue of character, rather than having friends just being an 'external' good. Having friends is good; being friends is a virtue. There are duties of friendship. |
| 7093 | Behaviour may be disgusting or inhumane, but violate no duty [Statman] |
| Full Idea: It is surely possible, and indeed often the case, that people who violate no duty nevertheless behave in an inhumane and a disgusting manner. | |
| From: Daniel Statman (Introduction to Virtue Ethics [1997], §1) | |
| A reaction: This seems right, though it is easier to be disgusting than to be inhumane if no duty is to be violated. Social duties may not require a high degree of humanity, pure Kantian duties might. |
| 7104 | The ancients recognised imperfect duties, but we have added perfect duties like justice [Statman] |
| Full Idea: The advantage of modern thinkers over the ancient virtue ethicists is that in addition to imperfect duties (i.e. virtues) they also recognise the existence of perfect duties, or duties of justice, which are essential for the existence of society. | |
| From: Daniel Statman (Introduction to Virtue Ethics [1997], §7) | |
| A reaction: Even the Greeks had laws (e.g. Idea 422), so they understood that a society needs rules, but many laws don't seem to be moral rules (e.g. car parking), and the Greeks thought morality was about human excellence, not avoiding traffic jams. |
| 5754 | You can't control someone's free mind, only their body and possessions [Boethius] |
| Full Idea: The only way one man can exercise power over another is over his body and what is inferior to it, his possessions. You cannot impose anything on a free mind. | |
| From: Boethius (The Consolations of Philosophy [c.520], II.VI) | |
| A reaction: Written, of course, in prison. Boethius had not met hypnotism, or mind-controlling drugs, or invasive brain surgery. He hadn't read '1984'. He hadn't seen 'The Ipcress File'. (In fact, he should have got out more…) |
| 7103 | Abortion issues focus on the mother's right over her body, and the status of the foetus [Statman] |
| Full Idea: Most of the debate on abortion focuses on two issues, the mother's assumed right over her body, and the status of the foetus. | |
| From: Daniel Statman (Introduction to Virtue Ethics [1997], §6) | |
| A reaction: Personally I think society as a whole might have a say (if, perhaps, we are over- or under-populated, or we have a widely accepted state religion, or we are just very shocked). Mother's have virtues and duties as well as rights. |
| 16692 | Divine eternity is the all-at-once and complete possession of unending life [Boethius] |
| Full Idea: Divine eternity is the all-at-once [tota simul] and complete possession of unending life. | |
| From: Boethius (The Consolations of Philosophy [c.520], V.6), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 18.1 | |
| A reaction: This is a famous definition, and 'tota simul' became the phrase used for 'entia successiva', such as a day, or the Olympic Games. |
| 5752 | Where does evil come from if there is a god; where does good come from if there isn't? [Boethius] |
| Full Idea: A philosopher (possibly Epicurus) asked where evil comes from if there is a god, and where good comes from if there isn't. | |
| From: Boethius (The Consolations of Philosophy [c.520], I.IV) | |
| A reaction: A nice question. The best known answer to the first question is 'Satan'. Some would say that in the second case good is impossible, but I would have thought that the only possible answer is 'mankind'. |
| 5758 | God is the good [Boethius] |
| Full Idea: God is the good. | |
| From: Boethius (The Consolations of Philosophy [c.520], III.XI) | |
| A reaction: This summary follows on from the rather dubious discussion in Idea 5757. If God IS the good, it is not clear how God could be usefully described as 'good'. We would know that he was good a priori, without any enquiry into his nature being needed. |
| 5757 | God is the supreme good, so no source of goodness could take precedence over God [Boethius] |
| Full Idea: That which by its own nature is something distinct from supreme good, cannot be supreme good. ..It is impossible for anything to be by nature better than that from which it is derived, so that which is the origin of all things is supreme good. | |
| From: Boethius (The Consolations of Philosophy [c.520], III.X) | |
| A reaction: This is the contortion early Christians got into once they decided God had to be 'supreme' in the moral world (and every other world). Boethius allows a possible external source of all morality, but then has to say that this source is morally inferior. |
| 5760 | The power through which creation remains in existence and motion I call 'God' [Boethius] |
| Full Idea: For this power, whatever it is, through which creation remains in existence and in motion, I use the word which all people use, namely God. | |
| From: Boethius (The Consolations of Philosophy [c.520], III.XII) | |
| A reaction: An interesting caution in the phrase 'whatever it is'. Boethius would have been very open-minded in discussion with modern science about the stability of nature. Personally I reject Boethius' theory, but don't have a better one. Cf Idea 1431. |
| 5753 | The regular events of this life could never be due to chance [Boethius] |
| Full Idea: I could never believe that events of such regularity as we find in this life are due to the haphazards of chance. | |
| From: Boethius (The Consolations of Philosophy [c.520], I.VI) | |
| A reaction: It depends what you mean by 'chance'. Boethius infers a conscious mind, and presumes this to be God, but that is two large and unsupported steps. Modern atheists must acknowledge Boethius' problem. Why is there order? |
| 5765 | The reward of the good is to become gods [Boethius] |
| Full Idea: Goodness is happiness, ..but we agree that those who attain happiness are divine. The reward of the good, then, is to become gods. | |
| From: Boethius (The Consolations of Philosophy [c.520], IV.III) | |
| A reaction: Kant offered a similar argument (see Idea 1455). Most of us are unlikely to agree with the second premise of Boethius' argument. The idea that we might somehow become gods gripped the imagination for the next thousand years. |
| 5761 | God can do anything, but he cannot do evil, so evil must be nothing [Boethius] |
| Full Idea: 'There is nothing that an omnipotent power could not do?' 'No.' 'Then can God do evil?' 'No.' 'So evil is nothing, since that is what He cannot do who can do anthing.' | |
| From: Boethius (The Consolations of Philosophy [c.520], III.XII) | |
| A reaction: A lovely example of the contortions necessary once you insist that God must be 'omnipotent', in some absolute sense of the term. Saying that evil is 'nothing' strikes me as nothing more than a feeble attempt to insult it. |
| 5766 | If you could see the plan of Providence, you would not think there was evil anywhere [Boethius] |
| Full Idea: If you could see the plan of Providence, you would not think there was evil anywhere. | |
| From: Boethius (The Consolations of Philosophy [c.520], IV.VI) | |
| A reaction: This brings out the verificationist in me. See Idea 1467, by Antony Flew. Presumably Boethius would retain his faith as Europe moved horribly from 1939 to 1945, and even if the whole of humanity sank into squalid viciousness. |