23 ideas
| 23825 | We seek truth only because it is good [Weil] |
| Full Idea: Truth is sought not because it is truth but because it is good. | |
| From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.233) | |
| A reaction: A perfect instance of modern platonism. A few weird people seem to enjoy lying. Personally I cannot find enough content in the word 'good' in such claims. |
| 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'. |
| 23826 | Beauty, goodness and truth are only achieved by applying full attention [Weil] |
| Full Idea: The authentic and pure values - truth, beauty and goodness - in the activity of a human being are the result of one and same act, a certain application of the full attention to the object. Teaching should only aim to train the attention for such an act. | |
| From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.234) | |
| A reaction: A distinctive Weil idea, that absorbed 'attention' produces almost mystical results. I am not convinced that a great still life painter (than which there is no higher criterion of attention) achieves contact with goodness thereby. But attention is good! |
| 6017 | Nomos is king [Pindar] |
| Full Idea: Nomos is king. | |
| From: Pindar (poems [c.478 BCE], S 169), quoted by Thomas Nagel - The Philosophical Culture | |
| A reaction: This seems to be the earliest recorded shot in the nomos-physis wars (the debate among sophists about moral relativism). It sounds as if it carries the full relativist burden - that all that matters is what has been locally decreed. |
| 23808 | There are two goods - the absolute good we want, and the reachable opposite of evil [Weil] |
| Full Idea: There are two goods - one which is the opposite of evil, and one which is the absolute. …That which we want is the absolute good. That which is within our reach is the good which is correlated with evil. | |
| From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.142) | |
| A reaction: Elsewhere she seems in tune with the thought of Nietzsche (whom she despised) that good and evil are false social constructs which are quite different from healthy values. Weil, of course, sees the absolute as transcendent. |
| 23833 | The good is a nothingness, and yet real [Weil] |
| Full Idea: The good seems to us a nothingness, since there is no thing that is good. But this nothingness is not unreal. | |
| From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.278) | |
| A reaction: A neat move in the notoriously difficult platonic problem of specifying the actual nature of the good. |
| 23831 | The essence of power is illusory prestige [Weil] |
| Full Idea: Prestige, which is an illusion, is the very essence of power. | |
| From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.255) | |
| A reaction: It is hard to maintain illusory prestige if there is no actual power behind it. |
| 23830 | A group is only dangerous if it endorses an abstract entity [Weil] |
| Full Idea: Any group which has not secreted an abstract entity will probably not be dangerous. | |
| From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.255) | |
| A reaction: Written in the 1930s, the era of many political -isms. No group can be united if it lacks a clear label, and a few simple slogans. |
| 23809 | Our only social duty is to try to limit evil [Weil] |
| Full Idea: Our only duty with regard to the social is to try to limit the evil of it. | |
| From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.143) | |
| A reaction: This is one of Weil's occasional remarks that have an anarchist flavour. I increasingly sympathise with this less idealistic view as I get older. |
| 23807 | The collective is the one and only object of false idolatry [Weil] |
| Full Idea: The Great Beast is the great object of idolatry, the only ersatz of God. …Only one thing can be taken as an end, for in relation to the human person it possesses a kind of transcendence: this is the collective. | |
| From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.140) | |
| A reaction: [Society as the Great Beast is in Republic Bk 6] She is referring to both fascist and communist states. Weil seems to be a left-wing liberal, with a tendency towards anarchism, because her priority is the individual, not the group. |
| 23810 | Charity is the only love, and you can feel that for a country (a place with traditions), but not a nation [Weil] |
| Full Idea: We must not have any other love than charity. A nation cannot be an object of charity. But a country can be one - as an environment bearing traditions which are eternal. Every country can be that. | |
| From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.146) | |
| A reaction: This definitely strikes a chord with me. I am English and British to the core, but don't feel any love at all for the current central institutions of the state. But I love my island, and its history, and its culture, and its style. |
| 23811 | If effort is from necessity rather than for a good, it is slavery [Weil] |
| Full Idea: To strive from necessity and not for some good - ...that is always slavery. | |
| From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.180) | |
| A reaction: It is usual to see the possibility of anarchism as the starting point for political thinking, but I think for Weil the state of slavery has that role. |
| 23765 | The soul is the intrinsic value of a human [Weil] |
| Full Idea: The soul is the human being considered as having a value in itself. | |
| From: Simone Weil (Gravity and Grace (9 extracts) [1943], p.294) | |
| A reaction: [from 'Gravity and Grace'] A rather modern view, treating the soul as an abstraction, rather than as an entity. |