Combining Texts

Ideas for 'teachings', 'works' and 'Questions on Aristotle's Posterior Analytics'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


3 ideas

5. Theory of Logic / G. Quantification / 1. Quantification
No sense can be made of quantification into opaque contexts [Quine, by Hale]
     Full Idea: Quine says that no good sense can be made of quantification into opaque contexts.
     From: report of Willard Quine (works [1961]) by Bob Hale - Abstract Objects Ch.2
     A reaction: This is because poor old Quine was trapped in a world of language, and had lost touch with reality. I can quantify over the things you are thinking about, as long as you are thinking about things that can be quantified over.
Finite quantification can be eliminated in favour of disjunction and conjunction [Quine, by Dummett]
     Full Idea: Quine even asserts that where we have no infinite domains, quantification can be eliminated in favour of finite disjunction and conjunction.
     From: report of Willard Quine (works [1961]) by Michael Dummett - Frege Philosophy of Language (2nd ed) Ch.14
     A reaction: Thus ∃x is expressed as 'this or this or this...', and ∀ is expressed as 'this and this and this...' Dummett raises an eyebrow, but it sounds OK to me.
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Quine thought substitutional quantification confused use and mention, but then saw its nominalist appeal [Quine, by Marcus (Barcan)]
     Full Idea: Quine at first regarded substitutional quantification as incoherent, behind which there lurked use-mention confusions, but has over the years, given his nominalist dispositions, come to notice its appeal.
     From: report of Willard Quine (works [1961]) by Ruth Barcan Marcus - Nominalism and Substitutional Quantifiers p.166