46 ideas
| 10482 | The logic of ZF is classical first-order predicate logic with identity [Boolos] |
| Full Idea: The logic of ZF Set Theory is classical first-order predicate logic with identity. | |
| From: George Boolos (Must We Believe in Set Theory? [1997], p.121) | |
| A reaction: This logic seems to be unable to deal with very large cardinals, precisely those that are implied by set theory, so there is some sort of major problem hovering here. Boolos is fairly neutral. |
| 10492 | A few axioms of set theory 'force themselves on us', but most of them don't [Boolos] |
| Full Idea: Maybe the axioms of extensionality and the pair set axiom 'force themselves on us' (Gödel's phrase), but I am not convinced about the axioms of infinity, union, power or replacement. | |
| From: George Boolos (Must We Believe in Set Theory? [1997], p.130) | |
| A reaction: Boolos is perfectly happy with basic set theory, but rather dubious when very large cardinals come into the picture. |
| 18192 | Do the Replacement Axioms exceed the iterative conception of sets? [Boolos, by Maddy] |
| Full Idea: For Boolos, the Replacement Axioms go beyond the iterative conception. | |
| From: report of George Boolos (The iterative conception of Set [1971]) by Penelope Maddy - Naturalism in Mathematics I.3 |
| 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. |
| 10485 | Naïve sets are inconsistent: there is no set for things that do not belong to themselves [Boolos] |
| Full Idea: The naïve view of set theory (that any zero or more things form a set) is natural, but inconsistent: the things that do not belong to themselves are some things that do not form a set. | |
| From: George Boolos (Must We Believe in Set Theory? [1997], p.127) | |
| A reaction: As clear a summary of Russell's Paradox as you could ever hope for. |
| 10484 | The iterative conception says sets are formed at stages; some are 'earlier', and must be formed first [Boolos] |
| Full Idea: According to the iterative conception, every set is formed at some stage. There is a relation among stages, 'earlier than', which is transitive. A set is formed at a stage if and only if its members are all formed before that stage. | |
| From: George Boolos (Must We Believe in Set Theory? [1997], p.126) | |
| A reaction: He gives examples of the early stages, and says the conception is supposed to 'justify' Zermelo set theory. It is also supposed to make the axioms 'natural', rather than just being selected for convenience. And it is consistent. |
| 13547 | Limitation of Size is weak (Fs only collect is something the same size does) or strong (fewer Fs than objects) [Boolos, by Potter] |
| Full Idea: Weak Limitation of Size: If there are no more Fs than Gs and the Gs form a collection, then Fs form a collection. Strong Limitation of Size: A property F fails to be collectivising iff there are as many Fs as there are objects. | |
| From: report of George Boolos (Iteration Again [1989]) by Michael Potter - Set Theory and Its Philosophy 13.5 |
| 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. |
| 14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |
| Full Idea: Boolos's conception of plural logic is as a reinterpretation of second-order logic. | |
| From: report of George Boolos (On Second-Order Logic [1975]) by Oliver,A/Smiley,T - What are Sets and What are they For? n5 | |
| A reaction: Oliver and Smiley don't accept this view, and champion plural reference differently (as, I think, some kind of metalinguistic device?). |
| 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 |
| 10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |
| Full Idea: The metatheory of second-order logic is hopelessly set-theoretic, and the notion of second-order validity possesses many if not all of the epistemic debilities of the notion of set-theoretic truth. | |
| From: George Boolos (On Second-Order Logic [1975], p.45) | |
| A reaction: Epistemic problems arise when a logic is incomplete, because some of the so-called truths cannot be proved, and hence may be unreachable. This idea indicates Boolos's motivation for developing a theory of plural quantification. |
| 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 |
| 10829 | A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos] |
| Full Idea: One may be of the opinion that no sentence ought to be considered as a truth of logic if, no matter how it is interpreted, it asserts that there are sets of certain sorts. | |
| From: George Boolos (On Second-Order Logic [1975], p.44) | |
| A reaction: My intuition is that in no way should any proper logic assert the existence of anything at all. Presumably interpretations can assert the existence of numbers or sets, but we should be able to identify something which is 'pure' logic. Natural deduction? |
| 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. |
| 10832 | '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos] |
| Full Idea: One may say that '∀x x=x' means 'everything is identical to itself', but one must realise that one's answer has a determinate sense only if the reference (range) of 'everything' is fixed. | |
| From: George Boolos (On Second-Order Logic [1975], p.46) | |
| A reaction: This is the problem now discussed in the recent book 'Absolute Generality', of whether one can quantify without specifying a fixed or limited domain. |
| 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...' |
| 10834 | Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos] |
| Full Idea: A weak completeness theorem shows that a sentence is provable whenever it is valid; a strong theorem, that a sentence is provable from a set of sentences whenever it is a logical consequence of the set. | |
| From: George Boolos (On Second-Order Logic [1975], p.52) | |
| A reaction: So the weak version says |- φ → |= φ, and the strong versions says Γ |- φ → Γ |= φ. Presumably it is stronger if it can specify the source of the inference. |
| 13841 | Why should compactness be definitive of logic? [Boolos, by Hacking] |
| Full Idea: Boolos asks why on earth compactness, whatever its virtues, should be definitive of logic itself. | |
| From: report of George Boolos (On Second-Order Logic [1975]) by Ian Hacking - What is Logic? §13 |
| 10491 | Infinite natural numbers is as obvious as infinite sentences in English [Boolos] |
| Full Idea: The existence of infinitely many natural numbers seems to me no more troubling than that of infinitely many computer programs or sentences of English. There is, for example, no longest sentence, since any number of 'very's can be inserted. | |
| From: George Boolos (Must We Believe in Set Theory? [1997], p.129) | |
| A reaction: If you really resisted an infinity of natural numbers, presumably you would also resist an actual infinity of 'very's. The fact that it is unclear what could ever stop a process doesn't guarantee that the process is actually endless. |
| 10483 | Mathematics and science do not require very high orders of infinity [Boolos] |
| Full Idea: To the best of my knowledge nothing in mathematics or science requires the existence of very high orders of infinity. | |
| From: George Boolos (Must We Believe in Set Theory? [1997], p.122) | |
| A reaction: He is referring to particular high orders of infinity implied by set theory. Personally I want to wield Ockham's Razor. Is being implied by set theory a sufficient reason to accept such outrageous entities into our ontology? |
| 10833 | Many concepts can only be expressed by second-order logic [Boolos] |
| Full Idea: The notions of infinity and countability can be characterized by second-order sentences, though not by first-order sentences (as compactness and Skolem-Löwenheim theorems show), .. as well as well-ordering, progression, ancestral and identity. | |
| From: George Boolos (On Second-Order Logic [1975], p.48) |
| 10490 | Mathematics isn't surprising, given that we experience many objects as abstract [Boolos] |
| Full Idea: It is no surprise that we should be able to reason mathematically about many of the things we experience, for they are already 'abstract'. | |
| From: George Boolos (Must We Believe in Set Theory? [1997], p.129) | |
| A reaction: He has just given a list of exemplary abstract objects (Idea 10489), but I think there is a more interesting idea here - that our experience of actual physical objects is to some extent abstract, as soon as it is conceptualised. |
| 5311 | If observation goes up a level, we expect the laws of the lower level to remain in force [Wilson,EO] |
| Full Idea: When the observer shifts his attention from one level of organisation to the next, as from physics to chemistry, he expects to find obedience to all the laws of the levels below. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.1) | |
| A reaction: This seems to state a necessary condition of reduction, but not a sufficient one. Wilson points out that new phenomena emerge at higher levels. This principle is similar to Hume's argument against miracles. You don't easily overthrow basic laws. |
| 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'. |
| 10488 | It is lunacy to think we only see ink-marks, and not word-types [Boolos] |
| Full Idea: It's a kind of lunacy to think that sound scientific philosophy demands that we think that we see ink-tracks but not words, i.e. word-types. | |
| From: George Boolos (Must We Believe in Set Theory? [1997], p.128) | |
| A reaction: This seems to link him with Armstrong's mockery of 'ostrich nominalism'. There seems to be some ambiguity with the word 'see' in this disagreement. When we look at very ancient scratches on stones, why don't we always 'see' if it is words? |
| 5312 | A child first sees objects as distinct, and later as members of groups [Wilson,EO] |
| Full Idea: From a single-minded effort to move objects a child's activity grows into a detached reflection on the movements themselves. The objects are first perceived as distinct entities, and then as members of groups to be classified. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.3) | |
| A reaction: This does not, of course, prove anything about the philosophical problems of universals, but it does seem to pinpoint the stage in human development when 'universals' are perceived. The basis seems to be groups or sets, but how do we spot those? |
| 10487 | I am a fan of abstract objects, and confident of their existence [Boolos] |
| Full Idea: I am rather a fan of abstract objects, and confident of their existence. Smaller numbers, sets and functions don't offend my sense of reality. | |
| From: George Boolos (Must We Believe in Set Theory? [1997], p.128) | |
| A reaction: The great Boolos is rather hard to disagree with, but I disagree. Logicians love abstract objects, indeed they would almost be out of a job without them. It seems to me they smuggle them into our ontology by redefining either 'object' or 'exists'. |
| 10489 | We deal with abstract objects all the time: software, poems, mistakes, triangles.. [Boolos] |
| Full Idea: We twentieth century city dwellers deal with abstract objects all the time, such as bank balances, radio programs, software, newspaper articles, poems, mistakes, triangles. | |
| From: George Boolos (Must We Believe in Set Theory? [1997], p.129) | |
| A reaction: I find this claim to be totally question-begging, and typical of a logician. The word 'object' gets horribly stretched in these discussions. We can create concepts which have all the logical properties of objects. Maybe they just 'subsist'? |
| 5309 | Beliefs are really enabling mechanisms for survival [Wilson,EO] |
| Full Idea: Beliefs are really enabling mechanisms for survival. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.1) | |
| A reaction: How does he know this proposition which he asserts so confidently? Obvious counterexamples seem to be utterly trivial beliefs, and self-destructive beliefs. What is the evolutionary value of low self-esteem? Still, you see his point. |
| 8693 | An 'abstraction principle' says two things are identical if they are 'equivalent' in some respect [Boolos] |
| Full Idea: Hume's Principle has a structure Boolos calls an 'abstraction principle'. Within the scope of two universal quantifiers, a biconditional connects an identity between two things and an equivalence relation. It says we don't care about other differences. | |
| From: George Boolos (Is Hume's Principle analytic? [1997]), quoted by Michèle Friend - Introducing the Philosophy of Mathematics 3.7 | |
| A reaction: This seems to be the traditional principle of abstraction by ignoring some properties, but dressed up in the clothes of formal logic. Frege tries to eliminate psychology, but Boolos implies that what we 'care about' is relevant. |
| 5310 | Philosophers study the consequences of ethics instead of its origins [Wilson,EO] |
| Full Idea: Philosophers examine the precepts of ethical systems with reference to their consequences and not their origins. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.1) | |
| A reaction: He is interested in biological origins, but it strikes me that every moral theory has some account of the origins of morality, be it pure reason, or the love of pleasure, or human nature, or eternal ideas, or the will of God, or selfish desires. |
| 22187 | Genetic behaviours that have enhanced human success include aggression, rape and xenophobia [Wilson,EO, by Okasha] |
| Full Idea: Wilson claimed that many human behaviours, including aggression, rape, and xenophobia, had a genetic basis, and were adaptations favoured by natural selection because they enhanced the reproductive success of our ancestors. | |
| From: report of Edmund O. Wilson (Sociobiology [1975]) by Samir Okasha - Philosophy of Science: Very Short Intro (2nd ed) 7 | |
| A reaction: This led to the Sociobiology Wars, when E.O. Wilson was attacked by Richard Lewontin and Stephen Jay Gould. |
| 5313 | The rules of human decision-making converge and overlap in a 'human nature' [Wilson,EO] |
| Full Idea: The rules followed in human decision-making are tight enough to produce a broad overlap in the decisions taken by all individuals, and hence a convergence powerful enough to be labelled 'human nature'. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.3) | |
| A reaction: This is a nice empirical criterion for asserting the existence of human nature, and it seems right to examine decisions, rather than more thoughtless or conformist behaviour. Existentialists dream of new possibilities, but the old ways always seem best… |
| 5316 | We undermine altruism by rewarding it, but we reward it to encourage it [Wilson,EO] |
| Full Idea: By sanctifying altruism in order to reward it we make it less true, but by that means we promote its recurrence in others. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.7) | |
| A reaction: So is my preference for not rewarding (or even noticing) altruism an anti-social tendency. The very conspicuous charity of sponsorship seems somehow inferior to the truly anonymous gift. Or super-altruism is very public, to encourage it in others? |
| 5318 | Pure hard-core altruism based on kin selection is the enemy of civilisation [Wilson,EO] |
| Full Idea: Pure hard-core altruism based on kin selection is the enemy of civilisation. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.7) | |
| A reaction: By 'hard-core' he means suicidally self-sacrificing, rather than extensive. This seems a good thesis. It strikes me that the development of civil society is often impeded by family loyalty, such as in the case of the Mafia. |
| 5317 | The actor is most convincing who believes that his performance is real [Wilson,EO] |
| Full Idea: The actor is most convincing who believes that his performance is real. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.7) | |
| A reaction: This is a key element of social contract theory. It shows why natural selection of truly altruistic traits might be beneficial to individuals, provided they are surrounded by possible recipricators. We trust those who are genuine and sincere. |
| 20662 | The biology of societies: kin selection, parenting, mating; status, territory, contracts [Wilson,EO] |
| Full Idea: Societies are ordered around six sociobiological principles: kin selection; parental investment; mating strategy; status; territorial expansion and defence; contractual agreement. | |
| From: Edmund O. Wilson (Consilience [1998], 19 'Intro'), quoted by Peter Watson - Convergence | |
| A reaction: I'm not sure I trust such a precise list. Personally I'm in society because I'm too frightend to drop out. So where is 'defence'? Still, I like attempts at assembling such a list. Politics needs grounding. |
| 5308 | The only human purpose is that created by our genetic history [Wilson,EO] |
| Full Idea: No species, ours included, possesses a purpose beyond the imperatives created by its genetic history. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.1) | |
| A reaction: This invites the question of what that purpose is perceived to be. Some people feel an imperative to play the piano all day, so presumably genetic history has created that feeling. Presumably we can also choose a purpose, even extinction. |
| 5314 | Cultural evolution is Lamarckian and fast, biological evolution is Darwinian and slow [Wilson,EO] |
| Full Idea: Cultural evolution is Lamarckian and very fast, whereas biological evolution is Darwinian and usually very slow. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.4) | |
| A reaction: An intriguing point, given how discredited Lamarckian evolution is. It links with the Dawkins idea of 'memes' - cultural ideas which spread very fast. Is biological evolution suddenly about to become Lamarckian, as culture influences biology? |
| 5315 | Over 99 percent of human evolution has been in the hunter-gatherer phase [Wilson,EO] |
| Full Idea: Selection pressures of hunter-gatherer existence have persisted for over 99 percent of human genetic evolution. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.4) | |
| A reaction: This seems a key point to bear in mind when assessing human nature. Hunter-gathering isn't just one tendency in our genetics; it more or less constitutes everything we are. |
| 5320 | It is estimated that mankind has produced 100,000 religions [Wilson,EO] |
| Full Idea: Since the first recorded religion (in Iraq 60,000 years ago) it is estimated that mankind has produced in the order of one hundred thousand religions. | |
| From: Edmund O. Wilson (On Human Nature [1978], Ch.8) | |
| A reaction: If asked to guess the number, I would probably have said '200'! This staggering figure seems to argue both ways - it suggest a certain arbitrariness in the details of religions, but an extremely intense drive to have some sort of religious belief. |
| 1513 | The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus] |
| Full Idea: The Egyptians were the first to claim that the soul of a human being is immortal, and that each time the body dies the soul enters another creature just as it is being born. | |
| From: Herodotus (The Histories [c.435 BCE], 2.123.2) |