22 ideas
22438 | Philosophy is largely concerned with finding the minimum that science could get by with [Quine] |
Full Idea: Philosophy is in large part concerned with ...what science could get along with, could be reconstructed by means of, as distinct from what science has historically made us of. | |
From: Willard Quine (Mr Strawson on Logical Theory [1953], V) | |
A reaction: This nicely summarises the programme for the whole of the philosophy of David Lewis, who was Quine's pupil. If you start by asking what it could 'get by with', it is not surprising that simplicity is the top intellectual virtue for both of them. |
22436 | Logicians don't paraphrase logic into language, because they think in the symbolic language [Quine] |
Full Idea: The logician does not even need to paraphrase the vernacular into his logical notation, for he has learned to think directly in his logical notation, or even (which is the beauty of the thing) to let it think for him. | |
From: Willard Quine (Mr Strawson on Logical Theory [1953], V) | |
A reaction: See Williamson's love of logic (and his book on modal metaphysics). This idea embodies the dream of hardcore Frege-Russellian analytic philosophers. I wish someone had told me when I studied logic that the target was to actually think symbolically. |
22431 | Good algorithms and theories need many occurrences of just a few elements [Quine] |
Full Idea: The power and simplicity of an algorithm, or indeed of any theory, depend on there being many occurrences of few elements rather than few occurrences of many. | |
From: Willard Quine (Mr Strawson on Logical Theory [1953], III) | |
A reaction: Not sure how this applies to a software function. One which produces a good result from a large number of input variables sounds particularly impressive to me. Many occurrences of a single variable sounds rather inefficient. |
3745 | Must sentences make statements to qualify for truth? [O'Connor] |
Full Idea: Maybe a sentence is not a candidate for truth until it is used to make a statement. | |
From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.6) |
3742 | Beliefs must match facts, but also words must match beliefs [O'Connor] |
Full Idea: Our beliefs must claim a correspondence with facts, and then the verbal expression of the belief must correspond to the belief itself. | |
From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.4) |
3744 | The semantic theory requires sentences as truth-bearers, not propositions [O'Connor] |
Full Idea: The Semantic Theory of truth requires that sentences are truth-bearers (rather than statements, or propositions). | |
From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.6) |
3749 | What does 'true in English' mean? [O'Connor] |
Full Idea: We do not seem to have any use in ordinary discourse for phrases like 'true in English', 'false in German'. | |
From: D.J. O'Connor (The Correspondence Theory of Truth [1975], II.1) |
22435 | The logician's '→' does not mean the English if-then [Quine] |
Full Idea: The logician drops 'if-then' in favour of '→' without ever entertaining the mistaken idea that they are synonymous. | |
From: Willard Quine (Mr Strawson on Logical Theory [1953], V) | |
A reaction: [Quine uses the older horseshoe symbol] The conditional in English is not well understood, whereas the symbol is unambiguous. A warning to myself, since I have a tendency to translate symbols into English all the time. [p.156 'implies' is worse!] |
22433 | It is important that the quantification over temporal entities is timeless [Quine] |
Full Idea: It would be hard to exaggerate the importance of recognising the timelessness of quantification over temporal entities. | |
From: Willard Quine (Mr Strawson on Logical Theory [1953], IV) | |
A reaction: 'Some moments in this cricket match were crucial'. The domain is not timeless, but consists of moments in this match. Can you say the quantifier is timeless but its domain is not? Only in the sense that 'very' is a timeless word, I think. |
3746 | Logic seems to work for unasserted sentences [O'Connor] |
Full Idea: If sentences can have truth-values only when they occur as asserted, it would be impossible to have a truth-functional basis to logic. | |
From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.6) |
22437 | Logical languages are rooted in ordinary language, and that connection must be kept [Quine] |
Full Idea: A logical language is not independent of ordinary language. It has its roots in ordinary language, and these roots are not to be severed. | |
From: Willard Quine (Mr Strawson on Logical Theory [1953], V) | |
A reaction: Music to my ears. When you study logic, no one has to teach you what the words 'or' and 'if-then' mean, but they are disambiguated by the symbolism. The roots of logic are in ordinary talk of 'and', 'or' and 'not', which is the real world. |
22434 | Reduction to logical forms first simplifies idioms and grammar, then finds a single reading of it [Quine] |
Full Idea: Ordinary language is reduced to logical form in two ways: reduction of the variety of idioms and grammatical constructions, and reduction of each surviving idiom to one fixed and convenient interpretation. | |
From: Willard Quine (Mr Strawson on Logical Theory [1953], V) | |
A reaction: Is there a conflict between a 'fixed' and a 'convenient' result? By 'fixed' I suppose he means it is a commitment (to not waver). What is the logical form of a sentence which is deliberately ambiguous? |
3747 | Events are fast changes which are of interest to us [O'Connor] |
Full Idea: The standard cases of events are physical changes which happen sufficiently fast to be observed as changes, and which are of sufficient interest to us to be noticed or commented on. | |
From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.7) |
8967 | Not all predicates can be properties - 'is non-self-exemplifying', for example [Lowe] |
Full Idea: We cannot assume that every meaningful predicate necessarily expresses a property that some entity could possess. The predicate 'is non-self-exemplifying' is meaningful, yet it would be contradictory for there to be any such property. | |
From: E.J. Lowe (Individuation [2003]) | |
A reaction: This clinches what I would take to be a foregone conclusion - that you can't know what the world contains just by examining the predicates of the English language. However, I suppose predicates are needed to know properties. |
8965 | Neither mere matter nor pure form can individuate a sphere, so it must be a combination [Lowe] |
Full Idea: A sphere's matter could not be what makes it one sphere, since matter lacks intrinsic unity, ..and the form cannot make it that very sphere, since an identical sphere may exemplify that universal. So it is a combination of form and matter. | |
From: E.J. Lowe (Individuation [2003], 5) | |
A reaction: But how do two aspects of the sphere, neither of which has the power to individuate, achieve individuation when they are combined? Like parents, I suppose. Two totally identical spheres can only be individuated by location. |
22432 | Normally conditionals have no truth value; it is the consequent which has a conditional truth value [Quine] |
Full Idea: Ordinarily the conditional is not thought of as true or false at all, but rather the consequent is thought of as conditionally true or false given the antecedent. | |
From: Willard Quine (Mr Strawson on Logical Theory [1953], III) | |
A reaction: At first this seems obvious, but a conditional asserts a relationship between two propositions, and so presumably it is true if that relationship exists. 'Is it actually true that if it is Monday then everyone in the office is depressed?'. |
3743 | We can't contemplate our beliefs until we have expressed them [O'Connor] |
Full Idea: It is only when beliefs are given some symbolic expression that they acquire the precision and stability that enables us to entertain them. | |
From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.5) |
3748 | Without language our beliefs are particular and present [O'Connor] |
Full Idea: Without language we would be restricted to particular beliefs about the here and now. | |
From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.8) |
8968 | If the flagpole causally explains the shadow, the shadow cannot explain the flagpole [Lowe] |
Full Idea: Two distinct entities cannot explain each other, in the same sense of 'explain'. If the height of the flagpole causally explains the length of the shadow, the shadow cannot explain the flagpole, though it may predict the latter. | |
From: E.J. Lowe (Individuation [2003], 12) | |
A reaction: This seems related to the question of the direction of time/causation. Some explanations can be benignly circular, as when a married couple have a passion for chinese food. [S.Bromberger 1966 invented the flagpole case]. |
8966 | Properties are facets of objects, only discussable separately by an act of abstraction [Lowe] |
Full Idea: In no sense is a property a 'constituent' of an object: it is merely a 'facet' or 'aspect' of an object - something which we can talk about or think of separately from that object only by an act of abstraction. | |
From: E.J. Lowe (Individuation [2003], 8) | |
A reaction: This appears to be in tune with traditional abstractionism, even though Lowe is committed to the reality of universals. To what do I refer when I say 'I like your car, apart from its colour'? |
22430 | If we understand a statement, we know the circumstances of its truth [Quine] |
Full Idea: We understand under what circumstances to say of any given statement that it is true, just as clearly as we understand the statement itself. | |
From: Willard Quine (Mr Strawson on Logical Theory [1953], II) | |
A reaction: This probably shouldn't be taken as a theory of meaning (in which Quine doesn't really believe) but as a plausible statement of correlated facts. Hypothetical assertions might be a problem case. 'If only I could be in two places at once'? |
13713 | Quine holds time to be 'space-like': past objects are as real as spatially remote ones [Quine, by Sider] |
Full Idea: Quine's view is that time is 'space-like'. Past objects are as real as present ones; they're just temporally distant, just as spatially distant objects are just as real as the ones around here. | |
From: report of Willard Quine (Mr Strawson on Logical Theory [1953]) by Theodore Sider - Logic for Philosophy 7.3.1 | |
A reaction: Something is a wrong with a view that says that a long-dead person is just as real as one currently living. Death is rather more than travelling to a distant place. Arthur Prior responded to Quine by saying 'tense operators' are inescapable. |