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 649<br />

The talk <strong>of</strong> compossible combinations <strong>of</strong> expressions reminds one <strong>of</strong> possible<br />

worlds discourse. Indeed, Caramuel speaks <strong>of</strong> possible worlds (mundos possibiles)<br />

in Metalogica in relation to divine knowledge. 17 As has been stated, book X <strong>of</strong><br />

“Metalogic” applies logic to various philosophical and <strong>the</strong>ological problems. His<br />

aim is to clarify <strong>the</strong> various logical stages in God’s knowledge and thus draw a<br />

parallel between human knowledge related to decision-making and that <strong>of</strong> God. As<br />

one knows (i) possible characters, say a, e, i, o, and u, (ii) <strong>the</strong> production <strong>of</strong> this or<br />

that character conditional on <strong>the</strong> knowledge <strong>of</strong> movements <strong>of</strong> <strong>the</strong> pen and (iii) <strong>the</strong><br />

actual character to be written based on <strong>the</strong> decision which character to write, so<br />

God knows (i)’ possible worlds a, e, i, o, u, (iii)’ that e is or will be realized while<br />

a, i, o, u will not, based on <strong>the</strong> previous decree <strong>of</strong> his will. Strangely enough, <strong>the</strong><br />

<strong>the</strong>ological parallel <strong>of</strong> (ii), i.e. (ii)’, God’s conditional (or middle) knowledge, is not<br />

mentioned (probably because Caramuel regards it explanatorily superfluous, as is<br />

clear from his adherence to <strong>the</strong> Thomist <strong>the</strong>ory <strong>of</strong> physical pre-determination).<br />

We see Caramuel use possible worlds in <strong>the</strong>ological models and <strong>the</strong>ories. 18 Possible<br />

worlds also serve in philosophical explanations, e.g. in explaining <strong>the</strong> ontological<br />

status and foundation <strong>of</strong> possibilia. And once again, a parallel between<br />

grammar and metaphysics is used. Characters now represent nei<strong>the</strong>r possible<br />

worlds, nor possibilia, but perfections: as characters combine into words, so do<br />

perfections into possible creatures. As words combine into statements and those<br />

into books, so creatures combine into possible worlds (from today’s perspective we<br />

could regard statements as corresponding to states <strong>of</strong> affairs). The books actually<br />

written represent <strong>the</strong> actual world (hunc mundum), and those capable <strong>of</strong> being<br />

written all possible worlds (omnes possibiles). 19 For Caramuel, <strong>the</strong> rules governing<br />

<strong>the</strong> combinations <strong>of</strong> perfections and creatures (determining what is possible) are<br />

probably ultimately grounded in <strong>the</strong> divine essence, as his example shows, for he<br />

sees God as identical with all possible (simple) perfections, thinking all possible<br />

strings <strong>of</strong> perfections (possibilia and possible worlds), while creating some <strong>of</strong> <strong>the</strong>m<br />

17 Metalogica,, Lib. X, Theological Theses (on God’s omniscience and omnipotence), Thesis I,<br />

p. 190ff. For Caramuel on possible worlds cf. Dvoˇrák [2000].<br />

18 Earlier on in Metalogica (Lib. X, Pars II, Positiones Metaphysicae, Thesis VIII, p. 74) one<br />

can find a neat <strong>the</strong>ological speculation employing possibilia; this time to clarify and understand<br />

matters <strong>of</strong> dogmatic nature. Consider <strong>the</strong> following application: when God wanted to create<br />

Adam, A, he first came to know, by <strong>the</strong> first type <strong>of</strong> knowledge – <strong>the</strong> knowledge <strong>of</strong> simple<br />

apprehension — a great number <strong>of</strong> people- whom he could have created had he so wished: B, C,<br />

D. . . etc. (note that here individual characters stand for possibilia, i.e. individual occupants <strong>of</strong><br />

possible worlds). By <strong>the</strong> same act <strong>of</strong> knowing by which God knows A, he also knows <strong>the</strong> whole<br />

<strong>of</strong> his posterity. Since effects become individual through <strong>the</strong>ir causes, no descendant <strong>of</strong> Adam<br />

could have been created by any descendant <strong>of</strong> B and vice versa. By choosing A God relegated<br />

B, C, D. . . etc. to <strong>the</strong> ranks <strong>of</strong> <strong>the</strong> purely possible. Yet Adam sinned, and <strong>the</strong> Original Sin<br />

afflicts all <strong>of</strong> his descendants, future ones as well as merely possible ones. This does not afflict<br />

<strong>the</strong> descendants <strong>of</strong> B, so God chose <strong>the</strong> Virgin Mary, <strong>the</strong> mo<strong>the</strong>r <strong>of</strong> God, who was exempt from<br />

<strong>the</strong> Original Sin, from among B’s posterity, implanting her miraculously among <strong>the</strong> descendants<br />

<strong>of</strong> Adam. By doing so he suspended <strong>the</strong> validity <strong>of</strong> <strong>the</strong> principle <strong>of</strong> <strong>the</strong> essentiality <strong>of</strong> origin<br />

(effects being individuated by <strong>the</strong>ir causes), to put it in Kripkean terms. Thus in Caramuel, <strong>the</strong><br />

principle is only physically necessary, not logically necessary.<br />

19 Grammatica Audax, Pars III, med. IV, art. VI, p. 119.

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

Saved successfully!

Ooh no, something went wrong!