20 ideas
| 21757 | Philosophy is the conceptual essence of the shape of history [Hegel] |
| Full Idea: Philosophy is the supreme blossom - the concept - of the entire shape of history, the consciousness and the spiritual essence of the whole situation, the spirit of the age as the spirit present and aware of itself in thought. | |
| From: Georg W.F.Hegel (Lectures on the History of Philosophy [1830], p.25), quoted by Stephen Houlgate - An Introduction to Hegel 01 | |
| A reaction: This sees philosophy as intrinsically historical, which is a founding idea for 'continental' philosophy. Analysis is tied to science, in which the history of the subject is seen as irrelevant to its truth. Does this mean we can't go back to Aristotle? |
| 7785 | The use of plurals doesn't commit us to sets; there do not exist individuals and collections [Boolos] |
| Full Idea: We should abandon the idea that the use of plural forms commits us to the existence of sets/classes… Entities are not to be multiplied beyond necessity. There are not two sorts of things in the world, individuals and collections. | |
| From: George Boolos (To be is to be the value of a variable.. [1984]), quoted by Henry Laycock - Object | |
| A reaction: The problem of quantifying over sets is notoriously difficult. Try http://plato.stanford.edu/entries/object/index.html. |
| 10699 | Does a bowl of Cheerios contain all its sets and subsets? [Boolos] |
| Full Idea: Is there, in addition to the 200 Cheerios in a bowl, also a set of them all? And what about the vast number of subsets of Cheerios? It is haywire to think that when you have some Cheerios you are eating a set. What you are doing is: eating the Cheerios. | |
| From: George Boolos (To be is to be the value of a variable.. [1984], p.72) | |
| A reaction: In my case Boolos is preaching to the converted. I am particularly bewildered by someone (i.e. Quine) who believes that innumerable sets exist while 'having a taste for desert landscapes' in their ontology. |
| 10225 | Monadic second-order logic might be understood in terms of plural quantifiers [Boolos, by Shapiro] |
| Full Idea: Boolos has proposed an alternative understanding of monadic, second-order logic, in terms of plural quantifiers, which many philosophers have found attractive. | |
| From: report of George Boolos (To be is to be the value of a variable.. [1984]) by Stewart Shapiro - Philosophy of Mathematics 3.5 |
| 10736 | Boolos showed how plural quantifiers can interpret monadic second-order logic [Boolos, by Linnebo] |
| Full Idea: In an indisputable technical result, Boolos showed how plural quantifiers can be used to interpret monadic second-order logic. | |
| From: report of George Boolos (To be is to be the value of a variable.. [1984], Intro) by Øystein Linnebo - Plural Quantification Exposed Intro |
| 10780 | Any sentence of monadic second-order logic can be translated into plural first-order logic [Boolos, by Linnebo] |
| Full Idea: Boolos discovered that any sentence of monadic second-order logic can be translated into plural first-order logic. | |
| From: report of George Boolos (To be is to be the value of a variable.. [1984], §1) by Øystein Linnebo - Plural Quantification Exposed p.74 |
| 10697 | Identity is clearly a logical concept, and greatly enhances predicate calculus [Boolos] |
| Full Idea: Indispensable to cross-reference, lacking distinctive content, and pervading thought and discourse, 'identity' is without question a logical concept. Adding it to predicate calculus significantly increases the number and variety of inferences possible. | |
| From: George Boolos (To be is to be the value of a variable.. [1984], p.54) | |
| A reaction: It is not at all clear to me that identity is a logical concept. Is 'existence' a logical concept? It seems to fit all of Boolos's criteria? I say that all he really means is that it is basic to thought, but I'm not sure it drives the reasoning process. |
| 13671 | Second-order quantifiers are just like plural quantifiers in ordinary language, with no extra ontology [Boolos, by Shapiro] |
| Full Idea: Boolos proposes that second-order quantifiers be regarded as 'plural quantifiers' are in ordinary language, and has developed a semantics along those lines. In this way they introduce no new ontology. | |
| From: report of George Boolos (To be is to be the value of a variable.. [1984]) by Stewart Shapiro - Foundations without Foundationalism 7 n32 | |
| A reaction: This presumably has to treat simple predicates and relations as simply groups of objects, rather than having platonic existence, or something. |
| 10267 | We should understand second-order existential quantifiers as plural quantifiers [Boolos, by Shapiro] |
| Full Idea: Standard second-order existential quantifiers pick out a class or a property, but Boolos suggests that they be understood as a plural quantifier, like 'there are objects' or 'there are people'. | |
| From: report of George Boolos (To be is to be the value of a variable.. [1984]) by Stewart Shapiro - Philosophy of Mathematics 7.4 | |
| A reaction: This idea has potential application to mathematics, and Lewis (1991, 1993) 'invokes it to develop an eliminative structuralism' (Shapiro). |
| 10698 | Plural forms have no more ontological commitment than to first-order objects [Boolos] |
| Full Idea: Abandon the idea that use of plural forms must always be understood to commit one to the existence of sets of those things to which the corresponding singular forms apply. | |
| From: George Boolos (To be is to be the value of a variable.. [1984], p.66) | |
| A reaction: It seems to be an open question whether plural quantification is first- or second-order, but it looks as if it is a rewriting of the first-order. |
| 7806 | Boolos invented plural quantification [Boolos, by Benardete,JA] |
| Full Idea: Boolos virtually patented the new device of plural quantification. | |
| From: report of George Boolos (To be is to be the value of a variable.. [1984]) by José A. Benardete - Logic and Ontology | |
| A reaction: This would be 'there are some things such that...' |
| 10700 | First- and second-order quantifiers are two ways of referring to the same things [Boolos] |
| Full Idea: Ontological commitment is carried by first-order quantifiers; a second-order quantifier needn't be taken to be a first-order quantifier in disguise, having special items, collections, as its range. They are two ways of referring to the same things. | |
| From: George Boolos (To be is to be the value of a variable.. [1984], p.72) | |
| A reaction: If second-order quantifiers are just a way of referring, then we can see first-order quantifiers that way too, so we could deny 'objects'. |
| 21332 | We don't get a love of 'order' from nature - which is thoroughly chaotic [Mill] |
| Full Idea: Even the love of 'order' which is thought to be a following of the ways of nature is in fact a contradiction of them. All which people are accustomed to deprecate as 'disorder' is precisely a counterpart of nature's ways. | |
| From: John Stuart Mill (Nature and Utility of Religion [1874], p.116) | |
| A reaction: The Greeks elevated the idea that the cosmos was orderly, but almost entirely based on the regular movement of the planets. They turned a blind eye to the messy bits of nature. As you magnify nature, order and chaos seem to alternate. |
| 21333 | Evil comes from good just as often as good comes from evil [Mill] |
| Full Idea: If good frequently comes out of evil, the converse fact, evil coming out of good, is equally common. | |
| From: John Stuart Mill (Nature and Utility of Religion [1874], p.117) | |
| A reaction: Mill surmises that on the whole good comes from good, and evil from evil, but the point is that the evidence doesn't favour the production of increased good. |
| 21335 | Belief that an afterlife is required for justice is an admission that this life is very unjust [Mill] |
| Full Idea: The necessity of redressing the balance [of injustice] is deemed one of the strongest arguments for another life after death, which amounts to an admission that the order of things in this life is often an example of injustice, not justice. | |
| From: John Stuart Mill (Nature and Utility of Religion [1874]) | |
| A reaction: It certainly seems that an omnipotent God could administer swift justice in this life. If the whole point is that we need freedom of will, then why is justice administered at a much later date? The freedom seems to be illusory. |
| 21334 | No necessity ties an omnipotent Creator, so he evidently wills human misery [Mill] |
| Full Idea: If a Creator is assumed to be omnipotent, if he bends to a supposed necessity, he himself makes the necessity which he bends to. If the maker of the world can all that he will, he wills misery, and there is no escape from the conclusion. | |
| From: John Stuart Mill (Nature and Utility of Religion [1874], p.119) | |
| A reaction: If you add that the Creator is supposed to be perfectly benevolent, you arrive at the paradox which Mackie spells out. Is the correct conclusion that God exists, and is malevolent? Mill doesn't take that option seriously. |
| 21329 | Nature dispenses cruelty with no concern for either mercy or justice [Mill] |
| Full Idea: All of this [cruel killing] nature does with the most supercilious disregard both of mercy and of justice, emptying her shafts upon the best and noblest indifferently with the meanest and worst | |
| From: John Stuart Mill (Nature and Utility of Religion [1874], p.115) | |
| A reaction: The existence of an afterlife at least offers an opportunity to rectify any injustice, but that hardly meets the question of why there was injustice in the first place. It would be odd if it actually is justice, but none of us can see why that is so. |
| 21328 | Killing is a human crime, but nature kills everyone, and often with great tortures [Mill] |
| Full Idea: Killing, the most criminal act recognised by human laws, nature does once to every being that lives, and frequently after protracted tortures such as the greatest know monsters purposely inflicted on their living fellow creatures | |
| From: John Stuart Mill (Nature and Utility of Religion [1874], p.115) | |
| A reaction: We certainly don't condemn lions for savaging gazelles, but the concept of a supreme mind controlling nature forces the question. Theology needs consistency between human and divine morality, and the supposed derivation of the former from the latter. |
| 21330 | Nature makes childbirth a miserable experience, often leading to the death of the mother [Mill] |
| Full Idea: In the clumsy provision which nature has made for the perpetual renewal of animal life, ...no human being ever comes into the world but another human being is literally stretched on the rack for hours or day, not unfrequently issuing in death. | |
| From: John Stuart Mill (Nature and Utility of Religion [1874], p.116) | |
| A reaction: This is a very powerful example, which is rarely cited in modern discussions. |
| 21331 | Hurricanes, locusts, floods and blight can starve a million people to death [Mill] |
| Full Idea: Nature often takes the means by which we live. A single hurricane, a flight of locusts, or an inundation, or a trifling chemical change in an edible root, starve a million people. | |
| From: John Stuart Mill (Nature and Utility of Religion [1874], p.116) | |
| A reaction: [second sentence compressed] The 'edible root' is an obvious reference to the Irish potato famine. Some desertification had human causes, but these are telling examples. |