20 ideas
| 20109 | Hegel inserted society and history between the God-world, man-nature, man-being binary pairs [Hegel, by Safranski] |
| Full Idea: Before Hegel, people thought in binary oppositions of God and the world, man and nature, man and being. After Hegel an intervening world of society and history was inserted between these pairs. | |
| From: report of Georg W.F.Hegel (Introduction to the Philosophy of History [1840]) by Rüdiger Safranski - Nietzsche: a philosophical biography 05 | |
| A reaction: This is what Popper later called 'World Three'. This might be seen as the start of what we islanders call 'continental' philosophy, which we have largely ignored. Analytic philosophy only discovered this through philosophy of language. |
| 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'. |
| 19708 | Rational internal belief is conviction that a proposition enhances a belief system [Foley, by Vahid] |
| Full Idea: In Foley's subjective internalist account it is egocentrically rational for an agent to believe a proposition only if he would think on deep reflection that believing it is conducive to having an accurate and comprehensive belief system. | |
| From: report of Richard Foley (The Theory of Epistemic Rationality [1987], 2.1 B) by Hamid Vahid - Externalism/Internalism | |
| A reaction: I like this idea, because it indicates the link between internalism and coherence about justification. I don't think you can be an externalist coherence theorist for justification. [Reminder: Paul Thagard is the best writer on coherence]. |
| 23274 | World history has no room for happiness [Hegel] |
| Full Idea: World history is not the place for happiness. Periods of happiness are empty pages in history. | |
| From: Georg W.F.Hegel (Introduction to the Philosophy of History [1840], 3) | |
| A reaction: Clearly, Hegel thinks the progress of world history is much more important than happiness. This idea gives backing to those who don't care much about the casualties on either side in a major war. |
| 23275 | The state of nature is one of untamed brutality [Hegel] |
| Full Idea: The 'state of nature' is not an ideal condition, but a condition of injustice, of violence, of untamed natural drives, inhuman acts and emotions. | |
| From: Georg W.F.Hegel (Introduction to the Philosophy of History [1840], 3) | |
| A reaction: He agrees with Hobbes, and disagrees with Rousseau. Hobbes's solution is authoritarian monarchy, but Hegel's solution is the unified and focused state, in which freedom can be realised. |
| 23276 | The soul of the people is an organisation of its members which produces an essential unity [Hegel] |
| Full Idea: The soul [of the people] exists only insofar as it is an organisation of its members, which - by taking itself together in its simple unity - produce the soul. Thus the people is one individuality in its essence. | |
| From: Georg W.F.Hegel (Introduction to the Philosophy of History [1840], 3) | |
| A reaction: Hegel is seen (e.g. by Charles Taylor) as the ancestor of a rather attractive communitarianism, but I think Popper is more accurate in seeing him as the first stage of modern totalitarianism. The people seen as one individual terrifies me. |
| 23272 | The human race matters, and individuals have little importance [Hegel] |
| Full Idea: Individuals are of slight importance compared to the mass of the human race. | |
| From: Georg W.F.Hegel (Introduction to the Philosophy of History [1840], 3) | |
| A reaction: A perfect statement of the anti-liberal viewpoint. Hegel is complex, but this is the strand that leads to ridiculous totalitarianism, where the highest ideal is to die for the glory of your nation. Importance can only start from individuals. |
| 23273 | In a good state the goal of the citizens and of the whole state are united [Hegel] |
| Full Idea: A state is well constituted and internally strong if the private interest of the citizens is united in the universal goal of the state. | |
| From: Georg W.F.Hegel (Introduction to the Philosophy of History [1840], 3) | |
| A reaction: The obvious question is who decides on the goals, and what to do with the citizens who don't accept them. |
| 23271 | The goal of the world is Spirit's consciousness and enactment of freedom [Hegel] |
| Full Idea: The final goal of the world is Spirit's consciousness of its freedom, and hence also the actualisation of that very freedom. | |
| From: Georg W.F.Hegel (Introduction to the Philosophy of History [1840], 3) | |
| A reaction: I have the impression that this ridiculous idea has been very influential in modern French philosophy, since they all seem to be dreaming of some perfect freedom at the end of the rainbow. Freedom is good, but this gives it a bad name. |
| 23270 | We should all agree that there is reason in history [Hegel] |
| Full Idea: We ought to have the firm and unconquerable belief that there is reason in history. | |
| From: Georg W.F.Hegel (Introduction to the Philosophy of History [1840], 2) | |
| A reaction: This is a ridiculous but hugely influential idea, and I have no idea what makes Hegel believe it. It is the Stoic idea that nature is intrinsically rational, but extending it to human history is absurd. Human exceptionalism. Needs a dose of Darwin. |