22.06.2013 Views

Handbook of the History of Logic: - Fordham University Faculty

Handbook of the History of Logic: - Fordham University Faculty

Handbook of the History of Logic: - Fordham University Faculty

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

246 Terence Parsons<br />

one may descend to<br />

Not this man is running or not that man is running, etc, for all <strong>the</strong><br />

men.<br />

and <strong>the</strong> original proposition is entailed by any disjunct.<br />

8.2 Clarification <strong>of</strong> <strong>the</strong> Definitions<br />

Some clarifications <strong>of</strong> <strong>the</strong> definitions are necessary.<br />

8.2.1 The nature <strong>of</strong> ascent and descent<br />

The first point has to do with <strong>the</strong> nature <strong>of</strong> <strong>the</strong> inferences involved in ascent<br />

and descent. Consider <strong>the</strong> following explanation <strong>of</strong> why ‘donkey’ is distributed in<br />

‘Every donkey is an animal’. From:<br />

Every donkey is an animal<br />

one may infer<br />

This donkey is an animal and that donkey is an animal and... for all<br />

<strong>the</strong> donkeys.<br />

This does not mean that if <strong>the</strong> displayed conjunction contains a term for every<br />

donkey <strong>the</strong>n ‘Every donkey is an animal’ entails ‘This donkey is an animal and<br />

that donkey is an animal and...’, for <strong>the</strong> former sentence does not entail <strong>the</strong><br />

latter. What is meant instead is that from <strong>the</strong> truth <strong>of</strong> ‘ Every donkey is an<br />

animal’, toge<strong>the</strong>r with <strong>the</strong> information that ‘This donkey is an animal and that<br />

donkey is an animal and . . . ’ contains a term for each donkey, one may infer<br />

that <strong>the</strong> disjunction is true. The inference is from <strong>the</strong> generalization plus <strong>the</strong><br />

information about <strong>the</strong> exhaustiveness <strong>of</strong> <strong>the</strong> disjunction to <strong>the</strong> disjunction. This<br />

is how <strong>the</strong> test should be understood.<br />

8.2.2 Occurrences <strong>of</strong> terms have modes <strong>of</strong> supposition<br />

Second, <strong>the</strong> classification into modes <strong>of</strong> suppositions is a classification <strong>of</strong> occurrences<br />

<strong>of</strong> terms, not <strong>of</strong> <strong>the</strong>ir types. In particular, in <strong>the</strong> proposition<br />

Every donkey is a donkey<br />

<strong>the</strong>re are two terms, each <strong>of</strong> which has its own mode <strong>of</strong> supposition: <strong>the</strong> subject<br />

term has distributed supposition and <strong>the</strong> predicate term has merely confused<br />

supposition. You can’t just ask for <strong>the</strong> mode <strong>of</strong> supposition <strong>of</strong> ’donkey’ in<strong>the</strong><br />

proposition without specifying which occurrence is meant.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!