28.06.2013 Views

Stony Brook University

Stony Brook University

Stony Brook University

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.

the four types of statements of the syllogism: A: Universal affirmative; E: Universal<br />

negative; I: Particular affirmative; O: Particular negative (shown within parentheses).<br />

Corresponding to these are the four alethic modal predicates (underlined): necessary,<br />

impossible, possible, possible not. The corresponding deontic modes are set in italics.<br />

Also important is that the modes can be classified more generally into two types: (A)<br />

necessary and (I) possible. The other two, (E) and (O), are immediately derived from (A)<br />

and (I). This classification into two basic types corresponds with Leibniz’s division of the<br />

modes of right into necessary and possible (and corresponds with the moral qualities of<br />

obligation and possibility/permissibility. The other two modes, (E) forbidden and (O)<br />

omissible, are derivable from (A) and (I)). In sum, all logical relations among the modes<br />

of right are inferable in the same way that the logical relations among alethic modes are<br />

inferable. To see this, consider (A) in the alethic mode. Let us say that □p (i.e., p is<br />

necessary). From this we can infer that ◊p (p is possible). But starting with ◊p we cannot<br />

of course infer that □p. Also, starting from □p we can infer that ~□p is false, since the<br />

contrary of a necessary proposition is false. The same logical relations hold for deontic<br />

operators. Consider (A) in the deontic mode. We then say that Op (it is obligatory that p).<br />

From this we can infer that Pp (p is permitted). But from Pp we cannot infer that Op.<br />

Similarly, starting from Op we can infer that ~Op is false, since the contrary of a<br />

necessary proposition is false, and so on.<br />

However, the truth conditions of the deontic mode as a whole are essentially<br />

different from the truth conditions of the alethic mode. In the alethic mode, truth is a<br />

function of a relation between propositions and states of affairs. In the deontic mode,<br />

truth is a function of the relation between the deontic propositions and normative states of<br />

affairs i.e., states of affairs that ought (or ought not) obtain. This means that the deontic<br />

mode is “ontologically precarious.” 130 The difference can be well-illustrated using logical<br />

operators. In the alethic mode, ‘□p -> p’ says that ‘if p is necessary, then p is true.’<br />

However, if we were to treat deontic operators as alethic operators, we would get<br />

obviously false results. For example, ‘Op -> p’ would say that ‘if p is obligatory, then p is<br />

true.’ Not only does this not follow, but it is hard to make sense of. Certainly, it does not<br />

mean, for example, that if I am obligated to tell the truth, then I do tell the truth.<br />

Obligations can be forever demanded, but may never obtain. What the deontic<br />

proposition really expresses is, ‘if p is obligatory (i.e., morally necessary) then p ought to<br />

be a state of affairs.’ Deontic truth is determined by whether the action in the consequent<br />

fulfills the obligation specified by the antecedent. Whether p is obligatory depends on<br />

what makes p an obligation. Below, I will address the question of what makes p an<br />

obligation, for Leibniz.<br />

We have seen what Leibniz means when he says that Aristotelian logic may be<br />

“not uselessly transferred” onto his juris modalia. The modes of right, derived from the<br />

moral qualities, have a distinctly normative logic. Yet one may be tempted to ask at this<br />

point, to what use may the good person put this logic? Is this nothing but an exercise in<br />

formalism? After the demonstration he carries out (in the next section), Leibniz shows<br />

how the definitions contained in “the good person” can be applied to the modes of right.<br />

130 Patrice Bailhache (1991) puts the matter nicely. “The fact that states of affairs are not deducible from<br />

obligations (Op-> p is not a thesis...) expressess an essential property of the norm, which can be called its<br />

precariousness: that something is obligatory does not prove that it is realized. In fact, that a norm can be<br />

transgressed is one of its essential features” (p. 11).<br />

83

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

Saved successfully!

Ooh no, something went wrong!