22 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'. |
22100 | Experienced time means no two mental moments are ever alike [Bergson] |
Full Idea: If duration [experienced time] is what we say, deep-seated psychic states are radically heterogeneous to each other, and it is impossible that any two of them should be quite alike, since they are two different moments in a life-story. | |
From: Henri Bergson (Time and Free Will [1889], p.220), quoted by Pete A.Y. Gunter - Bergson p.174 | |
A reaction: This implies that we are intrinsically unpredictable, and there certainly can't be a regularity account of mental causation. The sense of time is said to make the self radically different from the rest of reality. Bergson later rejected dualism. |
23529 | Conduct is not isolated from its effect on the moral code [Hart,HLA] |
Full Idea: We must not view conduct in isolation from its effect on the moral code. | |
From: H.L.A. Hart (Law,Liberty and Morality [1963], II 'Moderate') | |
A reaction: The moral code may be excessively conservative, but there is no denying this point. Extreme individualistic libertarians must recognise that 'no man is an island'. |
23530 | The great danger of democracy is that the oppression of the minority becomes unobjectionable [Hart,HLA] |
Full Idea: For Mill and De Tocqueville the greatest of the dangers was not that in fact the majority might use their power to oppress a minority, but that, with the spread of democratic ideas, it might come to be thought unobjectionable that they should do so. | |
From: H.L.A. Hart (Law,Liberty and Morality [1963], III 'Populism') | |
A reaction: This was vivid in the 2016 Brexit referendum, which was 52-48 in favour of leaving. There were lots voices saying 'you lost, get over it'. It should be a basic (if neglected) principle that the winners of elections now represent the whole population. |
23522 | In an organised society all actions have some effect on other people [Hart,HLA] |
Full Idea: In an organised society it is impossible to identify classes of actions which harm no one, or no one but the individual who does them. | |
From: H.L.A. Hart (Law,Liberty and Morality [1963], I 'Enforcement') | |
A reaction: This is attributed to 'some critics' of Mill. I agree with this. The idea that actions performed behind close doors never come to influence social life is an illusion, held by people whose quest for freedom is selfish. |
23528 | The value of liberty allows freedom of action, even if that distresses other people [Hart,HLA] |
Full Idea: Recognition of individual liberty as a value involves, as a minimum, acceptance of the principle that the individual may do what he wants, even if others are distressed when the learn what it is that he does. | |
From: H.L.A. Hart (Law,Liberty and Morality [1963], II 'Private') | |
A reaction: He notes that there could be other reasons to block the freedom, such as harm done. This idea seems to identify a key component of liberalism - that we must all tolerate actions which we dislike. |
23523 | The principle of legality requires crimes to be precisely defined in advance of any action [Hart,HLA] |
Full Idea: The principle of legality requires criminal offences to be as precisely defined as possible, so that it can be known with reasonable certainty beforehand what acts are criminal and what are not. | |
From: H.L.A. Hart (Law,Liberty and Morality [1963], I 'Conspiracy') | |
A reaction: Hart is discussing a breach of this, where moral judgements are used to condemn something which was not obviously illegal. Families and schools don't have such precise rules, but it seems needed in a vast and pluralistic society. |
23524 | Some private moral issues are no concern of the law [Hart,HLA] |
Full Idea: An official report [of 1957] on homosexuality declared that 'there must remain a realm of private morality and immorality which is, in brief and crude terms, not the law's business'. | |
From: H.L.A. Hart (Law,Liberty and Morality [1963], I 'Conspiracy') | |
A reaction: We might wonder whether these issues are actually moral, if the law is not interested in them. Are they just a matter of taste? The law doesn't enforce a preference for Mozart over Salieri. |
23521 | Do morals influence law? Is morality an aspect of law? Can law be morally criticised? [Hart,HLA] |
Full Idea: Four questions: 1) Has the development of law been influenced by morals? 2) Must reference to morality enter into an adequate definition of law or legal system? 3) Is law open to moral criticism? 4) Does immorality justify legal punishment? | |
From: H.L.A. Hart (Law,Liberty and Morality [1963], I 'Enforcement') | |
A reaction: [compressed] Three nice questions, which are his agenda for the book. It is obvious that immoral laws can be created, and that laws can be criticised for being too concerned with morality, so there is no clear general answer to these dilemmas. |
23525 | Is the enforcement of morality morally justifiable? [Hart,HLA] |
Full Idea: The question about morality and the law is also a question of morality - of whether the enforcement of morality is morally justified. | |
From: H.L.A. Hart (Law,Liberty and Morality [1963], I 'Positive') | |
A reaction: This is a very nice meta-moral question. What moral standards are used to justify the enforcement of moral standards? Presumably there should be no contradiction between the levels, to brutally enforce softness, or softly recommend brutality? |
23526 | Modern law still suppresses practices seen as immoral, and yet harmless [Hart,HLA] |
Full Idea: English and American law still [in1963] contain rules which suppress practices condemned as immoral by positive morality though they involve nothing that would be ordinarily thought of as harm to other persons. | |
From: H.L.A. Hart (Law,Liberty and Morality [1963], II 'Use') | |
A reaction: He says most of the examples of this concern sexual practices. In the UK we have moved away from such laws, but many states of the USA still maintain them (or are reintroducing them, in 2023). |
23527 | Moral wickedness of an offence is always relevant to the degree of punishment [Hart,HLA] |
Full Idea: Leslie Stephen argued that when the question is how severely an offender should be punished, an estimate of the degree of moral wickedness involved in the crime is always relevant. | |
From: H.L.A. Hart (Law,Liberty and Morality [1963], II 'Moral') | |
A reaction: [Stephen 'Liberty, Equality, Fraternity' 1873] The degree of responsibility (after excuses etc.) is obviously also highly relevant. If vicious murder is punished more harshly, that seems to be an assessment of the character of the murderer. |