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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

242 Terence Parsons<br />

is similar to a quantifier generalization step.) Each <strong>of</strong> <strong>the</strong> three modes has a<br />

distinctive pattern <strong>of</strong> allowable ascents and descents.<br />

What follows is an account that takes what is most common to <strong>the</strong> views <strong>of</strong><br />

Burley, Ockham, and Buridan. The <strong>the</strong>ory consists <strong>of</strong> three definitions; <strong>the</strong>y give<br />

necessary and sufficient conditions for a term’s having determinate, distributive,<br />

or merely confused supposition. Begin with determinate supposition:<br />

Determinate supposition 99<br />

A term F has determinate supposition in a proposition P if and only<br />

if<br />

[Descent]: you may descend under F to a disjunction <strong>of</strong><br />

propositional instances <strong>of</strong> all <strong>the</strong> F s, and<br />

[Ascent]: from any such instance you may ascend back to<br />

<strong>the</strong> original proposition P<br />

A propositional instance <strong>of</strong> a proposition with respect to F is <strong>the</strong> proposition you<br />

get by replacing <strong>the</strong> quantifier word <strong>of</strong> <strong>the</strong> denoting phrase containing F by ‘this’<br />

or ‘that’, and adding a ‘not’ if <strong>the</strong> quantifier word is negative. Descent and ascent<br />

are inferences, picturesquely expressed in terms <strong>of</strong> <strong>the</strong> directions in which <strong>the</strong><br />

inferences go. As an example, we validate <strong>the</strong> claim that ‘donkey’ has determinate<br />

supposition in ‘Some donkey is spotted’ by establishing <strong>the</strong>se two claims:<br />

Descent: You may descend under ‘donkey’ in ‘Some donkey is spotted’<br />

to a disjunction <strong>of</strong> instances <strong>of</strong> all donkeys. That is, from:<br />

Some donkey is spotted<br />

you may infer:<br />

This donkey is spotted or that donkey is spotted or ...and<br />

so on for all <strong>the</strong> donkeys.<br />

99 This account is common to both Ockham and Buridan. Burley omits <strong>the</strong> ascent clause.<br />

Buridan SD 4.3.5 (262-63) says “. . . <strong>the</strong>re are two conditions for <strong>the</strong> determinate supposition<br />

<strong>of</strong> some common term. The first is that from any suppositum <strong>of</strong> that term it is possible to infer<br />

<strong>the</strong> common term, <strong>the</strong> o<strong>the</strong>r parts <strong>of</strong> <strong>the</strong> proposition remaining unchanged. For example, since,<br />

in ‘A man runs’, <strong>the</strong> term ‘man’ supposits determinately, it follows that ‘Socrates runs; <strong>the</strong>refore,<br />

a man runs’, ‘Plato runs; <strong>the</strong>refore, a man runs’, and so on for any singular contained under <strong>the</strong><br />

term ‘man’. The second condition is that from a common term suppositing in this manner all<br />

singulars can be inferred disjunctively, by a disjunctive proposition. For example, ‘A man runs;<br />

<strong>the</strong>refore, Socrates runs, or Plato runs or John runs ...’ and so on for <strong>the</strong> rest.”<br />

Ockham SL I.70 (200) says: “. . . whenever it is possible to descend to <strong>the</strong> particulars under<br />

a general term by way <strong>of</strong> a disjunctive proposition and whenever it is possible to infer such a<br />

proposition from a particular, <strong>the</strong> term in question has personal determinate supposition.”<br />

Burley PAL 1.1.3 para.82 (102) says: ‘Supposition is determinate when a common term supposits<br />

disjunctively for its supposita in such a way that one can descend to all <strong>of</strong> its supposita<br />

under a disjunction, as is plain with ‘Some man runs’. For it follows: ‘Some man runs; <strong>the</strong>refore,<br />

Socrates runs, or Plato runs, and so on’.”

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

Saved successfully!

Ooh no, something went wrong!