Combining Texts

Ideas for 'Clitophon', 'Which Logic is the Right Logic?' and 'Grundrisse'

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

display all the ideas for this combination of texts

---

2 ideas

5. Theory of Logic / G. Quantification / 2. Domain of Quantification

10776	The main quantifiers extend 'and' and 'or' to infinite domains [Tharp]
	Full Idea: The symbols ∀ and ∃ may, to start with, be regarded as extrapolations of the truth functional connectives ∧ ('and') and ∨ ('or') to infinite domains.
	From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §5)

5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification

10774	There are at least five unorthodox quantifiers that could be used [Tharp]
	Full Idea: One might add to one's logic an 'uncountable quantifier', or a 'Chang quantifier', or a 'two-argument quantifier', or 'Shelah's quantifier', or 'branching quantifiers'.
	From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §3)
	A reaction: [compressed - just listed for reference, if you collect quantifiers, like collecting butterflies]