10.04.2013 Views

An introductory text-book of logic - Mellone, Sydney - Rare Books at ...

An introductory text-book of logic - Mellone, Sydney - Rare Books at ...

An introductory text-book of logic - Mellone, Sydney - Rare Books at ...

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.

100 IMPORT OF PROPOSITIONS AND JUDGMENTS.<br />

(1) &quot;All S is all P&quot; represents fig. 9.<br />

(2)<br />

(3)<br />

(4)<br />

&quot;All S is some P&quot; ..<br />

&quot;SomeS is all P&quot;<br />

&quot;Some S is some P&quot; ,.<br />

(5) &quot;No S is P&quot; .,<br />

any<br />

fig. 10.<br />

fig. u.<br />

fig. 12.<br />

fig. 13.<br />

In the propositions (2), (3), and (4), as the student<br />

will see ( 4), there are<br />

some now means some only.<br />

&quot;<br />

secondary implic<strong>at</strong>ions,&quot; since<br />

In the ordinary fourfold division the predic<strong>at</strong>e is not<br />

quantified, and we are forbidden to tre<strong>at</strong> some as expressly<br />

excluding all. This is the reason why the reconversion <strong>of</strong><br />

an A proposition leads to a sacrifice <strong>of</strong> part <strong>of</strong> wh<strong>at</strong> we<br />

know :<br />

(a] All S is P.<br />

(b] Some P is S, converse <strong>of</strong> (a).<br />

(c] Some S is P, converse <strong>of</strong> (b}.<br />

In (b) the predic<strong>at</strong>e S is in fact distributed, as we know<br />

from (a\ but we cannot indic<strong>at</strong>e this by any sign <strong>of</strong> quantity.<br />

<strong>An</strong>d when converting (b\ we cannot consider more than the<br />

form <strong>of</strong> the proposition, and this does not warrant us in<br />

taking S in its whole extent.<br />

We have seen th<strong>at</strong> the class view is a possible way <strong>of</strong><br />

regarding any proposition, but th<strong>at</strong> it is not always the<br />

n<strong>at</strong>ural interpret<strong>at</strong>ion ; for it is only in wh<strong>at</strong> are ex<br />

pressly judgments <strong>of</strong> classific<strong>at</strong>ion th<strong>at</strong> we think <strong>of</strong> the<br />

predic<strong>at</strong>e as a class. In most propositions we think <strong>of</strong><br />

the predic<strong>at</strong>e as adjectival, according to the predic<strong>at</strong>ive<br />

view. Moreover, no mere class -interpret<strong>at</strong>ion <strong>of</strong> pro<br />

positions could be entirely true, because extension and<br />

intension cannot be completely separ<strong>at</strong>ed. The only<br />

way <strong>of</strong> distinguishing or identifying a class in thought<br />

is by some <strong>of</strong> its qualities, which must therefore enter<br />

into the signific<strong>at</strong>ion <strong>of</strong> the terms standing as subject<br />

and predic<strong>at</strong>e. Hence these terms cannot be taken in

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

Saved successfully!

Ooh no, something went wrong!