display all the ideas for this combination of texts
2 ideas
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) |
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] |