25 ideas
7785 | The use of plurals doesn't commit us to sets; there do not exist individuals and collections [Boolos] |
10699 | Does a bowl of Cheerios contain all its sets and subsets? [Boolos] |
10225 | Monadic second-order logic might be understood in terms of plural quantifiers [Boolos, by Shapiro] |
10736 | Boolos showed how plural quantifiers can interpret monadic second-order logic [Boolos, by Linnebo] |
10780 | Any sentence of monadic second-order logic can be translated into plural first-order logic [Boolos, by Linnebo] |
10697 | Identity is clearly a logical concept, and greatly enhances predicate calculus [Boolos] |
13671 | Second-order quantifiers are just like plural quantifiers in ordinary language, with no extra ontology [Boolos, by Shapiro] |
10267 | We should understand second-order existential quantifiers as plural quantifiers [Boolos, by Shapiro] |
10698 | Plural forms have no more ontological commitment than to first-order objects [Boolos] |
7806 | Boolos invented plural quantification [Boolos, by Benardete,JA] |
18933 | Not-Being obviously doesn't exist, and the five modes of Being are all impossible [Gorgias, by Diog. Laertius] |
10700 | First- and second-order quantifiers are two ways of referring to the same things [Boolos] |
12790 | Generalisations must be invariant to explain anything [Leuridan] |
12789 | Biological functions are explained by disposition, or by causal role [Leuridan] |
14386 | Mechanisms are ontologically dependent on regularities [Leuridan] |
12787 | Mechanisms can't explain on their own, as their models rest on pragmatic regularities [Leuridan] |
14384 | We can show that regularities and pragmatic laws are more basic than mechanisms [Leuridan] |
14388 | Mechanisms must produce macro-level regularities, but that needs micro-level regularities [Leuridan] |
14389 | There is nothing wrong with an infinite regress of mechanisms and regularities [Leuridan] |
9866 | Gorgias says rhetoric is the best of arts, because it enslaves without using force [Gorgias, by Plato] |
5864 | Destroy seriousness with laughter, and laughter with seriousness [Gorgias] |
14387 | Rather than dispositions, functions may be the element that brought a thing into existence [Leuridan] |
14382 | Pragmatic laws allow prediction and explanation, to the extent that reality is stable [Leuridan] |
14385 | Strict regularities are rarely discovered in life sciences [Leuridan] |
14383 | A 'law of nature' is just a regularity, not some entity that causes the regularity [Leuridan] |