display all the ideas for this combination of philosophers
14 ideas
| 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!] |
| 9013 | We can eliminate 'or' from our basic theory, by paraphrasing 'p or q' as 'not(not-p and not-q)' [Quine] |
| Full Idea: The construction of 'alternation' (using 'or') is useful in practice, but superfluous in theory. It can be paraphrased using only negation and conjunction. We say that 'p or q' is paraphrased as 'not(not-p and not-q)'. | |
| From: Willard Quine (Philosophy of Logic [1970], Ch.2) | |
| A reaction: Quine treats 'not' and 'and' as the axiomatic logical connectives, and builds the others from those, presumably because that is the smallest number he could get it down to. I quite like it, because it seems to mesh with basic thought procedures. |
| 10928 | Maybe we can quantify modally if the objects are intensional, but it seems unlikely [Quine] |
| Full Idea: Perhaps there is no objection to quantifying into modal contexts as long as the values of any variables thus quantified are limited to intensional objects, but they also lead to disturbing examples. | |
| From: Willard Quine (Reference and Modality [1953], §3) | |
| A reaction: [Quine goes on to give his examples] I take it that possibilities are features of actual reality, not merely objects of thought. The problem is that they are harder to know than actual objects. |
| 5745 | Quine says quantified modal logic creates nonsense, bad ontology, and false essentialism [Melia on Quine] |
| Full Idea: Quine charges quantified modal systems of logic with giving rise to unintended sense or nonsense, committing us to an incomprehensible ontology, and entailing an implausible or unsustainable Aristotelian essentialism. | |
| From: comment on Willard Quine (Existence and Quantification [1966]) by Joseph Melia - Modality Ch.3 | |
| A reaction: A nice summary. Personally I like essentialism in accounts of science (see Nature|Laws of Nature|Essentialism), so would like to save it in metaphysics. Possible worlds ontology may be very surprising, rather than 'incomprehensible'. |
| 13591 | Quantified modal logic collapses if essence is withdrawn [Quine] |
| Full Idea: The whole of quantified modal logic collapses if essence is withdrawn. | |
| From: Willard Quine (Intensions Revisited [1977], p.121) | |
| A reaction: Quine offers an interesting qualification to this crushing remark in Idea 13590. The point is that objects must retain their identity in modal contexts, as if I say 'John Kennedy might have been Richard Nixon'. What could that mean? |
| 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. |
| 3302 | Set theory is full of Platonist metaphysics, so Quine aimed to keep it separate from logic [Quine, by Benardete,JA] |
| Full Idea: Quine has showed us how set theory - now recognised to be positively awash in Platonistic metaphysics - can and should be prevented from infecting logic proper. | |
| From: report of Willard Quine (works [1961]) by José A. Benardete - Metaphysics: the logical approach Intro |
| 9879 | NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett] |
| Full Idea: Quine's New Foundations system of set theory, devised with no model in mind, but on the basis of a hunch that a purely formal restriction on the comprehension axiom would block all contradictions. | |
| From: report of Willard Quine (New Foundations for Mathematical Logic [1937]) by Michael Dummett - Frege philosophy of mathematics Ch.18 | |
| A reaction: The point is that Quine (who had an ontological preference for 'desert landscapes') attempted to do without an ontological commitment to objects (and their subsequent models), with a purely formal system. Quine's NF is not now highly regarded. |
| 10211 | Quine wants V = L for a cleaner theory, despite the scepticism of most theorists [Quine, by Shapiro] |
| Full Idea: Quine suggests that V = L be accepted in set theory because it makes for a cleaner theory, even though most set theorists are skeptical of V = L. | |
| From: report of Willard Quine (works [1961]) by Stewart Shapiro - Philosophy of Mathematics Ch.1 | |
| A reaction: Shapiro cites it as a case of a philosopher trying to make recommendations to mathematicians. Maddy supports Quine. |
| 21717 | Reducibility undermines type ramification, and is committed to the existence of functions [Quine, by Linsky,B] |
| Full Idea: Quine charges that the axiom of Reducibility both undoes the effect of the ramification, and commits the theory to a platonist view of propositional functions (which is a theory of sets, once use/mention confusions are cleared up). | |
| From: report of Willard Quine (Set Theory and its Logic [1963], p.249-58) by Bernard Linsky - Russell's Metaphysical Logic 6.1 |
| 18170 | The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine] |
| Full Idea: The Axiom of Reducibility is self-effacing: if it is true, the ramification it is meant to cope with was pointless to begin with. | |
| From: Willard Quine (Introduction to Russell's Theory of Types [1967], p.152), quoted by Penelope Maddy - Naturalism in Mathematics I.1 | |
| A reaction: Maddy says the rejection of Reducibility collapsed the ramified theory of types into the simple theory. |
| 21695 | The set scheme discredited by paradoxes is actually the most natural one [Quine] |
| Full Idea: Each proposed revision of set theory is unnatural, because the natural scheme is the unrestricted one that the antinomies discredit. | |
| From: Willard Quine (The Ways of Paradox [1961], p.16) | |
| A reaction: You can either takes this free-far-all version of set theory, and gradually restrain it for each specific problem, or start from scratch and build up in safe steps. The latter is (I think) the 'iterated' approach. |
| 21693 | Russell's antinomy challenged the idea that any condition can produce a set [Quine] |
| Full Idea: In the case of Russell's antinomy, the tacit and trusted pattern of reasoning that is found wanting is this: for any condition you can formulate, there is a class whose members are the things meeting the condition. | |
| From: Willard Quine (The Ways of Paradox [1961], p.11) | |
| A reaction: This is why Russell's Paradox is so important for set theory, which in turn makes it important for the foundations of mathematics. |
| 3336 | Two things can never entail three things [Quine, by Benardete,JA] |
| Full Idea: Two things can never entail three things. | |
| From: report of Willard Quine (works [1961]) by José A. Benardete - Metaphysics: the logical approach Ch.17 |