Single Idea 10538

[catalogued under 5. Theory of Logic / G. Quantification / 1. Quantification]

Full Idea

Quine even asserts that where we have no infinite domains, quantification can be eliminated in favour of finite disjunction and conjunction.

Gist of Idea

Finite quantification can be eliminated in favour of disjunction and conjunction

Source

report of Willard Quine (works [1961]) by Michael Dummett - Frege Philosophy of Language (2nd ed) Ch.14

Book Reference

Dummett,Michael: 'Frege Philosophy of Language' [Duckworth 1981], p.478


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.