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.

Relational <strong>Logic</strong> <strong>of</strong> Juan Caramuel 653<br />

to” (obligation), ra<strong>the</strong>r than “must” (necessity), with <strong>the</strong> corresponding possum,<br />

“can”, taken as permission. Caramuel also seems to be using “must” in <strong>the</strong> same<br />

context: “it is necessary that I do”, but he does not differentiate its usage from<br />

obligation (“should”). This could be understood as non-deontic necessity or compulsion<br />

opposed to ability (see below). So Caramuel discusses “should (do)”, “can<br />

(do)” and “must (do)” (debeo facere; possum facere; necesse est, ut faciam), focusing<br />

on “should” whose analysis is <strong>the</strong> same as above. “Facere” (“to do”) makes<br />

explicit that <strong>the</strong> meaning has to do with human action in contrast to “esse” (“to<br />

be”) used in <strong>the</strong> examples in “Moral or Political <strong>Logic</strong>”, where <strong>the</strong> meaning was<br />

“real”, i.e. metaphysical and physical. The “can” <strong>of</strong> ability clearly re-surfaces in<br />

Caramuel’s discussion <strong>of</strong> <strong>the</strong> relationship between “can” and “should”, or, more<br />

precisely, <strong>the</strong> inference from “can” to “should”. Caramuel admits this inference<br />

on analogy with <strong>the</strong> inference from possibility to actuality in necessary matter<br />

(i.e. some necessary connection between <strong>the</strong> subject and <strong>the</strong> predicate is possibly<br />

true, <strong>the</strong>refore, it is true). He admits <strong>the</strong> argument from <strong>the</strong> existence <strong>of</strong> a certain<br />

norm obliging a particular person in conjunction with <strong>the</strong> ability <strong>of</strong> this person to<br />

obey <strong>the</strong> norm to <strong>the</strong> conclusion that this person should obey <strong>the</strong> norm. It is clear<br />

that Caramuel understands “can” in <strong>the</strong> sense <strong>of</strong> <strong>the</strong> absence <strong>of</strong> some hindering<br />

conditions, in <strong>the</strong> non-deontic sense <strong>of</strong> ability, not in <strong>the</strong> sense <strong>of</strong> permission that<br />

could stand for non debeo non facere. Hence, <strong>the</strong> inference he has in mind is an<br />

altoge<strong>the</strong>r different inference from <strong>the</strong> immediate illegitimate inference from permission<br />

to obligation. To put it in a nutshell, Caramuel explicitly distinguishes<br />

between real modes and modes having to do with human action, arguably not<br />

discriminating within <strong>the</strong> latter group, at least not explicitly, between <strong>the</strong> deontic<br />

modes <strong>of</strong> permission and obligation on one hand and ability and compulsion on <strong>the</strong><br />

o<strong>the</strong>r. Consequently, he does not discuss <strong>the</strong> interrelations among <strong>the</strong>se modes.<br />

In <strong>the</strong> same work Caramuel analyzes <strong>the</strong> epistemic mode <strong>of</strong> knowledge (scio)<br />

and <strong>the</strong> mode <strong>of</strong> willing (volo). Both are treated on a par with <strong>the</strong> universal<br />

affirmative, and again <strong>the</strong> opposing forms <strong>of</strong> modals within <strong>the</strong> logical square are<br />

formulated using negation in <strong>the</strong> same way as with debeo (“should” or “must”)<br />

above. 27<br />

And once again, <strong>the</strong>re follows <strong>the</strong> analysis <strong>of</strong> modes having to do with evidence<br />

and probability. 28 In relation to probability, <strong>the</strong> oppositions examined hold between<br />

different degrees <strong>of</strong> probability, and thus <strong>the</strong>y really concern <strong>the</strong> respective<br />

quantifiers used: mere, magis, minus, aeque. It is clear that <strong>the</strong> latter three quantifiers<br />

are relational in <strong>the</strong> sense <strong>of</strong> essentially involving comparison between probable<br />

propositions. The examination <strong>of</strong> comparative degrees <strong>of</strong> probability, and<br />

probability in general, amounts to <strong>the</strong> logical background <strong>of</strong> Caramuel’s moral<strong>the</strong>ological<br />

<strong>the</strong>ory, namely that <strong>of</strong> probabilism, opposing probabiliorism. According<br />

to <strong>the</strong> latter, out <strong>of</strong> two competing moral norms in a particular situation <strong>of</strong><br />

moral choice, in <strong>the</strong> absence <strong>of</strong> pro<strong>of</strong> <strong>of</strong> ei<strong>the</strong>r <strong>of</strong> <strong>the</strong> two, one is to opt for <strong>the</strong><br />

more probable. Caramuel disagrees: one is morally justified to opt for ei<strong>the</strong>r <strong>of</strong><br />

27 Ibid., p. 58.<br />

28 Ibid., art. III, p. 59-61.

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

Saved successfully!

Ooh no, something went wrong!