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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Treatments <strong>of</strong> <strong>the</strong> Paradoxes <strong>of</strong> Self-reference 581<br />

sometimes refraining from an evaluation can be <strong>the</strong> correct determination. Thus,<br />

if you are asked to doubt whatever is put forward to you first in <strong>the</strong> disputation,<br />

answering with doubt is <strong>the</strong> correct determination for <strong>the</strong> first proposition, given<br />

your obligation. Such an obligation clearly has <strong>the</strong> taste <strong>of</strong> a technical duty. 2<br />

An insoluble is a proposition that cannot be solved in this way: no answer will<br />

be satisfactory. Or fur<strong>the</strong>r, “an insoluble is a circular and necessary deduction<br />

to both sides <strong>of</strong> a contradiction” [De Rijk, 1966, 105]. The author compares two<br />

propositions:<br />

God is one in essence and three in persons<br />

I utter a falsehood<br />

In his view, <strong>the</strong> first <strong>of</strong> <strong>the</strong>se propositions is insoluble absolutely (simpliciter). No<br />

correct and consistent answer can be given to whe<strong>the</strong>r God is one or to whe<strong>the</strong>r he<br />

is three. But on <strong>the</strong> o<strong>the</strong>r hand, <strong>the</strong> latter proposition is insoluble only in a certain<br />

respect (secundum quid) and thus allows for a solution [De Rijk, 1966, 104–105].<br />

This attitude shows strong optimism about finding a solution to <strong>the</strong> paradoxes <strong>of</strong><br />

self-reference, and indeed such optimism was to remain dominant throughout <strong>the</strong><br />

middle ages, even in two senses. First, authors thought that solving <strong>the</strong> paradoxes<br />

is not impossible but only difficult, maybe difficult to <strong>the</strong> extent <strong>of</strong> admitting that<br />

no solution had yet been found. And second, <strong>the</strong>y did not consider it a problem<br />

if no solution is in sight. It seems that no medieval logician saw <strong>the</strong> threat <strong>of</strong> <strong>the</strong><br />

logical systems collapsing in mere inconsistence in <strong>the</strong> face <strong>of</strong> <strong>the</strong> paradoxes. In<br />

<strong>the</strong> eyes <strong>of</strong> medieval logicians, <strong>the</strong> Liar paradox was not a threat but a treasure.<br />

It gave an especially interesting test case for semantical <strong>the</strong>ories and was indeed<br />

used for that work.<br />

The main approach taken by <strong>the</strong> author <strong>of</strong> Insolubilia Monacensia is to look<br />

at how putting a proposition forward relates to asserting it. His solution <strong>of</strong> <strong>the</strong><br />

paradox, as far he really presents a solution, is simply cancellation (cassatio). It<br />

seems that <strong>the</strong> idea is that <strong>the</strong> paradoxes somehow fail to be such that <strong>the</strong>y would<br />

need to be answered, and thus <strong>the</strong>y ought to be “cancelled”. The author divides<br />

his treatment to three ways in which <strong>the</strong> paradox may arise: through a human<br />

act (<strong>of</strong> asserting or such like), through a feature <strong>of</strong> <strong>the</strong> (linguistic) instrument, or<br />

through <strong>the</strong> nature <strong>of</strong> what is asserted [De Rijk, 1966, 105]. The examples are as<br />

follows.<br />

The act <strong>of</strong> uttering is at issue when one considers a paradox like ‘I utter a<br />

falsehood’, ‘I lie’, or something such. These utterances are such that <strong>the</strong>y allow<br />

for inferring a contradiction. Consider whe<strong>the</strong>r ‘I utter a falsehood’ is true or false.<br />

If it is true, it can be proved to be false:<br />

Pro<strong>of</strong>.<br />

That I utter a falsehood is true<br />

I utter a falsehood and nothing o<strong>the</strong>r than this<br />

This is a falsehood<br />

2 [De Rijk, 1966, 104].

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

Saved successfully!

Ooh no, something went wrong!