Teoria aristotelic despre contradicie se afl expus n mai multe locuri din corpusul aristotelic.

Este convenabil s ncepem cu tratatul Despre interpetare, n care Stagiritul se ocup de teoria judecii.

Problematica este introdus prin definirea afirmaiei i a negaiei, dup cum urmeaz: O afirmaie este enunarea c ceva aparine la altceva; o negaie este enunarea c ceva nu apaine la altceva (6, 17a). Avem ns patru posibiliti distincte de enunare. Putem spune, aadar C ceea ce exist exist

C ceea ce exist nu exist C ceea ce nu exist nu exist C ceea ce nu exist exist. De aici rezult c fiecrei afirmaii i corespunde o negaie cu aceiai termeni, iar fiecarei negaii i corespunde o afirmaie cu aceiai termeni. Contradicia este defnit pornind de aici ca opoziie ntre afirmaie i negaie. Prin opoziie se nelege afirmarea i negarea aceluiai predicat despre unul i acelai subiect, n acelai timp i sub acelai raport (nu omonimic, spune Aristotel).

Contradicia este determinat mai departe lund n calcul nu numai calitatea judecilor, ci i cantitatea lor. Aristotel stabilite distincia dintre universal i individual, definind universalul ca ceea ce se afirm despre muli, iar individualul ca ceea ce nu se afirm despre muli. Contradicia este un raport care apare atunci cnd un predicat se afirm universal despre un subiect i se neag particular despre acelai subiect, de exemplu Toi logicienii sunt filosofi i Unii logicieni nu sunt filosofi. nclinaia noastr natural, preteoretic, este ns de a considera contradictorii enunurile de genul Toi

logicienii sunt filosofi i Nici un logician nu este filosof. Aristotel numete aceste enunuri contrarii. Particularitatea lor este c ambele sunt universale.

Contradicia trebuie s numeasc o opoziie maxim ntre enunuri: nu numai calitatea lor trebuie s fie opus (afirmativ negativ) ci i calitatea (universal particular). Rezult c opusul contradictoriu al unui enun afirmativ universal nu este un enun negativ universal, ci un enun negativ particular. Similar, contradictoriul unui enunt afirmativ particular nu este un enun negativ particular, ci un enun negativ universal: Unele animale sunt carnivore Nici un animal nu este carnivor.

Raporturile de opoziie vzute pn acum s-au stabilit ntre un enun universal i unul particular (de calitate opus)

ntre dou enunuri universale (de caliti opuse) Rmne de analizat cazul raportului dintre dou particulare de caliti opuse. De pild, Unii oameni sunt sinceri i Unii oameni nu sunt sinceri. Acest exemplu arat c ele pot fi ambele adevrate. Aristotel remarc acest lucru atunci cnd spune c, dac dou enunuri contradictorii nu pot fi ambele adevrate, opusele lor pot fi uneori ambele adevrate.

[Ce spune Aristotel despre raporturile judecilor modale discutm la seminar]

Faptul c dou judeci sau enunri contradictorii nu pot fi ambele adevrate n acelai timp i sub acelai raport reprezint tocmai coninutul principiului noncontradiciei, a crui discuie amnunit se gsete n

Metafizica.

Metafizica

Aristotel

formuleaz

trei

versiuni

ale

principiului

noncontradiciei: o versiune ontologic, una doxastic i una semantic. Versiunea ontologic (IV 3 1005b19-20): Este imposibil ca acelai lucru s aparin i s nu aparin aceluiai lucru i din acelai punct de vedere. Versiunea doxastic (IV 3 1005b24 cf. 1005b29-30) Este manifest imposibil ca o persoan s cread n afcelai timp c ceva i este i nu este. Versiunea semantic (IV 6 1011b13-20) Este imposibil ca enunturile contradictorii s fie adevrate n acelai timp despre acelai lucru.

Aristotel susine c principiul noncontradiciei este unul dintre principiile supreme de care se ocup filosofia prim, fiind cel mai important dintre toate. Statutul acestui principiu vine din aceea c nu se poate s greim n ceea ce+l privete, n sensul c necesitatea lui pentru gndire nu poate fi pus la ndoial. ns principiul noncontradiciei nu poate fi demonstrat. Orice demonstraie, prin care Aristotel nelege un raionament deductiv, se caracterizeaz prin faptul c gradul de generalitate al concluziei este mai mic dect cel al premisei. Prin urmare, PNC ar putea fi demonstrat numai dac ar exista un principiu mai originar dect acesta. Or, un asemenea principiu nu exist, dup Aristotel. Filosoful provoac pe cei care contest punctul lui de vedere s gseasc un principiu anterior logic PNC. ntrebarea rmne filosofic interesant i astzi.

Un alt mod de a argumenta pentru indemonstrabilitatea PNC este de a sublinia c orice demonstraie se bazeaz pe acesta. A ncerca s demonstrezi PNC nseamn n cel mai bun caz a comite un raionament circular. PNC nici nu se poate nega, n scopul producerii unei demonstraii prin reducere la absurd, ntruct negarea lui nu se poate face dect dac i asumm validitatea. Motorul demonstraiei prin reducere la absurd este imposibilitatea ca PNC s in i s nu in n acelai timp.

Prin urmare, trebuie cutat un alt gen de ntemeiere pentru PNC. Aristotel folosete un argument care se apropie de argumentele numite transcendentale, dintre care cel mai celebru este cel al lui Kant. Un argument transcendental pornete de la o trstur indeniabil a experienei noastre i susine c, pentru ca o experien cu aceast trstur s fie posibil, lumea sau realitatea trebuie s fie constituit ntr-un anumit mod. Aristotel argumenteaz astfel c lumea se conformeaz PNC, deci PNC este adevrat, deoarece este presupus de capacitatea oponentului su de a spune ceva cu sens.

Cteva explicaii sunt necesare. Aristotel trebuie s justifice PNC contra unui adversar care refuz s-l admit. Un asemenea oponent nu este consistent n afirmaiile lui i nici nu vrea s fie. Prin urmare, strategia socratic care const n a mpinge adversarul s se auto-contrazic nu funcioneaz. Dimpotriv, adversarul trebuie forat s spun ceva cu sens. Respectiv el trebuie adus s susin c ceva este F i c acelai ceva nu este F n acelai timp i sub acelai raport, n ciuda faptului c oponentul negase principial acest lucru. Aristotel poate arta astfel c oponentul este angajat cel puin fa de un enunt non-contradictoriu. Strategia aristotelician este de a atrage adversarul ntr-o contradicie performativ: chiar dac adversarul spune c nu accept PNC, n practic se servete de el. De altfel, Stagiritul susine undeva c cel care spune a crede c x este F i ca x nu este F n acelai timp numai spune, aceasta, fr a o putea i crede.