display all the ideas for this combination of texts
3 ideas
10634 | Predicates are 'distributive' or 'non-distributive'; do individuals do what the group does? [Linnebo] |
Full Idea: The predicate 'is on the table' is 'distributive', since some things are on the table if each one is, whereas the predicate 'form a circle' is 'non-distributive', since it is not analytic that when some things form a circle, each one forms a circle. | |
From: Øystein Linnebo (Plural Quantification [2008], 1.1) | |
A reaction: The first predicate can have singular or plural subjects, but the second requires a plural subject? Hm. 'The rope forms a circle'. The second is example is not true, as well as not analytic. |
12368 | Negation takes something away from something [Aristotle] |
Full Idea: The part of a contradictory pair which says something of something is an affirmation; the part which takes something from something is a negation. | |
From: Aristotle (Posterior Analytics [c.327 BCE], 72a14) | |
A reaction: So affirmation is predication about an object ['Fa'], and negation is denial of predication. We have a scope problem: there is nothing which is F [¬∃x(Fx)], or there is a thing which is not-F [∃x(¬Fx)]. Aristotle seems to mean the latter. |
1692 | If you shouldn't argue in metaphors, then you shouldn't try to define them either [Aristotle] |
Full Idea: If you should not argue in metaphors, it is plain too that you should neither define by metaphors nor define what is said in metaphors; for then you will necessarily argue in metaphors. | |
From: Aristotle (Posterior Analytics [c.327 BCE], 97b37) | |
A reaction: Impeccable logic, but seeing a similarity can be a wonderful shortcut to seeing a great truth. |