18 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. |
| 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. |
| 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? |
| 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?'. |
| 17488 | Empiricist theories are sets of laws, which give explanations and reductions [Glennan] |
| Full Idea: In the empiricist tradition theories were understood to be deductive closures of sets of laws, explanations were understood as arguments from covering laws, and reduction was understood as a deductive relationship between laws of different theories. | |
| From: Stuart Glennan (Mechanisms [2008], 'Intro') | |
| A reaction: A lovely crisp summary of the whole tradition of philosophy of science from Comte through to Hempel. Mechanism and essentialism are the new players in the game. |
| 17493 | Modern mechanism need parts with spatial, temporal and function facts, and diagrams [Glennan] |
| Full Idea: Modern champions of mechanisms say models should identify both the parts and their spatial, temporal and functional organisation, ...and the practical importance of diagrams in addition to or in place of linguistic representations of mechanisms. | |
| From: Stuart Glennan (Mechanisms [2008], 'Discover') | |
| A reaction: Apparently chemists obtain much more refined models by using mathematics than they did by diagrams or 3D models (let alone verbal descriptions). For that reason, I'm thinking that 'model' might be a better term than 'mechanism'. |
| 17487 | Mechanistic philosophy of science is an alternative to the empiricist law-based tradition [Glennan] |
| Full Idea: To a significant degree, a mechanistic philosophy of science can be seen as an alternative to an earlier logical empiricist tradition in philosophy of science that gave pride of place to laws of nature. | |
| From: Stuart Glennan (Mechanisms [2008], 'Intro') | |
| A reaction: Lovely! Someone who actually spells out what's going on here. Most philosophers are far too coy about explaining what their real game is. Mechanism is fine in chemistry and biology. How about in 'mathematical' physics, or sociology? |
| 17489 | Mechanisms are either systems of parts or sequences of activities [Glennan] |
| Full Idea: There are two sorts of mechanisms: systems consist of collections of parts that interact to produce some behaviour, and processes are sequences of activities which produce some outcome. | |
| From: Stuart Glennan (Mechanisms [2008], 'Intro') | |
| A reaction: [compressed] The second one is important because it is more generic, and under that account all kinds the features of the world that need to be explained can be subsumed. E.g. hyperinflation in an economy is a 'mechanism'. |
| 17490 | 17th century mechanists explained everything by the kinetic physical fundamentals [Glennan] |
| Full Idea: 17th century mechanists said that interactions governed by chemical, electrical or gravitational forces would have to be explicable in terms of the operation of some atomistic (or corpuscular) kinetic mechanism. | |
| From: Stuart Glennan (Mechanisms [2008], 'Intro') | |
| A reaction: Glennan says science has rejected this, so modern mechanists do not reduce mechanisms to anything in particular. |
| 17491 | Unlike the lawlike approach, mechanistic explanation can allow for exceptions [Glennan] |
| Full Idea: One of the advantages of the move from nomological to mechanistic modes of explanation is that the latter allows for explanations involving exception-ridden generalizations. | |
| From: Stuart Glennan (Mechanisms [2008], 'regular') | |
| A reaction: The lawlike approach has endless problems with 'ceteris paribus' ('all things being equal') laws, where specifying all the other 'things' seems a bit tricky. |
| 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'? |
| 17494 | Since causal events are related by mechanisms, causation can be analysed in that way [Glennan] |
| Full Idea: Causation can be analyzed in terms of mechanisms because (except for fundamental causal interactions) causally related events will be connected by intervening mechanisms. | |
| From: Stuart Glennan (Mechanisms [2008], 'causation') | |
| A reaction: This won't give us the metaphysics of causation (which concerns the fundamentals), but this strikes me as a very coherent and interesting proposal. He mentions electron interaction as non-mechanistic causation. |
| 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. |
| 7482 | Resurrection developed in Judaism as a response to martyrdoms, in about 160 BCE [Anon (Dan), by Watson] |
| Full Idea: The idea of resurrection in Judaism seems to have first developed around 160 BCE, during the time of religious martyrdom, and as a response to it (the martyrs were surely not dying forever?). It is first mentioned in the book of Daniel. | |
| From: report of Anon (Dan) (27: Book of Daniel [c.165 BCE], Ch.7) by Peter Watson - Ideas | |
| A reaction: Idea 7473 suggests that Zoroaster beat them to it by 800 years. |