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.

56<br />

S is not P &quot;<br />

THE LOGICAL PROPOSITION.<br />

by O. As Mr Keynes has suggested, the<br />

propositions may be abbrevi<strong>at</strong>ed thus : SaP, SeP, SiP,<br />

SoP. The letters were chosen because A and I are the<br />

first two vowels <strong>of</strong> affirmo^ I affirm, and E and O the<br />

vowels <strong>of</strong> nego, I deny.<br />

2. Propositions are also classified according to<br />

modality, into (a) necessary, as &quot;S must be P&quot;; (b)<br />

assertorial, &quot;S is<br />

P&quot;; (c) problem<strong>at</strong>ic, &quot;S may be P.&quot;<br />

Jevons says,<br />

&quot;<br />

The presence <strong>of</strong> any adverb <strong>of</strong> time, place,<br />

manner, degree, &c., or any expression equivalent to an<br />

&quot;<br />

adverb, confers modality on a proposition<br />

not the ordinary use <strong>of</strong> the term. Most writers take dis<br />

; but this is<br />

tinctions <strong>of</strong> modality in propositions as referring only to<br />

&quot;<br />

&quot;<br />

&quot;<br />

the difference between must be,&quot; and<br />

is,&quot; may be.&quot;<br />

The questions arising out <strong>of</strong> these distinctions are too<br />

difficult to be pursued in an elementary work ; but we<br />

must add a note on the expression <strong>of</strong> these propositions<br />

in the typical forms A, E, I, O.<br />

(a) The assertion <strong>of</strong><br />

necessity <strong>of</strong> course forms an A<br />

&quot; <strong>An</strong> equil<strong>at</strong>eral triangle must be equi<br />

proposition :<br />

angular&quot; means th<strong>at</strong> every example <strong>of</strong> an equil<strong>at</strong>eral<br />

triangle will be found to be equiangular.<br />

(b) The assertorial proposition, which makes a simple<br />

&quot;<br />

the Ameri<br />

unqualified st<strong>at</strong>ement as a m<strong>at</strong>ter <strong>of</strong> fact, as<br />

can Indians are copper-coloured,&quot; will fall n<strong>at</strong>urally into<br />

one <strong>of</strong> the four classes. In the example given it is an<br />

A proposition.<br />

(c) The merely problem<strong>at</strong>ical proposition as &quot;the<br />

we<strong>at</strong>her may be fine,&quot; &quot;S may be P&quot; gives us no<br />

inform<strong>at</strong>ion about S; it<br />

whether S is P or not.&quot;<br />

&quot;I only says, do not know<br />

The nearest in meaning to<br />

such a judgment, among the four typical forms, is the<br />

particular proposition, affirm<strong>at</strong>ive or neg<strong>at</strong>ive. The<br />

<strong>logic</strong>al meaning <strong>of</strong> &quot;some&quot; comes out best when we

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

Saved successfully!

Ooh no, something went wrong!