Documente Academic
Documente Profesional
Documente Cultură
D UMITRIU
CENTR UL DE LOGIC
.AI, ACADEMIEI REPUBLICII SOCIALISTE ROMNIA
ANTON DUMITRIU
SOLUIA PARADOXELOR
LOGICO-MATEMATICE
EDITURA TIINIFIC
Bucureti
1966
-
Id sciticet
LEIBNIZ
PREFA
acesta sensul afirmaiei lui Hegel c dac cunoaterea i-ar trasa anumite
limite aceasta ar nSfmna c am cunoate mai mult dect ar permite-o aces-
te limite? "Cunoaterea exi stenei unor asemenea limite "": scria Hegel conine o contradicie, cci dac tim ceva despre aceste limite, aceasta
inseamn c le-am i depit".
Am adoptat astfel poziia clasic, poziia lui Aristotel, exprimat
clar i n ultima carte a Organon-ului - Despre respingerile sofistice - dup
care orice problem de felul acesta se reduce la o eroare de logic, i credem
c am reuit s artm in mod pur logic in ce const eroarea i unde este
exact locul ei in paradoxele logico-matematice.
Pentru aceasta am construit noi antinomii de un tip mai general, fa
de care paradoxele cunoscute nu snt dect cazuri particulare; am dilatat.
eroarea, ca s spunem aa, pentru a o face vizibil i sesizabil. Nu numai atit,
dar am putut gsi schema general dup c!1re se pot construi oricte paradoxe
voim. Vom observa c soluia este unic i nu necesit dect respectarea
principiilor logicii clasice; acestea fiind universale, respectarea lor nu poate
duce la nici o limitare.
Soluionarea .problemei antinomiilor credem c prezint, pe Ung in
teresul de ordin teoretic, i un altul: acela de a ntri increderea n raiunea
omeneasc i n funcia ei natural, a crei caracteristic necontestat este
libertatea ei, adic puterea ei progresiv nelimitat.
A. D'
1
TEORIA CANTORIAN A MULIMII.OR
ie" , cnd v om con is dera s istemele axi omati ce ale aces tei
t eorii n r ap or t cu pr obl ema s ol uionri i p aradoxelor.
D ar h
c i ar n teori a nai v a muli milor aa cum es e
t
expus astzi , unele dintr e i deile lui Cantor au s uferit
modi if cri, dup cum vom sublinia mai departe.
Noiunea de mulime. ,,0 mulime (Menge)
s pune
Cantor [1 J
este o reuniune ntr- un ntreg a unor obiecte
bine determinate i dis it ncte ale intuii ei s au gndirii noas
tre, care se numesc elementele mulimi i " .
Deoar ece cu aceast concepi e despr e muli me -s a aj uns
la paradoxe , matemati cien ii au considerat c es te mai
bine s nu se mai ia no iunea de mulime ca o noiune
defi ni t, ci ca. un element pri mar al i ntuii ei noas tre. Ia
t cum introduce muli mea, de exemplu, W. S ierpinski
[lJ, nemaispunnd n imic des pre ce este o mulime, i
c
dnd doar exemple de formare a unor muli mi .
"Mulimi. C u obiecte date putem forma mul i mi . De
exemplu, cu literele a, b , c putem face o mulime a acestor il tere ."
.
S e noteaz pe scur t mulimea for mat cu nite obie cte
date, cu acolade mi ci, ntre care s e s criu obiectele res pec
tive de s prite pri n vi rgule.
De exemplu, muli mea format cu literele a , b, c e
s
s rc ie: { a, b, }c. nchi znd obiectele ntre aces te acolade
am format o unitate nchi s , u n obiect nou, care es te mul
imea aces tor obiecte .
Elementele multimii. O biectele cu care se formeaz o
muli me se numes c elementele mulimi i . Ele entele mul
i mi i { a, b, }
c snt a, b i ;
c elementele muli mii {I.
5, 7} snt 1, 5 i 7 etc .
Dac toate elementele unei muli mi s nt date i le pu
nem n eviden, atun ic s cri erea es te aceea d e mai sus cu
acolade. Putem s notm pe scurt muli mi le prin literele
mari ale alfabe tului: A, B , C, . . .
Apartenena . Pentru a expri ma faptul c un element a
apari ne unei mul imi lVI se ntrebui neaz
simbolul "E"
.
de apartenen. Scrierea
-
FaEM
ns eamn : " a se te u n element al mulim ii
scurt, " a aparine lui lVI".
12
lVI"
s au, m ai
{1 , 7} av emu rm
MI U M2 U .M3 U
U Mn
Mn
MI n M2 n M3 n
n Mn
MI - M2
Ea
{}
U11
13
jm
{ a, b, c, a}
{ a, c, b} { c, b, a}
Aici av em p atru moduri diferite de a crie aceeai m ulime.
.
Din aceast definiie a egalitii mu limilor rez ult c
dac dou m ulimi M i N snt vide, ele snt ega le: M = N.
De unde putem trage concluz ia c nu exist dect o sin
gur mulime vid.
Mulimi de mulimi. S e pot form a mulim i de obiecte
care snt ele ns ele m ulimi . De exemp lu, s considerm
obi ectele a, b, c, d i
e. Putem form a cu ele mai multe
m ulimi; fie, de exeni plu, rm toarele dou :
{ a, b, }
c
e-
P = { a, b}
Q'
e
{ c , d, }
=
{ P, Q}
e}
{{ a, b} , { c, d, l
{ a, b, c, d, }
e
mulimea
{ a,
{a,
b}}
"
MCN
nseamn: "mulimea M este inclus n mulimea N";
{a}
A,
{A, {A}}
{a}}.
U
V
{A},
{A, {A }, {(A}}}
{A, {A}, {A, {A}}}
etc.
15
16
1 1 1
4 (3
2n
Mulimi numerabile . O muli me M care este echivalent
c u mul imea nume relor natu rale se num e te o mulime
numerabil. Aceast defin itie nseamn: mult ime a M este
n umerabil dac putem
s facem o coresp o den bi uni
voc ntre elementele mulimii M i numerel e naturale . Cu
a lte cu
v inte, putem s dmindici elementelorl ui M, ori
c are' le emen t al lui M av nd indi cele su i le m
e ente diferi te
a vnd i ndi ci diferii . Dac i ndi cele unui element este n ,
n otm acest element c u an. M ulimea numerabi1 M se
p oate scrie atunci :
M
{ al> a2 , a3 , , an}
De aici rezult c orice mulimef init e ste numerabil;
n umai mulimi infinite pot fi nenumerabi le.
U n exemplu de muli me nenumerabi1 : muli mea tutu
r or numerelor reale cuprinse ntre 1 i 2 etc .
]}[ulime ordonat. O mulime se nume te simPlu ordo
nat, dac elemen
t ele ei au fost aranj ate ntr- o ordine, dup
un cri teriu oarecare, a a ca : 1 ) dintre dou elemente oare
c are al i a2 s avem s au al < a2 sau a2 < al> sau a1 = a2;
2) rel aiile al < a2 sau a2 < al' sau al
a2 , s se excl ud
r eciproc ; 3) din a
l < a2 i a2 < aa s urm eze al < a3
R el a ia al < a2 nu n ecesit neapr a t o relaie real
ntre mrimi; este vorba de anteri ori tatea unu ia di n ele
mentef a de celelal te .
O mu
l ime s e nume te bine ordonat n cazul n care,
f iind ordonat, ex ist i un elementiniial , fi e al m ulimii
ns i, fie al oricrei submulimi non-vi de.
Exemplu : orice muli me if ni t ordonat este bi ne ord o
n at; irul numerelor naturale 1, 2 , 3; . . . , n , . este
b ine ordonat ,fi indc n oricare submul ime non- vid exist
un pri m ele m ent ; muli mea tuturor numerelor ntregi
algebrice : .. . , -2 , - 1 , 0, 1 ,2 ,
ordonat n ordine
natural, lUt e s te bi ne ordona t.
o ,
17
18
Di n d efini ia de mai u
s s rezul t :
"Mul imil e MI i M2 vo r avea acelai numr cardinal
d ac snt echi valente , ad ic dac MI M2; ' Al tfel, nu mer lee
lor car
di nale snt diferite".
V om mai mentiona faimoas a teorem a lui Cantor asu
p ra nu mrului
c rdinal al mu limii formate cu s ubmul
imil eu nei us bmulimi date:
"M ulimea tutur01" subm ul imilor ori c rei mulimi date
M are o putere (numr car
d inal) mai mare d ect muli'
m ea M".
S iai ci ma tematicienii au obse rvat c s-a introdus ceva
n ecl r , fiindc Z ermel o a fost obligat s introduc o axi om de exi sten, i anu me:
.
"Mulimea tuturor submulimilor unei mulimi date M
ex ist " .
Noi vom a rta n capitolul u ltim. al acestei lucrri
( " Conclu izi " ) n ce const eroarea de logic pe care o cu
p rind impli cit astfel de propozi i i .
Cu noiu nile inii ale, Cantor a putut s x
e plice, ntr-un
m od foarte general op eraiile cu numer e ntregi: adunare,
nmulire, ridicare la putere, comparaie etc .
Numerele cardinale transji'nite. Trebui e s spun em c
i deea iniial d e la care a pornit Cantor n' elaborarea
teoriei sale - c are a ul at pe parcursul d ezvoltrii ei un
a spect mult mai vast i complex - a fost . lmu rirea di eii
d e infinit n matematici, ca re la epoca cnd scr ia Cantor
e ra o idee dest ul de cont roversat.
Am vzut ce numete Cantor putere sau numr car
d inal . Ea avea av antaj ul unei intuiii " naive" i nu consti
t uia o defi ni i e vicioas. Definiia n um ru lui cardinal ca
m ulime de mu limi echiv alente apare oricui bizar i n
o rice caz arti ficial i noi vom arta pentru e
c (n capito
u
l l final) .
Numru l 1 va fi mul imea tuturor mu limilor cu un
s ingur element ( mulimi echivalente ntre ele) ; numrul
u limea 1; uturor mulimilor cu dou .elemente fie2 va if m
ca re; etc .
S iru l n um ere lor natural e ,snt d ar pu terile mul i milor
finite
-
'
1, 2, 3, 4
. . , n, .. .
.
19
= No
No + No = No
a
No
No = No
No = No
C u aj utorul x
e poneni alelor se pot defi ni alte numere
transfi nite, puteri ale unor mulimi mult m ai vaste dect
aceea a numerelor naturale i astfel Cantor crede poate
gndi o serie de numere cardinale transfini te, di sti ncte n
tre ele, seria Aleph-ilor:
Numere ordinale. S introducem acum noiunea de numr
ordinal . Am vzut ce nseamn ordonarea simpl a unei
muli mi M. Cantor definete as tfel tipul ordinal: " este no
iunea general care rezult din M cnd face m abstracie
de natura le ementelor lui M, dar nu i de. ordinea lor de
succesi une " .
Astzi , tot n cadrul teoriei nai ve a mulimilor, aceast
definii e este nlocui t prin alta. S e i ntroduce mai nti
i deea de asemnare ntre m ulimi . Dou mu li mi echiva
lente se numesc asemenea, dac elementele lor corespund
n mod biunivoc i n ordinea if ecruia dintre ele . n acest
caz i numai n acest caz, ele au i aceea i putere i acelai
tip ordi nal .
Ti purile ordi nale ale mulimilor if nite snt nu merele
ordi nale finite ; ele snt egale cu numerele cardi nale finite
respective.
Dac considerm ns muli mile infini te, problema 1111
mai se te att de ism pl. De x
e emplu, puterea mulimii
numerelor. naturale este No, dar aceasta este i
puterea
20
2'
3'
'
3'6' 5'4'
Am citat doar c"t, eva din noiun ile de baz ale t eoriei
mulimilor, num ai att ct poate s aib o leg tur cu pro
blema paradox elor log ico-matemat ice. n faa contradic
iilor provocate de ideile- " naive" ale teoriei m ulimilor,
ma temat icienii nu au t ras concluzia c asemenea idei tre
buiau cu necesitate s con in g ermen ul paradox elor, c i
" c trebuie luate anumite precauii" , an umite " msuri de
paz" . Aceste msurin u snt impuse, n general, dec t de
temerea de a n u da peste contradicii. Iat, de exemplu,
ce scrie van der W aerden ([lJ, p. 3): "N e pzim totui
s alctuim noi uni ca mulimea tuturor mulimilor) i
a ltele d e a celai fel, fiindc acest ea dau loc la cont radic ii " .
M at ematicienii i
- au d at seama c or ic t ar ncerc a
s
dist ileze noiunea de" mulim "
e , a
e nu poate forma o baz
sigur pentr u const ruciat o
e r iei mul imi lor, teorie la care
totui nu se poat e renuna, date fiind cele mai mult e din
rezult at le e ei ind isc utabil e.
21
II
. ELEMENTE DE LOGISTIC
-- --
1.
2.
3.
4 .
A
F
A
F
A
A
F
F
" p sau
"
A
A
A
F
de adevr.
Semnul de definiie este simb oli zat prin ,,=", n d reptul
c ruia se pune " D ef. " sa
( u ,,= Df"). Ex presia din dreapta
semnului d e definii e se numete definien i x
e presia din
stnga, definiendum.
C arnap ([3], p. 7 ) spune c definiiile servesc numaip entru
24
und e nt
i rv
e ine un numr d e punct e egal sau mai m are.
Se pot nt reb uina, d e as emene a , pa ranteze nl ocul punc
tel or.
Cteva juncii de adevr. V om int rod uce acum cteva
funciid e ad evrd e care vom avea nevoie n const ruire a
cal cul ul ui propoziional.
a) N e g a i a est e is mboliz at d e semnul ,, -" , care
- pus n
f aa u nei var iabile prop oziionale - i schim b
valoarea d e ad evr : - p se citete " non-p " .
Propoziia p put nd lu ad ou val ori, A i F, avem urm
t orul tab el , care arat val" oril e corespunztoare pentru
- p fa d e p:
p
-p
A
F
F
A
"
l.
2.
3.
4.
q'
p .q
A
F
A
F
A
A
F
F
A
F
F
F
p=>
. - p v q Def.
1.
2.
3.
4.
p=> q
A
F
A
F
A
A
F
F
A
A
F
A
e) E c h i v a l e 11 a l o g i c . Dac d ou propoziii
p iq' s nt simultan adev rate sau simultan false ele se numesc
echivalente. S imbolul de echivalen este ,,=" i deci " p
echivalent cuq " se scrie : p =q . Russell a artat c aceast
definiie nu nseamn al tceva dect c p :Jq i n, acelai
timp q=> p, adic cele dou propozi ii echivalente se m
i
plic simultan reci proc :
p =q .
= Df
P =>q
q=>
p=q
-- --
1.
,2.
3.
4.
, A
F
A
F
A
A
F
F
A
F
F
A
26
-p v p
spun e :. sau p este f als, sau p este adevrat , care este princi
piul terului exclus . U n tabel ne arat c orice val oared e
ad evr arlu a variabil a p, expresia - p v p rm ne ad evrat
totde aun a, fiind c unad in propoziii va fi sigur ad evrat
:
p
-p
-pvp
A
F
F
A
A
A
n acelai m od, x
e presia urm toare este o tautologie:
q . :J. p vq
Orice propozi ieq m
i pl icd isj uncia p vq . T abel ul n e
arat m
i d
e iat c aceast formul logic rm ne n permanen
ad evrat, orice valoare d e a dev r ar lua propozi iile
componente (i orice coninut) :
p
pvq q .:J . p vq
-- --
1.
2.
3.
4.
F
A
A
A
F
A
A
A
F
A
A
A
A
contradic
,tiile.
Ex ist expres ii logice care rmn n perm anen false,
or icev al orid e ad evr ar lua variab li le ec om ponent e (id eci
or ice coninut) .
27
De exemplu, formula
- p. p
este o contradici e, ad ic o propoziie fals totdeauna,
cazul opus tautologiei. T abelul ne arat imediat acest
luc ru:
p
-p
-p . p
A
F
F
A
F
F
A2f-: p v p
:J
A3f-:.pvq
:J
qvp
'
A4 f-: . q v r . :J: p vq . :J . p v r
Se poate constata c toate patru axiomele snt tautologii
fcnd tabelul respectiv pentru fiecare, ca mai sus .
Din acestea sed d
e uc at utologii mai mult sau mai puin
complicate. Nu este cazu l s menionm aici dec t c princi29
'
p ile log icii clasi ce devi n n logi ca lui Russell teoreme de
mon strate ( tauto logii). aI tacets e pri ncipii, precum i c teya
dintre aceste teoreme :
TI f- pvp
.
T2
T3
T4
TS
T 6
( pri nci pi ul
clus)
. p)
f- .
(p ( principiul
,
t iei)
(princip iul
( p) = P
f-- - g ai i)
f-: . p
:Jqq:J r : :J : P :J r ( principi ul
l ui)
( pri nci pi ul
f- : p :Jq . :J'-q :J - p
i ei)
.
p
( pri nci pi ul
\-: p:J- p. :J _
-
T7 f-: p v p .
absurdum)
==
T8 f-: p =q. =
ne
terului x
e
( p =-q )
- (p =- p)
2. FUllclii propoziionale
30
f",
cp( x) , ljJ(x) x x)
( , .
Deoarece uneori, atribuind la ntmplare o valoare ar
gumentulu i unei funcii propoziionale , s-ad at peste o pro
pozi ie care nu poate fid eclarat adevrat sau fals, Rus
seU , id up el toi logicienii, au trebuit s limiteze valorile
ad misibile pentru argumentul unei funcii propoziionale .
Aa a aprut teoria tipurilor, precum i alte teorii , despre
care nu vom vorbi aici, ci c nd va fi v orba de ncercrile
d e sol u ionare a p arad ox elor i cnd vom face critica lor.
Propoziii generale i existeniale. Dintr-o funcie propo
ziional (f x) putem obine o .p ropozi ie pe dou ci :
1) sau nlocuind argumentul c u o valoare constant x
a
i cpt nd f (a); 2) sau prin cuantificare.
,
31
. - [ (x). -f (x)]
"
x) uneori este acelai lucru cu
x, f (x) este fals " . .
uf ncii propozii onale varia bile
mpli c pe a doua,' oricare ar if x,
Ceea ce nseam
n :
"(f
" est e fals c pentru toi
S consi derm dou
cp (x) i H x); dac primai
atunci scri em:
Df
(x) . cp (x)
::J
( x)
::J"
(x)
H x)
f (x)dx,
a
(cpx)
Def.
cp (a)
33
Z E X (C(x )
Def.
cp (z)
E X (cpx) ,
cp( z)
Def.
=x
Hx)
z(
cpz)
Z ( z)
X( fx)
x( fx)
Def.
34
Mai
IX
i a stfel :
" est e
Def.
- (x E (1.)
fals
(1.
x - E IX
- (x E IX)
IX
i este
M = (l. n
= nf
IX
.::> % x E
IX
U = D f X (x E
IX '
v x E )
T l 2 f-
: IX
IX
C . C
C . xE
IX
y .
.
::J
IX
::J x E
y.
( cp) cp (x)
.
::J
cp (y)
'
Def.
y)
Def.
III
PAlt.\ ) )O XELE1LOGn;O-l\IATEliIATICE
38
2.
Er
= Df
oc E
oc
oc
Il
oc
lui
oc ,
avem
oc
oc ,
spe
oc
r.
()
Imp ( )
= Df
tjI ( )
ImP (I mP)
= -
Imp ,
ImP (ImP)
S definim
a c u m predicatul r i c hard i a n
G ( x) ]
(1)
Rt' :
"
- R i i llum (Ri) ]
( 3)
4 .1
Din ( 1 )
[num ( F ) = llum ( Ri) J ::J [ - F [num (Ri) ]= - Ri [num(Ri) ] ( 4)
( 5)
Din relaia 2( )
(F) [ (num (F) = num (Ri) J :J - F [num (Ri) ] ::J Ri [num (Ri) ] (6)
Din (5) i (6)
Ri [num (R i ) ]
(7 )
Propoziiile (3) i (7) , amndou demonstrate, snt con
tradictorii.
Observm c demonstraia lui Carnap este prea lung
i c putem reduce acest paradox la paradoxul lui Russell,
format cu predicatele predicabil i impredicabil. ntr-ade
vr, s presupunem c scriem toate predicatele numerelor
reale ntr-o ordine oarecare, fie, de exemplu, n ordine lexi
cografic. Fiecrui predicat i se va ataa un indice nu
me ri c :
P I , P 2 , Pa , . . . , P1,.
Fiecrui predicat de numr . i corespunde un numr
natural i numai unul, care este indicele su : corespondena
este univoc ; Fiecare indice poate admite ca predicat pre
dicatul pe care l numeroteaz sau nu-l poate admite, ter
tium non datur. Dac indicele x al unui predicat Px nu ad
mite predicatul Px, atunci x va fi numit richardian; dac x
admite' proprietatea de numr Px ' atunci el nu va ; fi richar
dian . Orice numr natural , care este indice al unuia dintre
predicatele de numere, este deci richardian sau non-richar
dian ; o a treia posibilitate nu exist. Dar predicatul r ichar
dian este el nsui un predicat de numere i , n consecin,
el se claseaz n seria de predicate, ntr-o poziie determi
nat b, adic el este Rib . Av em deci definiia :
R ib ( x ) = Df - PAx)
De unde, echivalena general {pep.tru orice x) :
(x) . R ib (x ) = - Px (x)
44
b,
R1:b (b)
Rib (b)
Propoziia " b este richardian " este echivalent cu pro
poziia " b nu este richardian " .
=
de cuvinte. Colec i a C \-a fi f i nit ca i colecia N a numerelor naturale care pot fi definite , fiecare, printr-o fra
z a coleciei C. Exist nc numere naturale finite care
11U aparin coleciei N i care, n consecin, nu pot fi defi
nite cu aj utorul frazelor din colecia C. Printre aceste numere
naturale va exista unul care va fi cel mai mic i care va fi
numrul lui Berry. S examinm acum fraza : "Numrul
lui Berry este cel mai mic numr natural care nu poate f1'
definit cu aj utorul unei fraze care conine maximum 50
de cuvinte luate din vocabular " . Aceast fraz are numai
27 de cuvinte i definete perfect un numr natural , num
rul lui Berry; din moment ce ea este format cu un numr
mai mic dect 50 de cuvinte, ea aparine coleciei C; deci
llumrul definit de ea, numrul lui Berry, aparine coleciei
N , ceea ce este contradictoriu.
50
7.
Neisoll
(1)
Aceast definiie fiind valabil , oricare ar fi cuvntul
general (pentru o ri care C )}) :
C, avem echivalena
(2)
Pentru valoarea particular a lui C )}
nem paradoxul :
-- ,r
Het( Het )
Het( Het )
(3)
, EZ , . . .
f1 E Y , f 2 E Y , . . . , fkEy,
cores p unz nd d iverselor
7. .
47
9 . Paradoxul
lui "odel
'
R(n)
acest semn, care va avea semnificaia : n ordinea R , semnul
de clas care are numrul n.
. O cla s este definit n PrinciPia Mat!tematica prin
:X"( fx) , f ( x ) fiind funcia definitorie. Variabila liber este x
i trebuie s remarcm c n definiia unei clase nu exist
dect o variabil liber
Dac variabila x ia valori de clase , atunci x ( fx) este
o clas de clase ; avem, de asemen e a, o singur variabil
'
liber. Fie (l. semnul uner anumite clase ; vom nota prin
.
beweisbar
demonstrabil ,
49
R (q)
rR(q); q]
este indeterminabil n si stemul lui Russell. ntr-adevr,
dac p r opoziia [R(q); qJ ar fi demonstrabil, ea ar fi ade
vrat, deci q ar aparine lui K; d ar am obine , conform
punctului (1):
q E
K = Bew [ R (q) ; q]
qE K
Bew [R(q) ; qJ
50
51
/'
11. Pseudoparadoxele
Printre paradoxele aparente se citeaz mai ales dou:
cel al strj erului i paradoxul brbierului .
.
Paradoxul strj erului (Russell, 1918) se refer la drep
tul de cutum roman, care definea strj erul unui sat ca
fiind persoana obligat s trezeasc pe toi stenii care
nu se trezesc singuri , i era singurul care avea acest drept ,
dar nu i era permis s trezeasc pe cei care se puteau trezi
i singuri .
Iat acum contradicia care rezult : ac eeai problem
se pune pentru strj er ; cine l trezete? Dar nu exist de
ct dou posibiliti: sau se trezete singur, sau nu se tre
zete singur, tertium non datur. 1) Dac se trezete singur,
nseamn c. este capabil s se trezeasc singur, dar atunci
nu are dreptul s se trzeasc; 2) d a c nu se trezete
singur, este obligat dup lege , s se trezeasc singur.
Un pseudoparadox analog este acela al brbierului
satului: brbierul satului este definit ca acela care rade
pe toi cei care nu se rad singuri . Problema este aceeai:
cine rade pe brbierul satului? Dac trebuie s se rad
singur, atunci nu poate s se rad pentru c el nu rade
dect pe cei 'care nu se rad singuri; dac nu se rade singur,
atunci, conform definiiei , trebuie s se rad singur.,
Dup cum remarc Beth [1], paradQxul strj erului', ca
i altele din aceeai categorie , nu ridic probleme de logic,
cu toate c pot provoca probleme destul de grave de drent
(n Acazul strjerului) sau practice (tf cazul brbierului).
In paradoxele autentice s e ntrebuineaz una sau mai
multe n oiuni fundamentale ale logicii !'au ale matematicii:
pa.radoxul mincinosului este construit cu noiunile logice
53
e) P o z i i a l o g i c o -ni. a t e m a t i c c o n t e m
p or a n . De pe aceast poziie se recunoate existena
ireductibil a para(oxelor, care apar n mod inexorabil n
orice simbolism logic fornfal i n teoriile matematice for
malizate, din pricina naturii limitate a oricrui formalism.
Soluia 10gico-matematic const n admiterea unei axi
ome suplimentare restrictive (sau a mai multor) , mai mult
sau mai puin convenionale, care se ataeaz sistemului
10gic considerat n care se produc paradoxele i graie
crora se crede c se vor putea evita paradoxele.
Aspectul filozofic al unei astfel de soluii a fost recuno
scut de ctre specialitii cei mai autorizai n acest dome
niu , nct nu mai e necesar a-l demonstra . Astfel; de exem
plu, Bertrand Russell scrie [4 J : " n acest sens i -ca urmare
a faptului c se ocup de probleme nc nerezolvate, lo
gica matematic ine de filozofie " .
De altfel , problemele generale ale bazelor matem aticii
snt reduse la dou de ctre Mostowski [1 J : 1) Natura
conceptelor matematice; 2) natura demonstraiei matema
tice i care anume snt criteriile care ne permit s distin
gem o demonstraie corect de una fals. Mostowski spune
textual: " Aceste probleme snt de natur filozofic i nu
putem s ne ateptm la rezolvarea lor numai n limitele
matematicii i aplicnd numai metodele matematice " .
B) Poziia s tric t logic. Aceast poziie a fost cea a
lui Aristotel , aa cum a fost formulat n ultima carte a
56
de logic.
Toate tratatele de logic clasic, ncepnd de la Aris
totel, ali meninut clasificarea i soluiile date de Stagirit ,
menionnd faptul c paralogismele cele mai dificile de
rezolvat snt cele care formeaz un cerc vicios, de felul
. petitio princiPii sau circulus in probando, adic exact .cele
de felul p aradoxelor logico-matematice.
Printre adep..tii acestei concepii i care con stituie imen
sa majoritate, mcepnd cu Socrate i pn la logicienii de la
nceputul secolului nostru, vom cita n mod special pe logi
cienii scolastici, care au dat.o importan considerabil
rezolvrii sofismelor n general i , n spEcial, rezolvrii
paradoxelor, n tratatele numite Insolu bilia i n centrul
c rora se gsea antinomia mincinosului cu toate variantele
sale. Gsim problema lnsolubilia chi a r i n summulae
logicales a lui Petrus Hispanus, la Petrus d'Ailly, la Wilhelm
din Occam etc. Care era poziia logicienilor din aceast
epoc ? n Logica Magna a lui Paulus Venetus (Tractatus
VI : lnsolubilia) gsim enumerate 15 categorii de soluii ,
dintre care nici una nu admite c o asemenea problem
ar fi cu adevrat insolubil . Totui, anumii logicieni sco
lastici au evocat concepi a dup care exist probleme cu
adevrat insolubile , care nu pot fi rezolvate n nici un' fel
nullo modo possunt solvi. Se gsete, de exemplu, citat
aceast opinie, dup care ntr-o insolubi1 exist cu ade
vrat dou propoziii contradictorii care ar fi false n ace
lai timp, opinie aflat n micul tratat logic al lui Hentis
berus (t 1380), avnd titlul De sensu composito et diviso :
Scrib it una opinio in insolubilibus satis est possibile, quod
"
duo contradictor1a sint sim'ttl falsa " . Aceast poziie ar fi
fost probabil adoptat de ctre un anume Suisset (pro
babil Richard Suiseth), dar, aa cum rEm arc Prantl ([lJ,
IV, p . 90), noi nu avem ni ci un t ratat. de logic de l a el .
Oricum ar fi, aceast opi nie n-a jucat nici u n fel d e rol n
evul mediu i ea nu a avut nici o importan doctrinar iar
Paulus Venetus nu o U!niieH[,.
Se poate deci afirn1a c (,"ul mediu a avut concEpi a
logic a p a r a d e xel o r dup care exist o soluie logic a
tutu ror acestor contradicii !7i a cutat soluia lor i nu o
-
57
'2, Teoria
tipurilor
59
Z2 E
Wa)]
62
"
64
Bromver
. II a:J a
6. Logieile polivalente
>
70
q ) ] ::J
- q> (q ,
Def.
D e unde
( q . F (q
- q> (q
conduc e , dup cumr se tie , la
=
Aceast echivalen ne
antinomie, pentru valoarea particular q>
F (F)
= -
F:
F (F )
72
8.
Rx
xRa
"
74
(x,
fr
a) .
- xRx =
xRa
(x)
(x ,
fr
a)
. - xRx = x R a
i,
(1)
ab + a c
ab + ac:
( 2)
= -
cp ( cp )
Def.
(1),
( 2)
cp ( cp )
_ -
= -
cp ( cp )
(3)
(4)
, CP k)
cp ( cp l > . CP2 '
'
Este evident c pentru a d eriva din definiia (1) parado
xul cunoscut, admitem n mod tacit sau explicit postulatul
(3) sau sub forma lui general (4) , c exist tjJ pentru care
echivalena respectiv este adevrat. Prin urmare, dac
renunm la postulatul (4) , ceea ce se j ustific , pe baza
observaiei lui Behmann , C nu exist expresia formal a
crei abreviere este tjJ , deci tjJ nu satisface condiia pasca
lian a definiiei , antinomia lui Russell i celelalte antino
mii analoge snt eliminate .
Bocivar demonstreaz c sistemul ce se obine, excluznd
din sistemul su orice aplicaie a postulatului (4) , este necon
tradictoriu, i deci observaia lui Behmann este suficient
p entru a nl tura paradoxele.
= -
81
83
1 4 . Alte cercetri
87
88
nimic : " Quin t a ponit , quod Socrate dicens , s e iPsum dic ere
falsum , nihil dicit" .
Vom vedea c soluia logic a paradoxelor, aa cum o
vom expune mai departe , duce finalmente la aceast a
cincea soluie a logicienilor scolastici .
(Bochenski , n FQrmale Logik , atribuie aceast soluie
lui Chrysippos , bazndu-se pe un fragment al celebrului
dialectician, a crei traducere estei ns, destul de ndoiel
nic. )
1 6 . Observaii g enerale
Vom ncheia expunerea noastr asupra principalelor so,
luii propuse n problema antinomiilor logico-matematice
pe care am fcut-o ct mai succint posibil, cu observaiile
urmtoare :
1 . Toate soluiile, chiar cnd ele deriv din consideraii
strict logice, au degenerat n reguli prohibitive , n limi
tri convenionale ale formalismului , fr nici o j ustificare
logic.
2. Nici una din aceste soluii nu ia n consideraie fap
tul capital c n orice paradox obinem o contradicie i
c, din aceast cauz, principiul contradiciei este com
promis de ctre aceste probleme, cum o vom dovedi n
mod direct. Ar fi trebuit urmat pista erorii pe calea prin
cipiului contradiciei dac se urmrea ntr-adevr gsirea
originii sale, iar nu pe calea principiului terului exclus
(un singur logician a fcut o remarc analog - Ch . Perel
man) .
3. E de presupus c dac s-ar fi aprofundat gndirea
logicienilor scolastici s-ar fi putut descoperi mai curnd
soluia contradiciilor, dat fiind c avem astzi mij loace
logice mai precise dect cele pe care le posedau ei .
Trebuie, de asemenea , remarcat s soluia dat de Rich
ard, recunoscut de Poincare [ 1 ] ca fiind " soluia adev
rat" i " care e adevrat i pentru celelalte antinomii " ,
trebuia luat n serios i examinaU, i ea, mai de aproape ;
din pcate, nimeni, afar de Poincare, nu a acordat atenia
cuvenit explicaiei date de Richard care, aa cum vom vedea
n cele ce urmeaz, conine n embrion soluia veritabil .
1
92
v
CONSTRUCIA UNOR NOI PARADOXE
93
Q} , Q2 '
"
'
"
'
, l11amiferp ,
"
, meta]p, . . . "
, llumrq ,
, ordonatr,
p ..
Q..
'
"
'
94
P i> P2 , P a ,
P I , P 2 , P3 ,
o ,
o ,
0 '
(1)
Pentru rangul determinat x
k, adic fcnd ca pre
dicatul Px . s ia valoarea determinat Pk, atunci cnd
Qx
Pk
Inck , obinem paradoxul :
=
(2)
95
ce
InCh
In C k
in compatibil, pu tem
(3)
Propoziia "predicatul Pk este incompatibil " e ste echi
valent cu propoziia " p redic a tul Pk nu este incompatibil " .
Dup cum am 'vzut , paradoxul lui Russell este un caz
particular al acestui p a r adox . Dac n d e finiia dat scriem
P:o;
Qx (.ce l e dou serii snt i d entic ordonate) , atunci cnd
Inch
Inck
Imp
impredica bil, ob inem :
=
Def.
Echivalena ( 1 ) devine astfel :
( 1 ')
Pentru valoarea p a rticular Qx :- Imp . avem paradoxul
lui Russel l , predicabil - impre.dicabil
ImP (ImP)
ImP (ImP )
(2')
2. Paradoxul izonom-heteronom
o ,
Cl > C2,
Dl> D2,
o ,
. , marsupialp,
o ,
polisilabicp,
o ,
p olq,
, lungq,
vertebratr,
o ,
, Cno
simbolr. . . . , Dn.
, He ,
, Dh,
"
o ,
o ,
Ck,
Hetk,
. , Cn o
o ,
Dno
97
, Heth, .
, He th ,
.
. " '
.
Dx (<<Cx )
Def.
(1)
Pentru valoarea particular x = k, atunci cnd argu
mentul C) devine Ck, i Dx devine Hetk, avem con
tradicia :
( (Cx ) . Heth ( (Cx )
Hetk
D x ( (Cx )
(2)
heteronom, putem scrie
(3)
98
Def .
Echivalena general ( 1 ) , sau ceea ce deriv din aceast
ultim definiie, este :
(1 )
'
Pentru
Nelson :
(2' )
3. Paradoxul clasei claselor incompatibile
S considerm cele dou serii de predicate, aa cum au
fost definite n paradoxul compatibil - incompatibil. O cla
s fiind extensiunea unui predicat, aceste dou serii de
predicate determin dou serii
de clase pe care le vom nota
.
respectiv :
.
" '
.. ,
.
0(2'
l> 2'
0(1)
, Cls 111amiferp,
, Cls 111etalp,
, Cls numrq,
, Cls abstract,
O(n.
. , n'
, rh,
, O(n.
O(k,
0(2' 0(3'
1> 2' 3'
, rk, , n'
h ,
(n aceste serii, rh
rk, dar h =1= k).
n condiiile definite, orice clas O(x .de un rang dat
a primei serii aparine ca element clasei de acelai rang x
a seriei a doua, sau nu i aparine, o a treia posibilitate nu
exist ; orice clas O(x este membru al lui x, sau nu este,
tertium non datur. Paradoxul apare - imediat, dac punem
aceeai problem pentru clasa O(k =1= rk: clasa O(k este
compatibil sau incompatibil, ea aparine sau nu aparine
clasei rk, tertium non datur.
Dac O(k aparine clasei rk; ea aparine clasei de acelai
rang a seriei a doua, deci, prin definiie, nu aparine clasei
rk; dac O(k nu aparine clasei rk, ea nu aparine clasei
din acelai rang al seriei a doua, deci ea aparine, prin
. definiie , clasei rk. Paradoxul este izbitor.
Este evident c paradoxul lui Russell, al clasei claselor
care. nu i aparin ca element, este un caz particular al
acestui paradox, cnd cele dou serii de predicate, i n
consecin, cele dou serii de clase. au fost ordonate dup
aceleai criterii . n acest caz, G devine clasa claselor care
i aparin ca element i r clasa claselor care nu i apar
in ca element.
0(
1'
100
, rh,
rh,
, OCn
, OCn
(1)
Pentru rangul particular x
k, cnd OCx
k = rk, obinem paradoxul :
=
OCk E rh =
(OCk E rk)
OCk i x
(2)
(3)
Paradoxul lui Russell este ' un caz particular al acestui
paradox, dup cum am vzut, cnd cele dou serii de clase
(sau de predicate) au .fost identic ordonate . S facem n
definiia paradoxului general , ca i cu echivaJena (1) OCx
x (clasele de acelai rang snt identice) :
=
OCx
rh =
( OCll;) OCx E rh =
(ocx E ocx)
Def.
(ocx E ocx)
(1')
101
Pentru x
h, cnd (Xh devin e rh
doxul lui Russell :
=
r, obinem para
(2')
4. Paradoxul izomorf-heteromorf
. .
102
. . .
. . .
. . .,
103
1,
2,
3,
..
..
,
, n.
'
Corespondena dintre un't"predicat al aecstei serii, Px ,
i numrul corespunztor din a doua serie (de acelai
rang) este univoc.
Dac un numr ntreg x, care este indicele unui predicat
dat P x din aceast serie, nu are proprietatea exprimat
de acest predicat, x va avea proprietatea richardian;
dac x are proprietatea Px, el nu va fi richardian. Dar
richardian este el nsui un predicat de numere i, n con
secin, se va gsi n seria de predicate ntr-un rang de
terminat h, deci richardiann = Rih Avem cele dou serii:
Rih , Pn.
h,
, n.
Def.
"Numrul notat lexicografic cu ax este heteromorf,
dac nu admite proprietatea cu indicele x, n spe Px " .
De unde, echivalena general :
( 1)
104
= -
h, cnd P h
H eth
(2)
Heth(ah)
Pentrlf x
R ih (x) = - Px (x)
(x) Rih(x) = - Px (x)
h obinem Ph
Heth
richardan
=
Def.
(1 ')
Rih:
(2')
Am vzut c, de exemplu, n paradoxul compatibil incompatibil, oricare ar fi. predicatul Pk al primei serii,
cruia i corespunde n acelai rang al celei de-a doua serii,
predicatul inqompatibil, Pk nu poate fi nici compatibil,
nici incompatibil. Oricare nseamn : oricare ar fi semnifi
caia sa i oricare ar fi condiia la care e, supus. S pre
supunem c Pk satisface condiia' cerut de teoria tipuri
lor i c el este de tipul imediat inferior tipului de predi
cat compatibil (operaie pe care o putem face' oricnd prin
alegerea unei ordini convenabile) , atunci Pk nu este nici
compatibil , nici incompatibil. .
Vom construi acum, n mod direct, o antinomie n inte
riorul teoriei tipurilor, prin care vom demonstra c cheia
tuturor acestor contradicii se gsete n ,alt parte , i nu
n aceast teorie.
, S mprim conceptele, conform teoriei tipurilor : in
divizi, concepte de tipul zero, pe care le vom nota global
cu XO , pentru a pune n eviden tipul respectiv; proprie
tile indivizilor, conceptele de tipull! pe care le vom nota
105
,X, X, X, X, X,
XL X, X, X{ X,
x2l' x22' x2 x2 X2
3'
4'
. .
5' .
m-l
m
m l m-l m"""'"x1 , X2 -1 , X3 - , X4 , X5 1 ,
xf, X,X, X,Xf, .
.
((j)) . P ((j)) ==
Y;((j))
trebuie s fie scris, n acord cu teoria tipurilor :
-
XIJ.+1 (IJ.)
Xf, X;"
X,
, x:.
P redicatele de tipul m
1 , crora le convin aceste pre
dicate , pot fi grupate dup cum urmeaz: lum grupul
-
106
de predicate de tipul m
1 care au toate predicatul Xf;
apoi grupul de predicate de tipul m
1 care au, toate,
predicatul X etc. Vom avea attea grupe de aceast spe
cie cte predicate de tipul m exist. S numerotm de ase
menea aceste grupe n ordinea corespunztoare predica
telor de tipul m care au servit la definirea lor (snt clasele
determinate de predicatele de tip m) i s punem n evi
den tipul elementelor lor :
-
V,
V f,
V,
-l G2m-l , G3m-l ,
Gm
1
y. (predicate)
Gnm-l (clase)
. .
-l , G2m-l , G3m-1 ,
Gm
1
, _
108
"
De f.
Aceast definiie, fiind valabil pentru oricare g:y-l i
pentru oricare clas G:-1 , d . loc echivalenei generale
pentru t ote valorile argumentului de tip m
l :
-
( 1)
Pentru x
k, cnd Y
-'
Inc( -l)
y
(2)
6. Problema paradoxelor
Am fi putut construi i alte paradoxe, dar cele formulate
pn acum snt suficiente pentru a ne dezvlui mecanismul
lor. n afar de aceasta, constatm c, chiar dac ani res
pecta teoria tipurilor a lui Russell, nu am putea evita para
doxele construite de noi, care nu pot fi evitate , de altfel , de
nici o teorie, fapt uor demonstrabil, fcnd, de exemplu,
ca, n paradoxul compatibil-incompatibil, predicatu l Pk s
ndeplineasc condiia impus de o teorie dat.
109
P ( ) = Df ( )
(b)
P ( ) = Df - ( )
ele duc la echiv alenele generale (pentru toate valorile
argumentelor) :
( ) . P ( )== ( )
( ) . P ( )
- ( )
P aceste echivalene
- P (P)
E rp (P )
DfE rp ( )
(a')
Df - E rp ( )
(b ')
se
( )
E rp (P ):= E rp ( )
( )
E rp (P ) == - E rp ( )
==
=
P,
P(P (PP)
-PE P (PP)
- Qx(Px)
Def.
111
P (x) = DfCP{X)
P (x)
Df-cp(X),
(A)
(B)
sau n extensiune,
xEx (Px)
XEX (PX)
Df XEx (cpx)
(A')
Df -xEx (cpx),
(B/)
VI
SOLUIA PARADOXELOR
1 . Formula Tw
n paradoxele cele mai generale, construite de noi, am
"
avut o definiie de tipul urmtor:
P (x)
- (x)
Def.
cu echivalena general
( x)
"
P (x)
- (x)
P (x)
-P (x)
Def .
- XEz (. z)
Def.
(1)
(II)
tjJ (x) ,
(III)
115
==
2. Soluia paradoxelor
Def.
(1)
Tcu2
(2)
Def.
- tjJ (tjJ)
( 1')
. P(P)
- P(P)
:J .
tjJ =;!= P
1- tj;=;!=P
a
De ce rgumentul tjJ nu poate lua valoarea P?' Din cauza
existenei teoremei Tcu (sau a formei sale particulare Tcu3)
117
- xEz (\jiz)
Def.
-Tcu
==
z(\jiz) E z(pz)
Modus
-z(\jiz) E z (\jiz)
Def.
: [z ( \jiz)]
-Tcu
r-:
z(\jiz ) E z (P z)
- z (\jiz ) E z (\ji z)
- z (\jiz ) E z(\jiz)
. :J . z (\jiz)=1= z(Pz )
T (.Il
'
T<u, pentru a pune n eviden identitatea tuturor aces
tor antinomii.
1. Parado xul compatiMl - incompatibil i cazul su par
ticular, parad.oxul predicabil - impredicabil.
n paradoxul compatibil - incompatibil am avut defi
niia :
(1)
Def.
Aceast definiie d loc unei echivalene generale (pen
tru orice Px) care, mpreun cu T<U1 (unde x
Px i P =
= 1nCh) ," ne ofer un modus p onens:
=
(2)
f- :
T<Ul
ImPh (Px)
Modus
= -
P l: (Px}
Def.
(1')
120
Heth(Cx)})
'
(1)
D ef.
D:r;<Cx)})
(2)
1-
T<il
::J .
Dx =1= Het h
1- . Dx =i= Heth
Predicatul Dx nu poate fi identic cu Heth .
Pentru cazul particular al acestui paradox , paradoxul
lui Grelling-Nelson, se face Cx = Dx (cele dou serii ale
cuvintelor snt ordonate identic) , cnd Heth
heterolo
gic = Heth:
=
D e f.
(1')
Def . ( 1 )
T<il1
(2)
1-' x =i= rk
121
Astfel deci, rk
clasa claselor incompatibile nu poate
fi una din clasele seriei tuturor claselor.
n ca zul particular al paradoxului lui Russell, care se
obine din precedentul pentru IXx
x (cele dou serii
formate cu toate clasele snt identic ordonate) , avem :
=
xE rk
M odus ponens' devine :
f--- : ( x)
'l'cua
xE rk
(1')
( x E x)
== -
Def.
( xE x)
(2')
::J
' x;/=rk
x ;/= rk
Tcu1
Def.
Px(ax)
(1)
f- : (ax) . Hetdax)
== -P
==
x( ax)
(2)
.
Px * Hetx
f--- . Px * H etk
Paradoxul nu se mai poate produce : Hetk nu este una
din proprietile din seria tuturor proprietilor numerelor
reale.
Paradoxul lui Richard se obine pentru ax
x (numerele
snt aranj ate n ordinea natural a mrimii lor) . n acest
ca z avem (cnd Hetk = Rik) :
=
Def.
122
( 1')
M odus
: (x) . Rik(x)
Tcua : (x)
R'h.:(x)
P",(x)
==
Px(x)
(2')
:J .
f- . p", * Rik
Paradoxul nu mai poate aprea; Rik nu este una din
proprietile seriei tuturor proprietilor numerelor reale.
'7
Def.
Y (g-l)
(l}
Y (gy-l)
==
Y(gy-l)
(2)
:J .
Y =f= Incg
.ym
x
-r-" Incgm
k
Def.
(1)
(n) . n E K = Bew[R(n) ; n]
123
: (n) . n EK
Bew[R(n) ; n]
(2)
Bew(p E'l")
Def.
(1)
: (p)
124
p E K = Bew(p E 'l")
(2)
K,
f--- : (p) , p E K
Bew(PEK)
!- : (p) 'P EK
==
JJeW(PE'P')
paradoxele snt excluse ca valori posibile ale predicatelor variabile sau ale
Df
(x)
125
Df
Hx)
12i
f- . cp (x )
= Df
definiie de tipul ge
'f (X) ,
f- : (x)
'f =t= ,
D1
f-
x E z ( cp z)
= Df
D2
f- : x E z ( cp z)
= Df
f- : P (x)
D1
f- : x. E z (Px)
,
= Df
Pentru cp constant, cp
n extensiune devine : .
D1
'f (x) . :J
= Df
P, D1 n comprehensiune i
'f =1= P
x E z ( 'f z)
. :J
f- : cp ( 'f )
= Df
H ) ' :J
'f =1= cp
f- : cp ( 'f)
= Df
- y ( tjI) . :J
tjI =t= cp
129
f- : E z ( cpz)
= nf
f--- : E z ( cp z)
= Df
- E z ( z) . :J . z ( z ) =#= z ( cpz)
Pentru cp
P (constant) obinem :
f- : P ( )
= nf
( ) . :J . :;i= P
f- : P ( )
=nf -
Sau, n extensiune :
f--- : E z (Pz)
f--- : E z (Pz)
i; E z ( z ) . :J . z ( z) =#= z (Pz)
= n f - E z ( z) . :J . z ( z) =#= z (Pz)
=nf
1 1 2 ' 3 '
, n'
f--- . CXx E G
= nf
CXx E x
(1 )
f- : CXxE G
= nf
CXx E x.
:J . x =#= G
(1)
Deci definiia
relaia
implic,
f-
((Xx)
(Xx E G = (Xx .E x
(2 )
f-- (Xx E G
.
= nf
(Xx E (Xx ,
f-- . (Xx #= G
Am scris definiia : "oricare ar fi clasa (Xx, dac este
membru al ei nsi , ea este membru al clasei G " . Relaia
(Xx =F= G arat c argumentul (Xx nu poate lua valoarea G.
S citim n aceast condiie (x :x; -::1= G, n mod riguros, faptul
logic pe care .ea l exprim. Prin definiia (Xx E G = nf (XxE (Xx
vrem s definim clasa G . Condiia (Xx =F= G, impus de Dl >
arat c G n u poate f i o valoare a argumentului (Xx , c G
nu poate fi identic cu (Xx , deci definiia lui G nu poate fi
identic cu definiia lui (Xx (oricare ar fi ea) . n consecin,
dac nu aven o alt definiie pentru G, alta dect defini
ia unuia dintre membrii si, G nu este definit i expresia
CX:x; E (Xx nu este un termen definisant (definiens) pentru
simbolul G. ntr-adevr, al doilea membru al definiiei
date, (Xx E CX:x; , este format ca definiia clasei (Xx i cu o pro
prietate care decurge , pentru ea i numai pentru e a , din pro
pria sa definiie, deci nu avem efectiv dect definiia clasei
CX:x; ; condiia (Xx *' G arat c expresia (Xx E (Xx format ex
clusiv cu definiia clasei (Xx i nimic altceva, nu poate s fie
termen definisant pentru o alt clas G. Faptul este evi131
dent, deoarece, dac G are definiia lui !xx , dac scriem deci
(Xx = G
(fr s inem seama de D 1) , c ptm :
G E G = Df G E G ,
relaie care este o identitate i deci o definiie fals, idem
per idem.
Dar aceast concluz ie nu re z ult din faptul c expresia
CX:x: E !Xx nseamn " orice clas care se conine ca membru" i
din faptul c G ar trebui definit, n consecin, ca i membrii
si ; faptul logic exprimat aici este niai vast i poate fi re
gsit n alte expresii, nu numai n cele construite -cu simbolul de apartenen.
'
ntr-adevr, s ne referim la simbolul de inclu z iune i
s construim n cadrul seriilor claselor paradoxului compa
tibil - ' incompatibil definiiile urmtoare :
e G = Dt !XxC x
!Xx e r = Df - (lX.re x )
CX:x:
Pentru
Pentru x
!Xx e, x
- (!Xx e x)
(x ) . x e G = x e x
(x ) . x e r = - (x e x )
G i, respectiv, x = r
Ge G= Ge G
, r e r = - ( r e r)
f- ' ocx R Gh
= Df
ocx R x
f-- ocxR rk
= Df
- ( ocxR x )
'
0Cx =
x :
GhRGh
rk, obinem :
GhRGh
f- . rkR rk = - rkR rk
Am aj uns la paradoxe .
Dac ar fi trebuit s urmrim linia lui Russell, ar fi
trebuit s spunem c expresiile de forma li.. E oc, li.. C li.. i, n
general , ocRoc, sau sub forma negativ, - ( li.. E oc) , - ( li.. C ix. )
i, n general, - ocRoc, nu au s'ens, adic, o clas nu ar putea
avea nici o relaie cu ea nsi, ceea ce este absurd i n
contradicie cu faptele.
Expresiile de forma li.. E li.. , li.. C oc , i, n general ocRoc,
sau, sub forma negativ, - li.. E oc, - li.. C oc, i, n general,
- ocRoc, form ate cu definiia un e i singure clase i bazate pe o
133
'
1 34
f-
: xR rp
= Df
- xR tfi . tfi =F rp
= Df
oc
( - ex E ex )
G=
r=
Df
oc
(exRex)
Df
oc
( - exRex)
135
:J . <p (x)
( 1)
Sau n extensiune :
- <p ( l/J)
l/J (x)
:J
- <p (x)
(2)
l/J =t= ql
Numai n acest caz este posibil s atribuim sau nu unei
entiti logice x un predicat -ql , bazndu-ne exclusiv pe- fap
tul c x nu are predicatul l/J . Chiar n entimem, condiia
este indispensabil.
138
139.
cp ( )' = Df ( )
cp ( ) = nf - ( )
Cu alte cuvinte, asemenea defin iii nu snt permise, deoa
rece, n felul acesta, nu i se poate atribui unei entiti logice
, n virtutea faptului c ea admite un predicat (sau nu
l admite) , un alt predicat; cp; n acest caz, mecanismul lo
gic care ar face posibil aceast predicaie nu poate funcio
na, pentru c nu exist trei termeni. Aceasta este evident,
pentru c din faptul c definim un predicat Iji i dn faptul
c pentru rezult o proprietate din propria sa definiie,
pentru tjJ nu poate s rezulte nimic altceva dect propria
sa definiie .
,
Aceast concluzie arat c probleme ca acelea expri
mate de paradoxele lui Burali-Forti, Cantor, Russell etc.
nu pot fi enunate n definiii logice. n ceea ce privete
paradoxele mai generale , construite de noi, ca i ,paradoxele
lui Grelling-Nelson, Richard i Godel, ele pot fi enunate,
dar numai dac" se ine seama de condiiile precedente.
Am regsit astfel rezultatele obinute mai nainte pe
alte ci,. cu aj utorul principiului contra diciei (Tw) sau n
trebuinnd condiiile definiiei (Dl i D2) .
Bineneles, aceeai concluzie se aplic, n mod exact,
definiiilor scrise n extensiune :
x E z (cpz) = Df x E z ( tjJz)
x E z (cp z) = Df - x E z ( ljiz)
i aici trebuie s avem trei termeni distinci pentru ca
mecanismul atribuirii s poat funciona, deci :
x
=!=
z ( cp z )
x =!= z( tjJz)
z( z ) ::j:: z ( cpz)
140
= Df
( z) E (cpz)
= nf
( z) E ( z)
-
( z) E z( z)
( 1 ) Formula paradoxelor
r-- : . p == q . - : p . q v - p . -. q
*5.23
- p, obinem :
f- : . p == - p . == : p . - p v - p p
S au nc :
f- : . p -- p '
144
== :
-- p . p
( 2)
f-
: cp (x) = - (x )
. f- : cp (x)
= nf
:J .
=F cp
- (x) . :J . :;C cp
VII
PARADOXUL MINCINOSULUI
147
148
(x)
149
() . P (\jJ) = - 1];(\jJ)
i unde teorema T<u ne-a obligat s inem seama de relaia
\jJ r= P. i aici se face o confuzie ntre dou criterii: (1)
faptul c o entitate logic x (sau \jJ) nu are predicatul \jJ deter
min faptul c x are predicatul P. Criteriul invers este acum:
(2) faptul c o entitate logic x (sau \jJ) nu are predicatul P
determin faptul pentru x (sau \jJ) de a avea predicatul P.
Aceste dou criterii inverse, confundate ntr-unul singur,
fiindc nu snt explicitate, snt introduse n momentul
n care facem y = P , n echivalenele citate. Dar defini
iile de forma general
P (x) =nf \jJ(x)
P (x) =nf - \jJ(x)
au un termen definisant (deJiniens) i un teimen. deJinit
(definiendum) , un antecedent logic i un consecvent logic,
care nu pot fi interschimbate, aa cum au stabilit formulele
T <u sau D1 i D2.
2. Paradoxul mincinosului
! -p
I r
152
'
tu nu mini (criteriul W), cnd spui c mini (criteriul V) ,
deci tu mini (crite'riul W) .
Se observ c criteriul V funcioneaz n a celai timp
cu criteriul W, fr nici o distincie, ca i cnd ar fi un singur
criteriu W = V; se confund astfel ntotdeauna adevrul
propoziiei " eu mint" pentru mincinos (criteriul V) cu ade
vrul propoziiei independent de mincinos (criteriul W).
Confuzia valorilor de adevr inverse ale propoziiei " eu
mint" provoacii paradoxul .
S inem seama de definiia mincinosului, exprimat
prin propoziia " eu mint" n virtutea creia valorile de ade
vr (criteriul W) snt inversate de mincinos (criteriul V).
Avem aceste dou situaii posibile :
1 . Propoziia " eu mint" e declarat adevrat de ctre
mincinos (criteriul V) . Atunci , fiindc, prin definiie, min
cinosul inverseaz valoarea de adevr a propoziiei " eu
mint" , trebuie s spunem c valoarea care rezult pentru
propoziia " eu mint" e fals (criteriul W) 'Deci, n reali
tate , mincinosul, declarnd c e adevrat c minte (cri
teriul V) a declarat c e fals c minte (criteriul W), adic
c nu minte (criteriul W). Nu rezult nici o contradicie
fiindc rezultatul e compatibH cu dfiniia mincinosului .
2 . Propoziia " eu mint" e declarat fals, de ctre min
cinos (criteriul V) . Atunci, fiindc, prin definiie, minci
nosul inverseaz valoarea de adevr a propoziiei " eu mint",
trebuie s spunem c valoarea care rezult pentru propo
ziia " eu mint" e adevrat (criteriul W). Deci, n realitate,
mincinosul, declarnd c e fals c minte (criteriul V) , a
declarat c e adevrat c minte (criteriul W), adic c el
minte (criteriul W) . Nu rezult nici o contradicie fiindc
rezultatul e compatibil cu definiia mincinosului .! f.,
Cu alte cuvinte, dac inem sea ma de faptul c min
cinosul, astfel cum e definit, afirm ca fiind adevrat ceea
ce e fals i ca fiiti d fals ceea ce e adevrat i c noi trebuie,
n consecin, s transformm valorile de adevr atribuite
de el unei propoziii (oricare ar fi ea) , propoziia " eu mint"
poate fi declarat sau adevrat, sau fals de ctre mincinos
i nu rezult absolut nimic, la fel cum nu rezult nimic
din faptul c noi declarm propoziia " eu spun adevrul"
adevrat sau fals. Regsim astfel a cincea soluie a logi
cienilor scolastici (vezi cap. IV, 15).
153
P = Df -q
Deoarece aceast definiie e valabil pentru orice ar fi
( q) p
.
-q
(2)
(3)
Aceasta arat c oricare ar fi semnificaia propoziiei
p, legat de q prin definiia (1) , aj ungem la paradoxul
(3), care exprim echivalena unei propoziii cu negaia
sa, ceea ce este absurd.
S definim o problem oarecare, n care o propoziie
p, cu un coninut dat, s fie legat de o alta q prin definiia
154
(1) : pentru q
p, obinem paradoxul. Este cazul para
doxului " Califul i filozoful", de exemplu: dac propoziia
q, declarat de ctre filozof, e fals, atunci el va fi execu
tat prin treang.
n: aceast problem, avem definiia: " Tu declari fals
o propoziie q" (oricare ar fi ea) semnific " se va face execu
ia prin treang".
" Se va face execuia prin treang" =Df - q
De unde echivalena general:
(q). " Se va face execuia prin treang" = - q
Pentru q
"Se va face execuia prin treang": "Se va
face execuia prin treang"
- " Se va face execuia prin
treang" .
Dac ntr-o astfel de problem, definim al doilea caz
posibil, cum .ar fi aici, " s nu se execute prin treang"
semnific " s se execute prin sabie", paradoxul ia o form
mai amuzant:
prin treang" = " Se va face exe
" Se va face execuia
"
cuia prin sabie . n cazul mincinosului p = " eu mint",
i definiia devine: " eu mint" semnific " eu neg valoarea
de adevr a oricrei propoziii q" :
.
" eu mlnte, = Df - q,
=
de- unde:
Pentru q
-q
= --
" eu mint".
(1)
Aceasta este evident i se citete : dac propoziiile
p i q snt identice, atunci ele snt echivalente.
Dar inversa nu este valabil ; s-ar putea ca p = q i
propoziiile p i q s nu fie identice.
Formula ( 1) este o implicaie i nu poate fi o echivalen
. Aceast foqnul este o tautologie, ceea ce se poate con
stata cu uurin, ntocmind tabloul respectiv, al valorilor
de adevr .
Prin transpoziie, obinem:
: - (p q) ::J . - (p
q)
Sau, fiindc - (p = q), se poate scrie p=l= q:
=
(II)
q) . ::J P =1= q
n PrinciPia Mathematica, la teorema 518, gsim urm
toarea tautologie :
1-: - (p
f--- : p = q .
5 18
Sau, prin trnspoziie:
- (p
- q)
f--- : - (p = q) . = . p = - q
Substituind n . (II) primului membru al implicaiei
-- (p ....:. q) expresia echivalent p = - q,. avem n cele din
urm teorema T cu, pentru cazul funciior de adevr:
Tcu f--- : p -:- - q ::J . q =!= P
Am demonstrat Tcu i n acest caz, n cadrul sistemului
din PrinciPia Mathematica, fr. a face apel la nici un prin
cipiu metalogic sau de "tipizare" a adevrului . Aceast
teorem putea fi obinut nc mai uor, dac se utilizau
condiiile definiiilor, aa cum am fcut-o n cazul altor
pa radoxe. De exemplu, n definiiile de forma
.
156
Df q
Df - q,
f-:P = Df q ::>.q=/=p
f-: P =Df - q .::>. q ,*p
Definiia general care este la baza paradoxului minci
nosului sau a altor paradoxe nrudite numite Iiv,t"Lo't"pcpov't"oc,
p = Df - q,
conduce la o echivalen general, care, cu T w , d loc la un
modus ponens: .
f--- : ( q) .p
Tw
f--- q =/= p
n consecin, n echivalena mincinosului (sau a ori
crei probleme de acest fel) , q nu poate lua niciodat valoa
rea lui p (sau coninutul lui p, cci atunci q ar avea aceeai
valoare de adevr) i n particular 'q nu poate fi identic
cu p
" eu mint".
ntr-adevr, avem definiia:
"eu mint" = Df - q
=
1- .
Paradoxul mincinosului i cele analoge snt astfel reduse exact la tipul celorlalte paradoxe, compatibil
1/ncompatibil, predicabil - impredicabil etc .
P (x)
-tjl(x)
Def
VIII
EXPLICAIA PARADOXELOR
_
-
n ! (n!
1)
1.2
1.2
3628799 + 1
161
163
164
165
166
167
169
170
(2)
171
nu
172
g.it
173
[ R(q) ; q]
174
f- : (n) . n E K _ B e w [ R (n) ; n ]
T (t)
175
[R(q) ; q] ,
c a i oricare expresie de tipul acesta, este definit numai
prin numrul su, n ordinea relativ creat de Godel,
deci este definit prin accident . Ea nu este decidabil, dar
aceast Unentscheidbarkeit nu este datorit limitrilor in
terne ale formalismelor logico-matematice , ci structurii ei
logice care este creat printr-o definiie accidental .
6 . n ceea c e privete pe cei care a u rspuns criticii lui
Perelman, fcnd o distincie ntre enunurile unui sistem
i enunurile metateoretice relative la acelai sistem, i care
au reproa lui Perelman c nu a inut seam de aceast
176
non-A = x( - fx)
Russell i Carnap au spus mai simplu : o clas este ex
tensiunea unui predicat, ceea ce face din noiunea de clas
sau de mulime noiunea logic tradiional de extensiune
a unui concept ( Umfang) . Clasa A este extensiunea predi
catului f ; dar, n acest caz, Clasa non-A este extensiunea
crui predicat ? Care . este predicatul comun tuturor ele
mentelor care nu admit acelai predicat f ? Am aj uns astfel
la dilema urmtoare : dac non-A este o clasii, atunci defi
niia dat ("toi cei care verific f (x) " ) nu este definiia
clasei ; dac pstrm n mod riguros aceast definiie, atunci
non-A nu poate fi o clas .
Aceast lips de precizie, n ceea ce privete concep
tul de clas i n special clasa non-A, poate fi regsit n to ate
tratatele de logic sau de matematic ; citim, de exemplu,
ntr-un tratat de algebr, de o valoare incontestabil, cum e
cel al lui B . L. van der Waerden, Moderne A lgebra [ l J :
" Gndim, ca punct de plecare al tuturor consideraiilor
matematice, anumite obiecte reprezentabile, ca, de exemplu,
semnele numerelor, literele sau combinaiile acestora. O
proprietate, pe care fiecare dintre aceste obiecte o are, n
particular, sau nu o are, definete o mulime sau o clas ;
178
180
- P(x) ,
f--
- Q(x) ,
nu apar
f-- ' - X E A
(oricare ar fi A) nu rezult c x aparine altei clase B , ci,
eventual, cel mult, c el nu aparine unei clase B :
182
1 86
Catg x E Catg G
= Df
Catg x E Catg x
C,atg x E Catg r
= Df
- Catg x E Catg x
Formulele D I i D2 ne dau :
Catg x Catg G
C(tg x Catg r
n consecin, variabila Catg x nu poate lua valoarea
G sau, respectiv, r ; nu putem pune aceeai problem
pentru Catg G i Catg r , dac ele se menioneaz sau nu ;
deci paradoxul nu se poate produce. Dac nu inem seama
de DI i D 2 ' atunci obinem urmtoarele echivalene ge
nerale :
Catg G E Catg G = Catg G E Catg G
Catg r E Catg r =
Catg r E Catg r
187
188
IX
CONCLuzn
190
= f(x) !
x- l
192
E z (cpz)
= Df
cp (x)
"
Avem aici o " definiie ; dar este ea ntr-adevr o defi
niie ? Conform lui Dt > pentru a nu :'vea o definiie idem
per idem, trebuie ca termenul definisant s nu intre n ex194
aici
x E z (qlz)
Df
(x)
- : x E z (qlz)
Df
(x) . :J
=;!= ql
Df
ql . (z)
acest
s imilitud i ne cu
dinal este :
1 98
Df
( C
(1)
O()
Df
( R O()
f- : G
Df
( R O()
. :J
=t-
O(
Acke rm ann
202
W a n g, et M c N a u g h t o n, R o b e r t, [ 1 ] Les systemes
axiomatiques de la th eorie des ensembles, Ed. Gauthier - Villars.
Paris, 1 953.
H r 1 e n, R., [ 1 ] Sur la paradoxie logique dans la th eorie des ensembles.
Comptes rendus de l'Acad. des Sciences, tome 1 87, Paris, 1 927.
[2 J ZU den Widerspruchen der Logik und Mengenlelwe, in
Jahres
bericht der deutschen math. VerI. . . , Bd. 39, 1 930.
H e y t i n g, A., [ l J Die formalen Regeln der intuitionistischen L ogik.
Berichte der Akad. Berlin, 1 930.
[2 J Die intuitionistiche Grundlegung der Mathematik . Erkenntnis,
Bd. II, 1 93 1 .
[3 J Mathematische Grundagenforschung.
Intuitionismus-Beweis
theorie, Springer; Berlin, 1 934.
H i 1 b e r t, D., und B e r n a y s, P . , [ l J Grundlagen der Mathematik, Sprin
ger, Berlin, voI. I, 1 934 ; voI. II, 1 939.
K a n t , Im. , [ l J Logik, ed. III, Meiner, Leipzig, 1 930.
K o n i g, J. , [ 1 J Uber die Grundlagen der M engenlehre und das Kon
tinuumproblem, Math. Annalen, Bd. 6 1 , 1 905.
L e w i s, G. J., [ 1 J A Survey of Symbolic L ogic, Univ. of California Press.
Berkeley, 1 9 1 8 .
L u k a s i e w i c z , J. , [1 J PhilosoPhische Bemerkungen z u mehrwertigen
Systemen des A ussagenkalkiils, Comptes Rendus de la Soc. des
Sciences et Lettres 23, Varsovie, 1 930.
[2J Die Logik und das Grundlagen Problem, Les Entretiens de Ziirich ,
publies par Gonseth F . , Leemann, Ziirich, 1 94 1 .
M i r i m a n o f f , D . , [ 1 J Les antinomies de Russell e t de Burali-Forti,
L'enseignements math . , Tome 1 9, 1 9 1 7 .
[2 J Remarques sur l a theorie des ensembles et les antinomies cantorien
nes, Idem, 1 9 1 7 .
o c h , F r a n e ; o i s, [ 1 ] La logique des attitudes, "Dialectica", voI . 1 0,
nr. 3, Ziirich, 1 956.
M i s i 1, Gr. C: , [lJ Logique Modale, Disquisitiones math. et phys
t . II, Bucureti, 1942.
M o s t o w s k i, A . , [1 J The Present State of Investigations of the Foundations of Mathematics, Po1ska Akademie Nauk
Varovia, 1 955.
H ao ,
..
204
P e ano ,
"
TABLA
DE MATERI
Prefaa
1.
11
2 3
38
55-
207
Y. Construcia
1 . Paradoxul
u n o r noi
p a ra d o x e
p. 93 ; 2. Paradoxul
izon om-lzeteroll om, p. 9 ? ; 3 . Paradoxul clasei claselor in
compat i b i l e , p. 99 ; 4 . Paradoxul izomorj-heteromorj, p_ 1 0 2 ;
5 . Paradoxul teori ei tipurilor, p. 1 05 ; 6. Problema para
doxelor, p . 109 .
VI. So lu i a para do xelor . . . . . . . . . . . . . .
1. Formula T61, p . 1 1 3 ; 2 . Soluia , paradoxelor, p . 1 1 7 ;
3. Analiza paradoxelor cu ajutorul teoremei T61 , p. 1 1 9 ;
4 . Condiiile definiiei i soluia tuturor paradoxelor, p. 1 2 5 ;
5. Terminus eslo triplex, p. 1 36; 6. Observaii generale. p. 1 4 2 .
VII. Pa ra do xu l mincinosului . . . . . . . . . . . . . . . ,
93
compatibil-in compa t i b i l,
113
1 47
6:v't'La't'pe<p61V, p . 1 4 7 ; 2. Paradoxul
3000+ 125
54 X 84/ 16.
A . 1 1 034.
159
1 89
202