19 ideas
| 8868 | Objective truth arises from interpersonal communication [Davidson] |
| Full Idea: The source of the concept of objective truth is interpersonal communication. | |
| From: Donald Davidson (Three Varieties of Knowledge [1991], p.209) | |
| A reaction: This is a distinctively Davidsonian idea, arising out of Wittgenstein's Private Language Argument. We could go a step further, and just say that 'objectivity is a social concept'. Davidson more or less pleads guilty to pragmatism in this essay. |
| 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'. |
| 8867 | A belief requires understanding the distinctions of true-and-false, and appearance-and-reality [Davidson] |
| Full Idea: Having a belief demands in addition appreciating the contrast between true belief and false, between appearance and reality, mere seeming and being. | |
| From: Donald Davidson (Three Varieties of Knowledge [1991], p.209) | |
| A reaction: This sets the bar very high for belief (never mind knowledge), and seems to imply that animals don't have beliefs. How should we describe their cognitive states then? I would say these criteria only apply to actual knowledge. |
| 10347 | Objectivity is intersubjectivity [Davidson] |
| Full Idea: An entity is objective in so far as it is intersubjective. | |
| From: Donald Davidson (Three Varieties of Knowledge [1991]), quoted by Martin Kusch - Knowledge by Agreement Ch.10 | |
| A reaction: This thought baffled me until I saw it in the context of socialised epistemology. Effectively objectivity is subsumed under justification, which in turn is seen in a social context, not private to individuals. |
| 8866 | If we know other minds through behaviour, but not our own, we should assume they aren't like me [Davidson] |
| Full Idea: If the mental states of others are known only through their behavioral and other outward manifestations, while this is not true of our own mental states, why should we think our own mental states are anything like those of others? | |
| From: Donald Davidson (Three Varieties of Knowledge [1991], p.207) | |
| A reaction: His point is that if you seriously doubt other minds, you should follow through on the implications. But that is to treat it as a theory about other minds, rather an a sceptical worry. Descartes didn't walk into walls while writing Meditation 1. |
| 10346 | Knowing other minds rests on knowing both one's own mind and the external world [Davidson, by Dummett] |
| Full Idea: Davidson argues that knowledge of other minds presupposes knowledge of one's own mind, and that there is no knowledge of other minds without knowledge of the external world. | |
| From: report of Donald Davidson (Three Varieties of Knowledge [1991]) by Michael Dummett - Common Sense and Physics Ch.10 | |
| A reaction: Davidson't argument is actually hard to swallow because it is so long and complex. Compressing the point makes it begin to sound like a variant of the argument from analogy. |
| 5210 | We could know what a lion thinks by mapping both its brain patterns and its experiences [Douglas,A] |
| Full Idea: In principle, it seems possible to monitor both the brain activity and the external experiences of a lion cub from birth, and by extensive mapping of one against the other to work out fairly accurately what a lion is thinking. | |
| From: Andy Douglas (talk [2003]) | |
| A reaction: This has limitations (e.g. we could monitor the external events, but not the way the lion experiences them), but it seems to me to offer a real theoretical possibility of breaching the mental privacy of an inarticulate creature. |
| 8870 | Content of thought is established through communication, so knowledge needs other minds [Davidson] |
| Full Idea: Until a baseline has been established by communication with someone else, there is no point is saying one's own thoughts have a propositional content. Hence knowledge of another mind is essential all thought and all knowledge. | |
| From: Donald Davidson (Three Varieties of Knowledge [1991], p.213) | |
| A reaction: This really is building a skyscraper on the slightly shaky claims of the Private Language Argument (e.g. Idea 4158). Animals are so important in discussions of this kind. Is an albatross more or less devoid of thought and belief? |
| 8869 | The principle of charity attributes largely consistent logic and largely true beliefs to speakers [Davidson] |
| Full Idea: Concerning charity, the Principle of Coherence seeks logical consistency in the thought of the speaker, and the Principle of Correspondence seeks a similar response to features of the world to that of an interpreter. The speaker has logic and true belief. | |
| From: Donald Davidson (Three Varieties of Knowledge [1991], p.211) | |
| A reaction: Davidson adds a Kantian commitment to pure and universal reason to the very sceptical framework created by Quine. I agree with Davidson, but it seems more like faith than like an argument or an empirical observation. |