18 ideas
8996 | If if time is money then if time is not money then time is money then if if if time is not money... [Quine] |
Full Idea: If if time is money then if time is not money then time is money then if if if time is not money then time is money then time is money then if time is money then time is money. | |
From: Willard Quine (Truth by Convention [1935], p.95) | |
A reaction: Quine offers this with no hint of a smile. I reproduce it for the benefit of people who hate analytic philosophy, and get tired of continental philosophy being attacked for its obscurity. |
8995 | Definition by words is determinate but relative; fixing contexts could make it absolute [Quine] |
Full Idea: A definition endows a word with complete determinacy of meaning relative to other words. But we could determine the meaning of a new word absolutely by specifying contexts which are to be true and contexts which are to be false. | |
From: Willard Quine (Truth by Convention [1935], p.89) | |
A reaction: This is the beginning of Quine's distinction between the interior of 'the web' and its edges. The attack on the analytic/synthetic distinction will break down the boundary between the two. Surprising to find 'absolute' anywhere in Quine. |
8956 | What is a singleton set, if a set is meant to be a collection of objects? [Szabó] |
Full Idea: The relationship between an object and its singleton is puzzling. Our intuitive conception of a set is a collection of objects - what are we to make of a collection of a single object? | |
From: Zoltán Gendler Szabó (Nominalism [2003], 4.1) | |
A reaction: The ontological problem seems to be the same as that of the empty set, and indeed the claim that a pair of entities is three things. For logicians the empty set is as real as a pet dog, but not for me. |
8758 | We could talk of open sentences, instead of sets [Chihara, by Shapiro] |
Full Idea: Chihara's programme is to replace talk of sets with talk of open sentences. Instead of speaking of the set of all cats, we talk about the open sentence 'x is a cat'. | |
From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Thinking About Mathematics 9.2 | |
A reaction: As Shapiro points out, this is following up Russell's view that sets should be replaced with talk of properties. Chihara is expressing it more linguistically. I'm in favour of any attempt to get rid of sets. |
10064 | Quine quickly dismisses If-thenism [Quine, by Musgrave] |
Full Idea: Quine quickly dismisses If-thenism. | |
From: report of Willard Quine (Truth by Convention [1935], p.327) by Alan Musgrave - Logicism Revisited §5 | |
A reaction: [Musgrave quotes a long chunk of Quine which is hard to compress!] Effectively, he says If-thenism is cheating, or begs the question, by eliminating whole sections of perfectly good mathematics, because they cannot be derived from axioms. |
20296 | Logic needs general conventions, but that needs logic to apply them to individual cases [Quine, by Rey] |
Full Idea: Quine argues that logic could not be established by conventions, since the logical truths, being infinite in number, must be given by general conventions rather than singly; and logic is needed in the meta-theory, to apply to individual cases. | |
From: report of Willard Quine (Truth by Convention [1935]) by Georges Rey - The Analytic/Synthetic Distinction 3.4 | |
A reaction: A helpful insight into Quine's claim. If only someone would print these one sentence summaries at the top of classic papers, we would all get far more out of them at first reading. Assuming Rey is right! |
8998 | Claims that logic and mathematics are conventional are either empty, uninteresting, or false [Quine] |
Full Idea: If logic and mathematics being true by convention says the primitives can be conventionally described, that works for anything, and is empty; if the conventions are only for those fields, that's uninteresting; if a general practice, that is false. | |
From: Willard Quine (Truth by Convention [1935], p.102) | |
A reaction: This is Quine's famous denial of the traditional platonist view, and the new Wittgensteinian conventional view, preparing the ground for a more naturalistic and empirical view. I feel more sympathy with Quine than with the other two. |
8999 | Logic isn't conventional, because logic is needed to infer logic from conventions [Quine] |
Full Idea: If logic is to proceed mediately from conventions, logic is needed for inferring logic from the conventions. Conventions for adopting logical primitives can only be communicated by free use of those very idioms. | |
From: Willard Quine (Truth by Convention [1935], p.104) | |
A reaction: A common pattern of modern argument, which always seems to imply that nothing can ever get off the ground. I suspect that there are far more benign circles in the world of thought than most philosophers imagine. |
9000 | If a convention cannot be communicated until after its adoption, what is its role? [Quine] |
Full Idea: When a convention is incapable of being communicated until after its adoption, its role is not clear. | |
From: Willard Quine (Truth by Convention [1935], p.106) | |
A reaction: Quine is discussing the basis of logic, but the point applies to morality - that if there is said to be a convention at work, the concepts of morality must already exist to get the conventional framework off the ground. What is it that comes first? |
8994 | If analytic geometry identifies figures with arithmetical relations, logicism can include geometry [Quine] |
Full Idea: Geometry can be brought into line with logicism simply by identifying figures with arithmetical relations with which they are correlated thought analytic geometry. | |
From: Willard Quine (Truth by Convention [1935], p.87) | |
A reaction: Geometry was effectively reduced to arithmetic by Descartes and Fermat, so this seems right. You wonder, though, whether something isn't missing if you treat geometry as a set of equations. There is more on the screen than what's in the software. |
8997 | There are four different possible conventional accounts of geometry [Quine] |
Full Idea: We can construe geometry by 1) identifying it with algebra, which is then defined on the basis of logic; 2) treating it as hypothetical statements; 3) defining it contextually; or 4) making it true by fiat, without making it part of logic. | |
From: Willard Quine (Truth by Convention [1935], p.99) | |
A reaction: [Very compressed] I'm not sure how different 3 is from 2. These are all ways to treat geometry conventionally. You could be more traditional, and say that it is a description of actual space, but the multitude of modern geometries seems against this. |
8993 | If mathematics follows from definitions, then it is conventional, and part of logic [Quine] |
Full Idea: To claim that mathematical truths are conventional in the sense of following logically from definitions is the claim that mathematics is a part of logic. | |
From: Willard Quine (Truth by Convention [1935], p.79) | |
A reaction: Quine is about to attack logic as convention, so he is endorsing the logicist programme (despite his awareness of Gödel), but resisting the full Wittgenstein conventionalist picture. |
10265 | Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro] |
Full Idea: Chihara's system is a version of type theory. Translate thus: replace variables of sets of type n with level n variables over open sentences, replace membership/predication with satisfaction, and high quantifiers with constructability quantifiers. | |
From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Philosophy of Mathematics 7.4 |
8759 | We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro] |
Full Idea: Chihara's system is similar to simple type theory; he replaces each type with variables over open sentences, replaces membership (or predication) with satisfaction, and replaces quantifiers over level 1+ variables with constructability quantifiers. | |
From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Thinking About Mathematics 9.2 | |
A reaction: This is interesting for showing that type theory may not be dead. The revival of supposedly dead theories is the bread-and-butter of modern philosophy. |
10264 | Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro] |
Full Idea: Chihara has proposal a modal primitive, a 'constructability quantifier'. Syntactically it behaves like an ordinary quantifier: Φ is a formula, and x a variable. Then (Cx)Φ is a formula, read as 'it is possible to construct an x such that Φ'. | |
From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Philosophy of Mathematics 7.4 | |
A reaction: We only think natural numbers are infinite because we see no barrier to continuing to count, i.e. to construct new numbers. We accept reals when we know how to construct them. Etc. Sounds promising to me (though not to Shapiro). |
8953 | Abstract entities don't depend on their concrete entities ...but maybe on the totality of concrete things [Szabó] |
Full Idea: It is better not to include in the definition of abstract entities that they ontologically depend on their concrete correlates. Note: ..but they may depend on the totality of concreta; maybe 'the supervenience of the abstract' is part of ordinary thought. | |
From: Zoltán Gendler Szabó (Nominalism [2003], 2.2) | |
A reaction: [the quoted phrase is from Gideon Rosen] It certainly seems unlikely that the concept of the perfect hexagon depends on a perfect hexagon having existed. Human minds have intervened between the concrete and the abstract. |
8954 | Geometrical circles cannot identify a circular paint patch, presumably because they lack something [Szabó] |
Full Idea: The vocabulary of geometry is sufficient to identify the circle, but could not be used to identify any circular paint patch. The reason must be that the circle lacks certain properties that can distinguish paint patches from one another. | |
From: Zoltán Gendler Szabó (Nominalism [2003], 2.2) | |
A reaction: I take this to be support for the traditional view, that abstractions are created by omitting some of the properties of physical objects. I take them to be fictional creations, reified by language, and not actual hidden entities that have been observed. |
8955 | Abstractions are imperceptible, non-causal, and non-spatiotemporal (the third explaining the others) [Szabó] |
Full Idea: In current discussions, abstract entities are usually distinguished as 1) in principle imperceptible, 2) incapable of causal interaction, 3) not located in space-time. The first is often explained by the second, which is in turn explained by the third. | |
From: Zoltán Gendler Szabó (Nominalism [2003], 2.2) | |
A reaction: Szabó concludes by offering 3 as the sole criterion of abstraction. As Lewis points out, the Way of Negation for defining abstracta doesn't tell us very much. Courage may be non-spatiotemporal, but what about Alexander the Great's courage? |