15 ideas
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'. |
7522 | A full neural account of qualia will give new epistemic access to them, beyond private experience [Churchlands] |
Full Idea: When the hidden neurophysiological structure of qualia (if there is any) gets revealed by unfolding research, then we will automatically gain a new epistemic access to qualia, beyond each person's native and exclusive capacity for internal discrimination. | |
From: Churchland / Churchland (Recent Work on Consciousness [1997]) | |
A reaction: Carefully phrased and hard to deny, but something is impenetrable. What experience does an insect have when it encounters ultra-violet light? Nothing remotely interesting about their qualia is likely to emerge from the study of insect brains. |
7521 | It is question-begging to assume that qualia are totally simple, hence irreducible [Churchlands] |
Full Idea: One of the crucial premises of the antireductionists - concerning the intrinsic, nonrelational, metaphysical simplicity of our sensory qualia - is a question-begging and unsupported assumption. | |
From: Churchland / Churchland (Recent Work on Consciousness [1997]) | |
A reaction: This is a key point for reductionists, with emphasis on the sheer numbers of connections involved in a simple quale (I estimate a billion involved in one small patch of red). |
7523 | The qualia Hard Problem is easy, in comparison with the co-ordination of mental states [Churchlands] |
Full Idea: The so-called Hard Problem (of qualia) appears to be one of the easiest, in comparison with the problems of short-term memory, fluid and directable attention, the awake state vs sleep, and the unity of consciousness. | |
From: Churchland / Churchland (Recent Work on Consciousness [1997]) | |
A reaction: Most of their version of the Hard Problems centre on personal identity, and the centralised co-ordination of mental events. I am inclined to agree with them. Worriers about qualia should think more about the complexity of systems of neurons. |
23137 | Liberty without socialism is injustice; socialism without liberty is brutality [Bakunin] |
Full Idea: Liberty without socialism is injustice; socialism without liberty is slavery and brutality. | |
From: Mikhail Bakunin (works [1867], 3), quoted by Adam Gopnik - A Thousand Small Sanities 3 | |
A reaction: [1867, but no reference] Bakunin was an anarchistic socialist. This must be the best one-line defence of socialism ever written. Gopnik quotes it as part of the anarchist critique of liberalism. So are liberty and socialism long-term compatible? |