29 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'. |
| 12732 | Some necessary truths are brute, and others derive from final causes [Leibniz] |
| Full Idea: There is a difference between truths whose necessity is brute and geometric and those truths which have their source in fitness and final causes. | |
| From: Gottfried Leibniz (Letters to Remond de Montmort [1715], 1715.06.22/G III 645), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 6 | |
| A reaction: The second one is a necessity deriving from God's wisdom. Strictly it could have been otherwise, unlike 'geometrical' necessity, which is utterly fixed. |
| 19438 | Our large perceptions and appetites are made up tiny unconscious fragments [Leibniz] |
| Full Idea: Our great perceptions and our great appetites of which we are conscious, are composed of innumerable little perceptions and little inclinations of which we cannot be conscious. | |
| From: Gottfried Leibniz (Letters to Remond de Montmort [1715], 1715 §2) | |
| A reaction: I think this is a wonderfully accurate report of how the mind is, in comparison with the much more simplistic views presented by most philosophers of that era. And so much understanding flows from Leibniz's account. |
| 19415 | Passions reside in confused perceptions [Leibniz] |
| Full Idea: The passions of monads reside in their confused perceptions. | |
| From: Gottfried Leibniz (Letters to Remond de Montmort [1715], 1715) | |
| A reaction: He thinks perceptions come in degrees of confusion, all the way up to God, who alone has fully clear perceptions. He blames in on these confused perceptions. |
| 21059 | General rules of action also need a judgement about when to apply them [Kant] |
| Full Idea: A concept of the understanding, which contains the general rule, must be supplemented by an act of judgement whereby the practitioner distinguishes instances where the rule applies from those where it does not. | |
| From: Immanuel Kant (True in Theory, but not in Practice [1792], Intro) | |
| A reaction: This is Aristotle's phronesis, and Hart's 'rules of recognition' in law courts. So is the link between theory and practice an intellectual one, or a sort of inarticulate intuition? I like 'common sense' for this ability. |
| 21061 | Duty does not aim at an end, but gives rise to universal happiness as aim of the will [Kant] |
| Full Idea: My conception of duty does not need to be based on any particular end, but rather itself occasions a new end for the human will, that of striving with all one's power towards the highest good possible on earth, the universal happiness of the whole world. | |
| From: Immanuel Kant (True in Theory, but not in Practice [1792], 1B) | |
| A reaction: I see nothing in the categorical imperative that demands 'all one's power', and nothing that specifies happiness as what has to be universalised. Nietzsche, for one, thinks happiness is overrated. |
| 21060 | It can't be a duty to strive after the impossible [Kant] |
| Full Idea: It would not be a duty to strive after a certain effect of our will if this effect were impossible in experience. | |
| From: Immanuel Kant (True in Theory, but not in Practice [1792], Intro) | |
| A reaction: 'Ought implies can' has become a familiar slogan. The quickest way to get shot of a tiresome duty is to persuade yourself that it is impossible. The seemingly impossible is occasionally achieved. |
| 21062 | The will's motive is the absolute law itself, and moral feeling is receptivity to law [Kant] |
| Full Idea: The will must have motives. But these are not objects of physical feeling as predetermined ends in themselves. They are none other than the absolute law itself, and the will's receptivity to it as an absolute compulsion is known as moral feeling. | |
| From: Immanuel Kant (True in Theory, but not in Practice [1792], 1Bb) | |
| A reaction: This sounds like our natural motivation to get the right answer when doing arithmetic, which is the innate motivation towards truth. I once heard it said that truth is the only value. So why does Donald Trump fail to value truth? |
| 21071 | There can be no restraints on freedom if reason does not reveal some basic rights [Kant] |
| Full Idea: If there is nothing which commands immediate respect through reason, such as the basic rights of man, no influence can prevail upon man's arbitrary will and restrain his freedom. | |
| From: Immanuel Kant (True in Theory, but not in Practice [1792], 2-Concl) | |
| A reaction: I think this is the nearest Kant gets to natural rights. It is hard to see how basic rights can be identified by pure reason, without some inbuilt human values. Kant's usual move is to say denial of them leads to a contradiction, but I'm going off that. |
| 21063 | Personal contracts are for some end, but a civil state contract involves a duty to share [Kant] |
| Full Idea: In all social contracts, we find a union of many individuals for some common end which they all share. But a union as an end in itself which they all ought to share …is only found in a society insofar as it constitutes a civil state i.e. a commonwealth. | |
| From: Immanuel Kant (True in Theory, but not in Practice [1792], 2 Intro) | |
| A reaction: This makes a nice link between the contractarian individual morality of Hobbes and his social contract view of society. Kant seems to reject the first but accept the second. Presumably because the first implies benefit and the second implies duty. |
| 21068 | There must be a unanimous contract that citizens accept majority decisions [Kant] |
| Full Idea: The actual principle of being content with majority decisions must be accepted unanimously and embodied in a contract, and this itself must be the ultimate basis on which a civil constitution is established. | |
| From: Immanuel Kant (True in Theory, but not in Practice [1792], 2-3) | |
| A reaction: This is the contract which combines a social contract with democracy. We unanimously agree not to be unanimous? Cf Idea 21065. What should the minority do when the majority elect criminal Nazi leaders? |
| 21069 | A contract is theoretical, but it can guide rulers to make laws which the whole people will accept [Kant] |
| Full Idea: The original contract …is merely an idea of reason, which nonetheless has undoubted practical reality; for it can oblige every legislator to frame his laws in such a way that they could have been produced by the united will of a whole nation. | |
| From: Immanuel Kant (True in Theory, but not in Practice [1792], 2-Concl) | |
| A reaction: The contractualist theory of morality of Thomas Scanlon approaches this. Note that Kant says it 'can' oblige the legislators. Nothing would compel them to follow such a principle. |
| 21070 | A law is unjust if the whole people could not possibly agree to it [Kant] |
| Full Idea: If the law is such that a whole people could not possibly agree to it …it is unjust. | |
| From: Immanuel Kant (True in Theory, but not in Practice [1792], 2-Concl) | |
| A reaction: Kant is explicitly trying to approximate Rousseau's general will. The categorical imperative was greatly influenced by Rousseau. The key point is not whether they accept it, but that unanimous acceptance is unthinkable. Unfair laws will fail. |
| 21067 | A citizen must control his own life, and possess property or an important skill [Kant] |
| Full Idea: The only qualification required by a citizen (apart, of course, from being an adult male) is that he must be his own master, and must have some property (which can include any skill, trade, fine art or science) to support himself. | |
| From: Immanuel Kant (True in Theory, but not in Practice [1792], 2-3) | |
| A reaction: Of course! Being one's own master evidently allows for being an employee, as long as this is a free contract, and not exploitation. Invites lots of interesting test cases. We need a Marxist commentary on this idea. |
| 21064 | A lawful civil state must embody freedom, equality and independence for its members [Kant] |
| Full Idea: The civil state, regarded purely as a lawful state, is based on the following a priori principles. 1) the freedom of every member as a human being, 2) the equality of each as a subject, 3) the independence of each as a subject. | |
| From: Immanuel Kant (True in Theory, but not in Practice [1792], 2 Intro) | |
| A reaction: Written in 1792, three years after the start of the French Revolution. He says that a state with an inbuilt hierarchy or aristocracy is unlawful. Which freedoms, equality in what respects, and independence from what? |
| 21066 | Citizens can rise to any rank that talent, effort and luck can achieve [Kant] |
| Full Idea: Every member of the commonwealth must be entitled to reach any degree of rank which a subject can earn through his talent, his industry and his good fortune. | |
| From: Immanuel Kant (True in Theory, but not in Practice [1792], 2-2) | |
| A reaction: This is equality of opportunity, which is a mantra for liberals, but has been subjected to good criticisms in modern times. The main question is whether there is formal and legal equality, or actual practical equality. |
| 21065 | You can't make a contract renouncing your right to make contracts! [Kant] |
| Full Idea: No one can voluntarily renounce his rights by a contract ..to the effect that he has no rights but only duties, for such a contract would deprive him of the right to make a contract, and would thus invalidate the one he had already made. | |
| From: Immanuel Kant (True in Theory, but not in Practice [1792], 2-2) | |
| A reaction: Kant tries to establish all of his principles by showing that their denial is contradictory. But this example is blatantly wrong. King Lear didn't nullify his previous legislation when he abdicated, and his two daughters legally kept their territories. |
| 21072 | The people (who have to fight) and not the head of state should declare a war [Kant] |
| Full Idea: Each state must be organised so that the head of state, for whom the war costs nothing (for he wages it at the expense of the people) must no longer have the deciding vote on whether war is to be declared or not, for the people who pay for it must decide. | |
| From: Immanuel Kant (True in Theory, but not in Practice [1792], 3) | |
| A reaction: I would guess that he has Louis XIV particularly in mind. Imagine if Kant's proposal had been implemented in 1914. A referendum takes ages, and the people would need the facts (from the intelligence agencies). |
| 19439 | God produces possibilities, and thus ideas [Leibniz] |
| Full Idea: God is the source of possibilities and consequently of ideas. | |
| From: Gottfried Leibniz (Letters to Remond de Montmort [1715], 1715 §8) | |
| A reaction: A wonderfully individual conception of the nature of God. He produces the possibilities from which creation is chosen, and ideas and concepts are of everything which is non-contradictory, and thus possible. It all makes lovely sense! |