Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
FILOSOFIA MATEMATICII
Mari n url ea a absol vi t Facul tatea de fi l osofi e a Uni vers iti i di n
Bucureti n 1 965. A obinut ti tl ul de doctor n fl osofe n 1 977.
n ceea ce i
pri vete pe membri i Cercul ui de l a Vi ena" ei au acordat termenul ui
metafizic" o semni fi ca ie excl usi v pei orat i v i , anume, ar desemna
doctrine fr semnificaie tiinific".
Dac este evi dent c, de al tfl , cunoaterea ti i ni fc este produs
pri n i ntermedi ul i nfrenei l ogi ce, porni nd de l a principii i reducti bi l e,
atunci probl ema care rmne de rezol vat este aceasta: de unde procur
oameni i aceste principii? Ari stotel era convi ns c aceste pri nci pi i se
obi n pri ntr-o viziune intuitiv, ce i are ori gi nea n i nduci a bazat pe
percepia senzori al ; o doctri n, noteaz Beth [ I ] , ce are un i nteresant
fndament teologico-antropol ogi c. Urmnd, n general , anal izele lui Beth
[ 1, p. 34 ], demersul aristotel i c este acesta: fnomenel e percepti bi l e sunt
mani fstri ale rai uni i cosmi ce ( Nous ) cu care este nrudit mi ntea
uman, aceasta di n urm find condus de l a percep i i l e senzori al e l a
cunoaterea cauzel or ascunse n spatel e lor, ti pul acesta de i nduci e
ducnd n final l a vi zi unea i ntui ti v a pri nci pii l or. Doctri na ari stotel i c
a ti i nei nu consi dera c pri nci pi i l e ti i nei cer o i nvesti gare si stematic,
fi nd sufi ci ent numai o i nspeci e sumar a fnomenel or percept i bi l e i ,
15
mai mult, fi l osofl profsi oni st nu are un rol pri vi l egi at n cadrul acestei
acti vi ti de cunoatere, el procednd mai mult doxografc, un obi cei al
peripateti ci eni lor, admi rabi l i l ustrat de nsui Ari stotel .
O seri e de i nterprei ai operei ari stotel i ce i denti fc anal ogi i ntre
teori a ari stotel i c a tri i nei i doctri nel e mi sti ce, metafizi ca lui Ari stotel
const i tui nd o i ni iere i ntel ectual , contraparte a i ni i eri l or di n cul tel e
mi steri i l or, care l el i bereaz pe om de permanenta ul ui re n fa unui
desti n i nconstant, ofri ndu- i o expl i cai e defini t i v i i revocabi l a
experi enel or sal e (Cf. Beth [ I] ) . Metafi zi ca, cont i nu autorul ol andez,
ca o t i i n a pr i nc i pi i l or, ne ofer pr i ntr- o expl i c a i e s i mi l ar
nel epci unea suprem i feri ci rea, omul este i ni i at n mi sterel e vi ei i
i obi ne nemurirea. Confrm doctri nei l ui Pl aton i a l ui Ari stotel [2]
omul trebui e s fi e aruncat n perplexitate n scopul de a putea obi ne
viziunea intuitiv a pri nci pi i l or, tot aa cum n mi steri i l e anti ce omul
trebui a s sufre o moarte ri tual pentru a accede l a vi aa etern.
Metafi zi ca era cons i derat i nacce s i bi l nv mnt u l u i publ i c,
metafizi ci anul era un om i ni i at n mi sterel e exi stenei , di spunnd de
chei a eni gmei viei i , conchi de Beth [I] . Demonstra i a sau anal i za l ogi c
se puteau nva, i un maestru accepta s- l nvee pe nvcel acestea,
dar refza abordarea inteligibilului" pe cal ea contempl ai i l or i medi ate,
di sti ngndu-se ai ci ferm ntre el ementul (aspectul ) di dacti c, profn i
cel i ni iati c, o dovad c chi ar di n ant i chi tate a fst conti enti zat
anal ogi a di ntre metafizic i misticism.
Am i l ustrat nevoi a conti enti zri i celor dou ti puri de fundamente -
i stori ce i fl osofce - fcnd o scurt i ncurs i une n opera l ui Ari stotel ,
poate prin contrast cu supral i citarea mai recent a operei l ui Kant. Desi gur,
n l i mitel e anal izei fireti am fcut refri ri la platonism i mai vagi l a
pitagoreism, cu un caracter mai mult i mpl i cit, n vederea conturri i teori ei
ari stotel i ce a ti i nei care este, probabi l, pri ma doctri n arti cul at coerent
nu numai gnoseol ogi c ci i metodol ogi c, pri semni fcati ve ale ei fi i nd
asti prel uate intact. Dar noi contientizm c ai ci am oferit doar o i l ustrare
a acestei abordri pe un caz, ce urmeaz s fie expl i citat i detai l at ulte
rior, compl etat cu expunerea altor doctri ne filosof ce cu rezonane i storice.
1 6
1 . 2. CERCEJAREAFUNUAJIONAL
'
AMAJEMAJ|C||: FUNUAMENJELEMAJEMAJ|CII
IFILOSOFIAMAJEMAJIC||
C.r..:ur.u 1unuu+nu1 u uu1.uu::.+: .n..1.uz .+n.+
uu.t:: u. _anu:+.. l) uu1.uu::.u rr:u-.+. . !unuuu.n1.1.
uu1.uu11.++ 3 u.1uuu1.uu:+.u 4 1+1!:u uu1.uu1+.++
5 ) !+1!:u _.n.ru1
C.+..1u+.u tuu+nu1 .:. .n+u.ru1 un _.t u. .unu1.+.
u. _ruuu1 u1 u+1.u .. . ..+.uz uuru un.:u r..:1.t1. uu: .~
u.1 uuru nu.u.n:.1+ 1.r.:+.. u1. u..1.:u ln u..1 .n un.u
. ..r..1ur.u nuu+nu1 .1. t:r.r+nu.1. +n1.1..1uu1 .u1.
u1u1 unu1::+. .u: : .n1ru.1+V :n.1uzatu n ..n uu :+ur+ u.
u.1+V+1: un.1. critice (unu11zu .r+1+. u nuuu.n1.1+ u11.1. con
structive, .n:unu t r..n:ru.+u .1+.+1 u u..1ru (M. Bun_. [ I ] ) .
C.r..1ur.u nuu1nu1 u uu:.uu:+.++ u. u.u.n.u :u1+. u..:.
uu :+ur+ u. u.::V::+ : critice + ++ constructive, .un:1.anu
uuu1u+. u u..1+u 1u r111u1 : ..:!.u1 u..1.+ 1++n. A.1+V+1+1.
critice .u+1tu unu1:zu .+:1:. u !utuuu.n1.1+ .n..:uu1. u1.
.unu1.r++ uu:.uu::.. u .1.1+ut:1r .n..1uu1. u1. :++n.+ .u u.
..u1u 1u1u:u1 .n..1.1+ !unuuu.n1u1. u1 fruu1.1r u. luz .u
: u1 r..uur:1r n1r.lu:nu1. : tu1. u..1.u ul :n1.n:u .1+u:nr+:
Vu_u+1+: + +n.n+1.n.+ S. +.uur. u+ . u..1. u.:+V+:+ :u1:.
u:+..: analiza conceptual-filosofic, .n1u+anu u1.+.n1 u. r.1.Vun:
r1u1 11!.: n ..r..:ur.u nuu+nu1 C.1 u.-u1 u+1.u u..1 u1
..r..:r:: nuu:nu1. - activitile constructive -!r reconstrucie
fundaional, :u.n:+!. :.r++ nuuu.n:u1., uu +t1.r..+: u1. u..1+u
u:. .ru:: r..n1ru.+u un.: r+ 1ur_+ u uu:.uu1+.++ .!.1+V.
r+:u-z+. ...u .. .t:::u+. .V+u.n: un u..1 uujr u1 ++.r.+
..r..:++ tuu:nu1. u uu:.uu1:.:+
Au .uu un ur1u1 n u11 ur:. (ur1.u [ 1, .4 ], uzu1 .r.+.+
fundamentele matematicii" .1. +n.t1un1 + .1+ur uul:_uu ..+
un.r: .u u..un.uz ur:.u uu1.uu1+.:: .u .ur. n... .n1ru.:u .+
ur+u` . .ur. . .u+!+. uu.n++1. uu:.uu:+.++ rr+u-z+. u11.++
.r.+u .un+!:. un _.n u. .u.n:ur+u u+n .:r+r uuru uu1.uu1+.++
u.n+: !+ .1+.u+. n :+u.t+ !+1!:.+ u nu1u+++ + .un+!:.u+.+
uu1.uu1+.++ R+_u+ Vrl+nu n+ . ur. . t u uuuu u...+. .r.+u
n .uuz .u++nu. + !+1!u uu1.uu:+.++ . .ur. unu1+z .u.: :r.lu+.
.u+. .u .un.n: uu.t+u J+:+n.: u1 _anu+r++ uu1.uu1+..
Pu1. uu+ .uratu 1r.lu+. r.z.rVu fundamentelor matematicii"
++uu u...+. ...u .. u.n: .u r.1.Vun1 .t1ru .1. t r+uu1 ranu un
.1.u.n1 u. construcie matematic, uu .uu un .1.u.n: u. analiz
jlosofc .uru.1.r+z.uz uu.n+u1 h1!+.+ uu1.uu:+.++ O++.uu u:.u
u...1u . ,fundamentele matematicii", rlul+1 nucleul" ..r...:r++
!vnuu+nu1. u uu1.uu:+.++ : !+ J.!+n+1. .u un unuul1u u. u.1+V+:+
.n1+u.:+V. u1 .++ ..+1. .uru.:.r+zu: u. t+ r+n1+- 1.1n+.
!unuu+nu1` (ur1.u [ 2, . 2 1 O] " .ur: un nu11 _ruu u.
1.1n+.u1+1u1.` r..uur+ + 1.1n+.+ .u un .uru.1.r uu:.uu:1. uu
u.r+nanu 1_+.++ u1_.lr+.. n u..: .n H B Cu++ [ I] u.n+n.uz
1_+.u uu:.uu:+. .u un +n1ruu.n1 n...ur n ulruu+.u nuuu.n1.1r
uu:.uu:+.++ +ur H.nJ+n [ I ] u.++ i 1u.u. n mVur.u u1+1+1++ 1_+.++
.1_.lr+.. n s1uu++1. !unuu+nu1. n V+r:u1.u unu+ u.u.n.u ..+!:.
u1.+ , fundamentele matematici i" un1 .n+u.ru:. .u ruuur u
uu1.uu1+.++ 1+uu1anu + +n1.r.u1 uu-nuu++1r matematicieni care
lucreaz " (rl+n_ uu11.uu1+.+ut .ur. n _.n.+u1 V+l+nu +_nr
problema/undrii uu1.uu:+.++
Auuur analiza fundaional u uu1.uu:+.++ (u..+ cercetarea
fundaional u u..1.+ :++n. .ur: uu .un.n1. +nu1+.nul+1.
tehnicfundaional " + ...u .. n+ uu nuu+1 relevanjlosofic.
T.1n+.u nuu+nu1 ( nu1: +.1.Vun1 .n1ru nuuu.n1.1. uu1.uu1+.++
.+n.+u. .u 1+u1 .n:+u.1+V u. 1uu++ u.:uuu1.uu1+.. uu+u
uu1.uu1+.++ .ur. .n1uu n f1+r.u r..uur+1r u.:u.1r + 1.1n+.+1r
.u .u+u.:.+ uu1.uu1+. +/uu 1_+.-uu1.uu:+. n :+an r.1u+. .u
ru.:+u u.1.uu1+. a1+V u. +uu1+. + uu..+un. u uu:.uu:+.+.n+1r
1u.r1r+` 1u u..1 !.1 u. u.1+V+1u1. nuu+nu1 ...u .. .n:ru:.uz .u
u1+1uu+n.u 1+ !z u. 1uu++1. u. 1+1!+u uu1.uu:+.++ C.u1u11
1 8
.un.n1 nuu+: ,,relevanflosojc", uuu +.nu.r.n: u.:+V+:+
.r+:+.. .ur. n uu ..n+u1 .n1uu n unu1+z. n. fruu1. + uur+n
1+1!.+ D.1 n+ u+1+n.u unu1+z.1. n. f+uu!. (uu+. +.1.Vunu
h11+. u. u.:+V+:+1. .n1ru.:+V. u.:uuu:.uu:+.. uu+.u:. u. un
rnunu: u..: :.1n+.- fruu1 n 1u.rur.u nu1r (ur1.u [ I ] ) uu +n+:u:
uuru .ru.ul11+:++ r..+r.. u u..1r .u1.r++ u1. ..+..:r++
nuu+nu1. u hruunJ . .1. . .nu+1n.uz unu . u1:u u..1. uu.n++
. .n.1r.uz` r..+r. .n1+nuu. ln .n1.: u:.u .n:u:u .!.:u1
l.n.!. u1 u.:+V+:11 nuu+nu1. uuru :++n.+ +...1+V. ( n u..1 .uz
uu1.uu:+.u .u+u.:.r+:+. u :11t.+ n u.:uu1u1 1uu+u u. u.zV1:ur.
n+nu rr+u .+ .uu.+1u:. u. u ur:+.+u 1u .1ul+u+.u ++++1+ .+
nuuu.n:. + .1u++!.u+.u 1u1u:u1u1 .n11::|r .u .ur. 1u.+.uz un !1
u. u1+n+r. u +u.u1u1u+ 1+1l.r1+un uu1u uu: .n1+u 11u.uunu
fundamentele uu:.uu:1.++ nun:+u1 .+`
A M1J+ [ I ] Vrl+nu ur..uu 1nu+1+n.1 u.+. nuuu.n1.1.
uu1.uu1+.++ r.uur.u r.z.nu n 1ru.1uru u..1ru u uu u..1. unu1
!1 h. + u11u1 uu1.uu1+. + +1u1r.uz u..1 1u.+u s.1+anu :.l1u1 u.~
1uu1 u1 rl1.u.1r nuu+n&1.. All1 .1 u+11n_. .u:.Vu .1u. + ul.1u.
u. rl1.u. nuu+nu1. A C. nu1ur uu n+un+1. uu1.uu1+.1+ n ..
uu+ .1. un1 .n1+u.++ uuun. n .. uu+ n. un1 +uu. u+n
u!+ .ur. .:. +zVru1 .unu1.+++ r++.1+1r 1r B C. nu1ur uu
u.un1+u++1. uu1.uu1+.. + .ur. un1 .++1.r++!. .ur. n. .ru+:
u..l+u . ..1. uu.V+u:. u. ..1. n.uu.Vru:. M1l+ [ I ] m..
l.+Vu+u . u.u.n.u .1.:+un+ uu r+n ...1.n un .uru.1.+ !1!.
+ .:. r.u u. +uu+nu: . .1. u+ u1.u ! r.z1Vu:. ..1u1V .u u.1u.
uu1.uu1+.. u.1..:u u+.+ .un+1:.u+. .n1rar .n..+.+ 1+l.r1+.n.
uu .ur. +l1.uu fundrii 1r.lu+. h. ..1u+V u. .u.:.nu 1n:.+
u uu:.uu1+.++ ++n u.1 nuuu+ 1u u.1u. + +..uu+1 uu1.uu1+.. P.
u..: nuu1 nJu:nu1 M:l1 u+:+n. 1 u+u:u+.1. ul.1u. u.
rl1.u. .u un .u+u.1.r uu+ ..+u1: A M.1uu u+uu1+. r1u1 .+ n
uu:.uu:+. + 1+u1:.1. u1+.ul+1+:++ .1 A Cur.n1.1. .n1+u.:+V11. n
uu1.uu1+. B A+uu:+zu+.u 1+.++ B P+l1.u. u. u..+uul+1+1u1.
E:. .V+u.n: . rl1.u.1. A + A_u...+l+1. ..r..1r++ uu1.uu:+..
1 9
- au aprut pe baza chest i uni i A), i ar probl emel e 81) i B n l egtur
cu B un fenomen fi resc, parti cul ari tate a progresul ui ti i ni fi c i cul
tural contemporan, constnd ntr-o transmutare" a probl emel or cu
caracter fi l osofi e n domeni ul asoci at, ai ci , cel al matematici i . Dar mult
dorita separare hilbertian" a matemati ci i (mai exact a fundamentelor
acesteia) de .ilosofie nu s-a putut real i za ni ci odat, n ci uda progres ul ui
fndai onal , cci pe de o parte, aa cum am remarcat (ur lea [ 1 , p. 48] ),
se constat o nfl ori re a probl emati ci i ti i ni fce (matemati ce) n medi ul
probl emelor fi l osofice, ca n exempl ul de mai sus, iar, pe de al t parte,
contrar opi ni ei lui Hi l bert, rol ul fl osofei n ti in, n spe n matematic,
n edificarea acesteia, este, aa cum remarca Suppes [ 1 , p. 70], s cl ari fi ce
probl emel e conceptuale i s expl i ci teze supozi i i l e fundamental e al e
fecrei di sci pl i ne ti i ni fce. Clari fcarea probl emel or conceptual e sau
construi rea unor fndamente l ogi ce expl i ci te s unt sarci ni care nu au un
caracter i ntri nsec, nici empi ri c, ni ci matemati c. El e pot fi cons i derate ca
o sarci n fl osofic propri u-zi s, di rect rel evant pentru ti i n. Aceste
permanente i ntruzi uni " al e domeni i l or - fundamente i fi l osofi a
matemati ci i - cunosc, deci , ambel e sgei al e transfrul ui ": de l a
fndamente l a fl osofi a matemati ci i i am i l ustrat pri n rol ul frmal i zri i
i axi omati zri i n di scursul fi l osofi e, care ne propune o nel egere
adecvat a fundamentel or mat emat i ci i , mai general , a naturii i
semniicaiei matematicii, potennd remarcabi l anal i za i dezbaterea
fi losofi c de la fl osofia matemati ci i la fndamentel e matemati ci i , ca n
cazul anteri or al anal i zei tabl oul ui fndai onal al matemati ci i , cnd se
nvedereaz rol ul fecund al probl emelor fi l osofce n spai ul cercetri i
fndai onale metamatematice.
Deci , chi ar i di n enumerarea l i stei de probl eme fndai onal e dat
de Mostowski [ 1 ], putem s i denti fi cm obiectul de investigaie (ti pul
de probl eme) al cel or dou domeni i al e gndi r i i metamatemati ce -
fndamentele matemati ci i i fl osofa matematici i . Oricum, la acest punct,
putem spune ceva sufci ent de preci s despre obiectul (probl emel e),
flosofei matematici i : aceast di scipl i n procedeaz la o anal i z fl osofic
a naturi i i statutul ui noi uni l or, i potezel or (axi omelor) i demonstrai i l or
20
matemati ce, sau, cu al te cuv i nte, abordeaz probl ema naturi i 1 a
semni ficai ei ent i ti l or matemati ce. (Nu vrem s spunem pri n aceasta
c di feri tel e s i steme axi omat i ce-funda i onal e al e matemat i ci i , de
exempl u, de teori a numerel or, teori a mul i mi l or nu abordeaz i el e
probl ema statutului, dar n-am zi ce i pe cea a naturii ent i ti l or abstracte
cu care opereaz matematica). Legat de obiectul de i nvest igaie al acestor
domeni i de gndi re metamatemati c meni onmstructura i proflul lor,
perspectivele i modalitile lor de abordare i u lti ma, care privete
rezultatele acestor dou ti puri de abordare, rel aia lor di n acest punct de
vedere.
n ceea ce
privete structura fndamentelor matemati ce, datorm l ui Krei sel [ I ] o
i nteresant, rel evant i fcund di st i nci e: fundamente logice i
fundamente matematice, fecare gen de fndamente avnd contri bui e
speci fc n anal iza i fndarea matemati ci i . Astfl , fndamentele l ogi ce
au de-a fce cu reconstrucia anteri ori ti i l ogi ce", (n sensul l ui Tarski
[ I ] ), a teori i l or matematice i cu defni rea conceptel or metamatemati ce
fl os ite n anal i za fnda i onal . Aa cum am scri s n (url ea [I] )
fundamentele logice au ca un concept speci fi c demonstraia" i n acest
sens probl ema validitii pri nci pi i l or matematice (axi ome, postul ate,
regul i ) apar ine, de asemenea, acestui gen de fndamente. Fundamentel e
l ogi ce abordeaz di scursu l n care se i nstal eaz teori a matemat i c
i gnornd subi ectul ei speci fc, cci , aa cum spune Nagel [ I ], matematica
are un caracter abstract, ceea ce moti veaz defni i a ei metafri c de
arhi tectur de demonstrai i ", un argument n fvoarea prezenei
fndamentel or l ogi ce n ansambl ul fndamentel or matemat i ci i , n
construcia acestei di sci pl i ne ti i nifce. Di n perspect iva fndamentel or
l ogi ce este mai semni ficati v structura enunuri lor matemati ci i , sau a
unei teori i matemati ce, dect natura speci fc a subi ectul ui parti cul ar
asupra creia aceasta poart. Studi i l e fndai onal e abi l iteaz remarcabi l
rel evana conceptul ui de compl et i tudi ne" ( i ncompl eti tudi ne), care
stabi l ete conexi uni demne de i nvestiga i i n pl anul fndamentelor, cci
n vi rtutea teoremei l ui Godel , se produce separarea a dou concepte de
nalt statur teoret ic - adevr" i demonstrabi l i tate"; se stabi l esc n
fpt vocai i i competene oarecum compl ementare pentru cele dou ti puri
de fndamente al e matemati ci i : fndamente matemati ce i fndamente
l ogi ce; de fpt o consecin a asi metri ei " rel ai ei propozi i e adevrat
- propoziie demonstrabil, ti ut fi nd c nu orice propozi i e adevrat
este i demonstrabi l . Urmeaz c n ti mp ce conceptul de demonstraie"
este pri vi l egi at n cercetri l e di n perspecti va fndamentel or l ogi ce,
concept u l de adevr" este, ev i dent , favor i zat de per s pect i va
fndamentelor matemati ce.
24
Fundamentele matematice admit conceptu l de val i di tate" ca
apari nnd fndamentel or l ogice i se ocup de probl ema organizrii "
teori i lor sau, chi ar a regi uni l or" matemat ici i . Aspectel e relevante pentru
acest gen de fundamente sunt caracteru l s i stemat i c, cl ari tatea i
i ntel i gi bi l itatea i , n acest caz, abordarea di n aceast pers pecti v este
una comprehensiv, spre deosebi re de cea speci fc fndamentelor logice,
care este pri n excelenformal. Ori cum, proble maconinutului (di sti nct
de cea a formei, care cade n competena fndamentelor l ogi ce) este
prefrat n fndamentel e matemati ce, i nteni a fi i nd ca o seri e de
concepte, rezultate s fe prezentate n termeni i conceptel or ori gi nal e,
fndamentale al e teori ei respective, astfl teori a categorii lor fvorizeaz
abordarea n termeni i conceptelor de fnci e" , compunere" prefrate
unor concepte ca mul i me", apartenen", remarc Krei sel [ 1] .
Pentru dezvol tri al e aspectelor aflate ai ci n di scuie tri mi tem l a
l ucrri l e noastre - url ea [ 1] , [ 3] - ai ci mul umi ndu-ne s mai adugm
c uneori cont ri bu i a construct i v a fundamentelor matematicii
(undamente logice +fundamente matematice) n cadrul cercetri i
fndai onal e vizeaz i denti fi carea i /sau edi fcarea anumi tor teori i i
structuri matemati ce, ce pot servi reconstruci ei fndai onal e, chi ar a
ntregul ui edi fci u al matemati ci i ; progra mulstructuralismului matematic
(N. Bourbaki) este semni fi cativ n aceast pri vi n.
Despre filosofia matematicii vom meni ona doar c nucl eul ei l
constritui
o concepie fi l osofic (pl atoni sm, frmal i sm, i ntui i oni sm
etc. ) gari si t" tehni c cu metode, proceduri i tehni ci care sunt n pri n
ci pal de fctur semanti c, meni te s expl iciteze, n contextele anal i zel or
i expl ica i i lor conceptuale, nefrmate, substanafilosofic a rezultatel or
teori ei sau a ansambl ul ui de teori i matemat i ce.
De i am sus i nut exi stena unui grup de di sti nc i i teoreti ce i
conceptuale, acest fpt este compati bi l cu un fl de contacte reci proce
di ntre cel e dou domeni i - fundamentel e matemat i ci i i fi l osofi a
matemat i ci i - n sensul c meni rea a ceea ce am numi t rel evana
fl osofc" (n fpt acti vi ti l e speci fce fl osofei matemati ci i ) este s
expl i citeze substana" fl osofic, care i mpregneaz chi ar fndamentele
25
matemat ici i . Astfel , de exempl u, j usti fi carea axi omei i nfi nitul ui ", ce
cade n s fera fu ndament el or l ogi ce al e mat emat i c i i , s ugereaz
angajamentel e ont ice" al e teori ei mul i mi l or. Observm exi stena unor
zone de i nterfren" a fundamentelor logice (ce au de-a fce cu
probl ema val i di t i i axi omel or teori i l or) cu asumpii ontologice al e
teori i l or matemati ce, asump i i cu rel evan fl osofi c, pri mel e fi nd
adesea un travesti" al acestora di n urm, ceea ce sugereaz c aceste
di s ci pl i ne funda i onal e, (fu ndament el e mat emat i c i i i fi l os ofi a
matemati ci i ), n u sunt chi ar aa de pure" aa cum, eventual s-ar pretinde
n vi rutea caracterul ui prea tranant al meni onatel or di st i nc i i . Dar un
fpt i mai remarcabi l este parti cularitatea teori i lor matematice de a pura
asupra unui uni vers de di scurs, (o l ume ontol ogi c), ceea ce trimite n
mod cert l a constatarea c trebui e admi s c ele asum ni te pres upozi i i
fi l osofice ( i poteze ontologice) pri vi nd probl ema real it i i (exi stenei ) n
matemat i c.
n perspectiv
fundai onal , deci din i nteri orul nu al flosofei matemati ci i , ci dinuntrul
fundamentel or matemati ci i, L. Henki n [ 1] a ncercat o abordare care s
nl ocui asc perspecti vel e l ogi ci st, frmal i st, i ntui i oni st-, uni lateral
absol uti ste i pregnant fl osofce, determi nai i ce le fc i nadecvate pentru
o reconstrucie relevant a matemati ci i , - cu o schem conceptual neutr
fi l os ofi e, care re i ne numai as pecte set- teoretice (contra partea
funda i onal a cel ei funda ion i s te- l ogi ci ste), aspecte algebrice
(corespunztoare frmal i smul ui ) i aspecte constructive, care, rel evnd
spi ritul de cercetare ce a motivat concepia l ui Brouwer, ar putea f un
27
substitut adecvat pentru i ntui i oni sm. Audi ena la practi ca t i i ni fc, n
vi rtutea caracterul ui fmi l iar al schemei fndai onal e propuse de Henki n,
ca i a procesel or de tranzi i e" de l a fi l osofi e l a ti i ni fc, urmare a
abandonri i schemel or aprior i i chi ar neces i tari ste, i nerente mar i l or
programe fundai oni ste ( l ogi ci sm, frmal i sm, i ntui i oni sm) i care l e-au
fustat" de prizare i adecvare l a matemat i ca efcti v pare s fi moti vat
opi unea l ui Henki n.
n
primul rnd, trebui e notat c cercetarea moder di n sfra fndamentel or
matemati ci i i ncl ude, ca o parte, metamatemat ica, f de care acestea
sunt evident supraextens i ve pri n: a) ansambl ul probl emelor fndai onal e
este mai vast dect probl emati ca metamatemat i ci i , cum uor se observ
di n l ectura l i stelor de cl ase ale probl emel or f
mprt i t e de
majoritatea matemati ci eni l or, concep i i l e ari stotel ice despre conceptel e
n chesti une vor f atacate de Georg Cantor n a doua jumtate a secol ul ui
al XI X-i ea, pri n a l ui teori e a mu l i mi l or, n care sunt cons i derate
multipliciti infnite n act.
Ari stotel ( 3] cl arifi c natura i apl i cabi l itatea, ( i le defi nete),
conceptelor de concomitent" separat", n contact", intermediar",
consecutiv", contiguu" i continuu". (Concomitent" spunem despre
l ucruri afate ntr-un loc; ,,separat" spunem despre l ucruri afate n l ocuri
di fri te; n contact" spunem despre l ucruri al e cror capete extreme
sunt mpreun; i ntermedi ar" este ceva l a care aj unge fresc l ucrul care
se mi c nainte de a ajunge l a extrema spre care ti nde, ceea ce se schi mb
conti nuu, consecutiv" spunem despre l ucrul care este ndat dup
nceput, fe pri n pozi i e, fe pri n frm, dac nu exi st ceva de aceeai
speci e ntre acesta i acel a care urmeaz; iar contiguu" este acel l ucru
care fi i nd consecut i v al tu i a est e i n contact cu antecedent u l ) .
Continuu!" scri e Ari stotel [ 3] (apud O. Becker [ 1 , p. 92] ) este desi gur
ceva care este conti guu, dar eu fl osesc termenul continuu" atunci cnd
extremi ti l e fiecrui a din cele dou l ucruri , prin care ele vi n n contact,
devi n unul i acel ai l ucru i - dup cum spune chi ar cuvntul con
ti nuum" - el e se i n mpreun, ceea ce nu este ns pos i bi l atta vreme
ct extremit i l e sunt dou. Aceasta fi i nd defi ni i a, este evi dent c
aa-zi sul conti nuu exi st n acel e l ucruri care pri n l egare pot deveni unu l
si ngur n mod natural ; i ori care ar f cal ea pri n care ceea c e l e i ne
mpreun exi st ca unitate, ntregul va fi tot o unitate n acel ai mod, fie
c l egtura se fce cu aj utorul unui cui , prin l i pi re, pri n ataare sau pri n
cretere mpreun. Este evi dent c dup ordi ne vi ne nti consecuti vul ;
cci , tot ceea ce este n contact trebui e s fie cu neces itate consecuti v, nu
ns ori ce consecutiv trebui e s fie cu neces itate n contact. (De aceea, i
44
l l ucruri l e care noi onal sunt anteri oare, ca de pi l d la numere, exi st
mai degrab consecuti vul dect contactul ). i dac un l ucru este conti nuu,
at unci trebui e s exi ste contact; di mpotriv, dac exi st contact, aceasta
nu este sufcient pentru a garanta conti nui tatea. Cci extremiti le, dei
pot f mpreun di n punctul de vedere al locul ui , nu sunt cu neces itate un
si ngur l ucru; dar, dac sunt un s i ngur l ucru, el e trebui e n mod necesar
s fe mpreun.
n
conseci n, chi ar dac punctu l i unitatea au, cum se spune, exi stene
separate, totui nu este posi bi l ca punctul i unitatea s fe acel ai l ucru,
cci punctel e au contact, uni t i l e au ns numai su
c
ces i une, i l a pri mel e
poate exi sta i ntermedi ar, cci ori ce l i ni e este ntre doi i uni tatea nu este
ni mi c. S-a spus, deci , ce este concomitent i separat i ce este n
contact, i ntermedi am, consecuti v, conti guu i conti num> i cror
l ucruri li se atri bui e fiecare di n acestea".
Aadar, dac re i nem ca fundamental e n probl em numai
conceptel e continuu, contactul i consecutivul, atunci el e pot f defni te
astfel : conti nue sunt l ucruri l e al e cror extremiti sunt una, n contact
sunt l ucruri l e al e cror extremiti sunt concomi tente i consecutive sunt
acelea ntre care nu exi st ni mi c l a fel cu el e".
n conti
nuare, Ari stotel
focal i zeaz" anal iza sa asupra conti nuul ui , i nvocnd n sprij i nul acestei a
i unel e exempl e. As eri uni care expl i ci teaz anal i za ari stotel i c a
conti nuul ui : i mpos i bi l i tatea ca i ndi vi zi bi l el e s constituie un conti nuu,
de exempl u, l i ni a care este ceva conti nuu nu poate f alctui t di n puncte,
care sunt i ndi vi zi bi l e; extremi t i l e punctel or nu sunt ni ci una i ni ci nu
sunt mpreun, n pri mul caz, deoarece l a i ndi vi zi bi l e (i punctel e sunt
aa ceva) nu exi sta extremitate di sti nct de rest ul l ucrul ui i ndi vi zi bi l , n
al doi lea caz, i ndi vi zi bi l el e fi nd ceva fr pri , nu au pr i extreme,
extremi tatea trebui nd s fe di sti nct de l ucrul crei a i apari ne. Punctel e
care ar al ctui continuu! ar trebui s fe sau conti nue sau n contact. S-a
artat pn acum c nu pot f conti nue, urmeaz s artm acum c nu
45
pot fi n contact. Contactul are l oc ntre ntreg i ntreg sau ntre parte i
parte, s au ntre o parte i un ntreg, ori cum i ndi vi zi bi l ul nu posed pri ,
ntregul poate f n contact cu alt ntreg; dac, ns, un ntreg este n
contact cu alt ntreg, atunci nu se const itui e un conti nuu, cci conti nuu!
coni ne pri di frite ntre el e i est e di vizat n pri separate n acest
sens i separate ca loc". Punctul , ca i cl i pa, nu pot f consecuti ve altora,
astfel nct s al ctui asc o l ungi me sau un ti mp, deoarece nu sati sfc
ceri na ca ntre el e s nu exi ste i ntermedi ar; n real i tate, ntre puncte
exi st o l i ni e, i ar ntre cl i pe este ntotdeauna un ti mp. Dac admitem c
o l i ni e i un ti mp (durata) pot f di vi zate n pri l e l or componente, apoi
fecare di ntre acestea dou ar f mpri te n i ndi vi zi bi l e. Dar, deja am
constatat c cont i nuuul nu este di vi zi bi l n pri fr componente
(= i ndi vi zi bi le), i ar punctel e i cl i pe le nu pot avea ntre ele ceva di ferit
de ele; n cazul n care ar exi sta un i ntermedi ar, sunt dou pos i bi l iti ca
s fe sau ceva i ndi vizi bi l , sau ceva di vi zi bi l , i ar n cazul al doi l ea, ar
trebui e s fe mprit fe n i ndi vi zi bi l e, fe n di vizi bi l e l a infnit (s. n. n
text) . Ari stotel conchide c tocmai acest din urm caz este continuu!:
Este evident c ori ce conti nuu este di vizi bi l la i nfnit; dac ar f di vi zi bi l
n i ndi vi zi bi l e, atunci un i ndi vi zi bi l ar f n contact cu un i ndi vi zi bi l ,
cci extremiti l e conti nuul ui sunt una i sunt n contact" (Ari stotel [ 3 ] ) .
Stagi ritul dezvolt si mi lar un raionament pentru mrime, t i mp i mi care,
a crui concl uzi e ar f, credem, ideea urmtoare: , ,
n acel ai mod ca la
l ungi mi i mi cri , exi st necesitatea ca i ti mpul s fe i ndi vi zi bi l sau s
fe compus di n cl i pe i ndi vi zi bi le; cci , dac fecare di stan este divi zi bi l
i dac un l ucru mi cndu-se cu aceeai vi tez strbate o di stan mai
mi c ntr-un ti mp mai mi c, atunci i t i mpul va f di vi zi bi l i i nvers, dac
ti mpul n care un l ucru se mi c pe di stana A este di vi zi bi l , atunci i A
va f di vi zi bi l". Corelnd aspectel e mi care i ti mp (ntruct mi carea
se produce n ti mp, dup cum i n ori ce t i mp este pos i bi l ca ceva s se
mi te), Ari stotel afrma c dac tot ce este n mi care poate s se mi te
i mai repede i mai ncet, atunci mi carea se va fce n ori ce t i mp, mai
repede i mai ncet". Concl uzi a ari stotel i c este di rect: dac l ucruri l e
stau astfel , atunci trebui e s admi tem c i ti mpul trebui e s fe conti nuu".
46
, , Pri n cont i nuu eu nel eg ceva ce este totdeauna di vi zi bi l n di vi zi bi l e l a
"?finit (conexi une rel evant i nfni tate-conti nuitate, s. n. M. . ) i dac
punem l a baz acest conti nuu, atunci este necesar ca i ti mpul s fe
conti nuu" (Ari stotel [ 3] cf Becker [ 1 , p. 96] ).
Aj uni n acest punct al anal i zei fcute de Ari stotel , avem deja
conturat o perspecti v care conduce l a o al t probl em semni fcativ n
t abl oul matemat ici i el i ne, cea a paradoxelor, i n care fl osofl grec
s-a di sti ns prin contri bui i i mportante nregi strate n i stori a matemati ci i
i fl osofe. Problema paradoxelor, cl asi c n vremea n care a tri t
Ari stotel , este l egat de opera l ui Zenon di n El eea care, vrnd s apere
concepi a dascl ul ui su, Parmeni de, despre uni tatea ntregi i exi stene,
a procedat la o exami nare a conceptul ui de mi care n vederea reduceri i
la absurd a acestui a.
,,
Lui Henri Lebesque i apari n memorabi l el e cuvi nte care i nvoc
semni fcai a paradoxel or l ui Zenon pentru col aborarea di ntre oameni i
de ti i n i fl osof: Dup pri mel e mari progrese real i zate de teori a
mul i mi l or, fl osofi i matemat i ci eni i au crezut c veni se momentul
s-i nti nd mna peste l arga prpast i e ce- i desprea. Di al ogul pe care
l -au angaj at prea s fe la nceput un fl de joc al cuvi ntelor ntrerupte;
se prea c, iat, nc cteva cl i pe, nc un mic efrt i uni i i vor nel ege
pe cei l al i . Ci neva l -a i nvocat ns pe Zenon di n El eea i paradoxuri l e
l ui . i atunci , l a apari i a l ui Zenon, matemati ci eni i au nel es c trebui au
s se retrag".
Argumentel e l ui Zenon se nscri u ntr-o pol emi c care are nc
valoare actual. Anal iza aristotel ic precedent a conti nuiti i i i nfni ti i
i nvedereaz real e valene expl i cati ve n cri ti ca paradoxelor l ui Zenon.
P. Costabel [ l , p. 1 1 2- 1 1 8] si stematizea, dup Ari stotel [3 ] , pe categori i ,
cel ebrele argumente al e l ui Zenon: 1 ) Nu poi aj unge pn l a captul
unui stadi on, pentru c nu poi strbate ntr-un ti mp fnit un numr i nfnit
de puncte.
"= : a
=
1,
b
=
l
a + b
(O. Becker [ 1 , p. 1 00] ).
Dar, dac teoria propori i l or geometri ce a fst iniial aplicat n
mod naiv l a orice, odat cu Euclid dispunem de o fndamentare riguroas
i pentru numerel e ntregi.
n acest prim sens, avem n vedere rel aia (raportul) dup numr,
fe n mod nedetermi nat (doar aa"), fie n mod determi nat, n raport cu
numrul sau cu unitatea. Astfl , raportul di ntre dubl u i unitate ( 1 )
reprezint un anumit numr, raportul di ntre numr i uni tate (n: I )
reprezint un numr nedeterminat (cutare) (n). Raportul dintre unu i
jumtate i dou treimi di n el (% : I ) este un raport determi nat ntre
numere (
) , raportu l dintre i
-
`i I est e un raport numeric
n
nedeterminat (n+ 1 : n), ntocmai ca raportul dintre multipl u i unitate (n:
5 1
1 ). Rel ai a di ntre ceea ce depete i ceea ce este depit este compl et
nedetermi nat ca numr; cci numerel e sunt ntre el e comensurabi l e,
dar acel raport este i ncomensurabi l ca numr. Ceea ce pri sosete este tot
att ct i l i psete i nc ceva mai mul t; ns, acest ceva nu este
determi nat. Toate aceste rel ai i sunt enunate i ca valori numerice i ca
propri eti ".
Textel e pl atoniciene i ari stotel i ci ene dovedesc cu pri sosi n c
refri ri le sunt fcute l a rapoartel e rai onal e, consi derate determi nate,
numeri c i canti tat i v. Descoperi rea incomensurabilitii l at uri i cu
di agonal a ptratul ui i pol i gonul ui regu l at va produce o criz
fundaional n matemati c, infirmnd concepia pi tagorei c confrm
crei a numrul fce totul cognoscibil", o credi n afrmat n speci al
de Phi l ol aos. Infrmai i l e pe care l e expunem n conti nuare Ie datorm
comentari i l or l ui O. Becker [ 1 , p. 1 03- 1 1 O] ).
Di fi cul ti l e i ndezi rabi l e pri l ej u i te de acest fenomen au fost
manevrate pri n dou proceduri : pri n pri ma s-a ncercat evitarea n gen
eral a propori i lor n consi derai i le geometri ce, prin nl ocui rea lor prin
egal i ti de ari i , tiut fi nd c a: b = c: d este echi val ent cu ecuai a
produsel or ad = bc; aceasta expri m echi val ena dreptunghi uri l or cu
l aturi l e a, d, respect iv b, c. Demonstraia dat de Eucl i d teoremei l ui
Pitagora n Elemente" I , 47 este o i lustrare elocvent a acestei proceduri .
Cea de-a doua procedur a vizat e laborarea unei teori i a propor i i l or,
val abi l pentru numere raionale, dar i numere i raional e, teoria cl asi c
aparinnd l ui Eudoxos n secol ul al IV- iea . e. n.
ns, nc n secol ul al
V- l ea, o teori e n domeni u caracteriza egal i tatea a dou rapoarte pri n
aa-numita antanairesis sau anthyphairesis, confrm lucrri i l ui van der
Waerden [ 1 , p. 208, 288] i N. Bourbaki [ 1 , p. 1 1 O] , pentru determi narea
cel ei mai mari msuri comune a dou mri mi comensurabi le se scade
cea mai mi c di n cea mai mare, apoi se scade cea care a rmas mai mi c
din cea mai mare i se continu pn rmn dou mri mi egal e care
consti tui e msura comun. Procedeul este cunoscut n teoria el ementar
a numerel or s ub numel e procedeul mpririlor succesive" sau
algoritmul lui Euclid'' i a fst enunat pentru numere n Cartea
5 2
; 1 VI I -a ( I , 2), i ar pentru mri mi n Cartea a X-a (2, 3 ) di n Elemente" n
, cderea construci ei cel ui mai mare divizor comun i cel ei mai mari
1 1 1 suri comune. Forma este a dezvoltri i unui raport n faci e conti nu
u1 numrtori i I , iar raportul este raional sau irai onal , dup cum aceast
dezvol tare este fnit sau infnit.
n cazul conceptel or
matemati ce i nvocate n Pl aton [6] , defni i i l e l or aveau rol ul de i poteze,
aseri uni acceptate fr demonstrai e.
Metoda supral i citat n matemati ca greac a fst demonstraia
indirect" i a fst mprumutat di n fi l osofi e.
n conseci n, W. C. Kneal e [ l ]
pl edeaz pentru o di sti nci e mai fi n" ntre uzul metafi zi c a l metodei
reductio ad absurdum identifi cat cu di alectica i metoda nsi a reduceri i
l a absurd.
J. R. Lucas [ 1 ] afi rm c dac el eai i au produs argumentul reduc
tio ad absurdum, l ui Pl aton, ns, i apari ne meri tul de a fi frmul at
expl i ci t idealul aiomatizrii" ca ceva de real i zat n mod contient,
nct cartea a aptea a Republicii" pare s anune the programme of
67
studies for the Institute of Advanced Studies at Athens", i ar di sci pol ul
su, Eudoxus, a dus sufi ci ent de departe programul pl atoni ci an.
ns Pl aton,
St. Augusti n, Thomas Aqui nas, Descartes, Spi noza i Lei bni z exi st un
amestec inti m de rel i gi e i rai onament, de aspiraie moral cu admiraie
l ogi c a ceea ce este atemporal , care vi ne din Pythagora, i di sti nge
teol ogia intel ectual i zat a Europei de mi stici smul rudi mentar necompl icat
al Asi ei ".
Dar l a ideea c toate lucrurile sunt numere" au condus i succesele
aritmeti ci i computaionale, fixate tradi i onal n fol cl orul computaional ,
i care degajau moral a: numerel e i cal cul el e ofr posi bi l itatea nl ocui ri i
mnui ri i practice a l ucruri lor; deci , numrul reprezint substana comun,
pri nci pi ul tuturor l ucruri lor, iar rel a i i l e di ntre l ucruri se pot expri ma
pri n rel ai i l e di ntre numere. S-a produs un fl de i nvadare a l umi i
exteri oare de ctre aceast aritmeti c computai onal i fenomenul a
condus l a aseri unea l ucruri l e s unt numere", central n doctr i na
pi tagoreic. Lucruri l e devi n i ntel i gi bi l e pentru om pri n intermedi ul
numrul ui pe care- l poart, iar cunoaterea l or rezi d n determi narea
numrul ui lor propri u. Ceea ce nu poate f expri mat pri n numr rmne
nei ntel i gi bi l , i nacces i bi l ( cf. Di el s-Krantz [2] ).
Matematismul pitagoreic este n mod eseni al aritmetism, cci ntre
ti inel e matematice (mathema) aritmetica are o pozi i e privi l egi at, cci ,
pe de o parte, aceasta di n urm, n vi rtutea corel aiei di ntre numere i
mri mi - care pot f eventual i geometr i ce - medi az acces ul
aritmeti smul ui l a o concepie despre exi sten i chiar despre univers,
evideniind pri nci pi ul structuri i i ordi ni i n uni vers ; iar, pe de alt pare,
geometria, n evol uia matemati ci i , va detrona" aritmetica i , odat cu
ea, intuiia aritmetic, marcnd, n fi nal , eecul aritmetismului, al
filosofiei pi tagoreice, pri n i nstaurarea euclidianismului care va domi na
pn n epoca carteziani smul ui cnd se va produce, pri n geometria
72
anal i t i c ( a coordonatel or) o rea bi I itare" a ari tmeti ci i . Tratarea
geomet ri ei i ndependent de ari t met i c, provocat de di fi cul ti l e
i ncomensurabi l el or", este conti enti zat i n unel e di aloguri al e l ui
Pl aton i executat cu perfci une n Elementele" l ui Eucl i d. Doctri na
pitagoreic a fost faci l itat n demersul ei constitutiv de practica adepi l or
numrri i i a scri eri i numerel or, asemntoare actual ei pract i ci a
reprezentri i numerel or pe zar pri n fl osi rea punctel or, (n vi rutea
princi pi ul ui c numerel e erau constituite din uniti i ndivi dual e marcate
pri n puncte: numrul unu era un s i ngur punct, iar cel el al te numere erau
create pri n adi i a punctel or ) . Di n aceast perspecti v dobndi m
nel egerea unui aspect semni fcati v, cel a l rel ai ei di ntre aritmetic i
geometri e ca i confgurarea rol ul ui l or n doctrin
pitagoreic ca o
concepie despre l ume. Astfl . un s i ngur pebble ca un punct este unu,
doi este fcut di n doi pebbles sau dou puncte, iar aceste dou puncte
fc o l i ni e. Trei puncte, precum vrfri l e, col uri l e unui tri unghi creeaz
un pl an, sau o supraf i , n fi ne, patru puncte pot reprezenta un sol i d.
Faptul descri s a sugerat l ui Pythagora i deea corel ai ei dintre numere i
mri mi , (eventual , confi gura i i geomet ri ce: segmente, suprafe,
tri unghi uri , cuburi ) ntre aspecte rmnnd semni fi cat i v teorema
care-i poar numel e: ptratul i potenuzei este egal cu suma ptratel or
cel orl al te dou l aturi (catete) al e unui tri unghi dreptunghi c.
n toate aceste
frme numerel e sunt mai mult dect abstraci i , ele sunt fel uri speci fi ce
de ent i t i : A spune ca pi tagorei i c toate l ucruri l e sunt numere,
el egem c exi st o baz numeri c pentru toate l ucruri l e care posed
confi gura i e i mr i me ( di mens i une) ; ast fel , vedem medi a i i l e
rai onamenul ui pi tagorei c: ei trec de la aritmeti c la geometrie i pri n
i ntermedi ul acestei a l a studi ul structuri i real i ti i . Toate lucruri l e posed
73
numere, i val ori l e lor par i i mpar expl i c opozii i l e n l ucruri ca unu i
mul ti pl u, ptrat i obl ong, drept i curb, chi ar l umin i ntuneri c, sunt
opozi i i numeri ce ca i mascul i n i femi ni n, bun i ru" ( S. E. Stumpf
[ l , p. 1 1 ] ) .
Pi tagorei i i depesc pe mi l esi eni pr i n conceptul de form,
contri bui a l or important n fl osofi e i care va f prel uat de Pl aton.
Mi l esi eni i s-au oprit l a i deea de materie primar, precum apa, aerul ,
apei ronul etc. , di n care este constitui t orice lucru. Pitagorei i nel eg/arma
ca limit, i ar aceasta este accesibi l nel egeri i noastre n termeni
numeri ci . Muzi ca i medi ci na i l ustreaz cel e mai rel evante domeni i al e
forei , graie aroni ei , care rezid n propori i i l i mite. Pri n i ntermedi ul
formei - ca aroni e muzi cal sau/i sntate - numerel e cuceresc"
regi uni al e exi stentul ui al cror speci fc nu-l mai reprezi nt cantitativul,
oricum esenial rel evant pentru numr, ci calitativul, care i anexeaz
fnomene-abstraci uni .
As er i unea cent ral a doct r i n e i c are rezum c on i nut u l
pi tagorei smul ui , i deci al matematismului pitagoreic, toate lucrurile
sunt numere" sau, poate, ntr-o frm mai s lab: toate lucrurile posed
numere", a vi zat ntregul univers, astronomi a aducndu-i propri a- i
contri bui e l a fndarea unui asemenea enun.
n
concepia pi tagorei l or i nfinitul parti ci p la l i mitat (sau Unul ), iar aceast
participare, pri nci pi u al l umi i , este ceea ce se numete Dyada i nfini tul ui
77
i a uniti i . Termenul Dyada desemneaz altceva dect dubl ul , dei dubl ul
ca orice numr este o Dyad, fi i nd jonci unea mul t i pl ul ui cu uni tatea,
mul ti pl ul avnd i l imitat ul ca esen. Pe de al t parte, dac dubl ul ar fi
identic cu Dyada acesta ar fi un mul t i pl u i unitatea ar fi identic cu
dual itatea. Dual itatea i ndefinit i dupl icativ este n concepia l ui Pl aton,
pri nci pi ul materi al opus Unul ui . Cupl ul Unul ui i al dual iti i (di adei )
este o remi ni scen l a Pl aton care i are ori gi nea n fl osofia pitagoreic,
unde Numrul, esen a l ucruri lor, devine un pri nci pi u de expl i care a
l umi i , dar numai dac l compl etm cu noi unea de infi nit, care l a rndul
ei nu este ni mi c fr parti ci parea uni ti i . De ai ci deriv di ada uni ti i i
a infi ni tul ui l a pitagorei , cci aceti a susi n, spune Ari stotel [2, p. 4 1 4] ,
c Unul e pr i nci pi u, substan i e l ement al tuturor l ucruri l or,
consi dernd numrul ca proveni nd di n aceast Unitate pri mordi al i
di ntr-un al doi l ea el ement indefi nit (Diada i ndefnit)".
Spre deosebire de al i fl osofi (pl atoni ci eni i ) pi tagorei i nu admi t
mai mul te fel uri de numere: numere ideale (formate di n uni ti
neadi ional e sau adi i onal e numai n cadrul acestor entiti, gen di ada,
tri ada etc. ), numerele matematice (al e cror Uniti sunt adi i onal e).
Pitagorei i admi t numai numrul matematic, care, confor si stemul ui
lor de gndi re, nu este separat de l ucruri l e sens i bi le, ci l e este i nerent,
fi ind chiar substana lor. Spre deosebi re de aceast reprezentare concret,
promovat de pi tagorei sm, Ari stotel consider c ambele ti puri de numere
exi st n afra sens i bi l ul ui . O concepi e - fz i ntermedi ar ntre
pitagoreism i concepia aristotelic - ar reprezenta uni i pl atoni ci eni
care descri u numrul matematic ca o real itate foarte abstract, exi stnd
ca pri m fi i n separat de l ucruri l e materi al e". Pitagorei i au susi nut c
numerel e matemat i ce, si ngurul fl de numere admi s, sunt i nerente
l ucruri lor materi ale, i manente l ucruri l or sensi bi l e, al ctui nd fi i na l or.
Iat textul i ntegral di n Metafizica" l ui Ari storel [2, p. 4 1 5] cu pri vi re l a
concepia pi tagoreic despre numere: Iar pi tagorei i susi n c s i ngurul
numr este cel matematic, numai c n doctri na l or nu este separat de
l ucruri, ci substanel e sensi bi l e sunt al ctuite din acestea. Construi esc
Universul ntreg di n numere - dar nu di n uniti (monades) abstracte -
78
c:ci aa cum presupun ei , uniti le au nt i ndere (mri me spai al ). Pe ct
\e pare nu gsesc o iei re pentru a expl ica n ce fl s-a al ctui t Unul
pri mordi al nzestrat cu mri me. Al t gndi tor susi ne c numrul pri mor
d i al ar f Unul ideal , i ar ali i c numrul ideal este identi c cu cel matematic.
Tot aa de mprite sunt i preri le pri vi toate l a l ungi mi , suprafe i
f iguri sol i de. Uni i socot mri mi l e matemati ce ca fi nd deosebi te de cel e
care vi n dup i dei . Di ntre cei care susi n astfl _de teor i i , uni i recunosc
mri mi l e matemat ice, dar consi derate numai sub rapor matemat i c. Aa
procedeaz cei care fc di n numere I dei i, de al tfl , ni ci nu admit
exi stena i dei l or. Al i i admi t mri mi l e matemat ice, dar nu le iau n sens
matemati c. Cci dup ei nu orice mrime se di vide n mri mi i nu orice
fel de uni ti pot f o dual itate ( dyas ) . Aadar, pl eac de, l a postul atul c
numerele se alctui esc di n uniti toi cei care afrm c unul este el e
ment i pri nci pi u al cel or exi stente, n afar de pi tagorei , care dup cum
spuneam nai nte, atri buie numerel or mri me".
n
ipoteza corel ai ei di ntre monad i dyad, ori cum, vechi i pitagorei nu
consi derau uni ti l e noi uni abstracte, despri nse de real i tatea sensi bi l ,
deoarece, afrm Raven, aceti flosof ca i restul presocrati ci l or nu
izbuteau s stabi l easc o del i mitare ntre corporal i i ncorporal " (apud.
M. Nasta [ I , p. 1 06]). Concl uzi a este c pi tagorei i nu admiteau teza c
numerel e sunt al ctuite di n uniti abstracte - monades.
n cele
ce urmeaz reproducem aceast construci e dup K. R. Popper [ 1 , p. 76] ) .
Un ptrat poate f reprezentat pri n patru puncte n fl ul urmtor:
aceast construci e poate f i nterpretat ca un rezul tat al adugi ri i a trei
puncte la un punct di n partea stng de sus pe care l marcm astfl :
_
Cel e trei puncte frmeaz gnomonul . Putem aduga un nou gno
mon frmat acum di n ci nci sau mai multe puncte:
=:
85
Fi e i rul de numere i mpare: I , 3 , 5, 7, . . . ; se constat uor c fecare
di ntre numerel e i rul ui consti tuie un gnomon al unui ptrat i c sumel e:
I , I + 3 ; 1 + 3 + 5 ; I + 3 + 5 + 7; . . . sunt numere ptrate; i ar dac n este
numrul punctel or de pe o l atur a unui ptrat, atunci ari a (suma tuturor
punctel or) este n2, egal cu suma pri mel or n numere pare.
Abordarea n cazul tri unghi uri l or echi l ateral e este sugerat de un
tri unghi , care crete njos pri n adugarea a nc unei noi l i ni i ori zontal e
de puncte,
unde de data aceasta gnomonul este reprezentat de ulti ma l i ni e ori zontal ,
i ar fecare el ement al irul ui I , 2, 3 , 4 . . . este un gnomon. Numerel e
tri unghi ul are sunt numerel e I + 2; I + 2 + 3; 1 + 2 + 3 + 4; etc. , deci
sume al e pri mel or n numere natural e.
Dac aezm dou asemenea tri unghi uri l atur lng l atur ca n
di agrama urmtoare obi nem paral el ogramul cu l atura ori zontal n + I ;
i ar ceal al t n i care coni ne n( I + 1 ) puncte, fi nd frmat di n dou
tri unghi uri i soscel e:
\
Numerel e oblong" se obi n confrm di agramei :
Deci numerel e dreptunghi ce (al fi guri l or dreptunghi ul are) au
gnomon un numr par, el e fi nd s ume de numere pare: 2 + 4 + 6 . . . ;
86
cons i derai i l e se exti nd i la sol i de i obi nem numere cubi ce, pi rami dal e
etc. Teori a pi tagori ci an veche coni ne un el ement i nteresant, strani u
chi ar, dar rel evant pentru modul de gndi re al autori l or i adepi lor ei
este vorba de tabelul opuilor i care are l a baz o di sti nci e de ordi n
ari tmeti c: numere pare i numere i mpare:
unu r n ul ti pl u
i mpar par
mascul i n fmi ni n
exi sten deveni re
determi nat i ndetermi nat
ptrat obl ong
rest i l i ni u curb
drept stng
l umi n ntuneri c
bun ru
Lectura i i nterpretarea tablou l ui ne arat c numere sunt nu numai
fguri l e geometrice, ci i i dei l e abstracte ca dreptate, armoni e, sntate,
fumusee, cunoatere. Teori a t i mpuri e pl atoni ci an a i dei l or prei a acest
tabel al opui lor aproape nemodi fcat, i consi der c l atura bun" a
acestui a este rel evant pentru un uni vers i nvi zi bi l al unei real i ti mai
nal te, al neschi mbri i i frmelor determi nate al e tuturor l ucruri l or . . .
cunoaterea adevrat i cert ( epi steme = sci enti a = sci ence) poate f
numai despre acest uni vers real i etern" (Popper [ 1 ] ), n ti mp ce l umea
vi zi bi l a schi mbri i i fuxul ui n care noi tri m i muri m, l umea generri i
i di struc i ei , l umea experi enei este numai u n fl de refeci e sau copi e
a acel ei l umi real e, este numai o l ume a aparenei " (Popper[ 1 ] ) . Acestei
l umi i este asoci at cunaoterea ca doxa (opi ni e), cunoti ne pl auzi bi l e,
dar i ncerte, al e muri tori l or supui greel i i .
Dar Pl aton v a i nt er pret a tabloul opu ilor" pr i n pr i s m
parmen i di an, o provocare care va conduce la doctri na atomi st.
Recunoaterea i nfl uenei pi tagorei smul ui asupra l ui Pl aton nu
trebui e s duc Ia o i dentitate" de vi zi uni ale cel or doi gndi tori greci
87
referi tor la rel ai a numere i l ucruri . Uni i exegei compar concepi i l e
l ui Pl aton i Pi tagora cu aj utorul di st i nci ei : imitaie i participare.
Pitagorei i afrm lucrurile imit numere", n ti mp ce platoni ci eni i susi n
teza c , , lucrurile particip la numere". Aceste enun uri par s
concentreze nucleele" cel or dou fl osofi - pitagorei smul i pl atoni smul
- am bei e fi los ofi i de ti p matemat i c. Imitaia presupune separarea
ori gi nal ul ui i copi ei ; ceea ce n context pl atonici an semni fca fptul c
i dei l e pl atoni ci en sunt paradi gme", model e", iar l ucruri l e sensi bi l e,
percept i bi l e sun i mi tai i , (Pl aton [2] este sufi cient de expl i ci t asupra
acest ui as pect . )
n al doi lea rnd, cu pri vi re l a l ucruri (fi i na, exi stena), opuse
vi dul ui , Democrit a mprtit concepia l ui Parmeni de i anume, c i
acesta, a afirmat c nu au pr i , sunt i ndi vi zi bi l e, neavnd vi dul nuntru.
90
Teori a atomi st susine, deci , c l umea, este frmat di n atomi
(universuri bl oc i ndi vi zi bi le), care nu se schi mb, i vid. Mi carea poate f
expl i cat raional n cadrul teoriei atomi ste, ea este produs de rearanj area
atomi lor n spaiu i , deci , orice sch imbare este mi care. Deoarece noutatea
i ne de acest aranjament, schimbri l e vi itoare pot f prezise.
Teori a lui Democrit a fost pari al acceptat de Pl aton, care a rei nut
multe di n doctri na atomi st, dar cri ti cat de Ari stotel , care concepea
sch i mbarea, mi carea, ca desfurare a poteni al i ti l or i nerente ale
substanel or (eseni al ) neschi mbtoare. , ,Atomii", un fel de forme" care
nu constitui e subi ect la nici o schi mbare, contraveneau teori ei l ui Ari stotel
a substanelor ca subi ecte ale schi mbri i ; totui teoria l ui Democrit, con
form crei ori ce sch i mbare trebuie s fe expl i cat prin mi care, a fst
admi s tacit ca program de lucru n fi zi c, cadrul teoreti c al expl i cai ei
propri et i l or materi ei empi ri c cunoscute i di sc utate de i oni en i :
compres i bi I i tate, refraci e, condensare, coeren, dezi ntegrare. Dar a
oferi t nu numai o expl i cai e a fenomenel or observate n experi en ci i
un pri nci pi u metodologi c, i anume c o teorie deducti v, sau o expl icaie,
trebui e s salveze fenomenele' ' , ceea ce semni fc un acord al ei cu
experiena. O alt rai une profund pentru care teori a lui Democrit trebuie
apreci at este urmtoarea: a artat c o teori e poate f specul ati v i
bazat pe pri nci pi ul fndamental parmeni di an c l umea trebui e s fie
nel eas pri n gndi re argumentati v, di ferit de, lumea primafacie, a
experi enei , vzut, auzit, pi pit etc. , i c o asemenea teorie specul ati v
poate accepta cri teri ul empi ri st, c vi zi bi l ul este cel care deci de
acceptatrea sau respi ngerea unei teori i a i nvi zi bi l ul ui (astfel ca atomi i ).
Aceast fl osofe a rmas fndamental pentru ntreaga dezvol tare a fzici i
i a cont i nuat s i ntre n confl i ct cu tendinel e flosofce rel at i vi ste i
pozi ti vi ste" ( K. R. Popper [ I , p. 82] ).
Atomi smul democrit ian s-a constituit n mare msur ca un punct
de vedere-replic la fl osofa l ui Parmeni de i Zenon, pri n respi ngerea
concl uzi i l or acestui a di n urm.
Nu se ti e cnd descoperi rea (i demonstrai a) iraionalitii
rdcinii ptrate a lui doi au fst cunoscute publ ic, n conseci n este
9 1
nesigur dac Democrit a avut cunotin de problema iraionalel or, deoarece,
altfel, ar fi trasat o strategie de aprare mpotriva loviturii" care venea di n
aceast di recie i care a marcat eecul pi tagorei smul ui . Cum ti m, ambele
doctrine, pitagoreismul i atomi smul , s-au bazat pe ideea c orice msurare
este calculare, numrare, socotire cu uniti naturale, deci , orice msurare
trebuie s fe reducti bi l la numere pure di stana dintre orice dou puncte
atomare trebui e s fi e comens ur ab i l , ori se ntmpl s avem
incomensurabi l itate n cazuri si mple, ca cele di ntre coluri l e unui ptrat, di n
cauza incomensurabi l iti i di agonal ei d cu latura a.
Incomensurabi l itatea semnifc nonexi stena raportul ui de numere
naturale, dar nu semni fc i ncomensurabi l itatea prin metode geometrice sau
prin msurare, ci doar incomparabi l itate prin metode aritmetice de numrare
(cal cul ) sau prin numere naturale, i ncl usi v metoda pi tagoreic a comparri i
rapoartelor numerelor naturale. Pitagori ci eni i au i ni i at msura ti inifc
numeric; era mai curnd counting" dect measuring" pentru pi tagoricieni .
Descoperirea incomensurabilitii", . , iraionalitii" a submi nat
credina ordinul ui pitagoreic, a di strus sperana derivrii cosmologiei i chi ar
a geometriei di n aritmetica numerelor naturale, constat Popper [ 1 ] .
Pl aton, spune Popper [ 1 ] , a fst aproape de coal a el eat, i deci
anti pat i c f de Democri t, dar, paradoxal , era un fl de atomi st .
Contri bui a l ui Platon l a dezvoltarea ti i nei vi ne, afi rma Popper, di n
con t i ent i zarea problemei ira i onalelor" i d i n mod i fi c area
pi tagorei smul ui i atomi smul ui cu scopul de << salva tiina de l a si tuaia
catastrofl .
n geometri e se poate
constru i un ptrat a crui l atur s fi e di agonal a al tui ptrat cu l atura 1 ,
ptratul construi t fi i nd egal cu 2.
nrudi rea
pri nci pi i lor matemati ce cu sens i bi l ul , dar i cu i ntel igi bi l ul i confer
rol ul de i ntermedi ar. Gnoseologic, spunem numai c matemat i ca asigur
abordarea t i i ni fc a sens i bi l ul ui i -l j ust i fi c ca o punte" i ntre
matemat i ca pur i matemat i ca apl i cat.
2.8. FILOSOFIA PLATONICIAN A MATEMATICII
CA DIALECTIC SAU METAMATEMATIC
Medi tai a fi l osofic (pl atonician) asupra matemat i ci i a avut o
profnd i nfuen asupra teori ei generale a cunoateri i pe care fi l osoful
grec a construi t-o. Dup uni i i nterprei moderni ai fi l osofi ei anti ce,
pitagorei i puneau pe acelai pl an t i i na i flosofi a, Socrate ndemna l a
determi narea i potezei pri n i nvest igai e prudent, n ti mp ce Pl aton se va
angaja pe un drum nou: fi losofi a sa a matemat i ci i va pl asa matemat i ca
ca o tiin intermediar", si tuat n regi unea otavma n sensul c
adevrul ei subzi st, rezid ntr-o t i i n super i oar.
Fi l osofa matemat i ci i a l ui Pl aton, la ni vel ul cel mai nal t i n
frma sa defi ni t iv, era dialectica " sau metamatematica" pe care,
ns, el nu a expus-o compl et; obi ectul i nvest igai ei acestei a l cons i tui e
numerele ideale" i ,,figurile", mrimile ideale", dar despre modul
n care se determi n preci s natura acestor ent iti nu afm de l a Pl aton.
Despr e di al ect i c n accep i a ant i c i l or am mai s pus unel e
caracteri sti ci, ai ci s reami nti m doar ceea ce consi derm eseni al i ca
avnd l egtur cu probl ema ce o tratm. Dial ect i ca este o metod de
argumentare caracteristi c metafzi ci i ( fl osofi ei ) i deriv n l i mba greac
de l a verbul a discuta", premi sa di al ecti c fi i nd, cum spune Ari stotel
[ 4], una al eas de un parti ci pant I a dezbatere n argumentare. Di al oguri l e
106
l ui Pl aton exempl i fc apl i carea acestei metode i n Pl aton [5], aa cum
deja am mai spus, Teetet postul eaz teza dup care cunoaterea este
percepere", i ar di n aceast premi s Socrate deduce conseci nel e ce- l
constrng pe acesta s o abandoneze.
n
,, Parmeni de" Pl aton l pune pe Zenon s susi n c ar f scri s o carte n
care apr moni smul l ui Parameni de, scond la i veal conseci nel e
absurde al e supozi i ei c exi st o pl ural i tate". Zenon ar f cons i derat,
dup uni i ca Di ogene Laert i us i Sextus Empi ri cus, i nventatorul
di al ect i ci i . Dar ceea ce Ari stotel i -a atri bui t l ui Zenon, despoperi rea
fl osi r i i l ui reductio ad impossibile n metafzi c e probabi l s- i f fost
sugerat acestui a de fol osi rea ei n matemat i ca pi tagorei c. , ,
ntr-adevr,
se presupune c p i tagorei ci i au descoper i t i ncomensurabi l i tatea
d i agonal ei cu l at ura ptratul ui , respect i v, n termi nol ogi a modern
i rai onal i tatea l ui J, i ar demonstra i a acestei propozi i i , care ni s-a
pstrat ca o i ntercal are n textul l ui Eucl i d, are frma unei nai ntri spre
i mpos i bi l ". (M. i W.Kneal e [ l , p. 16]). Eucl i d di n Megara a atacat
demonstra i i le nu pri n premi se, ci pri n concl uzi e, i ar membri i col i i sal e
erau numi i di al ect i ci eni . Socrate nsui a pract i cat aceast tehni c de
107
respi ngere a i potezel or pri n i ndi carea conseci nel or i ncompat i bi le la care
acestea conduceau. Deosebi rea f de Zenon ar fi , ( admi s esena
metodei ca reductio ad impossibile), c rezul tatel e la care conduc
i potezel e nu trebui e neaprat s fie autocontradi ctori i, este sufic i ent s
fi e doar fl se, ceea ce am vzut di n Fedon".
Pl aton [7] pare s fi xeze un al t neles di al ecti ci i " i anume este
metoda de argumentare ce i mpl i c respi ngerea, dar conduce, n cel e di n
urm, l a rezul tate pozi t i ve de mare general i tate".
n mod eseni al di scursul este cel care poate f adevrat sau fl s. i cum
vechi i greci au descoperi t rel ai a mi steri oar di ntre negai e i fl si tate,
n contextul probl emei noastre aceasta nseamn a spune c ni ci o
aseri une nu are sens fr ca i negai a ei s ai be sens.
Odat respi ns de Stagi ri t concepi a pl atoni ci an asupra frmel or
matemati ce, n vi zi unea l ui Ari stotel operndu-se cu i deal i zri ,problema
adevrului ( i deal i zarea adevrat sau fl s) nu se poate pune, ea find
nl ocui t cu cea a adecvrii rel ati v l a un scop. Dar matemat i ca ca ,.istem
de idealizri" comport abordarea probl emei necesi t i i vzut nu i zol at,
ad i c cu pr i vi re l a fi ecare propozi i e categor i c despre obi ectel e
matemati ce, ci l a ni vel gl obal (al si stemul ui ) al ansambl ul ui propozi i i l or
i potet i ce; dac o anumi t propozi i e este adevrat, atunci o al t
propozi i e anumit este o necesi tate adevrat. Si r Thomas Heath [2,
p. 1 00] afi rm c necesitatea matemat i ci i era aceea a propozi i i l or
i potet ice, l ogi c necesare. Autorul engl ez, pe baza unor texte di n ,,izica "
1 20
i Metafizica", afi rm despre concepi a l ui Ari stotel c ar fi un fel de
i dee proft i c despre o geometrie bazat pe al te pri nci pi i dect cel e
eucl i di enc". I ar I. Toth [ 1 , p. 266] scri e: Geometria eucl i di an nu numai
c a fst precedat de cea contra-eucl i di an, ci di n punct de vedere
fenomenol ogi c condi i onat chiar de aceasta. La Aristotel apare vi itoarea
geometrie ne-eucl i di an, dar ntr-o frm respi ns. Ea este ti i na de pe
acum dar n starea negati v a unei conti i ne neferi ci te".
Am vzut c pri nci pal a concl uzie a concepiei ari stotel i ce despre
statutul obiectel or matemat i ce este c acestea nu exi st n act, ci n
poten. Plecnd de l a acest nucleu" al concepiei l ui Ari stotel putem
nelege abordarea ari stotel ic a acelei tul burtoare probleme" a gndi ri i
ti inifi ce, cum a numi t-o Davi d Hi l bert, este vorba deproblema innitului
(n matemat ic) .
,
Ari stotel i nvoc ci nci fpte n fvoarea c
n mod
obi nui t se spune c pentru Ari stotel i nfi ni tul exi st poteni al dar nu
actual . Totui, n sensul preci s n care am gsit c i nfnitul exi st poteni al
pentru Ari stotel , el exi st de asemenea i actual ". Pri nci pi ul pleni tudi ni i
i permite lui Ari stotel s deduc i nexi stena unei mri mi poteni al i nfi -
122
ni te di n aseri unea despre inexi stena unei mrimi actual i nfnite. Textul
aristotel i c di n Fizica", I II , 207b este acesta: , , ntr-adevr, pe ct se admite
c este poteni al , pe att se admi te c este n act. n acest fel , de vreme ce
nu exist o mri me sensi bi l i nfi ni t (adi c n act) nu se admite c exist
o mri me defnit, cci n acest fel ar exi sta ceva mai mare dect cerul ".
Aseriunea despre fni tudi nea uni versul ui fzi c, speci fi c concepiei
greci lor anti ci , i ntr n contradi cie cu acti vi tatea matemati cieni l or, iar
Ari stotel sesi zeaz i medi at di fi cul t i le ce emerg di n aceast situaie
conceptual . El ncearc s arate c opera matemat i cieni l or nu este
subminat" de teza fi nitudi ni i " uni versul ui fzic: de fapt ei n-au nevoie
de i nfi nit i nu- l uti l i zeaz. Ei doar postuleaz c un segment fni t de
dreapt poate fi produs n ori ce msur ar dori . Este posi bi l s se divi d
n acela i raport ca i mri mea cea mai nal t i o al t mri me de ori ce
di mensi une am dori . De aceea, pentru demonstraie, nu va aprea nici o
di feren pentru ei dac ar avea un asemenea i nfi nit, ntruct exi stena
va fi sfera mri mi l or reale". ( Ari stotel [ 3, I I I , 7, 207b ]).
n conseci n, n
demonstrai i le matmat ice extensi i le i nfi nite sunt necesare i au rolul
de i nvers al di vi zi unii i nfnite, ceea ce ar susine compati bi l itatea fl osofiei
ari stotel i ce a naturi i i a cunoateri i cu practi ca matemati cieni l or, o idee
asupra crei a gs i m i n Th. Heath [ 1 , p. 344] argumente potri vni ce; al i
autori i nsi st asupra neasi mi l ri i di sti nci i l or conceptuale ari stotel ice
(ca de pi ld, i nfi nit actual - i nfnit poteni al ) n practica matemati cieni lor
(S. Bochner [ I ] ) .
n pri mul rnd, aa cum arat Ari stotel n , ,etafizic ", matemati ca
se af n di rect corel ai e cu ontol ogi a general (metafi zi ca) n sensul
c aceasta i servete matemat i ci anul ui n cercetarea fundamentel or
pri nci pi i lor pe care l e fl osete. Ari stotel [ 2, K4, I 06 1 b] scri e: Propor i a
c mri mi l e egal e sczute di n mri mi egale dau resturi egal e, este o l ege
fundamental comun pentru toate mri mi l e; matemati ca i i a de ai ci n
1 27
consi derai i le ei un caz parti cul ar, potri vi t pentru meseria ei , apl i cndu-
1 l a l i ni i sau unghi uri sau numere sau al te mri mi nu ntruct acestea
sunt ci ntruct el e sunt un cont i nuu cu una, dou sau trei di mensi uni .
Fi l osofi a, di n contr, nu se preocup de cazuri parti cul are, dup care
fi ecrui a di n aceste obi ecte i se atri bui e ceva, ci ea studi az fel ul n care
fiecare di ntre aceste obiecte exi st. Fi l osofi a trateaz despre ce este
dat ntruct exi st, pe cnd ti i nel e, i ncl usi v matemati ca, pot fi consi
derate cel mult ca domeni i pari al e al e nel epci uni i ".
Relaia dintre matematic i fi l osofe este vzut de Ari stotel astfel :
matemati ca este t i i na teoreti c, parte a ti i ne, n t i mp ce fl osofi a
cupri nde total i tatea t i i nei . Ari stotel [2] preci zeaz competen el e
ti i nel or, n parti cul ar competena matematici i, i rol ul fi losofei ca ti i n
pri m fundamental: S-ar mai putea pune ntrebarea dac cea mai nalt
t i i n nu este i general i dac nu cumva i ea trateaz despre un
anumi t gen i o anumi t esen. Dar ni ci n matemati c nu este peste tot
l a fel , geometria i astronomi a studi i nd fiecare mai degrab cte un
domeni u speci al , dar matemati ca general este fundamentul comun al
tuturor. Dac n-ar exi sta ni ci o al t substan dect aceea pe care o
ntl ni m n natur, atunci fi zi ca ar fi cea mai nalt t i i n. Dar exi st
ns o ti i n pri m despre ea, i aceasta este general tocmai pentru c
este cea mai nalt. i ei i revine s trateze despre exi stent ca atare,
despre natura sa i despre ceea ce decurge di n fptul c exi st".
2.1 0. TEORIA ARISTOTELIC A Tl l NTEI
'
Ari stotel a avut o concepi e el aborat i consi stent despre ti i n,
remarc Hi nti kka [ 2], i care nu poate f di sociat de teori a sa si l ogi sti c,
cunoscut fi i nd fptul c pentru Stagi ri t si l ogi smul era i nstrumentul uni
versal productor de ti i n.
Exami narea structuri i teori ei ari stotel ice se dovedete rel evant
pentru concepi a sa despre t i i n. Pare convi ngtor s crezi c remarci l e
ari stotel i ce despre t i i n se obi n ca ni te conseci ne al e propri ei sal e
1 2 8
teori i si l ogi sti ce. Eseni al ul teor i ei s i l ogi sti ce const n reducerea tuturor
fguri l or la fi gura nti , consi derat de Patzi g [ l ] confrm conceptul ui
ari stotel i c de si l ogi sm perfect, ceea ce s e ntemei az pe tranzitivitatea
incluziunilor, fpt menionat expres de Ari stotel [ 1 ] . prem i sel e di n care
tragem concl uzi a stau ntre el e n raport de la ntreg la parte".
n acest
sens, expl i cai i le ari stotel i ce (n t i i n) se reduc la ev i den i erea
i ncl uzi uni l or n cl ase, uti l_i zndu-se tranzi ti vitatea acestor rela i i . Hi nti kka
[ 2] noteaz c procedeul const n i nserarea termeni lor i ntermedi ari ntre
cei ai cror conexi une urmeaz s fi e expl i cat. Formul area l ui Ari stotel
[ I ] este: o concl uzi e este demonstrat pri n i nterpunerea unui termen,
nu pri n adugarea unui termen extern". I nferenel e ti i ni fice i au frma
unui i r suprapus de termeni , fi ecare d i nt re ace
.
t i a apl i cndu- se
predecesorul ui su i medi at frmnd o premi s si l ogi sti c, cf. Hi nti kka
[ 2] . Se obi ne n acest mod rezultatul : n demonstra i e nu putem trece
de l a un gen la al tul " (Ari stotel [ 1 ] ), pentru c termeni i care se i nterpun,
cum am vzut, vor avea sfera mai ngust dect cea a termenul ui predi cat
care figureaz n ul ti ma premi s si l ogi sti c care caracteri zeaz genul "
i l a care se refr si l ogi smel e t i i nei respecti ve. Model ul si logi sti c pro
duce repl i ci n teor i a t i i nei , adi c cl ase de i ngredi eni (presupozi i i ) .
ntruct i nterpolarea de termeni , ami nti t mai sus, nu se poate exti nde
l a i nfni t, exi st o cl as de premi se ce aserteaz despre legturi imediate
ntre termen i ; aceste presupozi i i fndamental e sunt numi te de Hi nti kka
premise despre legturile atomare, i ne dau caracteri sti ca di st i ncti v a
subi ectul ui l or, sau, altfl spus, defi ni i a termenul ui subi ect . Ari stotel
[ 1 ] afrm c pri nci pi i l e demonstrai ei sunt defni i i ". Legturi l e atomare
sunt bazate pe defi ni i i , ceea ce, n i nterpretarea l ui Hi nt i kka [ 2] ,
marcheaz un e l ement puterni c concept ual , n structura ti i n ei
ari stotel i ce, cci i rul cresctor de si l ogi sme ti i ni fi ce i medi ate au
valoarea unor rel atri despre ce ar trebui defi ni t un termen n vederea
obi neri i unei . cunoateri exhausti ve a fptel or rel evante' ' . Mai expl i ci t,
aceast cl as de presupozi i i rel ev semni ficai a atri butelor apari nnd
genul ui care const i tui e obi ectul t i i nei .
1 29
O a doua cl as de presupozi i i fndamentale ale unei t i i ne sugerate
de teor i a s i l ogi s t i c ari stote l i c, deri vate di n ns e i pr i nci p i i l e
demonstrai ei si l ogi sti ce (apodei xi s), cu care opereaz ori ce t i i n i
despre care di scut Ari stotel l l , ] i ncl ude principii logice, cum sunt l egi l e
contradi ci ei i tert i ul ui excl us (numite de el pri nci pi i al e si l ogi smul ui )
i pri nci pi i matemati ce ( ca de exempl u: canti ti egal e sczute di n
canti ti egal e dau resturi egale" - vezi Ari stotel [ 1 ] i despre el e a spus
Ari stotel [2] c i n de competena ,rimei filosofii " (metafzica). Hi nti kka
propune s le numi m axiome comune ".
Ari stotel di scutnd despre acest ti p de presupozi i i afrm c exi st
necesar pri n si ne i trebui e crezute cu necesi tate ca adevrate". Beth [ 1,
p. 33] scri e c metafzi ca sau Prima filosofie" n concepia l ui Ari stotel
desemna ceea ce azi e cunoscut ca ,, cercetarea funda ional ".
Invest i gai i le au artat c tennenul a avut la Ari stotel o accepi e restrns
- neacoperi nd programul anunat i ni i al - metafzi ca deveni nd cercetare
a pri nci pi i l or fzic i i . Fami l iarizat cu cercetri l e matemati ci eni lor Eudoxus
i Theatet (el evi ai l ui Pl aton), Ari stotel consi dera c era greu s se
spun ceva nou n acest domeni u (al matematici i ). Fi i nd de acord cu
rezul tatel e cel or doi di sci pol i ai l u i Pl aton, el era mul umi t s dea
matemati ca ca exempl u t i pi c de t i i n deducti v i atunci a abordat
fundamentel e fzi ci i , despre care Parmeni de i Platon afrmau c nu va
f ni ci odat posi bi l o ti i n deducti v a mi cr i i i a schi mbri i . Ori cum,
Ari stotel era convi ns de i mportana i mpactul ui matemat i ci i asupra
fl osofi ei , nct n Metafizica" arat c i deea metafzi ci i ca o ontol ogi e
general i -a fst sugerat de teori a propor i i l or" a l ui Eudoxus pe care
o numea matematica universal ".
Di sti ngem, dup Ari stotel , n structura ti i nei i o a trei a clas de
presupozi i i fndamentale, numi te de Hi nti kka n studi ul ci tat premise
generice (sau cele mai general e premi se al e unei t i i ne parti culare) i
care sunt rel ati ve (vezi Ari stotel [ 1]) l a ceea ce ti i na respecti v pune
de l a nceput ca exi stent (adi c genul al e crui atri bute eseni al e ea l e
exami neaz) . Aceste premi se nal te di n cadrul i ruri l or de si l ogi sme
ti i ni fce nu expl i c termeni i mai restrni pe care i coni n, ci ne ofer
13 0
o defi ni i e a termeni l or l or subi ect, care fi i nd farte l argi defi nesc genul
sau obi ectu I l a care se refer ti i nel e respecti ve; premi sel e generi ce
transport sensul exi sten i al al t i i nei . Des i gu r. nu se frmu l eaz
presupozi ia exi steni al n mod separat pentru fecare premi s i medi at,
transport ul exi steni al fcndu-se de l a termeni i mai l argi l a cei mai
restrn i ntr- un i r de s i l ogi sme ti i ni fce. Se frmul eaz o si ngur
presupozi i e exi steni al care se refer la exi stena membri l or genul ui
ce consti tui e obi ectu l t i i nei respecti ve; demonstraia s i l ogi sti c este
vehi cul ul care transport semni fcaia exi steni al n j os de l a premi sel e
generi ce. Ari stotel [ I ] scri e: susi nem c pri n demonstrai e (apodexi s)
trebui e s dovedi m exi stena a ori ce - afr de exi stena substanei . . .
Urmeaz c exi stena va f obi ect de demonstrai'e. Aa procedeaz de
fpt t i i ne l e". Semni fi ca i a premi se l or generi ce este central n
epi stemol ogi a ari stotel i c, cci ori ce t i i n trebui e s poarte asupra unui
obi ect, i , dac nel egem bi ne i nterpretarea l ui Hi nti kka [2, p. 264] ,
i mportana frei exi steni al e a premi sel or si l ogi sti ce, i nsufcient expl i cat
pri n apel ul la concepi a ari stotel i c despre si l ogi sm, i are rdci ni n
gndi rea sa epi stemol ogi c, (ch iar dac a fost centrat pe un real i sm
si stemati c i stat ic i pentru care Pi aget [ 1 , p. 80] a frmul at cri ti ci ),
expri mat sufci ent de cl ar n pasaj ul : di strugerea a ceea ce este cunoscut
duce cunoaterea l a di strugere . . . Pentru c dac nu ar f ceva cunoscut
nu ar f ni ci o cunoatere, n-ar mai f ni mi c despre care s cunoatem"
(Ari stotel [6] ).
Definiiile nominale constit ui e a patra cl as de presupozi i i al e
unei ti i ne anumi te. Semni fcai a acestor presupozi i i nu pare sufci ent
de cl ar comentatori l or l ui Ari stotel . Poate c i nterpretarea l or ca fi nd
teze sau preci zri ale coni nutul ui , dar nu i poteze (deoarece trebui e s
di sti ngem ntre definiia unitii pe care o d matemati ci anul i existena
unitii), pare adecvat textul ui ari stotel i c; defni i i l e n-au fra aserti v
i deci l i se contest ori ce coninut existenial.
ncercri
de reconci l iere a ra i onal i smul ui i empi rismul ui au fcut Ni euwentt i
Lei bni z. Dup Beth [ 1 ] tentat iva kantian a reabilitrii" sau, poate, a
restaurrii " teoriei unitare a tiinei, aa cum a el aborat-o Ari stotel (o
ti i n care s ndepl i neasc si mul tan ceri nel e ( i), ( i i ), ( i i i), anteri or
enunate) a euat, cci ti i na modern s-a ndeprtat tot mai mul t de
postul atul evi denei , central n concepi a ari stotel i c i rel evant pent r
axi omati ca vechi lor greci . Aceast mi care a ti i nei - ndeprtarea de
ceri na evi denei - a fst profnd marcat de apari i a geometri i l or
neeuc l i di ene; ul ter i or, col i de prest i gi u n domeni ul fndamentel or
1 3 3
l ogi ci i i matemati ci i - l ogi ci smul , frmal i smul i i ntui i oni smul - au
euat n perseverena l or de a men i ne postulatel e deduct i vi ti i i
evi denei . Mai al es n fi zi c s-au ncercat rect i fi cri drast i ce pentru a
ob i ne o atenuare" a post ul at u l ui de realitate, recurgndu- se la
construi rea unor teori i deduct i ve adecvate. Teori i l e fi zi ce modere nu
mai respect postulatul exi stenei (se fl osete un al t ti p de axi omati zare
al crei nucl eu const n axi ome- i poteze (vezi i Gonseth [2] ); iar fzi ca
cuanti c a revi zui t sufci ent de semni fcati v, observ Beth [ 1 ], postul at ul
deduct i v i t i i , des i gur, confl i ct e l e concept ual e" ( ma i exact ,
funda ionale) d i ntre dezvol t area modern a t i i ne i ( marcat de
geometr i i l e ne-eucl i deene, teor i a rel at i vi ti i fzi ca cuant i c, fi zi ca
modern) i teori a ar i stotel i c a t i i nei au provocat protestel e aa
numi i l or fl osof specul at i vi " care au crezut n i nfi l i bi l itatea doctri nei
ari stotel i ce. Dac coerena acestei doctri ne a fst afectat de i nedi tel e
si tuai i conceptuale aprute n evol u i a i stori c a cunoateri i , ori cum
val oarea ei se regsete n tradi i a creat, n i nspi rai i l e i st i mul ri l e
cunoateri i ti i ni fi ce, cum i n rezonana actual n di scui i l e fl osofce,
curente din domeni ul fndamentel or general e al e acestei cunoateri .
Cri ti ca operei l ui Ari stotel n acest domeni u a fcut-o nsi evol uia
soci al - i stori c a cunoateri i , fptul c fl osofl anti c n-a aj uns l a un
constructi vi sm di al ecti c n cunoatere (vezi Pi aget [ 1 , p. 80] ) const i tui e
o l i mi t general a peri oadei fl osofei i gndi ri i grecet i di n i stori a
cul turi i umane.
CAPI TOLUL I I I
FI LOSOFI A MODERN A MATEMATI CI I
3.1 . PROFIL STILISTIC AL MATEMATICII
OCCIDENTALE
I stori c, matemat i ca a aprut sub frma ei nati v ca , ,tiin a
numerelor" (aritmetic) i ca studi u aljigurilor percepute i ntui tiv (puncte,
segmente, drepte, pl ane n spai u, unghi uri , tri unghi uri , cercuri etc. ),
ceea ce numim geometrie. Aadar, entitile matematice fndamental e
speci fce matemat i ci i vechi , practi cat nc de babi l oni eni i egi pteni ,
erau numrul i figura, al e cror domeni i s-au dezvol tat n di rect
conexi une cu conceptul de msurare, cu efecte pract i ce remarcabi l e n
astronomi e - l a popoarel e ami nt ite - este vorba de cal cul ul ecl i psel or de
l un i al tel e.
Dezvoltarea matemat i ci i cunoate o nfori re la vechi i greci care
real i zeaz saltul de la empiric la intelectual (deductiv), contri bui nd, astfel ,
la ceea ce s-a spus, c matemati ca a deveni t o t i i n n sens ul acceptat al
zi l el or noastre i acest fpt s-a datorat, cum observa Hans Rei chardt [ 1 ,
p. 9] , i dent i fcri i acestor doi i ngredi eni semni fcat i vi n actul de a face
matematic: stabi l i rea unor realiti fundamentale (ex. : pri n dou puncte
trece o dreapt i numai una) i a unor fundamente (conexiuni) logice;
grai e acestor dou el emente, geometr ia a fst construi t si stematic i
deuct i v, deveni nd model al ti i nei .
1 3 5
Est e, dac nu st ran i u, atun c i cel pu i n de ne ne l es, de ce
matemati ci eni i di n Grec i a anti c nu au depus efruri asemntoare n
di reci a construi ri i n aceea i msur a al gebrei i , ul teri or, a anal i zei -
fi i cel e moten i toare al e ari tmet i c i i numerel or. Au rmas l a frac i i
obi nui te, dar nu au i ntrodus numerel e negati ve, i ar n studi ul rela i ei
di ntre catet i i potenuz s-au mul umi t s constate c nu este expri mabi l
pri ntr-o faci e.
n fi l osofa matemati ci i , sfri tul ant i chi ti i greceti a stat sub semnul
v i c t or i e i " i t r i u mfu l u i " pl at on i s mu l u i , dar i al eec u l u i
pi tagorei smul ui , dei paradoxal , acesta a reprezentat, cum se ti e, un
i ngredi ent- i zvor" al pl atoni smul ui . Aceast observai e o bazm pe o
anume i nterpretare, uor restri ct i v, a pl atoni smul ui , i anume, dac
i dent i fcm termenul fi gur" (geometri c) cu esen" pl atoni ci an i
l sm tac i t asumpi a c ntr- un domeni u al real ul ui matemat ic (n sens
pl atoni ci an) figureaz i numerel e ( l ui Pi tagora) .
Al terana ami nti t numr-figur (geometri c) ne d seam de
ntregul cont ur st i l i st i c al mat emat i c i i occ i dental e. Matemat i ca
occi dental a stat i ni i al sub i mpactul datorat ofensi vei numerelor, pri n
1 3 7
trecerea treptat de la cunoaterea intuitiv a esenei numerelor reale
( ntmpl at cu mul t nai ntea fundamentri i cal cul ul ui di fereni al i i nte
gral de ctre Lei bni z i Newton i chi ar a reprezentr i i pri n coordonate
a punctel or pl anul ui i spa i ul ui n geometri a di feren i al (anal i ti c) a
l ui Descartes, cunoatere conti nuat de Bernoul l i , Eul er, Fermat, Cauchy,
Gauss i al i i , cnd, de fapt, toi aceti matematic i eni dei se ocupau de
fundamentel e teori ei numerelor real e nu conti enti zau acest fpt) , la
fundamentarea ei teoretic. Ami nt i m cteva eveni mente care au mpi ns
i ntri nsec i i revocabi 1 spre autenti ce cl ari fi cri fndai onal e n teori a
numerel or. Mai nti , expresi a ' aparent l i psi t de semni fi cai e,
obinut n tentati ve de rezolvare a ecuai ei de gradul trei ; dar s-a observat
repede rostul ei legi t i m n cal cul e, la fel cu cel al expresi i l or . J i
h, care duc la rezul tate rezonabi l e, adi c l egi ti me matemati c, fpt ce a
condus la ntrirea convi ngeri i n cetenia matematicii" a s i mbol ul ui
i . Gauss, peste 300 de ani , are i nt ui i a c numerel e real e trebui e s- i
exti nd domeni ul pentru a-l putea cupri nde pe acest locuitor ciudat",
am zice noi , i l -am numi t pe i, adic ' a
(
crui ptrat este, deci ,
-1 . Dar, chi ar i Gauss proceda ca n epoc, adi c opera cu numere reale,
ca i cum el e ar f ni te enti ti matemati ce cu statut cl ar defi ni t. i , n
conseci n, matemat i ci eni i nu- i puneau n mod expl i ci
t
problema
fundrii teori ei numerelor real e.
n acest
pattern, si nteza este dat odat cu anal i za, ori ce anal i z putnd fi
convert i bi l n si ntez. Metoda ant i c i-o mai ami ntesc studen i i cu
ocazi a studi eri i i stori ei geometri ei . Corfrd argumenteaz c anal i za
pappus i an este i dent i c cu ceea ce Duhamel a numi t anal i z reducti v
modern i a conchi s c ori ci ne a i nterpretat deduct iv pe Pappus a grei t
l amentabi l .
Pentru Descartes, ori cum, nu numai s i nteza, ci i anal i za a avut
rel evan epi stemol ogi c i el a gndi t c sursa i garani a adevrul ui
este ci rcui tul ca ntreg (cf. Lakatos [2] ) . Cont i nui tatea di ntre Pappus i
Descartes i sugereaz l ui Lakatos [ 21 o anal i z centrat pe cteva
ntrebri : 1 ) anal i za- si ntez cartezi an i are or i gi ni l e n ci rcui t ul
pappusi an? Sau aceast conexi une este numai o reconstruc i e rai onal ?;
2) Este ci rcui tul cartezi an o descri ere fctual a i dei l or cartezi ene sau,
iari , numai o reconstruc ie rai onal a acestor i dei ?
Prezentarea l ui Lakatos este, dup cum el nsui decl ar, una
rai onal reconstrui t, cci a observat conexi unea obi ect i v i dezvol tarea
i dei l or i nu a i nvesti gat modul nendemnatic n care el e au devenit
conti enti zate sau semi -conti enti zate de mi ni subi ecti ve. Descartes i
contemporani i l ui au fst cont i eni c ei au revi zui t tradi i a pappusi an
pri n tentat i va adaptri i ei la t i i na modern.
I ntenia l ui Desca11es era s gndeasc o metod de descoperi re a
cunoater i i i nfai l i bi l e, o euri sti c i nfi l i bi l ; ori , pentru el model ul
cunoateri i i nfi l i bi l e era geometri a eucl i di an, i ar s i ngura metod
di sponi bi l rel evant de descoperi re era oferi t de ci rcui tul pappusi an.
Programul cartezian i ntea s real i zeze l ogi ca descoperi ri i matemati ci i
eucl i di ene n toate domeni i le cunoateri i umane i regul a a I V-a (Descartes
[ 1 ] ) enuna necesi tatea euri sti ci i ca i convi ngerea sa n rol ul i ntui i ei i
deduci ei , ce ne di reci oneaz spre cunoaterea i nfi l i bi l , quasi -di vi n; i
n cutarea predecesori lor metodei apreciat de el dezi rabi l , i ncursi unea
aj unge n spa i ul matemati ci i i fi l osofi ei el ene, un pri l ej n care el
subapreci az manifest logica l ui Ari stotel care, cum vom vedea ul teri or, o
va gsi inoperant n anal i za naturi i rai onamentul ui matemati c.
144
Descartes [2] se refr la geometri i anti ci care au fcut uz de o
anumi t anal i z, pe care au ext i ns-o la rezol varea tuturor probl emelor,
apoi arat c n vremea l ui se dezvol ta un fel de aritmet i c numi t
al gebr", avnd de-a fce cu numere, ntocmai cum anti ci i aveau de-a
fce cu fi guri geometri ce, ceea ce este fuctul spontan nscut di n
pri nci pi i l e di sci pl i nel or n cauz - ari tmeti ca i geometri a. Refri tor la
al gebr, el spune c nu este o ramur a matemat i ci i , ci o metod nrudi t
cu anal i za, al gebra fi i nd pri n excel en anal i ti c ( cf. Descartes [ 1 )] . Dar,
pattemul cartezian este mai curnd unul al rezol vri i probl emel or dect
al demonstra i ei .
Descartes a mrturi sit c el a fst preocupat de tai nel e universul ui ,
nu l -au i nteresat trivi al iti l e geometri ei , studi ul nuemati ci i procurndu
i doar standardel e de auto-evi den i cert i tudi ne i , mai mult, a crit icat
st i l ul si ntet i c propri u eucl i di ani s mul ui , cu efecte sufcante pentru
gndi re, contrazi cnd n aceast pri vi n ceri na l ui Pl aton ca n
Academie s nu i ntre cei care nu ti u geometri e".
3. 3. CONCEPTIA LUI DESCARTES DESPRE
'
NATURA RATI ONAMENTULUI MATEMATIC
'
Dac n fl osofi
a
matemati ci i a l ui Ari stotel rai onamentul di scursi v
dei nea rol ul central n cunoaterea matemati c, i ntui ia avnd un rol
oarecum subordonat, ncepnd cu Descartes i Kant, se produce o
schi mbare de accent pri vi nd rol uri l e acestora n fvoarea, pri vi l egi erea
acestei a di n urm.
n conseci n, n ori ce l an al
rai onamentul ui pri n comparare pur i si mpl u aj ungem l a cunoaterea
preci s a adevrul ui . Un exempl u: toi A sunt B, toi B sunt C i deci toi
A sunt C. Ai ci comparm unul cu al tul , un quaesitum i un datum, vi z. A
1 46
i C n pri vi na faptul ui c fiecare este B, i aa mai departe.
ns deoarece,
cum adeseori am anunat, frmel e s i l ogi sti ce nu ne aj ut n perceperea
adevrul ui despre obi ecte, va f pentru profitul ci ti torul ui s l e respi ngem
cu desvri re i s concepem c toat cunoaterea oarecare, alta dect
aceea care const n i ntui i a si mpl i goal a obi ectel or si ngu l are
i ndependente, este o chesti une de comparare a dou sau mai multe l ucruri
unel e cu al tel e".
i vorbi nd despre i ntui i e, Descartes [3] , n meditaia a V-a, afnn
c trebui e s fi e centrat pe un obi ect concret. de i nemateri al : De
exempl u, cnd noi i magi nm un tri ungh i , de i poate s nu exi ste ni ci eri
n univers o asemenea fgur n afra mi ni i mele, sau n-a exi stat vreodat,
exi st tot ui n aceast fi gur o anumi t natur, frm sau esen
determi nat, care este i muabi l i etern, pe care n
am i nventat-o, i
care n ni ci un mod nu depi nde de mi ntea mea, aa cum apare di n fptul
c di verse propri eti al e acestui tri unghi pot fi demonstrate, vi z. ca cel e
trei unghi uri al e l ui sunt egal e cu dou unghi uri drepte, c cea mai mare
l atur este subnti ns de cel mai mare unghi , i altel e asemntoare, care
acum i ndi ferent dac eu doresc sau nu eu recunosc foarte cl ar c apar i n
l ui , dei eu ni ci odat totui n-am gndi t con i nutul cnd am i magi nat
pri ma dat tri unghi ul ".
Concepi a cartezian, consi derat predomi nant-i ntui i oni st, asum
subi acent un gen de platonism, termeni i natur", ,form", esen",
cu caracteri sti ci l e i muabi l i ti i " i eterni t i i " asoci ate, sunt relevani
n acest se
s .
n secol el e 1 7 i 1 8 matemati ca
a fst i nvadat" de fpte, i ar cum s fe acestea raionalizate", adi c
cum s fi e ri di cate la ni vel ul fptel or rai onate" a deveni t o probl em
central . Cauchy i urma i i si au rezol vat probl ema pri n procedura
transl ri i ", ceea ce n ci rcui tul cartezi an corespunde treceri i i nducti ve
de la fpte l a fpte rai onate. Dar, n ace l ai t i mp, au aprut i i poteze
oculte, astfel expl i carea unor fpte despre l i ni a real el or fl osi nd teori a
funci i l or compl exe este anal oag i nvocri i i potezel or transcendental e
n fzi c, cf. Lakatos [2] . Deducerea acestor i poteze di n pr i mel e pri n
ci pi i a fst una di n probl emel e pe care procedura aritmetizrii i
logicizrii matemati ci i a ncercat s l e sol ui oneze. Anal i za aprofndat
a ci rcui tul ui cartezi an matematic ar putea aduce la sl. 1praf aspecte
pn acum grei t nel ese.
Evol uia ti i nei n secol el e 1 7, 1 8, 1 9 a marcat decl i nul ci rcui tul ui
cartezi an. Tre i di reci i de atac au urmat cri ti c i l e l a adresa ci rcui tul ui
cartezi an: i ) inducia (component a circuitului) nu transfer adevrul.
Sub atac s-a aflat una di n treceri l e (pai i ) i nducti ve i anume, cea de l a
fpte raionate la i poteze oculte (a se vedea di agrama ci rcuitul ui cartezian
care fi gureaz pe una di n pagi ni l e anteri oare). Dac pasul respect i v este
consi derat i zol at, atunci criti ci i au negat c val oarea de adevr i njectat
fptelor rai onate se poate transmite i potezel or oculte. Acceptarea cri ti c i i
i mpl i c: a) abandonm i nfi l abi l i smul i admi tem caracterul conjectural
al ipotezel or ti i nifce; b) sau nl ocui m acest pas i nduct iv, i nta atacul ui ,
1 52
pri n aa-numita metod i nfi l i bi l a di vi zri i ca o metod a demonstrri i
i poteze l or oc ul te, fr s mai cdem pe i nduc i e, care const n
enumerarea ipotezel or oculte (conjecturi posi bi l e) di n care s fie deri vate
(expl i cate) fptel e. Fal s ifi cm pe rnd i poteze l e, deducnd di n el e
propozi i i fctuale fl se, pn rmne una, care va fi decl arat conjectura
nefl si ficat.
ntr-o j udecat
1 73
si ntetic adesea ni se cere s uni m n gndi re un predicat anumit cu un
concept dat i aceast necesitate este i nerent n conceptel e nsel e; aceasta
nu face j udecata anal i ti c pentru c ntrebarea deci si v nu este ce ar
trebui s uni m n gndi re cu un concept dat, ci ce anume noi gndi m
real mente n el , ch iar dac numai n mod obscur".
S rmnem, n conti nuare, l a configurarea termeni l or analitic i
sintetic l a nivel ul teoriei generale a cunoaterii a l ui Kant. Kant di scut
aceste concepte cu pri vire l a defniii i demonstraii.
Defini i a si nteti c pl eac de la noi uni exi stente i din combi narea
l or produce o noi une nou, cu alte cuvi nte opereaz cu no i uni gata
construite. Defi ni i a anal i ti c pleac de la o noi une ce ureaz s fi e
defi nit, al crei statut pare confz, sau, ori cum, i ndi sti nct, i se ncearc
o conturare expl icit a ei; se noteaz despre defi ni i i le si nteti ce caracterul
l or, oarecum, arbitrar, ceea ce nu este cazul cel or anal i ti ce.
Di st i nci a se pstreaz i l a nivel ul demonstrai i l or, sau, poate mai
adecvat spus, al metodel or de demonstrai e. Astfl , se di sti ng i nfrene
si ntetice i i nfrene anal i ti ce. Se ntrebui neaz si mbol uri adecvate
pentru noi uni defnite si nteti c i care, pri n compunerea l or, arat
ostensi v man i era n care aceste noi uni au fst defi ni te" ( Beth [ 1 ,
p. 44] ) .
n concepi a l ui
J. S. Mi l l demonstrai a egal iti i "5 2 = 7" fce apel l a axi oma ceea
ce este compus di n pri, este compus din pri l e acestor pri ", i l a
defnii i l e 7 = 6 + l " i 6 = 5 + l ". J. S. Mi l l [ l , XXIV, 5] afi rm c
axi oma, fi nd evi dent si muri l or n toate cazuri l e care pot f supuse
deci zi ei l or i att de general nct este coextensi v cu natura ns i ,
trebui e consi derat un adevr i nducti v sau o l ege a naturi i de ni vel supe
rior: chiar. mai mul t, el argumenta c i defni i i l e i mpl i c asertarea unor
col ec i i decompozabi l e ntr-un anume fel . Conseci na unei asemenea
concepi i i nductivi st-empi ri ste este contestarea i negarea caracterul ui
apri ori c al matemati ci i , n parti cular al ari tmetici i .
Dac aceasta a fsr reaci a f de a priori n peri oada i medi at
urmtoare, mai trzi u, acest concept va f asi mi lat cu cel de tautologie
de Wittgenstei n [ 1 (vi a opera l ui Russel l )] : certitudi nea apri ori se rel ev
ca ceva pur l ogi c", "logi ca precede ori ce experien a fptul ui c ceva
este aa", aa numita l ege a i nduci ei nu poate fi n ni ci un caz o l ege
l ogi c, cci ea este n mod evi dent o propozi i e cu sens. i de aceea ea
nu poate f nici o l ege a pri ori", l ogi ca este apri ori datorit fptul ui c
nu se putea gndi i logi c". ,;Tautol ogi a decurge di n ori ce propozi i e; ea
nu spune ni mi c"; Tautol ogia i contradi ci a nu sunt i magi ni al e real it i i .
El e nu reprezi nt nici o situai e posi bi l . Cci una admite orice si tuaie
pos i bi l, ceal al t ni ci una.
n vi zi unea l ui Frege,
aritmeti ca este mai adnc dect ti i nel e empi ri ce i geometri a, cci
domeni ul numrabilului este mai nti ns dect toate i nu poate f intuit
ci numai gndit, concl uzie care tri mite la conexi unea l egi l or aritmeti ce
1 8 1
cu cel e al e gndi r i i , rel evate de l ogi ca care poate ofri fundaia
matemati ci i .
Dar, dac Frege a contesta rol ul i ntui i ei n fndarea aritmeti ci i ,
Brouwer, ntemei etorul i ntui i oni smul ui matematic contemporan, co
autor, al turi de Kant, al mi tului doctri nei general e a intui i ei ca surs
i nfai l i bi l a cunoateri i ", susi ne un punct de vedere di feri t, dac nu,
chi ar, opus cel ui al l ogi ci anul ui geran, Brouwer consi dera c mai curnd
doctri na kanti an asupra i ntui iei pure a spai ul ui poate f supus cri ti ci i
i coreci ei n l umi na geometri i l or neeucl i di ene i chi ar abandonat.
K. R. Popper [2, p. 353] scri e: Nu avem nevoi e de ea ( i ntui i a pur a
spai ul ui ) ntruct noi putem aritmeti za geometri a: putem l ua ca fnda
ment teori a ari tmet i ci i a l ui Kant i doctri na sa c ari tmet i ca este
ntemei at pe i ntui ia pur a ti mpul ui ". Ori cum, rei nem c ambel e fel uri
de intui i e ce au stat l a baza cel or dou di sci pl i ne matemat ice - aritmetica
i geometri a - au fost submi nate de evol ui i l e metodol ogi ce i concep
tual -teoret i ce al e cunoater i i . Dar, pentru Kant i ntui i a era o surs
i nfai l i b i l a cunoateri i , ndeosebi , matemat i ce, i avea veri tabi l e
antecedente i stori ce. Cum am artat i n url ea [ 1 ] , Kant urmeaz n
aceast pri vi n pe Pl oti n (de la care prei a di hotomi a intuiie" i gndire
discursiv"), i va accentua contrastul di ntre acestea. i, de i observ c
geometri a lui Eucl i d fol osete i ntui i a pur", di scursul Elementelor"
nai nteaz pri n demers di scursi v, adi c deduci e l ogi c. Kant [ 2]
subl i ni az ideea c axi omel e matemati ci i se bazeaz pe i ntui i a pur,
prezent n ori ce pas al demonstrai ei geometri ce" i consi derai i
anal oage face i pentru aritmeti c.
Termenul intuiie" este central n teori a kanti an a cunoateri i
matemat i ce (Kant [ 1 ], [2] ). Kant spune c cunoaterea matemat i c este
cunoaterea obi nut de rai une pri n construi rea conceptel or". Pentru
I mm. Kant a construi un concept nseamn a prezenta a pri ori o i ntui i e
care corespunde conceptul ui ". J. Hi nti kka [3, p. 1 62] i nterpreteaz aceste
aseri uni kanti ene rel evante pentru epi stemol ogi a sa a matemati ci i n
maniera urmtoare: Construci a este echi val ent cu trecerea de la un
concept gencral l a o i ntui i e care reprezi nt conceptul cu condi i a ca
1 82
aceasta s se real i zeze fr apel la experi en". I ntui i a are la Kant n
aceast parte sensul de ceva care reprezi nt sau st pentru un obi ect
i ndi vi dual ", de i dee parti cul ar n opoziie cu conceptel e general e", de
obi ect si ngul ar"; n i ntui i e , , nu se ia n cons i derai e dect actul
construiri i conceptul ui"; pe scurt, i ntuitivitate nseamn individual itate".
n urlea [ I ]
am expus mutai i l e la ni vel ul i ntui i ei geometrice, set-teoreti ce etc. ,
datorate unor fenomene remarcabi l e di n ti i n: geometri i l e neeucl i diene,
i ndependena i potezei conti nuumul ui , teorema Lowenhei m Skol em. S
conchi dem, urmnd observai i al e lui Charl es Parsons [ 1 , p. 1 4 7], c la
Descartes percepia clar i distinct" expri m evi dent o alit udin<
propoziional (propos iti onal attitude ), n t i mp ce la Kant aceasta nu
j oac un rol central , cel pui n n mod expl i ci t. Charl es Parsons [ 1 1 fce
refri re expres l a ceea ce s-a numit concepiafilosojic de.\pre i1 1111i(ia
matematic i care n l i ni i le ei general e a expus-o pentru pri ma dam cu
1 85
sufiecient cl aritate K. Godel [ I , p. 3 3 2] : Dar, n ci uda ndeprtri i lor
de experi ena sensi bi l , noi trebui e s avem ceva asemntor unei
percepi i a obi ectel or teori ei mul i mi l or, dup cum reiese di n fptul c
adevrul axi omel or ne constrnge pri n el nsui . Nu vd ni ci o rai une
pentru care ar trebui s avem mai pui n ncredere n acest gen de
percepie, adic n i ntui i a matemati c, dect n percepia sensi bi l , care
ne i nduce s construi m teori i fizi ce i s ateptm ca vi i toarel e percep i i
sensi bi l e s concorde cu el e i , de al tfel , s credem c o chesti une
nedeci dabi l acum are sens i poate fi deci s n vi itor". i Godel conti nu
s caracterizeze intuiia matematic, ntr-un mod di ferit de cel ari stotel i c,
cartezi an i chiar kant ian, afirmnd c i ntui i a matemati c nu trebui e
conceput ca o fcultate care ar oferi o cunoatere imediat a obi ectel or
consi derate", ci , mai curnd, aa cum n experi ena fizi c ne frmul m
i dei l e noastre asupra obi ectel or pe baza a ceva dat i medi at, tot astfel i
n matematic, trebui e s presupunem acest dat care nu trebui e identificat
sau confundat cu senzai i l e. Dat"-ul subiacent matemati ci i este l egat
de el ementel e abstracte coni nute n idei l e empi ri ce. S observm c o
atare concepi e despre i ntui i a matematic concord cu pl atoni smul i
are o rel evan deosebit n di scuia de f referi toare l a Kant. . S- l
ci tm di n nou pe Godel [ l , p. 3 3 3 ] : Nu decurge del oc, totui , c datel e
de acest gen, deoarece nu pot fi asoci ate cu aciunea unor anumite l ucruri
asupra organel or noastre de si m, ar fi ceva pur subi ecti v, cum a afirmat
Kant. Mai degrab el e pot reprezenta, de asemenea, un aspect al real iti i
obi ective . . . prezena l ui n noi se poate datora unui al t gen de relaie
di ntre noi i real itate".
Am ci tat in extenso di n Godel , poate cel mai de seam reprezentant
al platonismului di n secol ul nostru ( vezi i Godel [2] ), pentru c modul
de concepere a i ntuiiei matematice faci l iteaz nel egerea multor aspecte
al e fi l osofiei kanti ene a matemat i ci i : matemati ca pur - matemati ca
apl i cat, real i smul matemati c transcendental ; real i smul transcedental vs.
i deal i smul ontol ogi c i al tele. S rei nem, ori cum, anal ogi a pe care
K. Godel o face ntre percepia senzori al , ca o relaie cogni ti v cu l umea
fizi c i i ntui i a (ca ceva asemntor percepiei), care produce o rel ai e
1 86
-, 1 1 11 i lar cu obi ectel e matemat i ce i , poate, cu al te entiti abstracte.
< ' h. Parsons [ I , p. 1 45] comenteaz textul godel ian n termeni i : Dac
ca ( i ntuiia matemati c) este central n fl osofa matemati ci i , ea ar trebui
'i|j oace un rol asemntor cel ui al percepi ei senzori al e n cunoaterea
1 1 oastr a l umi i coti di ene i a fi zi ci i ". Exami narea di scursul ui godel i an,
( K. Godel [ I ] ), rel ev c i ntui i a matemati c are cert un caracter de re,
i mpl i cnd o relaie a unei persoane cu obiecte matemati ce. Aa cum n
vocabul arul percepi ei senzori al e sunt prezente expresi i ca A vede pe
X, A aude pe x" etc. , ar urma, mutatis mutandis, s le transferm n
l egtur cu conceptul de i ntui i e matemati c". Verbel e perceptual e mai
s us - men i onat e i n duc un anumi t uz (object - relat i onal uses) .
Compl ementar acestui uz exi stpropositional attitude uses i care di ntre
acestea dou este mai fndamental este nc o probl em controversat,
dar, ori cum, exi stena l ui obj ect-rel ati onal use este evident. Probl ema
st di ferit, atunci cnd ne refri m l a intui i a matematic i autori , precum
Parsons, recunosc c fi l osofi i nu s-au expri mat cl ar asupra acestui
aspect . Parsons propune s di st i ngem uzuri l e compl ementare, anteri or
descri se, pri n expresi i le i ntuit i on of' i i ntui ti on that" i aceast
di sti ncie i ajut l ui Parsons [ l , p. 1 46] s i denti fce o anumit necl aritate
n pasaj ul godel i an ci tat, i anume: Godel afi rma c exi st ceva
asemntor unei percepi i a obi ectel or teori ei mul i mi l or" i acest l ucru
este vzut di n fptul c adevrul axi omel or ne constrnge pri n el e
nsel e". Aadar, se conchide de l a caracterul evident al anumitor enunuri
care pot exprima i ntui i i that" la exi stena i ntuii i lor of'. Premi sa poate
f di sputat, chi ar dac i nfrena este admi s, pare s fie o non sequitur.
I ntui ti on that" este o tem tradi i onal subsumat ori crei concep i i
despre evi den sau auto-evi den a adevruri lor de raiune, unde aceasta
nu este deri vat di n obi cei , pract i c sau convenie". i exact pentru acest
mot i v anal ogi a cu percep i a nu admite i l ustrarea fl os it pentru o
expl icaie a unei ast fl de evi dene rai onal e, sau poate s marcheze
disti nci a di ntre exi stena propozi i ei autenti c evi dent i aparena ei pur
i si mpl u ca fi nd adevrat. La acest punct urmeaz ca anal ogi a s fie
dezvol tat n di reci a i ntui ti on of', si mpl u, di n cauza prezenei unui
obiect central pentru percepie.
1 87
Dac atitudi nea l ui Descartes condensat n a l ui percepie cl ar
i di sti nct" este n pri nci pal cert o proposi ti onal attitude", Kant i
Husserl promoveaz o concepi e despre i ntui i e ca fi i nd angajai pri vi nd
i ntui ti on of' i unde obi ectel e pot fi chi ar matemati ce; cel pui n, aa
cum am mai spus, l a Kant proposi t i onal ati tude" nu are un rol expl i ci t.
Intui ti on of' decurge, ns, chi ar di n definiie, deoarece o i ntui i e este
o reprezentare si ngul ar care, evi dent, este o reprezentare a unui obi ect
si ngul ar. Kant [ 2] spune c pri n i ntui i e cunoaterea are o rel ai e
i medi at" cu obi ectel e, i ar aceasta nseamn o prezen di rect a
obi ectul ui n gndi re, ca n percepi e. I ntui i a fumi zeaz o evi den
i medi at propozi i i l or, ca de exempl u, cel or ale geometriei . Parsons [ 2]
acrediteaz i deea c nu se justi fc controversa pri vi nd fptul c dup
Kant i ntui i a" (n parti cul ar i ntui i a a priori"), confr evi den care
este i medi at. Caracterul i medi at al evidenei, desi gur, nu ar trebui redus
l a si ngul aritate, cum propune Hi nti kka.
I ntui i e la Kant are clar caracterul de i ntui ti on of', iar Husserl [ 1 ]
opereaz n fenomenol ogi a sa cu o intuiie categorial", adi c o i ntui i e
a esenel or, i n Jdeen (Husserl [ 2] ) ncearc s dezvolte o teori e a
evi denei rai onal e bazat pe anal ogi a cu percepia, percepia fi i nd a
unui obiect, constitui nd, o trstur di sti ncti v a concepi ei sal e. i ,
deoarece Husserl a nel es evi dena rai onal ca i ntui i e, el a ntrepri ns
un demers expl i cativ unitar al cel or dou fel uri de i ntuii e: i ntui ti on of'
i i ntui t i on that". Dac i dei l e husserl i ene au avut i mpact asupra
concepi i l or l ui Weyl i Godel , fi l osofia kantian a fost cons i derabi l mai
i nfluent n sfera fundamentel or matematici i , ca i a fi l osofiei actual e a
matemati ci i . Caracterul i ntui ti v al matematicii finitare, descri s de
concepi a l ui Hi l bert, s-a bazat pe fi l osofia kanti an, n parti cul ar pe
intuiia pur, aa cum a fost aceasta configurat n teoria l ui Kant despre
geometrie i , poate, mai puin pe teoria l ui a aritmeti ci i ; n ceea ce privete
i ntui i oni smul , acesta a rei nut noi unea kantian de t i mp ca frm a
s imul ui i nter. Godel [ 3] spune textual c, ceea ce Hi l bert nel ege pri n
, ,Anschaung" (i ntui ie) este, n mod eseni al , i ntui ia spai o-temporal a
l ui Kant, l i mitat la confgurai i de un numr finit de obi ecte di screte:
acest fl de i ntui i e, n contradicie cu noi unea de i ntui i e di n Godel [ 1 ] ,
este numit intuiie concret.
1 88
4. 3. NATURA ARGUMENTELOR MATEMATI CE,
A RATI ONAMENTULUI MATEMATI C;
' W V W W
MATEMATI CA PURA I MATEMATI CA APLI CATA
Sensuri l e III (c)-(d) al e anal i ti citi i di n l i sta l ui Hi ntikka [3 ] , n
fpt, sunt, consi der nsui autorul , variai uni pe i deea fndamental III
i ofer o reconstrucie adecvat a noi uni i kanti ene de anal i ti ci tate cu
care a operat fl osofl german n fi losofi a matemat i ci i . Kant consi dera
c esena metodei matemat ice const n fl osirea i ndi vi dual i l or, di stinci
de conceptel e generale, i care confreau caracter si ntet i c argumentel or
matemat i ce. Un termen rel evant n fi l osofi a matemati ci i , dar specifi c
kant ian, este cel de construcie, pe care el l defi nea n Critica raiunii
pure" ca introducere" sau expunere" l priori a unei intuiii ce
corespunde conceptului general. Pri n i nt ui i e l a Kant se nel ege
reprezentantul unui i ndi vidual . Pri n urmare, refcnd caracterizarea de
mai sus, o construcie (matematica construiete concepte) n sens kanti an
este i ntroducerea (a priori) a unui reprezentant al unui i ndi vi dual pentru
a i l ust ra un concept general , i dee, dej a prezent n Kant [ 1 ] ;
matemati ci eni i consi der conceptel e general e in concreto, adi c pri n
i nstantel e lor indi vi dual e. i, cum deja am rei nut c n al t parte, Hi nti kka
[ 4] propune i nterpretarea intuitivitate = individualitate", nel egem
anal ogi a de concepi e asupra naturi i raionamentul ui matemati c ntre
Descartes i Kant.
Sensul l l l (di n l i sta l ui Hi nti kka) are l egtur di rect cu fi l osofi a
matemati ci i a l ui Kant. Di ntre ntrebri l e i nteresante, provocatoare i
ferti l e n i nvest i gai a fi l osofi ei kant i ene a matemat i ci i , Hi nt i kka
meni oneaz urmtoarel e: Sunt moduri l e de argumentare pe care Kant
l e consi dera a fi t i pi c matematice, dar pe care noi astzi l e cl asi fi cm ca
apari nnd teori ei cuanti fi cri i , real mente si ntet i ce n sensul III, cum
credea Kant?". Hi nti kka amn rspunsul l a aceast ntrebare, dar ti m
c n alte prelegeri el l -a j ustificat pe Kant cu aj utorul l ogi ci i cuanti fcri i .
Grupul al I i - l ea al sensuri l or anal i t i citi i , remarc Hi nti kka,
reprezint o farte bun reconstrucie a noiuni i kantiene de analiticitate,
1 89
aa cum fi l osofl german a fl osi t-o n fi l osofia matemat i ci i . l at acum
prezentarea acestui grup: (Cf. Hi nt i kka [ 3, p. 1 62] ) : I I I ". Un pas
argumentati v este anal iti c dac el nu i ntroduce noi i ndi vidual i n di scui e;
I I I( a) Un argument anal i ti c nu poate conduce de l a exi stena unui i ndi
vi dual l a exi stena unui i ndi vi dual di fri t; I I I(b) Un pas argumentati v
este anal i ti c dac el nu sporete numrul i ndi vi dual i lor consi derai n
rel aia l or reci proc; I Il(c) Un pas argumentati v este anal i t i c dac gradul
concl uzi ei nu este mai mare dect gradul a cel pui n unei a dintre premi se;
I I I(d) Un argument este anal i ti c dac toi pai i l ui sunt anal i ti ci n sensul
I I I(c); I Il(e) O demonstrai e a enunul ui S
1
di n S
0
este anal i t i c dac n ici
un enun care apare ca stadi u i ntermediar al acestei demonsfra i i nu are
grad mai nal t dect S
0
i S
1
(Prezentm, fi i nd necesar n di scui e i )
Sensul I V: Un pas argumentati v este anal i ti c dac i nfrmai a adus de
concl uzi e nu este mai mare dect i nfrmai a adus de premi se (Adevrul
anal iti c este adevrul tautol ogi c)". Aadar, ceea ce este eseni al de notat
pentru ntregul grup I I I este urtorul aspect: o i nferen este anal i ti c
dac n ea se anal i zeaz doar i nterrelai i l e i ndi vi dual i l or care au fst
dej a meni ona i n premi se, fr a trece di ncol o de ei , n sensul
consi derri i al tor i ndi vi dual i".
Anal iza unui enun rel ev c gradul lui este dat de numrul maxi m
al i ndi vi dual i lor consi derai mpreun n rel ai a l or reci proc, n ori ce
parte a enunul ui . Formal , gradul unui enun cuanti fcai onal este al ctui t
di n suma a doi membri - numrul termeni l or s i ngul ari l i beri coni nui n
el i numrul di feri tel or straturi de cuanti fi catori pe care i coni ne i
care consti tui e adnci mea l ui (Cf. Hi nti kka [ 3] ) .
Prezentm, dup Hintikka [3, p. 1 63-1 85] , unel e rezultate di n l ogi ca
cuanti fi cri i care reabi l iteaz noi unea de sintetic Opriori, central n
fi l osofia kant ian a matemati ci i , rel evant despre natura i nfrenel or, n
general spus, a propozii i l or matemati ci i , noi une despre care uni i membri
ai Cercu l u i de la Vi ena, l ansnd d i hot omi a anal i t i c- s i ntet i c",
supranumi t de Qui ne [ I ] o dogm a empiri smul ui", au vorbit n termeni i
dizolvrii" ei .
Or i ce enun cuanti fi ca i onal consi stent are o frm normal
di stri buti v, o di sj unci e a anumitor conjunci i numite consti tueni ",
1 90
form normal ce este o general izare a ceea ce este cunoscut ca fi i nd
form normal di sj uncti v compl et a l ogici i propozi i onal e; fiecare
constituent care nu are ni ci un termen si ngul ar posed structura:
1) (Ex)C
/
x)
/
(Ex)C/x)
/ /
( Ex)Cn(x)
/
( Ux)
[ C1 (x) ` C/
x) ` . . . ` Cn(x)]
n care C (x), dac consti tuentul respect i v nu are adnci mea unu, are
I
iari o asemenea structur, care este reprezentati v pentru structura
consti tui eni l or, n general . , ,
( Ex)
C1 (x)
/
C
2
(x)
/ /
C
n
(x)]
Enunul (2) ofr posi bi l itatea de a i nfra existena unui i ndividual
de un gen anumi t di n exi stena unui numr de indi vi dual i di fri i de el ,
avnd propri eti d ifrite, adi c autorizeaz o infren inter-indi vi dual .
Aceast i nfren i enunul (2) s unt s inteti ce n sensul III( a), sens
caracteri sti c pentru fl osofa l ui Kant. Un adevr este s i ntet i c n sensul
III( a) dac el apare prin el i mi narea constitueni l or i nconsi steni i , di n
acest punct de vedere, se poate spune c mul te di ntre adevruri l e l ogi ci i
cuant ificri i sunt si nteti ce. I nconsi stena l ui ( 1 ) este i ndependent de
inconsi stena posi bi l a enunuri l or C
1
(x) care apar n ( 1 ), deci r1 datorit
tri vi al i nconsi stenei unui a di ntre consti tueni . Cazuri l e tri vi al e apar ca
parazii" ai cazuri l or netrivi al e, conchi de Hi nti kka, i de aceea ca t i pi ce.
I mpl i caia (2) este uneori l ogi c adevrat, numai deoarece conj unc i a sa
antecedent este l ogi c fl s, i atunci un numr de enunuri de forma
19 1
( Ex)C
1
(x) care apar n ( 1 ) vor fi i ncompati bi l e. S admi tem c
(Ex)C
1
(x) . . . ( Ex)C
m
(x) nu sunt i ncompati bi le, dar c devi n i ncompat i bi le
dac (Ex)C
m
+
1
(x) le este adugat. Atunci i mpl i ca i a:
3) [( Ex)C
1
(x)
/ /
(Ex)C
m
(x)]
-
(Ex)C
m
+
J
(x)
este logic adevrat, dei antecedentul ei nu este i nconsi stent". (Hi nti kka
[3, p. 1 65] ) .
Impl i caia (3) se dovedete, confrm expuneri i l ui Kant, o instan a
adevrul ui si nteti c, adi c de fpt un argument anal i ti c nu poate conchi de
de la exi stena unui indi vi dual sau a unui numr de i ndi vi dual i la exi stena
sau non-exi stena unui indi vi dual di frit. Se obine rel iefrea unei conexi uni
ntre sensul III( a) al anal i ticului i si nteticul ui , pe de o parte, i i nconsi stena
unor anumi i consti tueni, pe de alt parte. Hi ntikka a descri s procesul
pri n care fiecare consti tuent inconsi stent se poate arta c este i nconsis
tent, procedeul constnd n expansi unea" consti tuentul ui dat ntr-o
di sj uncie de constiteni cu aceleai si mboluri predicative i aceiai termeni
singul ari l i beri , ns cu adnci mi care cresc; constitueni i care apar n cadrl
acestui proces sunt subordonai cel ui ori gi nal n cadrul procesul ui de
expansi une. Dar, muli pai ai procesul ui sunt i nofnsi vi ; fl osi m regul i
de convertire a unui enun n frma sa di stri butiv i regul i care produc
creterea n adnci me a constitueni l or, adugndu-se un nou strat de
cuanti fcatori , pe cnd termeni i si ngulari rmn acei ai . Adugnd ori ce
parte tri vi al redundant unui consti tuent este servi t acest scop n msura
n care adnci mea constituentl ui crete cu 1 . Hi nti kka observ c aceast
trivi al i tate ne-ar sugera, s spunem, c fiecare stadi u di fr de predecesorul
su numai pri n fptul c are o adnci me mai mare i deci un grad mai
nalt. Ori, creterea gradul ui nseamn creterea numrului i ndi vi dual i l or
consi derai n rel ai a lor, ceea ce confrm cu I I I (b) i I I I( d) i ndi c o
procedur si nteti c i deci , procesul expansi uni i, pri n care consti tueni i
i nconsi steni sunt artai a fi inconsi steni este o procedur si ntet i c n
aceste sensuri ; urmeaz c aceast metod de demonstrai e n termeni i
frmelor normal e di stri butive i al e expansi uni i lor este si ntet i c n sensul
I I l(e). Procedura opereaz n aceast manier: pentru a deriva S
2
di n S
1
l e
transfrmm n frmel e l or noral e di stribut ive; se poate admi te c fiecare
1 92
di n el e coni n toi termeni i si ngul ari l i beri care apar n S
1
sau n S
2
Putem
demonstra s2 di n sl dac i numai dac expansi unea frmei normale a l ui
S2 va coni ne l a o anumit adnci me expansi unea fnnei normale a l ui S
1
,
atunci cnd sunt omi i constitueni i i nconsi steni di n expansi une pri n
cri teri i l e admi se. Proceduri le de demonstraie sau de respi ngere sunt
si nteti ce atunci cnd o demonstraie nu se reali zeaz pri n el i minarea nici
unui constituent i nconsi stent, sau cnd o demonstraie nu se realizeaz
pri n el iminarea constitueni lor i nconsi steni cu ajutorul pri mei ridi cri a
adnci mi i . Sinteticitatea este apreci at de Hintikka ca o caracteri stic a
demonstrai i lor cuanti ficaionale. Exi stena unei frme normal e di stribu
ti ve - ra i unea pentru care adevruri le logice ale teoriei cunati fcri i sunt
anali tice n sensul I V -este legat cu raiunea pentru care aceleai adevruri
sunt si ntetice n alt sens, adi c nu sunt capturate" de regul i l e naturale de
infrena n sensul I I I( e ). i Hi ntikka [3, p. 1 701 7 1 ] frmuleaz urmtoarea
concluzi e: Putem acum s- l justi fcm pe Kant. Ceea ce nelege el cnd
considera c argumentele matemati ce sunt noral si ntetice era perfct
just. Prin argumente matemati ce el nel egea, n pri mul rnd, moduri l e de
aserionare care sunt astzi tratate n teoria cuanti fcri i . Dar, tocmai s-a
vzut c multe moduri de raionare cuantifcaionale sunt i nevitabi l sintetice
ntr-un sens natural al cuvntul ui . Acest sens este, de altmi nteri, strns
legat de i nteni i le lui Kant, deoarece s-a artat n prima mea expunere c
grupul III al sensuri lor anal i ti ci tii poate fi consi derat ca o farte bun
reconstruci e a noi uni i kantiene a anal iticiti i , aa cum a uti lizat-o Kant
n fl osofa matemati ci i ".
ntruct toate
demonstrai i l e matemati ce se bazeaz excl usi v pe deduc i i logi ce di n
anumite postulate, decurge c o teorem matemati c, cum ar f teorema
l ui Pi tagora n geometrie, nu aserteaz ni mi c obiectiv sau teoretic nou n
comparai e cu postul atel e di n care este deri vat, dei coni nutul ei poate
fi foarte bi ne s fe psihologic nou n sensul c noi nu am avut cunoti na
cunoateri i ei i mpl i cite n postul ate".
Cercetri le di n l ogica moder a cuanti fcri i au produs mutai i
i storice pri vi nd statutul adevruri l or l ogi ce ca l egi al e gndi ri i , cci
majoritatea lor s-au dovedit a f sintetice n sensul III; pare a f o conexi une
i stori c, remarc Hi nti kka, ntre i deea caracterul ui necesar al conexi uni lor
l ogi ce i i deea c el e sunt anal iti ce n sensul I I I . De exempl u, exi st o
mare asemnare ntre mani era n care Kant ex
p
l i c noi unea sa de adevr
anal i ti c i modal itatea n care Descartes expl i
c
noi unea sa a conexiunii
necesare.
n acest ansambl u
epi stemol ogi c s e decel eaz dou aser i uni : a) toate j udeci l e matemat i ce
sunt si ntet ice; b) j udeci l e matemati ce autent i ce sunt j udeci a pri ori
i nu empi ri ce (cf. Kant [2, p. 5 1 , 52]). Kant observ c anal i ti i rai uni i
omeneti n-au sesi zat val oarea i rel evana pri mei aseri uni : Cci
gsi ndu-se c rai onamentel e matemati ci eni l or procedeaz toate con
frm pri nci piul ui non-contradi ci ei (ceea ce e cerut de natura ori crei
cert i tudi ni apodi cti ce) s-a aj uns la convi ngerea c i pri nci pi i l e ar fi
1 96
cunoscute pe baza pri nci pi ul ui non-contradi ci ei ; n aceasta ei se neal,
cci o j udecat s i ntet i c poate fi cunoscut fr ndoi al potr i vit
pri nci pi ul ui non-contradi ci ei , dar numai cu condi i a de a se presupune
o al t j udecat s i ntetic din care s poat fi dedus, dar ni ci odat n
si ne".
cci n
apreci erea matematic a mrimi i , i ntel ectul este tot att de bine servit i
satisfcut, fie c puterea de i magi naie al ege ca uni tate o mri me pe care
o putem prinde ntr-o privire, de exemplu un pici or sau prj i n, sau c
alege o mi l german sau chi ar un diametru al pmntul ui . n amndou
cazuri l e, aprecierea logic de mri me merge nempi edi cat l a i nfnit".
Dar mi ntea nuntrul ei ascult de gl asul raiuni i care cere totalitate.
pentru toate mri mi l e date. neexceptnd de l a acest postul at ni ci chi ar
i nfnitul. . . , ci i mpunndu-se di mpotri v, n mod i nevitabi l , de a ni -l
gndi . . . ca dat n ntregi me (dup total itatea sa)
"
.
4.5. FILOSOFIA KANTIAN
A GEOMETRIEI:
ONTOLOGIA KANTIAN
A SPATI ULUI
'
CA O EPISTEMOLOGIE A GEOMETRIEI
Kant i mpl i cit a fst de acord cu Lei bniz i Descartes c spai ul
este conti nuu, i nfi ni t, tridi mensi onal, omogen i i zotrop; omogen
nseamn, n acest context, c nu exi st puncte privi l egi ate n spai u, iar
spai ul izotrop c nu are di reci i pri vi legi ate. Credi na l ui Kant era c
punctel e coninute n spaiu sati sfc teoremel e geometri ei eucl idiene.
Probl ema spai ului a avut un rol important n dezvoltarea fi losofei
critice a l ui I mm. Kant. De fpt, aa cum observ R. Torretti [ l] i ali
autori , n dezvol tarea concepi ilor l ui Kant se di sting dou perioade: o
pri m peri oad, numit pre-critic", coni ne l ucrri l e ti mpuri i ale
flosoflui (Kant [ 4], [ 5] ) i a doua, perioada critic", este caracterizat
de cel ebra sa revol uie copemi can n fl osofie" ncorporat n Kant
[ 2] i , n spec i al , n capi t ol u l acestei capodoper e, Estet i ca
transcendental ", ediia 1787, n care a fst el aborat o nou concepi e
despre spai u sub i mpactul unor probl eme generate de concepia di n
peri oada pre-critic.
200
Kant a respi ns i a abandonat concepia despre spaiu real i nfni t
subzistnd n si ne, o entitate himeric, i a susinut o teorie relaionist
asemntoare cel ei a l ui Lei bni z. Astfl , deja Kant (4, p. 23] scria:
"
fr
for nu exi st conexiune, fr conexi une nu exist ordi ne i fr ordi ne
nu exist spai u". Aceast i dee spune expl i cit c proprieti le structural e
al e spai ul ui sunt deteri nate de i nteraci unea di namic di ntre parti cul e,
c.g. spaiul are trei dimensi uni decurge di n fptul c frel e de interaci une
sunt invers proporional e cu ptratul di stanei di ntre parti cul el e care
interacioneaz.
ntr-adevr,
dup enunarea l i stei de axiome ale geometri ei , Hi l bert consi der c
acti vitatea meri tori e i rel evant meta-matematic este analiza logic a
intuiiei noastre spaiale", un act destul de anti-kantian, dac scrutm
probl ema n spi ri tul fi l osofi ei l ui Kant. Demersul hi l berti an procedeaz
de la i ntuiia spai al la cea logic, sau mai precis la o anal i z conceptual
a axi omel or geometri ei , o act i vi tate pe care Kant a consi derat-o
nereal izabi l . Concl uzi a lui Hi l ber ar putea fi frmul at n termeni i :
dac i ntui i a spaial este reflectat numai n grupel e I -I I I de axi ome, ea
nu este n ntregi me determi nat i nu poate f mani fstarea unui indi
vi dual unic, defnit, cum unel e pasaje din Kant sugereaz.
Aadar, n ce sens Hi l bert este un kantian n flosofa geometri ei
devi ne probl emati c n l umina unei interpretri mai puin standard a acestui
aspect. Refritor l a Hi lber, Gdel [ 1 ] a scris urmtoarele, pri vi nd aspectul
i ntui i ei : Ceea ce Hi l ber nel ege prin Anschaung este n mod
substani al i ntui i a spaio-temporal a l ui Kant, l i mitat, ori curn, l a
209
confgurai i l e unui numr fni t de obiecte di screte". Di frena pri vind
noi unea godel i an de i ntui i e (K. Godel [ 1 ] ) este aceasta: termenul
Anschaung" este tradus ca fi nd o intuiie concret. Poate f vorba ai ci de
un aspect intuiionisti c n concepia l ui Hi l bert despre matematic? Da,
dar s-a ntmpl at ca n unel e di scuii recente asupra fndamentel or
intuiionismului , cnd conceptul veritabil de i ntuiie - constnd n aceea
c semni fcaia unui enun matematic este constituit de ceea ce va f o
demonstraie a l ui - s fe omi s ( cf. Ch. Parsons [ 1 , p. 1 66] ).
Friederich Ueberweg [ 1 ] dezvolt o concepie empirist, asemenea
cel ei a lui Mi l l , asupra naturi i i fndamentel or geometri ei , i n acest
sens a susinut c trebui e propuse pri nci pi i noi di n care cel e de pn
atunci s fe i nfrate; de fpt, s fe propuse fpte noi ca o fundare a
geometri ei , ceea ce n real itate a constituit o anti ci pare a axi omel or l ui
Hel mholtz di n 1 866. R. Torretti [ 1 ] a di sti ns dou pozi i i al e l ui
F. Ueberweg refritoare l a apri ori sm: una conciliator ie i alta polemic,
cci el accepta concepia kantian dup care geometri a este o tiin
apodictic, dar nu vedea de ce acest l ucru ar i mpl i ca fptul c spai ul
este cunoscut apriori . Mai exact, afrma c ncercarea l ui Kant de a arta
c natura a priori a spai ul ui asi gura, confrea, val i ditatea princ pi i lor
geometriei, nu reuea s le derive din aceast natur; Kant nu a demonstrat
c nu poate exi sta o ti in apodictic refr itoare la un obi ect empiric,
Kant a admi s di l ema empiric sau a priori", fi i ndu- i necunoscut
alternati va el aborri i raional e a cel or empi ri c date n acord cu norme
l ogice, fr coni nturi a priori de cunoatere", noteaz F. Ueberwg [ 1 ,
p . 3 1 4] . Di sti ngnd ntre certitudine apodictic i certitudine asertoric
sau factual, pri ma apari nnd si stemul ui geometri ei , cea de-a doua
di fritel or pri nci pi i considerate izol at, Ueberweg reproeaz l ui Kant c
nu a observat c teoremel e deri vate di n pr i nci pi i l e fort i fi c, l e
consol i deaz pe acestea di n urm; adi c conseci nel e n acord cu
experiena confrm presupozi i i l e, l e confr o cretere a certitudi ni i ,
care devi ne absol ut.
n ceea
ce- l pr i ve te pe Erdmann, e l es te nevo i t, dator i t r espi nger i i
senzual i smul ui , s adopte un apriorism empirist n flosofa geometriei .
Fi l osofa geometri ei, elaborat de Erdmann, a fst ns convi ngtor
expl i citat de uni i autori , ntre care R. Torretti [ 1 ] . Acest autor di scut
cteva aseri uni tari ale nucl eul ui acestei fl osofi a geometri ei. Astfl , o
prim aseri une pericl i teaz ntregul si stem al empi ri smul ui geometri c,
cci , spune Erdmann [ 1 , p. 1 5 8] (a pud R. Torretti ), noi nu putem
recunoate acel e iregul ariti (fptul c suprafel e i corpuri le actual
percepute arat i regulariti care sunt i gnorate de geometria el ementar),
pn ce nu avem un concept de regul de l a care ele di verg"; am putea
spune c este ai ci stabi l i t o sei f- i nconsisten inter a empi ri smul ui
geometri c. O alt aseri une, a se vedea Erdmann [ 1 , p. 1591 (aptul
213
R. Torretti ), este aceasta: i deal i tatea conceptel or de construci e nu
excl ude ori gi nea l or empi ri c", argumentul acestei teze fi i nd fptul c
i nvoc, nu speci fcitatea sursei , ci omogenitatea elementel or spai al e de
care ar depi nde. Dar ni ci prin aceast aseri une nu se obi ne o frti fcare
a pozi i ei empi ri ste n fi l osofi a geometri ei , ci mai curnd o submi nare a
ei . Geometria nu poate fi tratat ca o di sci pl i n ti i ni fc empi ric,
ai doma celor care i nvestigheaz calitatea, ci opereaz cu defn i i i , pos
tul ate, axi ome, apel eaz l a metode deductive, ceea ce confr rezultatelor
ei - teoremele o generalitate i necesitate ca cel e pretinse de pri nci pi i l e
care o fndeaz. Demersul geometri c nu const ntr-o si mpl anal i z a
i ntens i uni i conceptelor ei , ci este o autentic ti i n si nteti c, axi omel e
apl i cndu-se l a noi concepte al e construci ei geometri ce. Erdrnann este
n fvoarea raional i smului prin afirmaia c geometri a se dezvolt i n
dependent de ori ce experi en parti cul ar, deoarece ea presupune c
reprezentarea spai ul ui , al e crui rel ai i de construcie sunt studi ate de
ea, este la fl de val id pentru ori ce experi en" (Erdmann [ 1 , p. 176]),
un pasaj n stil i coninut pri n excel en kantian. Ceea ce este surpri nztor
este c pe aceeai pagi n Erdmann scri e n sti l riemannian, remarc
Trretti [ 1 ]; ntr-adevr, textul l ui Erdmann [ 1 , p. 1 70] este relevant pentru
i nterpretarea dat de Torretti cci susi ne asemenea i dei : O i nvesti gai e
exact a cazuri l or l i mit al e rel a i i l or metrice poate rel eva o di vergen
de la constant sau de la val oarea nul a curburi i . . . . aceast reprezentare
corectat de spai u va deveni subi ect speci fc al cercetri i geometri ce,
pn cnd noi suntem eventual i condui pri n progresul urmtor, n cazul
acestu i nou rezul tat devi ne nesat i sfctor s fcem o revi zui re a
propri eti lor de congruen i supraf pl at".
Pentru B. Russel!, problema central a fi losofei geometri ei const
n a determi na statutu l acestei di sc i pl i ne t i i n i fi ce, ad i c dac
cunoaterea geometric este necesar, apodictic sau a priori. O atenie
speci al el acord conceptul ui de a priori, pe care l consi der n sens
kantian - cunoatere a condii i lor cerute de orice experi en, sau un gen
de experien - i respi nge accepia psi hol ogic a teneIul ui ca i rel evant
2 1 4
pentru o cunoatere ce se vrea necesar; de aceea el va l ua termenul de
cunoatere a pri ori ntr-un sens kantian veritabi l , adi c ntr-un sens l ogi c,
obi ecti v transcendental . Intenia pri nci pal a preocupr i l or sal e de
filosofia geometriei a fst s arate c geometri a proi ectiv i geometri a
metri c general a spai i l or n"-di mensi onal e maxi mal si metrice au o
natur a pri ori .
n
teori i l e axi omatice, deci i n geometri a pur, se iau asemenea deci zi i?
2 1 7
Situai a nu este deloc aceasta, deoarece aceste teorii coexi st avnd
drepturi epistemi ce egale, i ar o al egere, sau prefri n, i ntervi ne numai
pentru o i nvest igare mai atent a teori ei n cauz i aceasta numai
temporar. Numai dac fecare teorie axiomatic este traductibi l n oricare
di n contrarele ei , atunci geometri a apl i cat, matemati ca apl i cat, sunt
conveni onal e. Dac o teori e T, ce descri e adecvat fnomenele unui
domeni u, este traducti bi l numai n unel e di ntre contrare, dar nu n toate,
atunci situai a este evident di frit i nu mai putem susi ne c geometri a
apl i cat, matemati ca apl i cat, sunt conveni onal e. (Geometria pl an
euc l i di an nu este traducti b i l n geometr i a pl an BL - Bol yai
Lobacewski - cci pri ma i ntroduce termeni noi adugai axi omelor,
defi ni i i l or la teori a (ati cel or).
Contraexemplele citate de R. Torretti [ 1] constituie o baz sufcient
pentru respi ngerea versi uni i i nterpretati ve a conveni onal i smul ui geo
metric propuse de M. Bl ack [ I ] .
ns o asemenea
intui i e nu este ni mi c altceva dect fcul tatea de a construi un conti nuum
n-di mensi onal i deci zi a de a pune n 3 ca i defni i a metri ci i trebui e
s urmeze experi ena. Pe de alt parte, combaterea empirismului geo
mefric l va conduce pe Poi ncare la o form mai rafnat de empirism,
parc anti ci pnd evol u i a acestui a, ce avea s- l fc dominanf n
epi stemol ogi a secol ul ui al XX- iea. Interprei i operei epi stemol ogi ce a
l ui Poi ncare i nvoc cu precdere dou aseri uni rel evante euri sti c dar i
semni fcative pentru epi stemol ogi a geometri ei l ui . Prima: Geometria
nu poate f o ti i n empi ric, deoarece ea nu pote constitui un subiect
susceptibi l de revizuire n l umi na creteri i experienei ; a doua: Geometria
este o ti i n exact, n t i mp ce ti i nel e empi ri ce sunt totdeauna
aproxi mati ve. Pri ma aseriune sugereaz c Poi ncare pare s f avut n
vedere geometria pur, dar, n fpt, el a di scutat despre fundamenfele
geometrice ale mecanicii
.
A doua aseri une este revel atoare pentru un
anumit gen de nel egere a teori i lor fzici i matematice, i anume, Poi ncare
a crezut c acestea, n ci uda exactiti i lor matemati ce, pot f comparate
cu, coroborate i respinse de fpte fmi zate de obserai i i experi emnte.
De l a aceast condi i e fce excepie geometri a aplicat sau fizic,
deoarece trebui e s medi eze ntre teori i i fpte, adic, mai preci s,
descri pi a geometri c, geocronometri c ofr posi bi l itatea ami nti tei
comparri a teor i i l or cu fptel e. Traducerea crii naturii" s e fce cu
aj utorul mai multor si steme de geometri e, exigena care este frmul at
este c respecti vel e coninuturi predi ctive ale teoriei fzi ce s rmn
nealterate. Aceasta ar f interpretarea pe care o propune R. Torretti , care
crede c dei nu a gsit dovezi di recte i rel evante pentru ea n opera l ui
Poi ncare, a consi derat-o verosi mi l n virutea mani erei , n care savantul
fancez a expl i cat noi unea de spaiu geometric", care pentru acesta
nu era dect spaiul mecanicii. n l umi na i nterpretri i propus de
R. Torretti [I] devi ne intel i gi bi l credina c geometria fzic este exact
i nu poate f revi zuit n l umi na experi enei . Respi ngerea empi ri smu l ui
221
de ctre Poincare pare s rezide n raportul asi metri c di ntre structura
geometric a spai ul ui i informaia empiric, manevrabi l i tatea unor
si steme de geometrie fi nd datorat, n primul rnd structuri i l or propri i ,
i numai n al doi lea rnd, unor caracteri sti ci al e materi al ul ui empi ri c
asupr a crui a poart.
n tiin i ipotez"
(p. 99) Poi ncare frmul eaz urmtorul enun al l egi i rel ati viti i :
Lecturi le (i nterpretri le) pe care l e putem fce asupra instrumentel or
noastre l a un moment dat, vor depi nde de l ecturi l e pe care noi l e-am
putut fce asupra acel orai i nstrumente la momentul i ni i al ".
Acest enun fi i nd i ndependent de i nterpretarea geometri c a
l ecturi l or, l egea rel ati viti i nu ne poate autori za s deci dem ntre
geometri a eucl i di an i cea neeucl idi an.
Experiena nu ne poate nva ni mi c despre rel ai i le materiale di ntre
di fritel e pri ale spai ul ui , fpt adevrat i despre spai ul absol ut, aa
cum a fst conceput n mecanica cl asi c. Dac fnomenel e nu expri m
ni mi c dect rel ai i mutuale dintre coruri , atunci este di fci l s nelegi
de ce descri pi a lor geometric ar trebui relevat de experien. Poi ncare,
noteaz Torretti [ 1 ], se pare c a aj uns la o concepie di fri t despre
spai u, pe care ns, nu a reuit s o cl ari fi ce. Dac presupunem c
nel egem geometria.fzic ca o structur matematic, a crei muli me
fndamental este alctuit din corpuri materiale (parti cul e", fnomene
eveni mente), atunci experi ena rel ev rel ai i mutuale di ntre di fritel e
pr i al e spai ul ui , i ar enunul l ui Poi ncare devine tri vi al fl s.
222
CAPI TOLUL V
SI TUA TI A ACTUAL N FI LOSOFI A
'
MATEMATI CI I
5. 1 . FILOSOFIA GENERAL
I FILOSOFIA
MATEMATICII: REALISM, NOMINALISM,
CONCEPTUALISM
Ori ce di ci onar flosofe respect abi l (a se vedea i Di ci onar
flosofe" (EP. 1 978)) consemneaz n dreptul acestor termeni urmtoarele
(aspecte) l ucruri : realismul, curent speci fc fl osofei medievale (ca de
altfl i cel el al te dou - nominalismul i chi ar conceptualismul ! ) afrm
c noiuni l e general e, abstracte constituie realiti " de si ne sttotoare,
cu caracter spi ritual , anteri oare l ucruri l or i ndi vi dual e, independente de
acestea, ca i de acti vi tatea i ntel ectul ui uman. Si ntagma rel evant
(arhicunoscut) pentru esena acestui curent fl osofe este: Universalia
sunt realia", adic uni versal el e au realitate, i dee care expl i c i numel e
de real i sm. Real i smul reprezi nt l i ni a de gndi re pl atoni ci an i are ca
reprezentani de seam pe Ansel m de Canterbury, Gu i l l aume de
Champeux, Toma D' Aqui no; nominalismul a fst susi nut de adepi i
scolasti ci ai l ui Ari stotel i a reprezentat punctul de vedere fi l osofe
opus (n problema exi stenei universal i i lor). Nominal i ti i susin c numai
l ucruri l e i ndi viduale au exi sten real, general ul nu exi st ni ci separat,
nici n l ucruri, i ar noi uni l e general e (universale) (n l ati n univcrsalia)
223
nu sunt dect simpl e cuvi nte, nume ale lucruri lor". Expresi a care rezum
esena nomi nal ismului este universalia sunt nomina ", ceea ce ne expl i c
i numel e curentul ui . Di ntre cei mai de seam reprezentani ami nti m pe
Roscel in di n Compi egne. Duns Scot i W. Occam.
n scol astica medi eval s-a constituit i o a trei a concepie-curent
numit conceptualism, pozi i e fl osofc i naugurat de Abel ard i ai crei
reprezentani au fcut tentati va de a (re)conci l i a nomi nal i smul i
real i smul . Conceptual i smul are n comun cu nomi nal i smul negarea
exi stenei general ul ui n l ucruri le i ndividuale, ns, n contrast cu acesta,
admite c avem posi bi l itatea de a frma noi uni generale, numite de
adepi i lui concepte i care ne ofr o cunoatere autentic relevant
despre un numr chi ar i nfnit de i ndi vi zi . Uneori termenul conceptual
ism este nl ocuit cu cel de constructivism, dar nu n sensul speci al al
termenul ui de constructivism matematic, care a cunoscut mai multe
variante n fl osofa contemporan a matemati ci i : intuiionismul (ol andez)
a l ui Brouwer i Heyti ng,fnitismul l ui D. Hi l bert i constructivismul l ui
A. A. Markov. Constructivismul, concepie despre natura matemati ci i ,
pune accent pe rol ul intuiiei i al construciei n matematic i formul ea
restri ci i n fol osi rea regul i l or cl asice de raionament i defni ie, restrici i
care vizeaz n special legea teriului exclus i defniiile impredicative.
Dar, reveni nd la conceptual i sm, di ctonul su speci fc este universalia
post rem", care expl i ci t ne spune c uni versal ul nu este n l ucruri , ci
dup l ucruri , adic n mi nte. Aadar, uni versal el e, dup conceptual i sm,
sunt i nven i i al e mi n i i umane . S- a s pus c dac cons i derm
conceptual i smul ca o teorie psihologic", atunci programul su nu poate
f real i zat, ns, colapsul conceptualismului psihologic", ca s fol osi m
si ntagma l ui Stegmti l l er [ 1 ], nu nseamn col apsul conceptual ismul ui n
general . Se are n vedere comceptualismul constructiv, (care are n Hao
Wang pe unul di ntre cei mai i mportani reprezentani ), ce numai poate f
tratat ca o poziie ontologic i ntermedi ar, ntre realism (latonism,
termeni i sunt aproape i ntersubstitui bi l i) i nominalism; cu o expresi e
pl asti c stegmti l l er i an, acest conceptual i sm este o mldi" a
pl atoni smul ui , care atunci cnd ne l i mi tm l aplatonismul extensional i
224
se adaug anumite exi gene de construci e, de exempl u, , ,condiiile care
definesc"; urmeaz s se confrmeze unor anumi te principii de
construcie, nct structura conceptual i smul ui constructi v mbi n
asumpi i pl atoni ci ene cu asumpi i constructi vi ste.
Adaptnd probl ema la contextul matematici i , vom observa c
realismul, nominalismul, conceptualismul se revendi c dreptprogame
direcii de reconstrucie a ontologiei matematicii, analoagele mari lor
curente fi l osofi ce (cu acel ai nume) di n evul mediu consti tuite n
problema uni versal i l or.
n
real i tate, se ntmpl ceva mai mult i anume se consider c nomin
al i ti i
au euat n tentati va l or de a ofri o semantic adecvat pentru scopuri l e
anal i zei fi l osofi ce. B. van Frassen remarc n termeni drasti ci c
nominal i smul contemporan, pentru aceste motive artate i altele, este
vzut ca un eec total . n vi zi unea nomi nal i smul ui exi stena matematic
este redus l a l i mbaj, l a confgurai i fni te de semne real i zabi l e spaio
temporal i, n conseci n, se neag exi stena unor obi ecte abstracte
non-spai a-temporal e.
Ci titorul care se fmi l i ari zeaz cu l iteratura probl emei n di scui e
poate f derutat n pl anul termi nol ogi ei : pe de o parte, avem realism,
225
conceptualism, nominalism, pe de al t parte logicism, formalism,
intuiionism, i ar sufci ent de fecvent ntl ni m i termeni i platonism,
constructivism. Se consi der c pri mul tri pl et aparine fl osofei generale,
n timp ce al doi l ea este semni fcati v pentru fi losofa matematrici i . Prima
facie, aa pare s fie i , mai mult, suntem tentai s- i urmm pe acei
autori care consi der c l ogi ci smul , i ntui i oni smul i frmal i smul ar
reprezenta variantel e moderne (n fl osofa matematici i ) corespunztoare,
n aceast ordi ne, real i smul ui , conceptual i smul ui i nomi nal i smul ui ,
concepi i cu ndel ugat tradi i e n flosofa general . Numai c la o
scrutare atent acestea di n urm sunt di reci i de gndi re construite
pri ori tar n l egtur cu probl ema existenei universaliil01 n timp ce
l ogi ci smul , frmal i smul , intui i oni smul, n cal itatea lor de mariprograme
fundaioniste, conin dou aspecte i mportante: i) asum o baz fl osofc
despre natura matematicii, n mod eseni al fi nd centrate pe problema
existenei matematice i , n aceast pri vi n, ne apar ca specializri ,
moduri speci fce n cmpul fl osofei matemati ci i al e celor trei concepi i :
real i smul , nomi nal i smul i conceptual i smul ; i i ) al doi l ea aspect se refr
la statutul de programe metateoretice ce l au l ogi ci smul , frmal i smul i
i ntui i oni smul , pri n care el e exced substanaflosofc acoperit" de
real i sm, nomi nal i sm, conceptual i sm. (Pentru detal i i vezi i M. urlea
[ 1 ]). Dar di fcul ti n al i ni ere" apar din s ituai a c uneori substana
compl ex" a unui a dintre mari l e programe fndai oni ste nu poate f
expl i cat (acoperit) pri n apel l a vari anta cl as i c corespunztoare di n
fl osofa general. De exempl u, formalismul se revendi c di n nomi
nal i sm, dar presupune i concepi i kanti ene (a exi sta = a f on paper",
i nt ui i a fi i nd l uat drept percep i e n sti l kanti an) i asump i i
i nstrumental i ste, dup cum di fcul ti emerg di n anal iza l ogi ci smul ui
( fagean) unde obiectivul nereal" transcende vi zi uni i pl atoni ste, i ar o
expl i caie relevant a intuii oni smul ui angajeaz n discui e i aspecte
speci fce kanti ani smul ui i constructi vi smul ui , ul ti mul reveni t i el n
contemporaneitate, n urma col apsul ui " ce l-a marcat ca teori e psi ho
l ogi c a constructel or; revi ne ca ceea ce se numete conceptualism
constructiv, vezi cel profsat de Hao Wang. n fne, mai deruteaz fptul
226
c n l i teratura de fi l osofa ti inei n general , a matemati ci i n speci al ,
sunt tot mai mul t prezente studi i i cr i consacrate real i smu l ui ,
pl atoni smul ui , nomi nal i smul ui , conceptual i smul ui construct i v (vezi :
N. Goodman [ I ] ), Qui ne [2] [ 5] [6] [7] , Henki n [2] , Bernays P. [2], On
Platonism, n Benacerraf P. and Putnam H. (eds) [2] , R. M. Marti n [ l ] ,
H. Putnam [ I ] , S. Barker [ I ] , Hao Wang [ l ] etc. ), unde de aceast dat
acestea nu mai sunt tratate nici mcar numai ca o reconstrucie raional
actual" a lor, ci ca perspective actual e, chi ar recente, de abordare, s
spunem, a l i mbaj ul ui matemat i c (L. Henki n [ 2] ), a reconstruci ei
matemati ci i i l ogi ci i i al tel e (vezi aproape toi autori i menionai , l a
care adugm numel e l ui Stegmti l l er). Ri scm afrmai a c s-a produs
chi ar o tranzi ie" de la aspectul fndaionistJfl osofc) l a cel fndai onal
(t ehn i co- metateoret i c) i chi ar dac n unel e cazuri am bi i i l e"
reconstrucioniste s-au dovedi t vane, este de remarcat c autori i l utri
au l ucrat n aceast di rec i e i este sufi ci ent s rosti m numel e l ui
B. Russel l , Qui ne, Goodman, Henki n i al i i . n ceea ce privete termeni i
platonism i constructi vi sm, cum se tie, sunt de sorgi nte fl osofc,
pri mul , evi dent, desemnnd concepia fl osofl ui grec Pl aton; cel de-al
doi l ea, dei are rdci ni n flosofe, nsemnnd o concepie care susine
caracaterul acti v i creator al gndi ri i abstracte n cunoatere (vezi
kanti ani smul , neokantiani smul i hegel iani smul ), i -a gsit autentica
legi ti mitate pe terenul matemati ci i , aa cum deja am schiat; despre acesta
di n urm observm c ci rcul i ca , ubstantiv ": constructivismul
matemati c dar, mai recent, n scopul revi gorri i " conceptual i smul ui
epui zat", i ca adectiv, ca n sintagma l ui Hao Wang; conceptual i sm
constructiv; constructi vi smul n vari anta fni ti st hi l berti an i cea
i ntuii oni st sacri fc drasti c pri al e ontol ogi ei matemati ci i . Presti gi ul
di reci ei constructive, cu audi en n anumite medi i , a fst susinut i de
adepi i nomi nal i smul ui i ai frmal i smul ui , dup cum s-a ncercat s se
frmul eze considerai i nomi nal iste pornind de la real i zri constructi ve
i frmal iste. Ar rmne n di scuie numai relai a di ntre , , real i sm i
pl atonism". Cercetarea bi bl iografei acestei probleme induce", cel pui n,
i mpresi a c extensi unea termenul ui real ism este mai vast, el fi nd fl osi t
227
la nivel ul ntregi i ti i ne teoretice, n ti mp ce numai ,.realismul matematic"
ar fi sufi ci ent s acopere ceea ce refr platonismul; cu alte cuvi nte,
pl atoni smul (ontol ogi c, extensi onal , i ntensi onal ) ar prea s aibe uzan
i l egi t i mi tate n sfra matemati ci i , mai corect n cea a fi l osofi ei
matemati ci i . Poate c lucruri l e vor deveni mai cl are pe parcursul derulri i
cons i derai i l or noastre i al acestor remarci prel i mi nare care urmeaz
i medi at. Tenenul real i sm" este fl osit n fi l osofia ti i nei n mai multe
accepi i . Dup P. Maddy [ 1 ] am putea si stemati za trei sensuri : i ) pri mul ,
i am zi ce cel mai ori gi nar (ori gi nal ! ), este cel prezent n di scui i l e
refri toare l a probl ema uni versal el or, unde are ca parteneri -ri val i
nomi nal i smul i conceptual i smul ; i i) al doi l ea sens, pri vete angaj area
n di scui i asupra exi stenei l umi i exterioare i n care rol ul real i smul ui
contrasteaz cu cel al fenomenal i smul ui , i mai general , cu cel al
i deal i smul ui ; i i i ) cel de- al trei l ea sens al termenul ui este rel evant n
di scui i i confuntri ce pri vesc statutul entit i l or teoreti ce avnd ca
oponeni operai onal i smul i i nstrumental i smul . n cel e ce urmeaz ne
i ntereseaz pri mul i al trei l ea sens al termenul ui , dar numai i ndi rect,
sau dac vom ne l ege pri n real i s m, realism matematic, a cr ui
semni fcaie fi nd dup opi ni a noastr, acoperit, echival at de pl atoni sm,
i deci i ntersubstitui bi l i tatea acestor doi termeni fi nd permi s noi vom
ntrebui na preponderent tenenul platonism (matematic) .
5. 2. PROBLEMA UNIVERSALILOR;
PLATONISM I NOMINALISM, ABORDARE
LOGICO-LINGVISTIC
I EPISTEMOLOGIC
Probl ema uni versal i i l or are o l ung tradi i e strbtut de di spute
i controverse ce au angajat cel e mai di verse i contradi ctori i pozi i i
fi l osofi ce: pl atoni sm, nomi nal i sm, conceptual i sm, ca i vari antel e
specifi ce al e acestora: l ogi ci sm, fral i sm, constructi vi sm, acesta di n
urm i ncl usi v n frma sa tare", ca i ntui i oni sm. Aceast probl em se
despi c" ntr-o gam" de suprobl eme: exist uni versal i i ? universal i i l e
228
exi st numai n mi ntea noastr? sau, n real i tate? i dac au o existen
i ndependent, uni versal i i l e exi st n i pri n l ucruri parti cul are, sau au o
exi sten separat? W. Stegmti l l er [ 1 , p. 1 ] observ c nici azi nu avem
un rspuns sati sfctor dac dincol o de l ucruri l e l umi i real e trebui e s
acceptm obi ecte de un fl n ntregi me di frite, de exempl u frme i deal e,
posi bi l iti nereal i zate i valori ". Adversari i cei mai i ntransi geni ai
acestei probl eme sunt empi ri ti i , care o cal i fc drept pseudo- probl em,
cons i dernd c nu exi st ni ci un temei pentru admi terea, acceptarea
acestor entiti - universal i i - n general asi mi l ate sortul ui de ent iti -
i dei l e pl atonici ene, decl arate, pri n i nvocarea brici ul ui l ui Occam", ca
superfue. Dar procedeul renunri i la acest gen de obi ecte contrasteaz
fagrant cu l egi ti mitatea unor frme ideal e, obi ecte, structuri ca mul i mi ,
cl ase, rel ai i , numere, fnci i di n cmpul matemat ici i . Dac nomi nal i ti i
cons ider confz fl osofe concepia care presupune aceast referi n
la obi ecte metafi zi ce, di sci pol i i l ui Pl aton i au n seri os probl ema
obi ectel or abstracte, susi nnd o conexi une di rect ntre probl ema
universal i i l or i cea a expresi i lor gelerale. Aceste expresi i sunt n l i mbajul
obi nui t substanti ve, verbe, adj ecti ve care i ntervi n n frmul area
enunuri l or despre propri eti i rel ai i i care ntr-un l i mbaj frmal i zat
sunt desemnate pri n simbol uri ca de exempl u P" sau Q". Aceasta trimite
n mod fi resc la ntrebarea, n l egtur cu aceste cuvi nte anteri or
menionate, pentru ce fl de obi ecte stau, ce denumesc el e? Rspunsul
n legtur cu un asemenea predi cat, ca, de exempl u, verde" nu vi zeaz
n mod evi dent obi ecte concrete, ci obi ecte abstracte.
n t i mp ce pl atoni smul opereaz cu o asemenea presupozi i e
i mpl i cit, care acrediteaz i deea c predi catel e sunt nume a ceva,
nomi nal i smul , respi ngnd aceast tez, atri bui e predi catelor generale
numai un rol , ,sincategorematic ", construi ndu- l e ca propozi i i deschi se,
ca de exempl u x este verde" unde x" este o v.ari abi l l i ber. Concepi a
nomi nal i st susine c propozi i i l e deschi se nu au semn i fcaie de si ne
stttoare, dar achizi i oneaz semni fcaii , atunci cnd asupra l or se
efctueaz unel e operai i ca: nl ocui rea variabi l ei cu numel e unui obiect
concret i ndivi dual (n exempl ul anterior punnd i arb" n locul lui x"
229
obi nem I arba este verde") ; l egarea vari abi l e l or pri n apl i carea
cuanti fi catori l or: (x) (cuantifi cator universal - citii pentru ori ce x") i
(E(x) (cuanti fi cator existeni al care se citete exi st un x"); apl i cnd
aceste procedee obinem propozii i universal e, respectiv exi steni al e:
(x) (x este un om): ori ce l ucru e un om" i care este, evident, o propoziie
general fl s; (Ex) (x este un om): exist un x i x este om, sau si mpl u,
exi st oameni i care este o propoziie adevrat. Nominal iti i consi der
propozi i i l e compl ete ca avnd semni fi cai e, n t i mp ce conced c
predi catel e sunt numai fragmente de propozii i , ce au o semni fi cai e
numai n mod indi rect, derivat. Vi ci ul " pl atoni smul ui rezid, conform
pozii ei nomi nal i ste, n fptul c atri bui e predi catelor o semni fi caie
propri e, i ndi ferent de ipostaza l or ca fragmente propozi i onal e, cu alte
cuvi nte l e cons i der ca nume a ceva, n spe nume al e entiti l or
abstracte. Nomi nal i smul refuz s i dentifi ce a avea semnifi caie cu a fi
nume a ceva, adi c asi mi l area semni fcai ei complete cu funcia denumi ri i
n contexte spaio-temporal e 4-di mensi onal e. Presupozi i a ontol ogic
nominal ist este mai restri ctiv, n sensul c dac variabi l a l egat (aflat,
deci, n sfera de aciune a unuia dintre cuantori - universal sau existeni al )
este considerat aici aspectul l ingvistic rel evant, atunci sunt admi se numai
variabi l e care parcurg excl usi v obi ecte concrete. De ndat ce variabi l el e
legate parcurg obiecte abstracte de genul cl ase, proprieti, relai i, numere,
propoziii etc. , depi m frontiera nomi nal ismul ui i ne aflm, cum spune
Stegmti l l er [ 1 , p. 3 ] , pe teritori ul pl atoni smul ui . Acest punct de vedere
cu pri vi re la rel evana ontol ogic a variabi lel or l egate al e unui si stem
(formal ) l-a enunat expl i ci t W. V. Qui ne prin cel ebrul su slogan: a.fi
nseamn a fi valoare a unei variabile legate ". Di n punct de vedere
ontol ogi c variabi l el e ca enti ti abstracte ( l ogi ce) au semni fi caie, iar nu
forma lor l i ngvi stic. Identifi cm o conexiune di rect ntre ontol ogi e i
adevr, cci un obiect este presupus s exi ste, dac este i ncl us printre
valori l e variabi l el or i aseri uni l e fcute devi n adevrate.
Di n punct de vedere l ogi co- l i ngvi stic, o comparai e a si stemel or
nomi nal i ste i pl atoni ste nvedereaz, dup Stegmti l l er [ 1 , p. 5 ] ,
urmtoarel e dou aspecte: a) nomi nal i smul n u este u n si stem compl et
230
di fri t de pl atoni sm, ci doar mai srac; pl atoni smul (mai exact si stemul
acestuia) apare ca o expansi une" a cel ui nomi nal i st, deoarece admite i
vari abi l e pentru obi ectel e abstracte; b) nu exi st si tuaia i ntermedi ar,
al ternati va pl atoni sm-nomi nal i sm, frmnd o di sj uncie, un si stem (for
mal ) putnd f pl atoni st sau nomi nal ist. Caracteri zarea, oarecum vag, a
conceptul ui de individual concret, rel evant pentru nomi nal i sm, i ntro
duce un gen de i ndetermi nare referitor l a nomi nal i sm, rmnnd cert
fptul c numai i ndi vi dual i i qcrei sunt admi i ca valori ale variabi lelor.
Logic i l i ngvi sti c structura unui si stem formal n vi zi unea
pl atoni st difer de cea a unui si stem formal nomi nal i st numai pri n
admi terea vari abi l el or, cu cuanti fcatori i asoci ai , care parcurg un
domeni u de obi ecte abstracte ; aceasta ar fi d i frena speci fi c,
expansi unea" atri buit unui si stem fral pl atni st relativ la unul nomi
nal i st, deoarece n rest ureaz partea comun" forat din urmtoarel e
grupe de i ngredi eni : I ) vari abi l el e i ndi vi dual e: x" i y"; 2) expresi i
predi cat general e: P". Q". monare sau pol i adi ce i care fc posi bi l
construci a enunuri l or despre proprieti i rel ai i ; remarc: I ) i 2)
s i ngul ari zeaz nomi nal i smul pri n i nvocarea exi genei ca domeni i l e
variabi l el or, respecti v cel e i ndi vi dual e i pentru predi cate s fe l i mitate
excl usi v l a i ndi vi dual i concrei, propri eti i rel ai i concrete; 3) toate
tipuri l e de constante logice cunoscute (nu", i ", sau", dac o atunci"
etc. ) care permit frmul area de compu i propozi ional i veri fcaional i ;
4) cuanti fcatori i (x) i (Ex) cu aj utorl crora construim enunuri generale
i exi steni al e despre i ndi vi dual i i domeni ul ui (n l i mbaj ul nomi nal i st)
despre entiti l e domeni ul ui de di scurs, care pot f obi ecte abstracte,
precum cl ase, numere, propri eti, fnci i etc. , n l i mbajul platoni smul ui .
n l ocul
exempl ul ui geometric, unnd pe Stegmil ler [ 1 , p. 3 7, 3 8], l um dou
predi cate P", Q" avnd aceeai extensi une, unde P este predi catul
rou", i ar Q este predi catul tare" i fcem i poteza c l ucruri l e roi i
sunt tari i , via i nterpretarea nominal ist a celor dou propri eti rou ca
cel mai mare l ucru ce const n toi i ndidual i i ro i i , i ar tare ca obi ectul
spaio-temporal constnd n toate l ucruri l e tari, vom obine o identiicare;
dar, i confrm platonismului extensional, n vi rtutea i potezei - cl asa
l ucruri l or roi i este i denti c cu cl asa l ucruri l or tari , avem aceea i
i denti fi care. S remarcm c, n exempl ul geometri c dat de Qui ne,
i nterpretarea nomi nali st duce l a o identifi care, fpt contra-disti nct de
pl atonismul exentional care nu obinea acest l ucru. (Se ntmpl ca dou
domeni i concrete s coinci d, dar cl asa tri unghi uri lor i cl asa ptratelor,
d i n care s unt formate, nu sunt i dent i ce) . Acest even i ment a l
nomi nal ismul ui s e expl ic astfl : unul i acel ai ntreg poate f corel at
cu clase neidentice, n timp ce ntregul nu poate fi identificat cu agregate
concrete care nu sunt i dentice unul cu al tul . (Cf. Stegmil l er [ 1 , p. 3 8] ).
242
I . xempl e: peretel e (zi dul ) este al ctuit di n crmi zi , pe de o parte, i di n
mol ecule, pe de alt parte, fpt responsabi l de eecul definiiei nominaliste
a strmoul ui (ancestor) pentru o rel aie arbitrar di adic. Apl i cnd
definiensul nominalist, anteri or expus, al conceptul ui ancestral la cazul
oricrei rel ai i R obi nem: ori ce i ndi vi dual concret z care conine y ca
o parte i care, de asemenea, conine ca pri to i acei i ndi vi dual i care
stau n rel aia R cu pri l e lui z, are, de asemenea, x ca o parte", procedur
care este i nefi ci ent n cazuri cnd anumii i ndi vi dual i , care sati sfc
condi i i l e predi catul ui R, deja au fst compl et acoperi i de cei l al i
i ndivi dual i .
Pri n frt i fi carea nomi nal i s mul ui se urmrete i nterpretarea
nominal ist a frmul ri lor platoniste, un procedeu fi ind cel al conceptul ui
exti ns de lucru, dar nu se obi ne totui un su
c
ces deplin n real i zarea
programul ui nomi nal ist pri vi nd enunuri ti i ni fi ce i extrati i ni fi ce.
Atitudi nea nomi nal i st n fa contextel or n care val ori l e variabi l el or
legate sunt entiti abstracte este fie cea de a capitul a n fa platonismul ui ,
fi e de a I e decl ara ca l i psite de semni fcaie, l ucru care se ntmpl cnd
nomi nal i ti i abandoneaz cons i dera i i l e pragmat i ce n favoarea
respectri i unui principiu". Fisura nomi nal i smul ui rezid n ceea ce
privete distincia n (de) coninut, n vi rtutea creia putem di stinge
l ucruri le, unul de al tul . ntruct dou obi ecte di ferite nu posed acel ai
coninut, este i mposi bi l s di sti ngem o cl as de obiecte concrete - cl asa
satel or unei ri de obi ectul n cauz, aici ara, i nci de orice alt cl as
care acoper acelai ntreg, de exempl u cl asa tuturor hectarelor de pmnt
al unei ri . Nu trebui e, cum s-a vzut, confundate conceptel e de cl as i
ntreg, desi gur, di scuia avnd sens dac este acceptat conceptul de cl as,
l ucru respi ns de nomi nal iti pe consi derentul c nu se poate stabi l i o
di sti ncie ntre o cl as i un agregat. Maniera nominal ist ar f un fl de
argumentare a pri ori a incorectitudi ni i pl atoni smul ui .
ntre obieci i l e la adresa nomi nal i smul ui se men ioneaz situaia,
fecvent, c n ti i n i n viaa de toate zi lel e suntem nevoii s apelm
1 aformulri platoniste, care rezi st" traduceri i ntr-un l i mbaj conform
reetei nominal iste; sacrifi ci ul este prea mare, o serie de di sc i pl ine fi ind
243
excl use, ntre acestea fi i nd i una farte i mportant - teori e mul i mi l or.
Ant iteza nomi nal i sm-platoni sm, n cazul demonstraiei n matemati c,
ar putea fi vzut n termeni i urmtori , conchi de Stegmtl l er: di ferena
rezi d n fptul c n cazul nomi nal i smul ui reducem presupoziiile
ontologice, i ar n cazul platoni smul ui slbim metodele de demonstraie.
Nel son Goodman [2] [ 3] afi rm c exi gena pe care trebui e s-o
sat i s fac un s i s tem no mi nal i st este conformarea l a pr i nc i pi ul
nomi nal i smul ui , care presupune o relaie generatoare i noi unea de
atom rel ativ l a aceast rel aie, descris astfel : x este un atom dac i
numai dac ni mi c nu st n relaia de generare cu x
"
; uneori relaia de
generare comport o anume compl exi tate n cazul unor si steme, astfel
fie Gxy" care afrm c x este un atom al si stemul ui rel ati v la relaia
generatoare G i x poart G la y.
Aadar, un si stem este nomi nal ist numai dac sati sfce pri nci pi ul
nomi nal i smul ui :
( 1 ) (
y
)(z)(x)(Axy = Axz) (
y
z)
Semni fi caia princi pi ul ui nomi nal i smul ui rezid n fptul c n
si stem nu exi st nici o di sti ncie ntre entiti fr disti ncie de coninut.
Dup R. M. Mart i n [ I ] , dei Goodman vorbete de pr i nc i pi ul
nomi nal i smul ui ca un criteri u dup care sunt di stinse si stemel e, nu este
sufi ci ent de cl ar ce nseamn c un si stem sati sfce" acest princi pi u.
Pri nci pi ul mai cere dou noi uni pri mare -adevr i demonstrabilitate,
n context mai cere s nu avem de-a fce cu propozi i i indecidabi l e,
adic adevrate dar nu demonstrabi l e, pri n urmare nsui pri nci pi ul s
fi e demonstrabi l . Pri nci pi ul apel eaz l a relaia generatoare ancestral,
care confrm Principiei Mathematica" este acceptabi l pe baze
nomi na l i s t e. Conexi unea d i nt re pr i nc i p i u l nomi nal i s mu l u i i
demonstrabi l i tate angajeaz unel e di fi cul ti referi toare l a statutul
si stemel or nomi nal i ste. ntr-adevr, dac noi unea de ancestral este
i ntern i ntri nsec ori crui si stem nomi nal i st, trebu i e ca pri nci pi ul
nomi nal i smul ui s fe demonstrabi l , atunci demonstraia l ui apel az la
resurse ce transcend cadrul nomi nal ist.
Formul a ( I ) poate f nl ocuit cu o schem de genul urmtor:
244
(2) (y)(z)((x)(Atom x (Gxy) = (Gxz)) (
y
z)
G st pentru sau rel ai a G sau (G/G) sau ((G/G)/G) etc. Formulel e
de aceast frm au semni fcaie n si stem, i ndi ferent dac si stemul este
sau nu acceptabi l nomi nal i sti c.
Se consider c si stemele vi ol eaz principiul nominalismului dac
cel puin una di n negai i l e frmul el or de frma (2) este demonstrabi l .
Dup cum se observ di scui a despre demonstrabi l itate constituie un
aspect esen ial n abordarea principiului nominalismului, mutnd, pl asnd
anal i za cri teri ul ui de di scernere a si stemel or nomi nal i ste de cel e
nenomi nal iste n cadrul intern al si stemul ui n cauz, fcndu-L expl i ci t,
dependent de axi omel e l ui . N. Goodman [3] ofer axi ome pentru ceea ce
astzi este numi t calculul individualilor" sau mereol ogi e. R. M. Marti n
[ 1] remarca fptul c N. Goodman nu spune ni mic despre axi ome asumate
n guvernarea l ui
E
". O frmul de fra negaiei schemei (2) angajeaz
i ngredi eni n demonstrai e care depesc pri nci pi i l e referi toare l a
ancestral ul propriu"
E
P0 al l ui
E
.
Principiul nominalismului cere, cu pri vi re la o rel ai e care con
duce l a o rel ai e generatoare, i un pri nci pi u de compunere. O condi i e
necesar, dar nu sufi ci ent pentru rel ai a de generare a si stemul ui este
c dac i numai dac x este un element non-atomar al si stemul ui va fi
un el ement
y
care st n acea rel ai e cu x". Deci :
( 3) (x) (
-
Atom x (Ey\PP
P
0
x)
genereaz un s i stem cu rel aia care genereaz i un alt pri nci pi u:
(4) (x)(
-
Atom
X . - X = /)
(Ey
)(
y
E x)
po
R. M. Marti n comenteaz [ I ] : (3) este val abi l pentru frmul area
Goodman a cal cul ul ui i ndi vi dual i l or, unde atomii sunt entiti care nu
au pr i , i ar ( 4) este semni fcati v pentru teori i al e mul i mi l or n care
atomi i sunt indi vi dual i sau elemente i desemneaz cl asa v id; PP i E
sunt rel a i i care pentru Goodman produc rel a i i l e care genereaz PP
P
0
i
E Goodman dei vorbete de PP i E ca rel ati i generatoare pe pagi na
po po po
'
1 3 2 (Goodman [2] ) d o s ingur rel ai e generatoare i ci nci el emente. G
reprezi nt o rel ai e generatoare a unui si stem ca fi i nd rel ai a care se
consti tui e ntre dou el emente x i y
al e si stemul ui dac i numai dac x
245
i y sunt conectai pri ntr- un i r de perechi astfl nct primul el ement al
fecrei perechi este sau o parte proprie sau un membru al cel ui de-al
doi l ea el ement. Aceast si ngur rel ai e care genereaz este notat
(PP L E\
0
ancestral ul sumei logice a rel ai ei parte proprie i relai ei de
membru (apartenen); rel ai i generatoare, ri guros vorbind, este numai
(PP l E) i (PP l E) ; dac una sau ceal al t nu apare n si stem ca
po
primitiv sau prin definiie, este prezummat relaia di adic nul /,
caz n care sau (PP l /) sau (/ l E) devine relatie generatoare.
po po
Concl uzia anal izei l ui R. M. Martin [ 1 ] este c, ori cum, enunuri l e l ui
Goodman despre rel ai i l e generatoare nu sunt scutite de ambi guitate. Se
mai poate fce o al t al egere, de pi l d (PP Ucr) s fe o sub-rel ai e a l ui
(PP L E) .
po
Pagini le 1 52, 1 56, 1 7 1 i al tel e din Goodman [ 3] coni n frmulri
mai expl i cite ale crezului nominal ist. Astfl citm: nominal ismul admi te
ce poate f fcut di n individual i fndamental i selectai i neag c toate
cl asel e pot f fcute di n ei " . . . nomi nal ismul pentru mi ne const n mod
speci fi c n refuzul de a recunoate clasele ( s. n. M. url ea), adi c
nominal ismul poate admite orice ca un individual (s. n. M. urlea); . . . Orice
poate fi construit ca o cl as, poate ntr-adevr s fe construit ca un indi
vidual (ca n frmul area de ordi nul nti a unei teori i a mul i mi l or) i nc
o cl as nu poate f construit - nu toate din el e, adic, - ca un individual . . .
Pe scurt, n timp ce nominal istul poate construi orice ca un individual el
refz a construi ori ce ca o cl as". Tonul mai tolerant sub supoziia
restrici i lor severe este prezent doar n Goodman [3, p. 1 7 l ]: Cineva
poate flosi semnul E i s vorbeasc despre cl ase i nc s ai be un sistem
nomi nal ist dac restricii severe asupra cl aselor au fst observate", cnd
se are n vedere, se poate presupune, ideea c exist di ferite moduri de
frmul are a unei teorii a claselor, care nu ncalc princi pi ul nominal ist.
R. M. Martin [ 1 ] se ntreab dac o teorie interesant matematic ar putea
f frmulat, respectnd canoanel e i mpuse de pri nci pi ul nominal i smul ui ,
o asemenea teorie putnd f aritmetica numerelor ntregi, situat axiom
atic n termeni i postulatel or lui Peano, la care se adaug ecuaii adecvate
pentru adunare (adiie) i nmul ire (multi pl icati v).
246
Cons i derm (urmri nd expunerea l ui R. M. Mari n [ 1 ] ), si stemul
generat de (PP I :), puteri l e l ui E irel evante, deoarece si stemul coni ne
numai cl ase de i ndi vi dual i i nu clase i perechi ordonate. Atomi i "
si stemul ui sunt ntregi poziti vi , iar PP semni fc <" (rel ai a a f mai
mi c"). Se i ntroduc urmtoarel e defni i i i pri nci pi i :
01 I nt x" pentru (E
y
)(x < y
v
y
< x)"
02 x
"
Int
y
" prescurteaz (Int x. I nt
y
-
x < y
- y
< x)"
Pr 1 I -
(Ex) (l
nt x.
- (Ey)y < x. (z)(
-
(E
y
)
y
< z z
In1
x))
02 x Suc y" abreviaz (y < x. (z)(y <
z
-
z < x))"
Pr2
I -
(x)(
l
nt x (Ey)
y
Suc x)
Pr3 I - (x)(
y
)(z) ((x Suc y. z Suc y) x
I
n1y
)
Pr
4 I- -
(E
y
)(x) (
-
(Ez)z
< x x Suc y)
Pr5
I -
(w)((x) ))l
nt x.
-
(E
y
)y < x) x
w)
(x)(
y
)(z)((x E
w
y
Suc x) y E
w)) (x) (
l
nt x
x
E w))
03 Cl s" pentru ((
-
Int x.
-
(E
y
)(
y E
x) v (E
y
) (y E
z)"
Pr6
I
-
-
(Ex)(Cl s x. Int x)
Pr7
I -
(x)( cl s x v Int x)
Pr
8
I
-
(x)(
y
)(x
E
y (l
nt x. cl s y)).
Pr9
I
- (Ex)(y)(
y E
x)
-
- y - -), unde
- - y - -" este ori ce
frma propoziional a si stemul ui care nu conine apari i i
al e l ui
E
.
Pr
1 0 I -
(x)((I nt x
-
(
-
(Ey)(y E
x (z)(- (Ey)y <
z z
lnt(x))
(E
y
)y <
x)
Pr
1
1
I-
(x) ((cl s x
- -
(Ey)y E
x) ( E
y
)
y E
x).
Pr1
2 I -
(x) (
y
) ((
l
nt x
Int
y
(z)(z
< x = z < y)) x
"
Int
y
0
4
x
cl s
y
" abreviaz (cl s x cl s y)(z)z
E
x = z
E y
))"
Pr1 sti pul eaz exi stena i uni ci tatea ntregul ui 1
Pr2 semni fc ori ce ntreg are un succesor
Pr3 succesorul este uni c
Pr4 I are proprietatea de a nu succede
Pr5 frmul eaz pri nci pi ul i nduci ei matemati ce
Aceste 5 pri nci pi i constitui e o adaptare a postu latel or l ui Peano.
Pr6 enun c ni ci o cl as nu este ntreg
247
Pr7 afi rm c orice lucru este sau o cl as (de ntregi ) sau un ntreg.
Aceste pri nci pi i enun c cl asel e i ntregii sunt mutual i excl us ivi
Pr8 enun c ntregi i poart E " la cl ase i numai cl asel e sunt
generate de ntregi .
Pr9 sti pul eaz existena cl asei , princi pi ul frmul eaz restricia c
este admi s numai exi stena clasel or de ntregi .
Pr1 0, Pr, 1 : ori ce ntreg di ferit de 1 are un ntreg mai mi c; ori ce
cl as, alta dect cl asa vi d (nul), are un membru.
Pr1 2 frmul eaz pri nci pi ul nominal i smul ui pentru rel aia <", iar
pri nci pi ul pentru
E
" deriv din D
4
Lund si mbol uri l e +", x" ca fctori primitivi pentru adunarea i
nmul i rea ntregi lor putem frmula axiome corespunztoare, rezul tatul
fi nd elaborarea unui sistem puteri c pentru aritmetic i sufcient pentru
teoria numerelor raionale i chiar pentru o teorie constructiv a numerelor
reale i complexe. i, dei i nfnit, n vi rtutea l ui P2, P3, P9 acest si stem se
dovedete acceptabi l nomi nal i sti c, Goodman [3 , p. i 66] , nerespi n
gndu-1 , adic unele si steme cu ontologi i i nfinite sunt nominal iste", .
condi i a este s satisfc criteri ul fndamental al nominal i smul ui .
Se pot construi sisteme nrudite aritmeti ci i cu un si ngur atom,
numrul l , care satisfc cerinel e Goodman, o alt posi bi l itate const n
apel ul la cl ase i relai i diadice di ntre i ndi vi dual i admi se ca valori pentru
variabi l e, dar nu rel ai i de ordin nalt. Ancestral i i rel ai i l or di adi ce dintre
ntregi sunt defni bi l i n sistem i dac relaii de ordin mai nalt sunt admi se,
atunci +" i x" devin defnibi le; sistemul va presupune o logic de ordi nul
doi cu vari abi l e-rel ai i cuanti fi cate care adi i oneaz i axi oneme
extral ogi ce, o baz puteric chiar i pentru o teorie a numerelor real e i
compl exe. O di recie interesant vine di n considerarea infinitezimalelor
admi se ca atomi ai sistemul ui , o posi bi l itate de dezvol tare a si stemel or n
acord cu analiza non-standard; numrul atomi lor devine nenumrabi l , iar
princi pi i adecvate ale nominal i smul ui i compuneri i devin demonstrabi l e;
n fne exist i posibi l itatea ofrit de o teorie de ordi nul al trei lea;
(x) (y)
I
(z) (z(E
I
E) x = z (E
I
E)y) x
y)
vi znd o l i mitare sever a fndamentel or de teori a mulimi lor.
248
Doctrina semantic a numelor comune" i cea a naturilor comune",
care sunt nrudite, perit un nominal ism autentic, care cere o frul are a
calcul ul ui individual i lor i o frulare adecvat a teoriei mulimilor Zerelo
Skol em-Fraenkel; se adaug la principi i l e logico-matematice i unele pri n
cipi i empi rice sau postulate de semnifcaie, acestea di n urm necesare
guverrii predicatelor non-logice". Desigur, este necesar o discuie despre
semantica teoriei (discutarea relai il or semantice
-
designarea i denotarea,
formul area unor regul i de designare i denotare ca princi pi i semantice).
Comentariul semantic privete relaia ,Jnst. " ca primitiv, dar care nu con
duce l a o relaie care genereaz, ea fci l itnd discursul matematic despre
individual i ; fi nd o sub-relaie a relai ei pare-ntreg, deci nu prezint interes
ontologic, domeni ul lui , Jnst
.
" fi nd inclus n domeniul l ui P, prin urare
nu introduce individual i noi. Care este statutul acestui primitiv? Este o relaie
logic sau matematic? Dup opinia l ui R. M. Martin relaia ,Jnst. " (de la
instance = exempl u, instaniere) este una matematic, iar relaia Inst. E
q
, a
echivalenei instaniale nu este una de identitate, ci o relaie teoretic special
care conecteaz entiti n anumite moduri nuntrul teoriei instanierii".
Concepia n cauz este una finitist, n sensul urmtor: cardinal itatea
entiti l or ntregii teori i este cardinal itatea individual i lor admi i, enunat
n tenneni i identitilor mereologice i nu ai egalitii instaniale. Dar n
tereni i egalitii i nstaniale este avansat o procedur a colecii l or transf
nite care includ o parte sufcient de vast a teoriei cardinali lor i ordinal i l or
transfnii . Concepia prezentat refz clasele ca valori ale variabi lelor, deci
clasele nu sunt necesare n matematic, eventual le admite ca individual i n
contexte adecvate ce conin , Jnst ". Sunt demonstrate principii refritoare la
numere, spai i topologice etc. Importante sunt legile, i nu entitile, atunci
cnd discuia este purtat n plan ti i nifc, dup cum din punct de vedere
flosofe natura entiti lor prezint interes fndamental . De aici irelevana
i ndividual i lor al ei ca fndamental i , R, M. Martin afi r n context:
individual i i pot f luai drept obiecte fzice (n acord cu reismul), sau ca
obiecte fzice (n spi ritulfizicialismului), sau ca eveni mente (cum sugereaz
o flosofe a procesului), n fne drept quali, cnd mprti mfenomenalismul
lui Goodman. Este evident atunci c axiomele adiionale sa u post ul atel e de
249
semni fcaie sunt intenionate s guvereze individual i i parti cul ari alei i
predicatele adiionale destinate s-i caracterizeze. Se nelege c nominal ismul
i mpl ic di fculti semni fcative n fndamentel e matemati ci i . Calculul
individualilor reprezint corelatul nominalist' al calculului claelor spe
ci fc platonismul ui . O problem apare n legtur cu postulatele adiionale
i predicatele primitive adii onal e. Dar, se ntreab Stegmil ler [ 1 ], care este
criteriul ce detennin al egerea postulatelor i predicatelor adiionale? Desigur,
nomi nal ismul nu va accepta un si stem care rezult din adugarea la calcul ul
indivizilor el aborat de N. Goodman a teoriei mulimilor n varianta Zer mel o.
Dincolo de domeniul de individual i concrei conteaz, deci, (dincol o de
variabi l el e i ndividuale), ce alte ti puri de variabi le de ordi n mai nalt sunt
admi se; n cazul si stemelor Zenelo-von Neumann sunt admi se variabi l e
de un si ngur tip; este importnt s cercetm dac variabi l el e si stemul ui
accept cl ase ca valori, ceea ce revine la di feren di ntre concret-abstract.
Distincia dintre nominalism-platonism este una mai puin ,,sharp" (frm)
dect cea di ntre cele dou pozi i i pl atoni ste, frmul abi l e cu aj utorul
considerai i l or n teneni cantitativi ; numrabil-nenumrabil. Se poate
atribui un corelat cantitativ conceptul ui nominal ist dejinitudine n aceast
privin? Pozitiv, dac infnitul nu este expri mabi l n nominal ism, ceea ce
nu este cazul , ntruct dac a b" reprezint enunul relaional a este o
parte autentic a l ui b", atunci avem n interiorul nomi nal ismul ui o aiom
a infinitului de fna: (x) (Ey) (y x) i care exprim fptul c orice indi
vidual are o parte autentic. i n ipostaza c domeniul individualilor
(domeniul de discurs) este fnnat dintr-un singur obiect, ntruct acest obiect
are o parte difrit de el nsui, autentic, care la rndul ei posed o parte
autentic, . a.m. d. , ne-am angajat ntr-un demers ad infnitum n virtutea
cruia obinem un domeni u de lucruri di ferite infnit de mul te.
Este tiut aversi unea nomi nal i ti l or f de obiecte abstracte,
moti vat pri n antipatia " l or f de domenii infinite, ei respi ng
cuant i fi carea uni versal i exi sten i al peste numere nat ural e,
argumentnd c domeni ul acestor entiti este i nfnit. Qui ne a artat c
teoria cl aselor este traductibil" ntr-un l imbaj nomi nal i st avnd l a baz
un domeni u fini t, semnul L, de asemenea, cuantifcarea restricionat
250
peste cl ase (x1 )(k") poate f el i mi nat di n context drept o prescurtare
l i ngvi sti c pentru toate cl asel e de ordi nul nti de la 1 la k". Dar, dac
admi tem domeni i i nfi nite tri vi al i zarea teori ei cl asel or n mani era
nomi nal i st nu se mai produce. Concl uzi a semni fcativ care se degaj
este urmtoarea: n spatele aversi uni i nomi nal i ste f de obi ecte abstracte
se af respingerea infinitului. n absena i nfnitul ui orice di scuie despre
cl ase este neproductiv, orice context pl atoni st putnd fi refrmul at nomi
nal i sti c ca pur i si mpl u fa<on de parler, pentru c esena relevant a
nominalismului rmne finitismul. Di frena di ntre nominalism i
platonism rezi d n di sti nci a di ntre finit i infnit. Di ferena di ntre
pl atoni sm i nomi nal i sm dac poate f fcut cl ar n l umi na di stinciei
di ntre abstract i concret, este evi dent, ns, n termeni i recunoateri i
sau respingerii unui univers infinit de l ucruri .
n acest
spi ri t i ntrm n sfera transcendental" unde i nvesti gm total iti
transcendental e, zona unde posibi l iti l e de construci i i descoperiri noi
sunt nel i mitate.
Stegmti l l er, n studi ul fl osit de noi n acest paragraf, observ
temeri tatea teoriei clasice nzestrat cu ierarhia transfiniilor:
25 8
proclamarea ideilor n sens kantian ca forme ideale n sens platonician,
un gen de absolutism" care este incompati bi l cu gndi rea constructiv,
o temeri tate pl ti t" cu apari i a antinomiilor; sol ui a este numai
nl ocuirea platonismului strict cu conceptualismul constructiv care prin
reprezentantul su marcant, Hao Wang, a fcut o conexiune profnd
ntre problema universalelor i domeniul fundamentelor logico
matematice, n alte cuvinte, adugm noi , conexiunea ntre flosofa
general i jilosojia matematicii.
5.5. LOGI CI SMUL I I NTUI I ONI SMUL
Frege i Russel l au aprofndat remarcabi l prograul euclidian, ei
vor scruta zonele mai adnci al e acestuia, pentru a obine o fundare
satisfctoare a matemati ci i . Demersul fndaionist l ogi ci st a fst inspirat
de cl i matul intel ectual -matematic di n a doua j umtate a secol ului al
XIX- l ea, cnd n matematic se producea un eveni ment cu semni fcai i
fundai onal e neobi nui te: ari tmeti zarea anal i zei i al gebri zarea
geometri ei , rezul tat al acti vi t i i unor matemat i ci eni ca Gauss,
Wei erstrass, Dedeki nd, Cantor i Kl ei n, care conti nuau opera l ui
Descartes. ntr-un asemenea context, devenea evi dent c/undarea
analizei i geometriei depi nde de fundarea aritmeticii. Programul
eucl i d i an al l ui Frege i Russe l l i ntea o aezare mai adnc a
fundamentel or, ei cutau pri nci pi i (termeni pri mi ti vi , axi ome) mai
fndamental e dect cel e stabi l ite de Peano; pri nci pi i lor aritmetice al e
l ui Peano l e sunt prefrate pri nci pi i l ogi ce, euclidianismul matematic, o
adevrat i stori e a detronrii s urselor intuitive ale cunoaterii
matematice", restabi lea n secol ul al XIX- l ea intuiia aritmetic care
fusese abandonat, odat cu descoperi rea numerel or i rai onal e, n
fvoarea i ntui i ei geometri ce; paradoxal , cl ari fcarea conceptul ui de
numere iraionale va tri mite n secol ul al XI X- l ea napoi la intuiia
aritmeti c, care devi ne domi nant, remarca Lakatos [ I ] , [2] .
Dar, aproape i mediat, vor intra n competi ie i alte tipuri de intuiie,
avnd caracter paradi gmatic i nalt relevant pentru mutai i le ce se produc
259
n modul de gndire matematic: intuiia set-teoretic ( i manent teori ei
cantoriene a mul i mi lor), intuiia logic (Russel l ), intuiia global "
hi l bertian i intuiia constructivist sau constructiv Brouwer).
n
vi zi unea l ogi ci t i l or, eucl i di ani smul ca program dogmatic" necesita
i ntui i a l ogi c, tri vi al i i nfi l ibi l pentru fndarea matemati ci i . Prea
un i mens ctig teoreti c i metodol ogi c s se poat arta c ntreaga
matematic poate f ntemei at pe intuiia logic, unica surs a certitudini i
ei , att n ceea ce privete axi omele, ct i n ceea ce privete transmi terea
adevrul ui . Dar, s-a obi ectat i medi at c autoevidena este un el ement
subi ectiv care mpieteaz" asupra ri gori i l ogice, i ar epurarea" intuiiei
logice de orice el ement strin de ea cerea manevre compl i cate, n sensul
unei ierarhi i de construci i quasi -si stemi ce, cci l ogica deveni nd un su
pra-sistem deductiv euclidian trivial, o logic supra-trivial este necesar
ca i nstana de l egi ti mare.
Oricum, Russel l rezuma programul n cuvi ntel e urmtoare: toat
matematica pur - aritmetica, anal i za i geoemtri a - este construit prin
combi nai i de idei primitive al e l ogi ci i i propozi i i l e ei sunt deduse di n
axiome general e ale l ogi ci i , astfl ca si l ogi smul i al te regul i de infren.
Aceste axiome vor f acum realmente tri vi al adevrate, strl ucind dincolo
de dubiu n l umi na natural a rai uni i pur l ogi ce, corectitudinea, fi nd
fxat ntr-o fundare etern, de ati ns . . .
S-a vzut, ns, c aa-numi ta l ogi co-tri vi al izare, i ntenionat prin
programul l ogi ci st, al matemati ci i , a degenerat n fpt, cum remarca
Lakatos, n unul din cele mai compl i cate l abirinturi conceptuale ale mi ni i
umane. ntr-adevr, ,,rincipia" s-a dezvl uit investi gai i l or fndaional e
ca si stem l ogi c sofsticat, coninnd axiome ca cea a reducerii, a infinitului
i a alegerii, precum i compl i cata teorie ramifcat a tipurilor. (
n
termi nol ogi a metamatematici i , teori a ti puri lor este considerat ca parte
a regul i l or de frmare a formulelor bine formate i nu a axi omel or.
Kemeny apra l ogicismul , consi dernd c matematica nu este ceva mai
mul t dect l ogica nalt dezvol tat (hi ghly devel oped l ogi c)). Russel l a
260
contientizat c pentru programul su eucl idi an tri vi al itatea teori ei
t i puri l or era vi tal , observa Putnam [2] , el spernd c apl i carea
principiului cercului vicios", n fpt l i psa de semni fcaie a enunuri lor
autoreferenial e, va conduce l a el imi narea i ncons istenei l ogici i nai ve.
Axi omel e respective aveau un caracter probl ematic i nu sati sfceau
cerina anal iticiti i , n sensul speci fc de a avea loc n toate cazuri l e
( l umi l e! ) posi bi le, i deci s nu ai be coninut fctual . n ceea ce pri vete
aioma reducerii, flosit n Principia", studi i le fndaionale ntreprinse
de F. P. Ramsey, artnd i nuti l itatea teori ei rami fcate a ti puri l or, au
nvederat fptul c axi oma nu este i ndi spensabi l n si stem. Se cunoate
si mpatia intel ectual a membri l or Cercului de la Vena pentru concepia
l ogi ci st, surs autenti c a empi ri smul ui l ogi c. Iat de ce aceti a,
ndeosebi Camap, au depus efrturi considerabi le pentru a arta caracterul
anal itic al cel orl alte dou axi ome: axi oma i nfni tul ui i axi oma al egeri i .
n acest sens, Camap mrturisete c el a fst ncl inat s admit caracterul
lor anal itic, cerin a consi derri i l or ca princi pi i al e matematici i . Dac
n ti mpul ederii sale l a Viena nu obinuse o claritate compl et i defnitiv
asupra caracterul ui anal i ti c al axi omel or respective, mai trziu a afi rmat
c axioma al egeri i nu este anal iti c, dac acceptm conceptul de cl as,
uti l izat n matemati ca cl asic, n contrast cu cel restri ctiv-constructivi st;
i ar axi oma i nfni tului poate f consi derat anal iti c, afrma Carnap, dac
vom l ua ca indi vi dual i nu l ucruri, ci pozii i .
Teza central a programului logicist este c matematica este logic.
Pentru a nel ege demersul fundai onal al l ogi ci smul ui real i zat n
Principia" sunt necesare cl ari fi cri al e aspectel or- ingredi ente al e
programul ui i care nu sunt numai de interes i storc, ti ut fi nd c se
ncearc reabi l itri, revi gorri al e l ui , prin operarea unor modi fi cri i
interpretri al e premi sel or. Di ntre ncercri l e recente, cea ntreprins de
H. Putnam [2] ni se pare cea mai convi ngtoare.
Aspectele fundaionale ale Principiei" au consti tuit obiectul
preocupril or l ui Russel l nc nai nte de a col abora cu Whitehead, ntre
i dei l e fndai onal e mai i mportante fi nd teoria tipurilor i axioma
reducerii, Russel l a nel es prin l ogic
teoria cuantiicrii i funcii
propoziionale.
26 1
Logica l ui Russel l presupune un univers multisortat cupri nznd:
col ecia tuturor i ndi vidual i lor (ni vel ul zero), col ecia tuturor fnci i l or
propoziional e care au i ndi vidual i i ca argumente (ni vel ul unu), colecia
tuturor fnci i l or propozi i onal e care i au ca argumente func i i l e
propoziionale de ni vel ul unu (ni vel ul doi ) etc.
Intenia l ui Russel l a fst s reduc teoria numerelor la teoria
mulimilor, i ar teoria mul i mi l or la logic, conceput de el ca fi nd n
mod esenial teoriafunciilor propoziionale. Putnam consi der procedura
l ui Russel l sofsticat i consider c unel e si mpl i fcri i reinterpretri
ale abordri i prezente n Principia" ne-ar arta c exi st di frene ntre
ceea ce Russel l a inteni onat i ceea ce s-a ntmpl at n fpt. n acest
sens, Putnam consi der c pot f operate dou si mpl i fcri n abordarea
russel l i an a l ogi ci i :
i ) fnci i le propoziionale pot f identifcate ca fi nd n fpt predi
cate, cci x n expresi a F(x) nu semni fc fncia propoziional F(x)
are val oarea adevrat pentru argumentul x", adic are o propozi i e
adevrat ca val oare pentru argumentul x; ci n expresi a F(x), si mbol ul
F trebui e gndit ca stnd pentru un predi cat arbi trar de un ni vel adecvat
i expresi a F(x) o vom interpreta x are propri etatea F";
i i ) vom asuma c dou predi cate sunt i denti ce dac au aceeai
extensi une (aioma extensionalitii). Aceast asumpie devi ne fl s n
vi rtutea i nterpretri i cl asice a predi catelor care le consi dera universal
l uate in intension".
Cel e dou si mpl i fcri , odat admi se, predicat nseamn acum pur
i si mpl u mulime, efctul lor condensat unitar fi nd: F(x) nseamn x
apari ne mul i mi i F". n general , fnci i l e propoziional e, rei nterpretate
n lumi na si mpl i fcri lor propuse, devi n: mulimi de i ndividual i , mulimi
de muli mi de indi vi dual i , mul i mi de mulimi de muli mi etc. Universul
de discurs al l ogi ci i russel l iene devi ne, n vi rtutea acestei reinterpretri,
sistemul tuturor mulimilor (de tip arbitrar fnit), iar logica este n fpt
teoria mulimilor, o concl uzie pe care Russel l nu numai c nu a voit s-o
admit, dar a respi ns-o expl icit.
Logica russellian, capartefundaional a matemati ci i , devine n
l umi na consi derai i l or expuse un subiect controversat. Putnam [2] se
262
ntreab dac nu era mai j usti fcat s exti ndem semni fcaia cuvntul ui
logic, nct s i ncl ud di rect teoria mul i mi lor i teori a numerelor, dect
s se manevreze compl icat n modul n care s-a fcut i anume, reducnd
teoria numerel or la teori a mul i mi l or, iar aceasta, la rndul ei, la l ogi ca
nel eas ca teoriafunciilor propoziionale.
S-a obiectat c frmulri l e l ui Russel l refr itoare la fnci i l e
propoziional e nu au fst sufci ent de cl are.
O fnci e propozi i onal este o fnci e al e crei valori ( nu
argumente! ) sunt propozii i . Deci , fnci i l e propozi i onal e pot f corel ate
bi univoc predi catel or n sensul de universals taken in intension. Dac
aceast defni i e opereaz fr di fcultate n unel e cazuri , de exempl u
consi derm predi catul rou", corespunztor acestui a exi st fnci a
propoziional x" este rou", adi c fncia care apl icat ori crui x are
ca val oare propozi i a x este rou", n al te cazuri apar di fcul ti
conceptual e. Putnam d exempl ul fnciei propozi i onal e x a scri s
Waverl ey". n acest caz, care este val oarea fnciei propoziional e x a
scri s Waverl ey", tiut fi nd c indi vi dual ul Walter Scott este autorul l ui
Waverl ey"? Se poate rspunde c val oarea fnci ei propoziional e n
chewsti une est e propozi i a: Wal ter Scott a scri s Waverl ey", sau
propoziia: Autorul l ui Waverl ey a scri s Waverl ey". Di fcultatea poate
f rezol vat admind numai pri ma si mpl i fcare a abordri i russel l iene a
l ogi ci i , dar nu pe cea de-a doua, conchide Putnam [2] , adic considernd
fncia propoziional i dentic cu predi catul corespunztor. Se poate
argumenta n fvoarea considerri i l ogici i ca teoria predicatelor luate
n intensiune ori de cte ori se poate aegumenta pentru admiterea l ogi ci i
ca teoria fnci i l or propoziional e.
Frege este consi derat ca fi nd pri mul l ogi ci an care a el aborat un
l imbaj frmal i l ogica frmal n sens modern, dar ideea construi ri i
unui l i mbaj speci al uni c matemati c i l ogi c i apari ne l ui Lei bni z.
Li mbajul l ui Frege a fst un calcul al semnelor, un si stem al gebric defnit
matematic, care se deosebea de l i mbajul natural i ntuitiv, n sensul c
gramatica este descris i defnit n termeni preci i, ori ce ambi guitate
fi nd el i minat.
263
Concepia l ui Frege asupra fndri i matematici i se bazeaz pe unele
asumpi i , l a care a contri bui t i evol ui a matemati ci i din secol ul al
XIX- i ea, avnd n vedere constituirea geometri i lor neeucl i di ene. Aceste
asumpi i se refr la natura matemati ci i i dintre acestea, mai i mportante
sunt: 1 ) matemati ca este o ti i n independent (nu exi st o real itate
fzi c care s serveasc ca o baz ulti m pentru matemati c) i 2) un ti p
de i ndependen a matemati ci i ar poseda matemati ca chi ar f de
cel el alte ti i ne, urmnd c 3) intuii a matematic vi zeaz direct structura
abstract a obi ectelor matematice; 4) adevruri l e matemati ci i ar f, n
conseci n, i ndependente de real itate i experien, stabi l ite n vi rtutea
mod u l u i n care sunt fl os i te cuv i nt el e, ad i c ana l i t i ce;
5) matematica este derivat dintr-o mul i me de princi pi i fndamentale,
pri nci pi i l ogi ce, adevruri anal itice, derivarea are l oc ntr-un l i mbaj fr
mal n care regul i l e logice de derivare (i nfren) sunt enunate expl icit.
Se introduce conceptul de demonstraie ca fi nd o secven de expresi i
si mbol i ce, n care fecare membru di n secven este sau un princi pi u
uni versal , sau urmeaz di n membri i anteri ori n secven n vi rtutea
regul i lor l ogice de i nfren: teorema este un adevr matemati c care
fgureaz ca linia ultim n demonstrai a frmal .
Concepia fl osofc deri vat di n abordarea fndaional a l ui Frege
este numit logicism i, n esen, susine teza c adevrurile matematice
sunt analitice, derivabi l e din logica pur.
Si stemul l ui Frege expri m frmal unel e adevruri al e teori ei
mul i mi lor. ns, si stemul nu este consi stent, Russel l reui nd s derive
n i nteriorul lui o contradicie, anumite princi pi i intui ti v natural e, ca
princi pi ul abstraci ei , au fst consi derate fl se.
Logicismul fndat de Frege i dezvol tat de Russel l i Whitehead a
avut ca obi ectiv major reducerea matematicii la logic. Teza central a
l ogi ci smul ui - matematica este o ramur a l ogi ci i - are dou aspecte
fndamental e: a) defni rea conceptelor matematice pe baza conceptel or
l ogice, sau n frmularea l ui A. Church [ l ] , vocabul arul matemati c
este parte a vocabul arul ui l ogi c" i b) toate asumpi i l e matemati ce
(axi ome, postulate etc. ) s fe derivate di n princi pi i sau l egi pur l ogi ce.
264
n ceea ce pri vete punctul a), se poate apreci a, dup Church, c,
ntr-un anumit sens, cercetri l e fndaional e au sugerat real i zabi l itatea
l ui . ntr-adevr, examinarea vocabul arul ui matematic a evideni at c uni i
termeni apar i n l ogi ci i , i ar cei l al i pot f defi ni i cu aj utorul unor
combi nai i adecvate de termeni l ogi ci . i ntruct semni fcaia termeni lor
i enunuri l or matemat i ce este control at pri n coresponden cu
semni fcai i l e termeni l or l ogi ci , n ti mp ce conversa nu are l oc, Church
crede c avem probat aseriunea: l ogi ca este anterioar matematici i"
[ l , p. 405] . Admiterea val abi l iti i pri mei teze l ogi ci ste i i nfrmarea
cel ei de-a doua de ctre evol uia cercetri l or fundai onal e au condus l a
frmul area unei variante a l ogi ci smul ui numit logicism moderat",
succesel e n general izarea numrului natural ca numr ntreg, numr
rai onal , numr compl ex, ca i general i zri l e succesi ve ale funciei
numerice, confrmnd definibilitatea noiuni l or matematice n l i mbaj ul
teori ei numerel or natural e. Ar urma reducerea teori ei numerel or la teoria
mulimi lor i aceasta l a l ogi c. Esena probl emei rezid n elucidarea
naturi i conceptului de mul ime, farte controversat n l iteratura de
special i tate: dup uni i , este concept intrinsec l ogi ci i , n ti mp ce dup
al i i , nu exist sufi ci ente motive pentru o atare susinere. E. J. Lemmon
[ l ] fce di stincie ntre cl as i mul i me, i nu numai el; o abordare
extensiv este prezent n Qui ne [ 4] . Oricum, o deci zi e asupra statutului
logic al conceptul ui de mul i me ar ncl ina controversa dintre l ogi ci sm i
intui i oni sm nfavoarea logicismului.
Argumentel e-obi ec i i mpotri va logicismului moderat vi zeaz
urmtoarel e aspecte: a) si stemele l ogice ale cal cul ul ui propoziional i
calcul ul predi catel or conin i o parte nespecifc l ogic, ce aparine teoriei
mul i mi l or, atunci cnd se defnesc n termeni i teoriei numrul ui unel e
concepte matematice mai pui n el ementare; b) enunarea l i stelor care
preced construci a si stemel or l ogi ce nu este dat n l i mbajul -obi ect, ci
n metal i mbaj, al crui vocabul ar nu este parte a vocabularul ui l ogi c;
c) exi stena unor axiomatizri incompatibile al e teoriei abstracte a
mulimilor, di ntre care unel e admit un concept de muli me care i este
si ei el ement; altel e l respi ng; sau n unel e axi omati zri , conceptul de
265
mulime a tuturor mulimilor este prezent, n ti mp ce n altel e nu are
sens. Ori cum, remarc H. Mehl berg [ I ] , admiterea conceptul ui de
mul i me ca avnd statut l ogi c ar transfrma l ogi ca ntr-o di sci pl i n
specul ativ i controversat", ceea ce ar afcta caracterul ei fndaional .
H. Mehl berg a propus o nou variant de l ogi ci sm, logicismul
pluralistic (si ntagma pluralistic" fi nd tot mai prezent n cercetri l e
fndaionale, de pi ld, l a L. Apostel [ I ]), i ntenionat ca o baz comun
convergent pentru cele trei mari curente rival e: logicismul. formalismul,
intuiionismul, confi rmat de urmtoarel e rezul tate metamatematice
semni fcative (i ai ci observm c aspectulfundaional prevaleaz_asupra
cel uifundaionist_ fi ind deci si v n judeci le ce se emit n spai ul fl osofei
matemati ci i ): a) relaii de intertraducere - care se refr l a matematica
i ntui i oni st i l ogi c, matemat i ca cl asi c i l ogi c; b) concepia
semantic a lui A. Tarski despre adevrul matematic, aspect n care S.
C. Kleene a indicat apl i cai i al e acestei a l a matematica intui ioni st;
c) teorema de deducie Herbrand- Tarski (o apl icare a lui di ctum de
omni et nul lo", teorema fcnd trecerea de l a logic- cl asa legi lor l ogi c
demonstrabi l e l a matematic - cl asa teoremelor demonstrabi l e ntr-o
teorie particul ar); d) conceptul intuiionist de constructi bi l itate, central
n i ntuii oni sm, enunat de Heyti ng [ I ] : Exi gena c numai obiectel e
constructibi l e pot f menionate este sufci ent s expl ice particul ariti l e
intui ioni smul ui . . . "; Printr-o teori e constructiv nel eg o teori e n care
un obi ect este considerat numai dup ce a fst construit. Cu al te acuvi nte,
ntr-o teori e constructiv nu se meni oneaz al te obi ecte dect cel e
constructibi le". Ambi guitatea conceptul ui de constructi bi l itate, n absena
unei di stinci i expl i ci te ntre construcie actual posibil i construcie
(efectiv) , este rspunztoare de di fi cul ti cu care se confrunt
intuiionismul, di ficulti ce ar putea f depite prin tol eran, val ori fcat
prin nlocui rea acestui curent (drasti c, intransi gent i intolerant) cu o
varietate a logicismului pluralistic.
Sub i nspiraia unor idei datorate l ui H. Mehl berg [ I ] am notat
ntr-un studi u al nostru (urlea [ 3, p. 44] ) : Logi ci smul pl ural i stic nu
pri vi l egi az ni ci o l ogic, indifrent c este vorba de l ogica Principiei
266
Mathematica", l ogi ca l ui J. von Neumann sau l ogi ca modal etc. , i n
aceat pri vi n, exist unel e si mi l itudi ni ntre acest curent i pri nci pi ul
tol eranei ; logicismul pluralistic ader l a punctul de vedere real i st, n
ti mp ce pri nci pi ul tol eranei are i mpl i ci t o ati tudi ne nomi nal i st.
Logici smul pl ural i sti c nu consi der conceptul de mul i me ca fi nd con
cept l ogi c; caracteri sti ca esen i al a l ogi ci smul ui pl ural i st i c este
postularea logicii ca i nstrumentul unic n demonstra i i i declararea
intui iei extralogice ca superfu". i tot n acest context, n cartea noastr
(M. url ea [ 1 , p. 24 1 ] ) scri am: Compl ementaritatea programelor
fundaioniste este rel evat doctrinar n ceea ce se numete logicism
pluralistic i care este apt s surprind mai adecvat profl ul epistemol ogic
impus de noul spirit ti i ni fc n cunoaterea matematic; dar este relevat
i de tendi na de cooperare i convergen, i chi ar de uni fcare, a
rezul tatel or impuse de tehnicile fundaionale al e acestor programe . . . ";
i ar Kl eene [ 1 ] scri e: metodel e metamatematice se apl i c, n prezent, l a
studi ul si stematizri l or matematici i care apar n coal a l ogi ci st i n
cea i ntuiioni st . . . reci proc, metamatematica datoreaz multe el emente
l egate de aparii a ei cercetri lor l ogi ci ste i intui i oni ste".
Marile programe-curente fundaioniste (logicismul, formalismul,
intuiionismul) i-au derul at acti vi tatea sub cupola" euclidianismului
matematic, i nextricabi l conexat unei autentice i stori i a detronri l or"
surselor intuitive al e cunoateri i matemati ce, ca ijusticrii aiomelor
aritmeticii i geometriei. Se tie c descoperi rea numerel or i raionale a
condus la abandonarea" intuiiei aritmetice pitagoreice n fvoarea
celei geometrice. O geometrie clar ca cristalul" a deveni t teoria
fundamental ( avnd ca teori e pi vot teoria proporiilor) n care
urma s fe tradus" aceast aritmetic recalcitrant iraional", dar
n secol ul al XIX- i ea cl ari fcarea statutul ui numerel or i rai onal e a
reabi l itat i ntui i a aritmeti c. Ul terior am asi stat la competiia di ntre
intuiiile set-teoretic (Cantor), logic (Russel l ), global" (Hi l bert) i
constructivist (Brouwer) . Nu mai i nsi stm ai ci asupra mutaiilor
nregi strate de concepi a despre intuiia set teoretic i, corespunztor,
despre realitatea matematic, i mpactul " veni nd di nspre unel e rezul tate
267
metamatematice remarcabi l e: demonstraia de independen (sau rezul
tatul de i ndependen stabi l it de P. Cohen, anal ogi i cu demonstraia i
independena postul atl ui paral el el or), teorema Lowenheim- Skolem etc.
Desigur, intuiia logic n cadrul programul ui eucl i di an mprtit
de l ogiciti devenea sursa autentic a rigorii logice, surs i garanie a
certitudinii axiomelor, dar i a transmi teri i adevrului.
Ci udat i consterant a fst c nsui Russel l i-a pierdut ncrederea
n caracterul evident al eucl i di ani smul ui i a fst nevoit, mpins" de
stattl aiomei reducerii, s opteze pentru un anumit sort de inductivism,
care a afctat acurateea l ogi ci smului pe care l -a mbri at i profsat
cu atta, poate, candoare. El a admis c unele axiome, ca i cea a reduceri i ,
pot f acceptate i justificate i nductiv, adic n vi rtutea evidenei l or
inductiv derivate di n conseci nel e val i de produse de raionamente. Dac
matematica este organi zat ca un si stem deducti v, atunci cnd noi credem
n matematica pur, l ucrul acesta nu este datorat excl usi v adevrul ui
premi sel or, unel e di ntre acestea pot f, chi ar mai mul t sau mai puin
evidente dect conseci nel e l or (aproape c Russel l frmul eaz ideea c
propozi i i le care sunt cele mai evi dente nu sunt logic cele mai evidente",
un fnomen mai pregnant n ti i nel e empirice) . n domeni ul l ogi ci i pure,
se ntmpl , observ Russel l , ca pri mel e pri nci pi i logic pure, cel pui n
unel e di ntre ele s fe admise nu pe propria l or socoteal, ci a consecinelor
l or. Aadar, moti vel e noastre pentru care avem ncredere n logic (i n
matematica pur) sunt n parte i nductive i probabi l e, n ci uda fptul ui
c n ordine logic, propozii i l e l ogi ci i i matemati ci i pure sunt deduse
di n premi sel e l ogici i pri n deducie pur. Russel l marcheaz, n acest
context, o di stincie i mportant care surmonteaz confzi i i di fculti :
chestiunea epistemologic i chestiunea logic. i , paradoxal , observm
un fenomen straniu, acefa cum l ogicieni i matemati ci (n pri mul rnd
l ogi ci t i i ) obsedai" de rigoare i certitudine absol ut aj ung l a
inductivism; ceva, desi gur, ce nu a fst intenionat n demersul lor i ni i al .
i A. Fraenkel ( 1 929) nota c unel e axi ome i pri mesc , , ful l weight"
di n evidena conseci nel or lor. Rosser ( 1 953) observa c termenul de
aiom" fl osi t de Eucl i d desemna un adevr auto-evident", n ti mp
268
ce astzi axi omel e frmeaz o muli me de enunuri care, mpreun cu
regul a modus ponens, consti tuie o baz sufcient ca s derivm toate
enunuri le, pe care dorim s l e deducem. Probl ema l egi ti m este care
sunt acel e enunuri pe care vrem s l e deri vm? Sunt el e autoevident
adevrate?, caz n care constatm c Rosser pl aseaz di scuia problemei
autoevidenei de la nivelul axiomelor la cel al enunurilor ce dorim s
le derivm. Dar, acest mod de postulare" n care sunt axiomatizate
mulimi de enunuri arbi trare, i ndi frent de adevrul sau/i fl sitatea lor,
se nvedereaz ca i relevant privind att adevrul, ct i transmiterea l ui ,
iar caracterul l ui dezagreabi l 1 -a mpi ns ntru di sperare (pe Russel l )
spre i nducti vi sm; dezorientat de confzi i , el pare a nu mai avea sperana
gsiri i splendidei certitudini ce-i ani mase ideal ul deductivist i logicist,
vzndu-se nevoit s renune la euclidianism ca paradigm a rigorii, a
certitudinii i adevrului n pei saj ul dezol ant al unei matemat i ci
recalcitrante, acestea fi nd de neati ns ni ci eri ; un scepticism izvort di n
nempl i nirea unui ideal care vedea matematica ca paradigm a cunoaterii
umane; logica poate doar s explice matematica, nu i s-o demonstreze,
un eec al justiicrii certitudi ni i matemati ce. Dei Hempel ( 1 945) a
consi derat c propozii i l e matemati ci i au o certitudi ne nechestionabi l ,
asemenea propozi i i l or de genul toi cel i batari i sunt necstori i ",
sceptici i au acuzat matematica c nu ofr cunoatere autentic, ci numai
sofsticrie". Intuiionismul reprezint n fl osofa matemati ci i o ramur
a scepticilor distructivi care au specul at di fcul t i l e l ogi ci ti lor. Dup
Wey
l ( 1 949) Principia Mathematica" fndeaz matematica nu pe logica
singur, ci pe un fl de paradis al logicianului care crede ntr-o lume
transcendental. Intuiioni ti i acuz logica russel l i an pe considerentul
c ea are un caracter contra- intuitiv. Rel a i a di ntre l ogi ci sm i
i ntuiioni sm (de fpt i frmal i sm) a cunoscut o evol uie d e l a 1 93 I
(Congresul de l a Koni gsberg), unde l ogi ci smul a fst reprezentat de
R. Carnap [ l ] , frmal i smul a fst reprezentat de J. von Neumann [ I ] , i ar
i ntuiioni smul a fst reprezentat de Heyting [2] i pn astzi . Dac tonul
competiti v i pol emic era semni fcati v pentru ri val itatea acestor curente
n 1 93 1 , dej a la al doi l ea Congres - 1 960, Stanfrd, Cal i frni a - s-a
269
putut constata, cu stupoare, c acest ton deveni se moderat. Heyti ng [ 3]
spunea n 1 960: A vrea s compar si tuai a di n 1 93 0 cu cea de astzi .
Spi ritul cooperrii (subt . ns. ) pani ce a nvi ns controversele i mpl acabi l e.
Ni ci o direcie de cercetare nu mai are preteni a s reprezi nte uni ca
matematic adevrat".
Evol ui i l e recente di n sfra cercetri lor fndaional e au constrns
aceste curente ( l ogi ci smul , frmal i smul , i ntuii oni smul ) la mutaii de
tranziie de l a aspectul l or doctrinar-filosofie l a cel metateoretic, n
spe meta-matematic; constatm proemi nena i preemi nenta aspectul ui
, fundaional" i o disoluie" a cel ui , fundaionist", pri mul fi i nd un
el ement mai profnd racordat la ce fce working mathematician", mai
rel evant pentru practica matematic i meta-matematic. Refri tor la
elementul- ingredient" doctr i nar fi l osofi e al acestor programe
fndai oni ste (curente n fl osofi a matemati ci i ), observm c l ogi ci smul
a devenit pe rnd moderat", apoi pluralistic" i o metamorfz si mi l ar
au parcurs i cel el alte dou curente (ri val e), programul l ui Hi l bert di n
frmal i sm a devenit programul modiicat" n versiunea Gentzen, ca
mai recent, dup 1 964 (vezi i Robi nson [3 ] ), s excel eze pri ntr-o
abunden de in_esti gai i i rezultate metamatematice, ntre care un l oc
de seam dein cel e descoperi te i/sau stabi l ite de P. Cohen [ I ] ; n cazul
i ntui i oni smul ui s-au consti tui t cunoscutel e di reci i constructi vi ste
reprezentate cu prest i gi u de A. A. Marcov, P: Lorenzen, ca i
conceptual i smul constructi v el aborat de Hao Wang, ori entri n care se
statueaz expl i cit prsi rea unor premi se intui ioni ste (brouweriene) ca
cele ce vizea ontologia subiectivist: metal i smul i ideal i smul subiectiv.
Orientarea, n mani eramarcatfundaional i deci nefndaionist,
a intui i oni ti lor spre cercetri l e metamatematice efctive a gravitat, di n
punct de vedere flosofie, n jurul conceptul ui fndamental de intuiie.
Astfl , Lawrence Pozgany [ I ] propune ceea ce el numete intuiionism
liberal ca o baz pentru teoria mul i mi l or, al crui nucl eu este aseri unea
fndamental de a pri vi mulimile ca ficiuni mentale, constructe;
i ntui ioni smul l i beral se di sti nge de cel obi nuit, pri n aceea c permi te
construcia mulimilor actual infinite de cardinalitate arbitrar de nalt
270
(mare). n exami narea i ntuiioni smul ui l i beral di soci em dou princi pi i :
Principiul A care conserv sui generi s aspectul intuiionist frmul at astfl :
o muli me este un construct mental care rezul t di n operai a mental de
a gndi o col eci e de obi ecte care au fst anteri or descoperite sau
construite i apoi privind ntreaga col ecie de obi ecte ca un singur obiect
nou, numit mulimea" obi ectel or date. Principiul B care marcheaz
aspectul liberal: Orice proces mental bi ne defnit pentru construirea
mul i mi l or care a fst envisioned fr ambi guiti sau contradici i , poate
f privit ca dej a compl et, i ndi frent de orice di fcul ti pur practice care
pot preveni pe cineva de a- l executa actual . Comentari ul princi pi ul ui
frmul at de Lawrence Pozgany ne expl i citeaz enunarea unei defi ni i i
a unei mul i mi farte apropi at de noi unea de nl i me a l ui G. Cantor
[ I ]. Autorul i nsi st asupra remarci i c obiecte!, care sunt colectate"
ntr-un ntreg (n vederea frmri i unei muli mi ), trebuie (neaprat) s
fe date anterior construci ei muli mi i n cauz. Pri n urmare, nu este
pl asat ni ci o restricie cu pri vi re l a obiectele ce vor frma o mul ime, ci
se frmul eaz doar condii a ca el e s ne fe date anterior acestei a. De
al tfl , ni se pare c aceast i dee a autorul ui este consonant cu concepi i
al e l ui Cantor expuse n scrisori ctre Dedeki nd i anume, c nu orice
coleci i se pot constitui ca o si ngur total itate (a si ngl e total ity), pe acestea
el numi ndu- l e colecii absolut infnite sau inconsistente;_ deci , Cantor a
negat c orice col ecie de obiecte date se constitui e ca o mul i me. Pe
aceeai l i ni e de gndi re este consemnat di sti ncia colecii i mulimi
frmul at de T. Skol em [ l ].
Exami narea pri nci pi ul ui (A) mai comport urmtoarel e trei
cl ari fcri :
A1 Orice col ecie oarecare de obi ecte anterior date prin descoperire
sau construcie poate fi considerat ca frmnd o si ngur total itate sau
muli me.
A2 Dac S este ori ce mul i me i x este un membru al l ui S, atunci
x trebui e s fie dat anterior construciei l ui S.
Obi ectel e frni zate, date prin descoperire, mai curnd dect pri n
construcie, sunt numi te, n mod uzual, individuali. Edi fi carea teoriei
27 1
mul i mi l or este un proces mental care se fce pas cu pas, ncepnd
cu anumi i i ndi vi dual i i cont i nund cu frmarea mul i mi l or de
aceti i ndi vi dual i , apoi de mul i mi care conin posi bi l i ndi vidual i i
muli mi . a. m. d.
A3 Orice mul i me S este di sti nct de toate obi ectel e x care sunt, n
mod eseni al , n S.
Acum, este evident relevana principiului asumat de intuiionismul
liberal refritor la paradoxuri, s spunem c vorbi m de cel al l ui Cantor,
bazat pe conceptul de mulimea Ma tuturor mulumi/or; deoarece aceast
noi une nu este l egi ti m, construcia respecti vei mul i mi M nu este
autori zat. ntr-adevr, pentru a construi mul i mea M noi trebui e s
presupunem c toate mul i mi l e, inclusiv M, au fst deja construite, o
contradicie cu presupozii i l e cerute n construi rea l ui M. Hao Wang [ 1 ]
a vorbit de aspectul genetic al noiuni i de mul ime a l ui Cantor. Paradoxul
l ui Cantor emerge direct di ntr-o atitudine ontologic platonist, care
asum c toate mulimi l e sunt date", exist" prin el e nsel e i ne
ateapt s l e exami nm. Asemntor, deoarece nici o mulime nu poate
s fe propriul ei membru (membru al ei nsi ) eum n ncercarea de
a construi mulimea tuturor mulimilor care nu sunt membri ale lor nsele;
trebui e o al t ncercare ca s construim o mul i me a tututor mul i mi l or,
deci , cade i paradoxul l ui Russel l odat cu cel al l ui Cantor.
I ntuiioni smul l i beral se dovedete fuctuos n expunerea tuturor
axi omel or si stemul ui Zermel o-Fraenkel , a l egi i ter i ul ui excl us, a
paradoxul ui l ui Skol em, ca i a i potezei coni nutul ui etc.
5.6. PROGRAMUL FORMALI ST HI LBERTI AN.
FORMALI SMUL HI LBERTIAN
Programul frmal i st hi l bertian a situat n centrul anal i zei fl osofce
conceptul de limbaj matematic i, ca program metateoretic s-a constituit
ca metamatematic" sau teoria demonstraiei". Hi l bert, ntemei etorul
frmal i smul ui , a i ntenionat ca pri n metamatematic s ofre o/undare
272
a matematicii clasice, spernd astfl s sal veze programul eucl i di an"
(al fundri i matemati ce) de scepti ci smul dezol ant care se confgura sub
infl uena paradoxel or n matemati c; n acest sens, se poate spune c
scopul frmal i ti lor a fst identic cu cel al l ogi citi l or.
ntr-adevr, Hi l bert afra expres c nu trebui e s ne lsm izgoni i
ntemei erea
matemati ci i cl asice pri ntr-o demonstraie de cons isten care va stabi l i
imposi bi litatea aparii ei paradoxelor i , n conseci n, va produce aceeai
certitudi ne pentru raionament aa cum exi st n aritmetica el ementar,
de care ni meni nu se ndoiete i unde contradici i l e i paradoxel e apar
numai datorit neateni ei noastre".
Pentru real izarea acestui obi ectiv Hi l bert a el aborat, i mpl i ci t i
expl i cit o concepie epistemologic despre natura matematicii, obi ectul ,
demersul i val oarea ei , concepie care asuma o baz l ogi c l aborios
construi t. n mod expl icit n Hi l bert [3 ] se afirm c ati ngerea acestor
el uri este, evi dent, posi bi l numai dac reui m s el ucidm complet
natura infnitului"; dup cum se tie conceptul de i nfni t a fst fnda-
274
mental , dac nu chi ar domi nant n gndi rea matemati ci i cl asice, pe care
vrea s-o apere ntemei etorul frmal i smul ui de i nvazi a antinomi i lor
"
.
l at de ce Hi l bert procedeaz la un examen att de atent al conceptul ui
de i nfnit, cutnd s rspund l a ntrebarea: Ce sens are acest concept
l n contextul gndi ri i matematice? de pe poziia fniti smul ui - exi gen
expres asumat n metamatemati ca sa, Hi l bert scri a: i nfnitul nu este
ni cieri de gsit n real itate, oricare ar f experienel e, observai i le l a care
am apel a i orice ti i n am uti l i za . . . "; i nfnitul nu ne-a fst ni ci decum
dat n real itate, ci doar i nterpol at sau extrapol at prin i ntermedi ul unui
proces i ntel ectual ", Hi l bert [3] . Despre totalitile infinite se poate spune
c nu exi st, sunt simple fciuni care confr el egan construci i l or
noastre matemat i ce i s i mpl i tate rai onamentel or noastre asupra
muli mi l or fni te. I nfuena l ui Kant asupra concepi ei epi stemol ogi ce
hi l berti ene este evi dent: Operarea cu i nfnitul nu poate f asi gurat
dct pri n fni t. Rolul care-i rmne i nfnitul ui este numai acel a al unei
idei dup Kant vom nel ege printr-o i dee un concept al rai uni i care
depete ntreaga experien i care ntregete concretul ca total itate"
(Hi l bert [3 ] ) . i , dei , cum am afrmat, scopul frmal i smul ui este iden
ti c cu cel al l ogi ci smul ui , urmnd pe Kant, Hi l bert se desparte de Frege
i Russel confgurndu-i ntr-un mod speci fc concepia epistemologic
i programul metodologic, afrmnd c i coninutul real al matematici i
nu depi nde de ni ci un fl de l ogic i de aceea . . . nu poate avea ca
fundament numai l ogi ca
"
(Hi l bert [ 3] ). Coninutul matematicii ne este
dat n reprezentare (se observ limbajul kntian mprumutat! ) ca obiecte
extralogi ce, concrete, care exi st intuitiv ca trire efctiv nemij l ocit
nainte de orice gndi re). ( i bi dem, p. 1 42). Hi l bert consider c teza
acestui coninut ireducti bi l al matematici i este atitudinea flosofic
fundamental" necesar pentru matematic ca i n genere pentru orice
gndi re, comprehensi une i comunicare ti i ni fc, i fr de care o
mani fstare spi ri tual ni ci mcar nu este posi bi l
"
, (Hi l bert [ 3] ) .
Rel evante pentru studi ul ntrepri ns asupra naturi i matemati ci i i n
vederea fndri i ei sunt n concepi a hi l berti an nsei semnel e con
crete" . . . obi ectel e studi ul ui nostru, a cror frm, ca urmare a atitudi ni i
275
noastre, este i mediat cl ar i se poate recunoate" (Hi l bert [3 ] ) . n acest
mod Hi l bert a fst condus la o concepie formalist asupra matematici i ,
dup care obiectul matematic, coni nutul ei i reducti bi l este constituit
din confgurai i le fi ni te de semne concrete i reprezint, n terminol ogi a
l ui , domeniul real " al acestei ti i ne. Acest domeni u este ntregit n
matemati ca cl asi c prin adugarea aa-numitul ui domeni u ideal" al
matemati ci i , structuri ideale", ca el ementel e ideal e di n algebra (de ex.
), i care asi gur val abi l itatea general a regul i l or i l egi l or l ogi ci i .
Dar, ntruct punctul de vedere fi l osofie acceptat este cel , jinitist",
Hi l bert frmul eaz teza c existen n matematic au numai el ementel e
fi ni te, construci i l e conceptual e fnite care apari n domeniului real i
di ntr-o asemenea perspect iv urmeaz s fe reinterpretate enunuri l e
generale i existenial e din matemati c, nct acestea s dobndeasc o
semni ficaiefnitist; evi dent, vor f admi se numai raionamente fi niti ste.
n acest sens o construcie conceptual fi ni t este o defi ni i e care se
menine n cadrul reprezentabi l iti i fundamentale a obiectel or ca i a
real i zabi l iti i fundamentale a proceselor i pri n aceasta se nfptui ete
n cadrul modul ui de consi derare concret". (D. Hi l bert i P. Bernays
[2] ) . Raionamentul fnit este, . dup Hi l bert i Bemays, rai onamentul
concret, di rect, real izabi l n experimente ideale asupra obiectel or prezente
i ntuitiv i l i ber de supozii i axi omatice" (D. Hi l bert i P. Bernays [2] ) .
Asemenea aseri uni relevante pentru punctul de vedere fnitist adoptat
n frmal i sm i-au determinat pe H. Schol z [ I ] i G. Hasenjaeger s afrme
c acest punct de vedere se mani fst n negarea tuturor supozii i l or
sau proceselor de raionare exti nse din fi nit asupra i nfi nitul ui , i care nu
sunt certi fcate prin caracterul l or constructiv".
Dar Hi l bert a observat c multe di n raionamentel e i moduri l e de
construcie conceptual practicate n matematic, ndeosebi n aritmetic,
anal i z, teori a mulimi l or nu sati sfc exigena fi niti smul ui : n anal iz . . .
modal itatea nefnit de frmare a conceptelor i de demonstraie aparine
nsi metodei teoriei" (D. Hi l bert, P. Bemays [2] ); iar n teoria mul imi l or
acest fpt este i mai evident n urma introducerii de ctre Cantor a
276
numerelor transfinite. Fasci nat de creai a l ui Cantor, Hi l bert scria c ea
ne-a ofrit cea mai adnc nel egere a naturi i i nfi nitul ui constituind"
produsul cel mai mi nunat al spi ri tul ui matematic i n general una di n
real izri l e cele mai nalte al e acti viti i umane pur raionale
"
(Hi l bert [3] ) .
Avea, deci , motive profnde cnd scria c nu trebui e s se renune l a
paradisul lui Cantor", idee consonant cu una di n tezel e fndamental e
al e programul ui su, i anume pstrarea intact a matemati ci i cl asi ce.
Aj uni ai ci t rebui e s remarcm c di fi cul tatea n care s-a afat
ntemei etorul frmal i smul ui era esenial i provocati v: Hi l bert vrea,
pe de o parte, s salveze ntreaga matematic cl asi c, i ncl usi v creai a
cantori an, i s nu renune l a fl osirea princi pi i l or generale al e l ogi ci i ,
iar, pe de alt parte, anunase ca atitudinefilosoficfundamental punctul
de vederefnitst, incompati bi l cu meni nerea ntregi i matematici cl asice,
dar i cu apl icarea nerestrictiv a pri nci pi i l or logice. Convi ns de meni rea
noi uni lor abstracte -si mpl i ficarea i compl etarea teori i l or
-
el vrea s l e
introduc n matematic i n acel ai ti mp vrea s evite paradoxuri l e
i nerente acestui proces. Sol ui a probl emei , Hi l bert o gsete opernd
di sti nci a domeniul real i domeniul ideal" al matemati ci i i
general i znd metoda el ementel or i deal e i nspi rat chiar de experi ena
matematic. Numai enunuri l e finite, apari n pri i real e a matematici i ,
posed semni fcai e, n ti mp ce, enunuri l e ideale au numai un rol
operai onal (ntregesc frmal i smul dar nu exti nd ontologia teori ei
matematice respective). Rol ul operaional al el ementel or i deal e rezid
n meninerea regul i lor simpl e frmal e ale l ogi ci i aristotel ice obinuite
"
,
deoarece enunuri l e i deal e i anume frmulel e, n msura n care el e nu
expri m afrmai i fnite, nu semni fic ni mi c, operai i l e l ogice nu pot f
apl i cate f de ele concret ca n cazul propozii i l or fnite. Este, deci ,
necesar s formal i zm operai i l e l ogi ce i chi ar demonstrai i l e
matemati ce
"
. ( D. Hi l bert [ 4] ) . Formal i zarea teori i l or matemati ce,
reprezentarea l or sub fra unor cal cul e, este premi sa fndamental a
el aborri i demonstraiei de consisten a matemati ci i cl asi ce
-
idealul
major al metamatematicii sale.
Di n constatarea l ui Hi l bert c exi stena unor domeni i infi ni te de
i ndi vi zi
"
nu poate f l egiti mat prin apel l a experi en sau la o real i tate
277
n si ne, aadar nu poate fi j usti fi cat di rect, urmeaz c admiterea l or n
matemati c cere o demonstrai e de noncontradi ci e a unui si stem de
axi ome care s caracterizeze asemenea entit i . Noncontradicia devi ne
n concepia l ui Hi l bert criteriul fundamental al admi teri i entiti l or
matematice, punct de vedere general izat cu pri vi re l a ntreaga cunoatere
t i i n i fi c. Construci ile conceptuale idealizate, provenite din
extrapol area unui anumit domeni u de experi en, i care permi t o
reprezentare si mpl i fcatoare a real i ti i , trebui e s sati sfc condi i i le:
a) o coresponden aproximativ cu real i tatea; i b) extrapol area nfptuit
pri n el e s fie noncontradictori e. D. Hi l bert, P. Bemays [2, p. 2] scri u n
aceast pri vin: i deal i zri l e ntrepri nse n teorie, adi c extrapol area
prin care construci i l e conceptuale i principi i le teori ei depesc domeni ul
fie al evidenei i ntuiti ve, fie al datelor de observai e, vor fi recunoscute
ca l i ps i t e de contradi ci i . Sunt em astfe l nevoi i s cercetm
noncontradi ci a si stemel or teoretice i ndependent de consi derarea stri lor
fctual e, i pri n aceasta noi ne afm dej a pe punctul de vedere al
aiomaticiiformale" (subt . ns. ).
Aadar, vrnd s justifce matematica cl asi c, Hi l bert este preocupat
s ofre o demonstrai e a consistenei absolute a acestei a, adi c o
demonstraie di rect, nuntrul si stemul ui fral . Reami nti m c acest
sistem formal care s captureze" ntreaga matematic avea un caracter
sui generis, cci considernd, cum am vzut, c l ogi ca nu poate construi
un fndament pentru matematic, ntemei etorul fral i smul ui a propus
ediicarea formal simultan a logicii i matematicii. Demonstrai a
absol ut de consi sten ura s ai b un caracter intern sintactic i deci
matematic, o modal itate relevant pentru celebrul enun hi l bertian ,,s
mutm odat pentru totdeauna fundamentele matematicii nuntrul
matematicii"; este ceea ce s-a numi t separarea fundamentelor de
epistemologie. S-a vorbi t n acest sens de faptul c n problema
fundamentrii, el a ofrit un gen de fundamente sintactice, numite de uni i
autori combinatoriale", ceea ce este sugesti v pentru natura argumentel or
matematice, i dee rei nut i n frul area, anterior ci tat, a unui di sci pol
remarcabi l al l ui Hi lbert, este vorba de John von Neumann.
278
Nucleul metamatematicii hilbertiene a constat n urmtoarea i dee:
( A) Fi e un si stem S consistent. Dac S este extins conservativ i necreativ
ln S1 , atunci S1 va fi de asemeni un si stem consi stent. (Asupra idei l or
care urmeaz, vezi i I . Prvu [2, p. 230-23 1 ] ).
n l egtur cu aceast
l ez central se pot frmul a 2 observai i , una de ordi n logic, i ar al ta de
ordi n metodologic. Ideea l ogi c corect ar fi nu (A) ci (B): Dac un
si stem matematic S consi stent i compl et va fi exti ns conservativ i
necreati v, atunci i extensi a sa S 1 de acest tip va fi de asemenea
consi stent. Obser va i a a doua se refer l a cer i na de nat ur
operaionalist: un si stem matematic ntregi t cu structuri i deal e este
uti l izabi l dac i numai dac orice demonstraie a unei teoreme care are
un corel at fi ni t al matemati ci i fi nite poate fi transformat ntr- o
demonstraie n care nu sunt folosite elemente ideale; altfel spus,
propoziiile ideale nu genereaz, n mod independent, teoreme aparinnd
prii finite a matematicii, rezult c n urma unei asemenea demonstrai i ,
propozii i le ideale pot fi el i mi nate. Urmeaz c n termi nol ogia l ui Qui ne
[ 1 ] caracterul necreator i conservati v al exti nderi i domeni ului real al
matemati ci i cu propozi i i i deal e genereaz inocena esenial" a
conceptelor teoretice, nvedernd fptul c el e sunt ti i nific di spensabi le,
avnd statutul de abstraci i fr corespondent n exi stena matematic.
Acordnd un asemenea statut propozi i i l or ideale, Hi l bert adopt
o vari ant a instrumentalismului: propozi i i l e i conceptel e teoretice au
numai un rol operaional, asi gurnd o si mpl i fcare (eventual o el egan)
a rai onamentelor noastre efctuate asupra obi ectel or finite, fndatorul
frmal i smul ui chi ar expl i ci t corel eaz ati tudi nea sa fi l osofi c cu
instrumental i smul fzi c. Ami nti m c i nstrumental i smul i nomi nal i smul
l ui Hi l bert au o natur specific, cci , de exempl u, n ceea ce privete
ati tudi nea l ui nomi nal i st exi st o di fren fa de pozi i a unor
nomi nal i ti ca N. Goodman, L. Henki n etc. , deoarece el nu a cerut, ca
aceti a, eliminarea idealizrilor di n toate contextel e l a ni ve l ul
enunuri l or, nu a cerut el i mi narea tuturor propozi i i l or i deal e i a
conceptel or ideal e l uate i ndi vi dual pri n traduceri i defni i i expl icite n
propozii i , respectiv concepte real e" ( cf I . Prvu [2, p. 23 1 ] ; exigena
hi l bertian are n vedere contextul global , cf S. C. Kleene [ 1 ] .
279
Programul l ui Hi l bert a fost centrat pe demonstraia direct sau,
absolut (sintactic") a consistenei i completitudinii
.
Teoremel e l ui
Godel au i nfirmat obi ecti vul formal i smul ui hi l berti an. Teorema de
incompletitudine a l ui Godel poate f enunat astfl : dac un si stem de
axi ome este noncontradictori u, atunci se poate construi un enun adevrat
al aritmeti ci i el ementare, cu proprietatea c nu este ni ci demonstrabi l i
ni ci refutabi l n si stemul axi omati c respecti v. Al tfel spus, acest rezultat
stabi l ete c este imposibil chiar o aiometrizare complet a aritmeticii.
Teorema a doua a lui Godel: dac un si stem este cl asi c necontradi ctori u,
atunci necontradi ci a acestui si stem nu se poate demonstra cu metodel e
i nterne al e si stemul ui . A rezultat c deoarece i metodel e fini te apari n
metodelor formal i zabi l e n si stemul formal , obi ecti vul formal i st nu este
real i zabi l , adi c nu este asi gurat demonstraia consi stenei matematici i
cl asi ce pri n metode fi nite. Godel nsui a afirmat c o demonstrai e de
consi sten fin it (adi c i ntui i oni st i reproabi l ) pe care o caut
formal i ti i este i mposi bi l n general .
Consecinel e teoremelor godel iene trebui e anal i zate n pl anjlosojc
i n pl an metodologic. Din punct de vedere
.
filosojc, formalismul este o
concepie nominalist i instrumentalist. Eecul formal ismul ui , datorat
rezul tatel or godel i ene, a nvederat i ncapacitatea epi stemol ogi c i
metodologi c a nomi nal i smul ui de a expl i ca adecvat natura cunoateri i
matemati ce, reducnd-o la limbaj, reducnd esena matemati ci i sau/i a
metamatemati ci i la un ansambl u de considerai i si ntactice sau i ntern
matemati ce. Probl ematica fi l osofi c a matemati ci i nu poate fi redus l a
aceste aspecte i ea nu poate fi rezol vat excl usi v cu i nstrumentai a l ogi c
formal a metamatemati ci i . I. Pru [2, p. 232] observa c fraza l ui Kri pke
[ 1 , p. 46 1 ] nu exist un substitut matematic pentru flosofe" ar putea fi
invocat n eval uarea gl obal a formal i smul ui , pentru stabi l i rea val ori i
i l i mitel or cercetri i pur i i ntern matemati ce a parti cul ari ti l or i
fundamentelor cunoateri i matematice.
n acelai sens noi vom vorbi de concepte i aseri uni speci fice
finitist , expri mnd cu cuvntul fi ni ti st n fi ecare caz fptul c
del i berarea, aser i unea sau defi ni i a procedeaz nuntrul l i mi tel or
concepti bi l iti i n pri nci pi u a obi ectelor ca i a real i zabi l iti i n pri nci pi u
a proceselor i astfl acestea au loc n i nteriorul domeni ul ui considerai i lor
concrete" (Hi l ber, Bemays [2]). Tot ceea ce a spus Gentzen despre tehnicile
sale de demonstraie este c sunt n acord cu inteni i l e fi ni tiste.
Inducia trans.fnit restricionat a l ui Genzen a provocat multe
comentari i i atitudi ni . De pi l d, aceasta este o metod finitar n fncie
de i nterpretarea ei. Bl ack scrie c este ndreptit expl icai a lui Bernays,
dup care i nsuccesul anteri or al programul ui frmal i st este datorat
restri ci i l or excesi ve asupra moduri l or permi si bi l e de cercetare".
n
esen, acest comentari u al l ui Bl ack ne spune c inducia trans.fnit
restricionat a l ui Gentzen este elementar i intuitiv dei nu este strict
fi ni ti st. Comparnd metodel e fi ni tare cu cel e i ntui i oni ste, Gentzen a
spus despre pri mel e c sunt mai restri cti ve, fpt ce l -a determi nat s
ofre o demonstraie de consi sten, n sens intui i oni st, afirmnd chiar
c intuiionismului lui Brouwer este compatibil cu uzuri mai liberale ale
frmel or conceptul ui de infnit.
Referi ndu-se la rel ai a exi stent ntre demonstrai i l e de consi sten
i regul a induciei tranfinite restri cionate, Gentzen scri e: n demonstraia
mea, demonstrai i le de teori a numerel or, a cror consi sten este s
fi e demonstrat, sunt angaj ate ntr-o secven care urmeaz di n
282
consi stena demonstrai i l or care o precede. Aceast secven (i r)
poate fi pus ntr-o coresponden bi uni voc cu numerel e ordi nal e trans
fi ni te pn la E0 Este di n acest mot i v c i cons i stena tuturor
demonstrai i l or urmeaz dintr-o i nduci e transfi nit pn l aE0
"
.
Anal i znd structura numerelor ordinale pn la E0, Gentzen a
conchi s asupra naturi i l or constructive, ca i asupra ti pul ui de inducie
restricionat practicat de el, afi rmnd c este n acord cu punctul de
vedere fi niti st. El spera, chi ar, c o extensi une a i nduci ei transfnite,
peste un segment mai mare al clasei a doua de numere a lui G. Cantor,
ar fce posi bi l o demonstraie a anal i zei , dar moartea sa tragic survenit
n 1 945 a lsat n proi ect toate acestea, ns Ackerann, Fitch, Lorenzen,
Schtitte, Takeuti l -au continuat.
n ceea ce privete incompletitudinea sistmelor formale, Gentzen
a afirmat c dei este un fnomen i nteresant nu este totui al armant. Nu
se poate spune c pentru teoria numerelor se poate speci fca odat pentru
totdeauna un si stem sufcient de frme de i nferen, deoarece pentru
teoreme noi sunt cerute frme noi de i nfren, ceea ce nu se poate
ant i ci pa d i ntr- un nceput . De i t eore me l e l u i Gode l de spre
i ncompl eti tudi ne au indi cat o sl bi ci une a metodei axi omati ce, Gentzen
a vzut n acest fnomen doar un obstacol minor n i nvesti gai i l e
metamatematice minimizat" pri n procedura lui de reducie".
E
val und gl obal contribuia l ui Gentzen suntem obl i gai s operm
di sti ncia di ntre metodefnitiste i metode constructive. Gentzen a afrmat
despre inducia sa restricionat c dei nu este n acorddepl i n cu fnitismul
este totui constructiv, iar metodel e i ntuii oni ste i finitare sunt n fpt
cazuri , variante al e punctul ui de vedere constructiv n matematic.
5. 8. PROGRAMUL LUI HI LBERT I SEMNI FI CATIA
. .
'
TEOREMELOR LUI GODEL
Se consi der un si stem de ordi nul nti , F, (sau de ordin mai nalt
n care egal i tatea este defi ni bi l) sufi ci ent de bogat, dac cel pui n
aritmetica de ordi nul nti poate fi expus n cadrul l ui .
283
Rezultatel e stabi l ite de Godel sunt urmtoarel e: ( I ) Dac cerem
ca mul i mea axi omelor propri i ale unui si stem s fie o mul i me decidabi l
(s deci dem pri n mij loace pur consructi ve dac o frmul bi ne (corect)
frmat este sau nu o axi om), atunci nu exi st un mod de a construi un
si stem frmal de ordi nul nti sau de ordi n mai nal t n care toate
enunurile adevrate ale matemati ci i , expri mabi l e n i nteriorul sistemul ui ,
sfie demonstrabile ca teoremel e.
(2) Consi stena unui si stem F de ordi nul nti, sufi ci ent de bogat,
nu poate fi demonstrat pri n metode care pot fi expri mate n F.
n par
ticul ar, dac S este consi stent, atunci nu putem demonstra consi stena
l ui nuntrul su; a fce acest l ucru trebui e s fl osi m metode care
depesc si stemul (cf. W. S. Hatcher [ l ] ).
Rezultatul ( 1 ) a demonstrat imposibilitatea formalizrii tuturor
adevrurilor matemati ci i . Atunci este fireasc ntrebarea pe care o pune
Hatcher, despre ce fl de consi sten se poate vorbi cnd ti m c exi st
adevruri ale matemati ci i expri mabi l e n i nteri orul si stemul ui , dar care
nu pot fi demonstrate. Rmne atunci pos i bi l i tatea s obi nem o
demonstrai e de consi sten dac apel m la miloace mai tari dect
cel e expri mabi l e n sistemul respecti v; dup cum am vzut, Gentzen a
real i zat acest l ucru (a demonstrat consi stena l ui S) fl osi nd metoda
i nduci ei tranfi nite impl i cnd metode ale teori ei generale a mul i mi lor,
numai c aceast demonstrai e n-a avut un caracter fi ni tar.
n
vizi unea frmal i ti lor o frmul matemati c autentic nu are semni fcaie
i nici val oare de adevr, iar cnd sunt nevoii s se refre l a apl i cai i l a
probl eme fzi ce, ei conced c frmula n cauz a pri mi t o interpretare
fzi c, n vi rtutea crei a primete o semni fcai e, putnd f adevrat sau
fl s. Adevrul (sau fl sul ) cu care se opereaz n acest context,
frmal i stul l atri bui e excl usi v acel ei i nterpretri fzi ce parti cul are,
conti nund s rmn irel evant de ndat ce pl asm di scuia n pl anul
matemati ci i pure.
289
Ne ntoarcem la anunatel e observaii critice privind unel e teze
al eflosofeiformaliste a matemati ci i . Putem fi de acord c matematica
i mpl i c manipularea formal a s i mbol ur i l or, cu al te cuvi nte un
matemati ci an n mod obi nui t l ucreaz n i nteriorul unui sistem formal,
un aspect i mportant al acti vi ti i matematice, subiect de i nvesti gaie al
teoriei fnci i l or recursive, ramur a l ogi ci i matematice. Aceast teori e
a rel evat aspecte al e naturi i matemati ci i , n pri mul rnd a contri buit l a
aprofndarea nel egeri i noastre a l i mi tel or i nerente acestei ti i ne:
matematicienii nu vor putea calcula vreodat o funcie nerecursiv, sau
vor rezol va o problem recursiv insolubil, sau, vor putea l ucra ntr-o
teorie care nu este recursiv axiomatizabil. De ai ci nu urmeaz
j ustifcarea de ti p frmal ist s admi tem c mintea uman fncioneaz
asemntor procedeel or al goritmice, n sensul n care di scut despre
aceste teori i ale fnci i l or recursi ve. Formal ismul apare aici ca o tez
absolutist doctrinar, cci transgreseaz un pl an metodol ogi c, cel al
accentul ui pus pe si mbol i sm i frmal i sme matemati ce, n di reci a
evident a unei absolutizri creia i scap reconstituirea integral a
naturii cunoaterii matematice.
Di ficul ti l e frmal i smul ui sunt mai marcante, atunci cnd este
confuntat cu problema fundamentelor matematicii, di rect conectat cu
cea a existenei entitilor matematice; s ne imagi nm di fcul ti l e
unui matemati ci an frmal i st creator, adic s scrutm mai atent relaia
di ntre creativitate i rolul exteri or al simbolurilor n i nteri orul unei
activiti matematice reale, autent i ce n ti mpul sol ui onr i i unei
probl eme. Mrt ur i i l e matemat i c i an u l u i care l ucr eaz creat i v,
consemneaz c el n procesul cutri i sol ui ei nu are de-a fce att cu
si mbol uri , ct mai curnd cu idei i construcii (cf N. D. Goodman [ l ,
p. 543] ) ; este evident di fcultatea, cnd ncearc s-i expri me ideea
ntr-un mod frmal , care l a nceput este pregnant nsoit de i magi ni
vizuale. Progresul n cl ari fcarea i dei i este rel evat de modul formal di n
ce n ce mai adecvat care o expri m, structura ei i ntern fi i nd nc
necodificat si mbol i c. Chiar dac avem aici o mpl eti re a categoriilor
psihologice cu cel e epistemologice n i nvesti gaie, l ucru greu de evitat,
290
oricum pare convi ngtor s susinem prioritatea ideilor construciilor,
demonstraiilor, ca veritabi le entiti matematice,fa de simboluri, care
ntr-un anumit sens au un rol exteri or. Aceast ulti m parte a i dei i
s ubl i ni ate poate fi u or ev i den i at pr i n refer i re l a d i s cu i i l e
matematicieni lor despre idei, construcii i demonstrai i . Matemati cieni i
discut curent despre, dac dou studi i expri m aceeai idee, dac dou
i ruri de si mbol uri di stincte expri m aceeai construcie, sau dac dou
confri ne expun aceeai demonstraie, conchide N. D. Goodman [ 1 ,
p. 543 ] ; i , chi ar mai mul t, ei fc di stincia ntre o demonstraie nou i
una veche a unei teoreme, criteriul nefi i nd unul de ordinul frmei . Esena
formalismului o constitui e negarea realitii obiective a construciilor
matematice l uate ca intuiie, adic, care nu sunt nici formale i nici
simbolice i care sunt vi tal e pentru practica matemfti ci i ; intuitiv are ai ci
sensul de opusformalui, supral i citat n frmal ism, un argument putnd
fi considerat i ntui ti v dac este natural i decurge uor. Demonstraia, ca
specie a genericul ui construcii (matematice) are statutul de a f i ntuitiv,
atunci cnd exist independent de si mbol uri , adic este nefrmal i zat;
n vi rtutea structuri i sal e i nterne, demonstrai a ( i ntui ti v) produce
rezul tate i nu datorit si mbol i smul ui care o codific i pri n acest spe
cifc al ei i d msura ei de productivitate creativ n sfra matemati ci i .
De l a realitatea matematic (ca probl em) se aj unge, aproape,
di rect l a prob le ma fundamentelor matematicii n vi zi unea frmal ist care
decl ar aproape tot ansambl ul matematici i pure drept un joc simbolic
fr semnifica ie , o t ez drast i c s anc i onat de int uii onism
(constructi vi sm) care nu a admi s ca aceast biuterie a spiritului uman"
s fe tratat ca un joc de semne vi d de orice semni fcai e. Di frena
di ntre frmal i ti i pl atoni ti este cl ar n probl ema fndamentel or
matemati ci i , n context cel mai adesea fi i nd i nvocat cazul ipotezei
continuului a l ui G. Cantor. Pe scurt, Cantor a fcut i poteza c nu exi st
numr cardi nal i nfnit mai mare dect Xo (cardinalul ntregilor) i mai
mic dect c (cardinalul numerelor reale). Se tie c K. God el i P. Cohen
au obi nut rezultate remarcabi l e, refritoare la aceast probl em, ce au
marcat situaia din fundamentele matematicii; pri mul a demonstrat
29 1
consistena axi omei n cauz cu restul axiomel or teori ei mul i mi lor, cel
de-al doi l ea a demonstrat independena acestei axiome (am nurn it ipoteza
continuului) f de cel el al te axi ome al e teoriei mul i mi l or. Probl ema a
fst pus n urmtorul cadru: Gdel [ 1 ]-1 947 a reuit s arate c i poteza
continuul ui a lui Cantor nu poate f demonstrat pe baa axiomelor teoriei
frmal e a mul i mi l or; Cohen [ l ]-1 964, a artat n acel ai context
menionat c i poteza lui Cantor nu poate f i nfrmat. Am fcut refrire
la aceti doi autori di n dou motive: 1 ) amndoi au numel e l egat de dou
mari rezul tate ce au marcat destinul cercetrilor fundaionale ale
matematicii; 2) reprezint cel e dou fl osofi rival e ale matemati ci i -
platonismul i formalismul - acesta di n urm fi ind din punct de vedere
fi losofie de sorgi nte nomi nal i st i i nstrumental i st, curente adversare
realismului, a crui specie marcant este platonismul. Acum, fr s
detal iem concepia fndai onal a autori l or i nvocai, ne l i mitm s
spunem numai c pentru un pl atoni st, i Godel este poate cel mai
reprezentativ pentru aceast di recie fi l osofic, orientare di n fi l osofia
matemati ci i a secol ul ui XX, rezul tatul godel i an semni fica fptul c
axiomel e noastre sunt incompl ete pentru a ne ofri o descriere adecvat
a mulimii numerelor reale, regiune a realitii matematice; aceste axiome
nu ar f, n spi ri tul concepi ei gdel iene, sufi ci ent de puternice ca s ne
releve compl et ntregul adevr. Ipoteza continuului este sau adevrat
sau fl s, dar noi nu di spunem de o nelegere sati sfctoare a mul imi i
numerel or real e pentru a gsi rspunsul acestei probl eme, adic pentru a
putea deci de asupra statutul ui i potezei conti nuul ui , cunoscut i ca
problem a continuului a lui Cantor. Pentru alte detal i i a se vedea Godel
[ l ] i unel e observai i din expunerea noastr di n cap. 5. 3 . n ceea ce
l privete pe P. Cohen, el nsui a decl arat (Cohen [ 2, p. 1 3 ] ) c a al es
pozi i a formal i st, fi i nd puterni c i nfl uenat de A. Robi nson [ 2] ,
respingnd ntr-o frm sau alta orice frm de real i sm (pl atonism, cnd
ne refri m la matematic). S ami nti m c reprezentan i i fi l osofi ei
frmal iste a matemati ci i , i numi m cel puin pe A. Robinson i P. Cohen,
i revendi c rdci ni l e punctul ui lor de vedere fi l osofie ca fi ind aezate
n opera l ui D. Hi lbert, dei noi am i nut s remarcm speci fi cul di sti nct
292
al concepiei hi l bertiene. A. Robinson [2, p. 556] decl ar expres: Dup
cum o i ndic titl ul , poziia mea este n princi pi
sol i dar cu cea a l ui
Hi l bert i a col i i sal e. Am adugat anul 1 964, nu numai pentru c astzi
se tie (dar nu se tia n 1 925) c programul lui Hi lbert este sortit eecul ui ,
ci i pentru c actual ul tabl ou al bazelor matemati ci i a fst modi ficat de
ctre dezvoltri i mportante n alte di reci i, di frite de frmal i sm. Mai
vreau s adaug c nu pot subscrie l a nici una di n afirmai i le lui Hi lbert
pe acest trm. De fpt, intervenia mea nu trebui e pri vit nici ea ca o
descri ere a unei situai i i storice, ni ci ca un manifst care ncearc s
stabi leasc o l ege, ci mai degrab ca o confsi une, ca o confirmare a
unui punct de vedere personal , dobndi t dup un ndestul tor numr de
ani . Ct pri vete acest punct de vedere, nu preti nd nici adeziunea cu
fi del i tate l a vreo coal exi stent, ni ci nu- i revendi c statutul unei
original iti fndamentale". Aadar acest sort de frmalism contemporan,
dei solidar n principiu cu poziia hilbertian n flosofa matematicii,
nu se recl am ca apari nnd unei col i sau di reci i n fundamentel e
matemati ci i , fi i nd mai degrab un ansambl u quasi coerent de refeci i ,
credine inspirate de experiena n domeni u a autorul ui, avnd, cum spune
nsui Robi nson, statutul unei alegeri al crei resort" este de natur
empiric", ceea ce n i nterpretarea noastr are caracterul unei concepii
cu caracter pragmatic, ntr-un sens l i beral i zat de conotai i i stori ce;
receptiv l a rezultate tehnice", Robi nson decl ar c nu mprtete ni ci
un crez fi l osofi e. Pozi i a adoptat de A. Robi nson se bazeaz pe
urmtoarel e dou pri nci pi i : 1 ) mul i mi l e i nfini te nu exi st n nici un
sens al cuvntul ui (adi c nici n sens real , ni ci n sens ideal), orice refrire
sau al uzie l a mulimi le i nfnite este l ipsit de neles; dup cum se obser,
pozi ia l ui Robinson e di frit de cea hi lbertian, aceasta din urm lsnd
un loc i un statut pentru i nfi nit n partea ideal" a matematici i, aadar,
poziia l ui Robi nson f de infnitul matematic este una extrem, drastic,
contestndu-i orice l egi ti mitate ontol ogic, metodol ogic i poate chiar
epi stemol ogic; 2) a doua aseri une central a pozi i ei l ui A. Robi nson
ne pare a fi o atenuare a caracterul ui prea tranant a primei aseri uni i
pare a introduce infnitul pe ua din dos n matematic, cu toate acestea
291
vom conti nua s practicm matematica n mod obi nuit, adic vom
aciona ca i cum mul imi le infnite ar exista real mente". Primul princi pi u
are un caracter descriptiv, al doi l ea pare a f o prescripie demn de
urmat. Oricum, abordnd problema infnitului Robi nson atac n fpt o
problem care o subordoneaz, aceea a existenei n matematic, di rect
conexat fundaiilor ( axi ome l or, postu l ate l or) mat emat i c i i .
Nominalitii declar exi stena muli mii numerelor naturale drept o i l uzie,
n ti mp ce realitii platonicieni cred, n genere, n existena ideal a
eni t i l or matemat i ce, afi rm A. Robi nson, i ncl usi v n exi stena
muli mi lor transfnite de numere cardi nal e, ori ct de mari , n msura n
care el e pot f i ntroduse cu aj utorul unor axi ome adevrate". i continu,
autorul ci tat, cu aseri uni relevante pentru platoni sm dar i cu precizri
ce ar nuana concepia n cauz: pl atoni ci eni i cred n adevrul obiectiv
al teoremel or matematice deoarece cred n existena obiectiv a entitilor
matemati ce". Este meni onat Gdel , consi derat cel mai marcant
pl atoni ci an contemporan, pentru anal ogi a pe care acesta a rel evat-o
pri vi nd i nvesti garea obiectel or fzi ce i a cel or matematice, di n care a
extras o concl uzie care a ocat pe frmal i ti , i anume marel e l ogi cian al
secol ul ui nostru a decl arat c nu vede ni ci un motiv pentru a admite
existena obi ectiv a celor di nti i pentru a nega existena celor di n
urm. Robi nson decl ar c noi unea de clas particular de cinci
elemente, de exemplu, de cinci scaune, se prezi nt mi ni i noastre tot att
de l i mpede ca noiunea de el ement i zol at, un anumit scaun, prin aceasta
el se ndeprteaz de nominal iti i care real izeaz noiunea de i ndivi dual,
dar nu sunt capabi l i s o conceap pe cea de cl as. Vom nel ege mai
bi ne parti cul ariti le poziiei formaliste a lui A. Robinson, dac urmri m
acest pasaj di n studi ul di n 1 964: Pri n contrast, m simt absol ut i ncapabi l
s real izez i deea de mul ime infi nit real. Dup prerea mea, exi st o
prpasti e de netrecut ntre mul i mi l e sau structuri l e de unul , dou sau
ci nci el emente, pe de o parte, i structuri l e i nfi nite, pe de alta, ori mai
preci s, ntre termeni i care denoteaz muli mi sau structuri de unul , dou
sau cinci el emente i termeni i menii s denoteze muli mi sau structuri
al ctuite din el emente i nfi nit de numeroase. Aa cum e enunat ai ci ,
294
acest punct de vedere privete noi unea de infnit n teoria mul i mi l or
abstracte cu refrire speci al l a i nfnitul cardi nal . Totui , al te ti puri de
infini t pot fi semni fi cative pentru di scuia noastr, ndeosebi infinitul
ordinal, ca n teori a numerel or ordinal e, sau i nfi nitul din geometrie, cum
ar fi l ungi mea i nfi nit. Dei acestea pot f reduse pri n consi derente
matematice la infnitul cardinal , se poate aduce argumentul c, di n pounct
de vedere fi l osofe, i nfi ni tul ordinal sau i nfnitul geometric sunt mult
mai esenial e dect i nfi nitul cardi nal i permit nel egerea noiuni i de
i nfnit n toal itatea sa. Trebui e prin urmare s adaug c sunt de asemene
incapabi l s surprind i nfi nitul ordi nal sau i nfi ni tul geometri c. Rezul t
c trebui e s consider c o teori e care se refr la o mul i me i nfi nit este
l i psit de nel es n sensul c termeni i i propozi i i l e nu pot avea acea
coresponden cu o structur real pe care am aJepta s o aib n analogie
cu situai i le concrete (de pi l d empirice). Aceasta nu vrea s spun ns
c o asemenea teorie e absurd sau l i psit de semni fcai e". Iar n 1 969
scria: , Eu nu pot s- mi i maginez s m ntorc l a credoul platoni stul ui
autentic care vede l umea i nfi nitul ui actual desfurat n fa l ui i care
crede c poate nelege incomprehensibi l ul ". Ceea ce ne intereseaz ai ci
este mai cu seam refri rea l ui A. Robinson l a rezul atel e l ui Godel i
Cohen, rel evana l or set-teoretic, ca i l a i mpl icai i le l or fi l osofi ce.
Robi nson [ 2, p. 5 8 1 ] spune: n vreme ce acest l ucru sugereaz
frmal iti l or c ntreaga noiune de univers al muli mi l or e l i psit de
nel es (n sensul indi cat de pri nci pi ul nostru pri m), pl atoni cieni i conchid
numai c propozii i l e de baz i unani m acceptate ale universul ui de
mul i mi cunoscute nou, pn astzi sunt sufi ci ente pentru a rezol va
ntr-un fl sau al tul i poteza continuul ui . Ei vor meni ne afirmaia, att n
acest caz ct i n cel e si mi l are, c ori cum una di n alternati vel e avansate
de ei este corect, adic n concordan cu adevrul. Aj uni ai ci , au de
nfruntat probl ema dac n acest domeni u adevrul este sau nu cu
necesitate discernabil pentru gndi rea uman. Dup cte ti u, doar o
sl ab minoritate de matematicieni, chi ar di ntre cei cu vederi pl atoni ci ene,
accept i deea c pot e xi sta fapte mat emat i ce adevrate dar
i ncognosci bi le. Dac, di mpotriv, un pl atoni ci an susine c orice adevr
295
matemati c despre universul mul i mi l or sau despre o structur speci fi c,
este cu necesitate di scernabi l, atunci i se cere s-i anal izeze propri a sa
modal itate de a se exprima. n spe, trebui e s refecteze la ntrebarea
dac un adevr este di scernabi l numai dac va fi (cu neces itate)
discerabi l cndva, i l ucruri l e stnd aa, dac aceasta i mpl ic obl i gatoriu
descoperi rea unor noi supozi i i natural e sau a unor frme de
argumentare accept ab i l e pent r u t o i , sau pentru apr oape t o i
matemati ci eni i .
n
mod si mi lar, continuu! de numere reale constituie sursa conceptul ui de
infiniti mai nalte" (higher infnities). tim c n cadrul l ogi ci i de ordi nul
nti, anal iza i teoria mul i mi lor pot f axi omatizate n vederea produceri i
de demonstrai i adecvate, iar cel ebra teorem a l ui Lwenhei m-Skol em
ne asi gur de existena model el or numrabi l e. Dac urmm remarci l e l ui
H. Putnam [ l ] refritoare l a rel evana acestei teoreme pentru cel e trei
pozii i princi pal e asupra referinei i adevrului - poziia platonist
3 00
extrem care postul eaz puteri mentale nenaturale" de a surprinde"
frmel e, aici nelegere" sau surprindere
"
, este dup Putnam, o noiune
ireduct i bi l i de neexpi i cat; poziia vericaionist, care nlocui ete
noiunea de adevr cu noi unea de vericare sau demonstraie; poziia
moderat, realist, care ncearc s menin poziia central a noiuni lor
de adevr i referin, dar renun la postul area unor puteri mental e
nenaturale - constatm c teorema Lowenhei n-Skol em, mpreun cu
rezul tate din teoria model el or, afcteaz poziia realist moderat. Fr
s intrm aici n detal i i , expuse de al tfl i n alte paragraf, ne mul umi m
s spunem, refritor l a rel evana teoremei pentru frmal i sm, c ori cum
este i nevitabi l o problem filosofic, pl ecnd de la rezul tatul coninut
n teorem, i anume, c noiunea intuitiv de mulime nu este
capturat de si stemul frmal . Dac teori a axi omatic a mul i mi lor nu
captureaz noi unea i ntuitiv de mul ime, ce altceva ar putea s-o fc?"
Putnam conchi de c pare natural s ne gndim c ceea ce o capteaz este
ceva di frit - nel egerea" noastr. Platoni smul ar gsi rspunsul n
fptul c mi ntea are fculti mi sterioase de a surprinde", percepe"
obi ectel e matematice. Oricum, teorema poate f interpretat n sensul
limitrii puterii i autonomiei" formalului i n direcia unei poziii
realiste i chiar platoniste, care acrediteaz ceva transcendent", accesi bi l
unei fcul ti mentale mi sterioase.
* * *
Se apreciaz c 3 0% din numrul matematicieni lor sunt frmal iti,
pentru c n rnduri l e matematicieni lor activi care lucreaz creativ domin
pl atoni smul , o poziie real i st n domeni ul fndamentelor matemati ci i .
J. A. Di eudonne ( 1 970, p. 1 45 ) scria: Asupra fndamentelor domi n
platoni smul , o pozi i e real ist n domeni ul fndamentel or matemati ci i ;
noi credem n real itatea matematic, ns, desi gur, atunci cnd spunem:
matemati ca este exact o combi nai ei , de si mboluri o fcem pn ce
fl osofi ne atac cu paradoxuri l e lor i, apoi , noi fgim n spatel e
frmal ismul ui fr semnifcaie; apoi punem n scen capitolel e I i 2
asupra teoriei mul i mi lor. n fnal , suntem lsai n pace s mergem napoi
3 0 1
la matematica noastr pentru a o fce cum am fcut-o totdeauna, cu
senti mentul c fecare matematician l ucreaz cu ceva real . Acest senti
ment (senzaie) este probabi l o i l uzie, dar una fare convenabi l. Aceasta
este atitudi nea lui Bourbaki despre fundamente".
Dup Phi l ip J. Davi s i Reuben Hersh [ 1 , p. 342] , un moti v pentru
care formalismul a dominat n fndamentel e i fl osofi a matemati ci i s
ar datora conexi uni i lui cu pozitivismul logic, un curent domi nant n
fl osofia ti i nei n ani i 1 940-1 950. coala de l a Viena" (poziti vi ti i
l ogi ci ) a l ansat mani fstul unei ti i ne uni fcate, codi ficat n cal cul ul
l ogi c frmal bazat pe metoda deducti v. Ideal ul frmal i zri i tuturor
ti i nelor a fst obiectivul principal al acestui curent (vocabul ar de baz
al termeni l or, enunarea l egi l or fndamental e fl osind aceti termeni i
dezvoltarea l ogi c a teori ei pl ecnd de l a aceste l egi fndamental e);
mecanica clasi c i cea cuantic au ofri t primul exempl u de urmat de
cel el alte ti i ne. Teoria frmal este l egat, n concepia poziti vi ti lor,
de date experi mental e pri n i ntermedi ul aa- numi t el or regul i de
i nterpretare i care nu constitui e o pare component a teori ei fnnal e
(ex. de regul i de i nterpretare n mecanica cl asic: regul i de msurare
fi zi c a mri mi l or ca mas, l ungi me, t i mp etc. ) . Matemati ca este
considerat, n aceast vizi une, doar un i nstrument pentru frmularea i
dezvoltarea teori ei , legi le fndamental e aprnd ca frmul e matemati ce,
de exempl u: n mecani c n frma ecuai i l or fndamental e; prin apel l a
rai onamentul matemati c, porni nd de l a aceste l egi sunt deri vate
consecinele lor. Matematica nu este consi derat o ti i n propriu-zi s,
ea neavnd un subi ect speci fc; ea este numai , susin poziti vi ti i l ogi ci ,
o structur formal i pri n aceast aseri une, central, pozi ti vi smul l ogic
a dus n domeni ul fl osofei ti i nei l a aceast concepie speci fc despre
natura i statutul matemati ci i -formalismul.
Deoarece matematica este consi derat o ramur a cunoaterii, a
crei structur este cel mai bine aprofundat, se consi der c.flosofa
matematicii este cea mai avansat ramur a.flosofiei, i un model pentru
cel el al te domeni i ale fl osofiei . Filosofia anglo-american i dentifc
filosofa matematicii cu logica i studiul sistemelor formale. Stilul
3 02
formalist n matematic este i l ustrat de coala, grupul Nicolas Bourbaki,
despre care am spus cteva cuvi nte la nceput. S remarcm c exi st
reacii recente la formalism, ce vi n sub i mpactul rodni c al cercetri lor
matematice, care vi zeaz concretul i aplicabilul. Oricum, stilul formal
ist de a face matematica i gsete sursa n fl osofa frmal i st a
matematici i ; chi ar dac aceasta este marcat de l imite, i mpasuri sau chiar
eecuri , ul ti mul caz atunci cnd ea cunoate frme i variante extreme.
5. 1 O. PROBLEMA FUND
RI I ",
NCOTRO?
Pentru un flosof, cea mai provocati v" s ituaie di n fl osofa
actual a matemati ci i este aseri unea c fl osofa matemati ci i se af,
dup apreci erea l ui S. MacLane [ 1 ] , ntr-o stare de somnol en",
ncepnd cu anul 1 93 1 (teoremele lui Godel ) . Apreci erea lui S. MacLane
este susinut de unel e remarci ale l ui K. Godel [ 1 ], care au rel evat c
bogia de rezultate metamatematice nu a fst nsoit de anal ize flosofce
substani al e, sau de observaia l ui G. Kei sel [2] despre exi stena unei
asi metri i " ntre analizafilosofic i construcia matematic n teori a
fundamentel or matemat ici i : (vezi , de asemenea: A. Robi nson [ I ] ,
A. Mostowski [ I ] , [2] ) . Aceast stare a fl osofei este, oarecum, bi zar
i paradoxal, dac avem n vedere ce surs fcund pentru refeci a
fl osofc a constituit substana" teoremel or godel i ene: schi mbarea
vizi uni i noastre asupra naturi i i posi bi l i ti l or l ogi ci i i matemati ci i ,
asupra rai onal iti i umane, n general . Apar ca probl eme l egit i me
ntrebri l e: care este statutul flosofi ei l a ni vel ul actual al i nvesti gai i l or
fndai onal e ale matemati ci i ? Ce mai poate atepta, astzi , cercetarea
fundai onal a matemati ci i de l a fl osofe? Care sunt modal iti l e de
i mpl icare a flosofei n acest tip de cercetare? Dar, la fl de l egi ti m
este i ntrebarea: ce rel evan comport cercetarea fndaional pentru
potenarea anal i zei flosofce? Probl ema care urmeaz a fi cercetat este
dac relevana cercetri i fndai onale a matemati ci i nu ar excede l i mi tel e
domeni ul ui speci fi c al acestei ti i ne, pl ecnd de l a cteva premi se:
3 03
fnomenul matematizri i generale a ti i nei ; poziia si ngularsui generis
a matemati ci i n ansambl ul culturi i , n speci al ca matematic apl i cat, o
ti i n de un gen speci al , afat la grani a di ntre ti i nel e exacte, umani ste
i experi mentale, care fl osete metode i procedee, el aborate n fecare
di ntre aceste grupuri de ti i ne, aj unse la maturi tate teoreti c i
metodol ogi c; rezultate i sugesti i epi stemol ogice i metodol ogi ce ca
cele datorate l ui H. Weyl pri vi nd rol ul probl emelor di n ti i ne pentru
dezvoltarea matemati ci i (vezi i J. von Neumann [3 ] care anal i zeaz
probl ema rel evanei empi ri ce, a i nterpretri i fzi ce a matemati ci i , a
i nfzi ei de i dei empi ri ce mai mul t sau mai puin expl ici te); revoluia
calculatoarelor", n esen, impactul cal cul atoarelor asupra cunoateri i
matemati ce, care a generat probleme fl osofce serioase i grave, precum
anal i za demonstrai ei teoremei celor patru culori ( 4 CT), care constat
introducerea experi mentel or empi rice n matemati c. Deci , plecnd de
la aceste premi se care sugereaz o s ituaie conceptual -metodol ogi c
complex, n mare msur i nedit, pentru epistemologia matematicii
pure", suprasol icitat ca di mensiune a flosofei matemati ci i , pn acum
cteva deceni i , se poate frmul a un rspuns afrmativ l a ntrebarea, dac
cercetarea fndaional a matemati ci i servete unui demers si mi lar n
alte ti i ne. O rel evan paradigmatic", exempl ar" a cercetri i
fndai onal e a matematici i, pentru alte di sci pl i ne, matemat ice, eventual
soci al e i umane, este posi bi l i este medi at de matematica aplicat n
frma model elor lor. Noul context, apreci at fcund i promi tor, excede
epi stemol ogi ei matemati ci i pure, prsete poziia absolutist" static
structural axiomatic, fvorizat pn acum, i i nvestigheaz o tematic
di frit de cea abordat pn n prezent. n acest cadru, au rel evan
probleme ca cele refritoare la originea, evoluia (progresul ) i aplicaiile
matemati ci i i , n conseci n, l ocul studi ul ui structural al matemati ci i
pure" l i a studi ul dinamicii matematicii, al rol ul ui i semni fcai ei
aplicrii ei n ti i ne. Noua perspectiv de abordare are ca obiecti ve
centrale: statutul ontologic, epi stemologic i metodol ogi c al matemati ci i
apl i cate, deveni rea (progresul ) cunoater i i matemat i ce, i mpactul
cal cul atoarel or asupra matemat ici i . n real itate, este o perspecti v
304
freasc, subl iniat i de A. Mostowski, care afrma c elucidarea naturii
matematici nu revine matematicii, ci.filosofei", dar di n perspectiva unor
concepi i fl osofce care nu rup matematica de restul ti inei , ci in seam
de proveniena ei di n ti i nel e naturi i , de apl i carea ei, de l egturi l e ei cu
alte ti i ne, de istoria ei ".
Este evi dent c ampl oarea rel evanei cercetri i
fndai onale a matemati ci i acoper i , ,geata implicaiei spre.filosofie",
adic anal iza fl osofc se apl i c unei substane'fcunde subi acent
demersul ui fndai onal pe care urmeaz s-o expl i ce, s-o comenteze.
Regi strul" ofrit de matematica pur" este acum compl etat cu o
temati c ce vi zeaz progresul matemat i ci i , matemati ca aplicat i
semnificaiile impactului calculatoarelor as upra matemati c i i , al e
interaciunii matematicii pure cu matematica aplicat.
n ceea ce privete prima sgeat, i anume, problema obi ectiv
princi pal" a studi ul ui, implicarea filosofiei n cercetarea fundaional,
atitudi nea noastr este frmulat ca o pledoarie n fvoarea competenei
fl osofei n i nvestiga i i l e fndai onal e. n opi ni a noastr, piatra de
ncercare" a acestei competene fuctuoase, efciente, o reprezint the
problem offoundation. Din perspectiva static-structural care a dat seam,
n principal, de modul de gndire matematic deductiv-axiomatic, ce s-a
constituit ca o tradiie a flosofei matematici i pure", prin contri bui i l e
remarcabi l e al e congreselor i nteraionale de Logi c, Metodol ogi e i
Fi losofe a ti i nei - Kni gsberg ( 1 93 1 ), Stanfrd ( 1 960) i cel e ulterioare
- i care au abordat o tematic speci fc mari lor programe fndaioniste
( l ogi ci smul , frmal i smul, i ntui i oni smul ), problema fundrii a fst
confuntat cu di fculti insurmontabi le. Eecul programul ui hi l berian -
demonstraia fnitist-metamatematic a consistenei matemati ci i cl asice
program condensat n frmul a s mutm odat pentru totdeauna
fndamentele matemati cii n interiorul matematici i", a marcat incapacitatea
abordr i i s i ntact i ce, i ntern- mat emat i ce a problemei fundri i .
Fundai onal ismul a fst prsit, interesul cercettori lor ndreptndu-se
nu spre studi ul programelor fndai oni ste, ci spre probl ematica apl icri i
matematicii, a modalitilor matematizrii difritelor discipline, a evoluiei
teori i lor i programelor n cunoaterea matemati ci i , a calculatoarelor, en
305
vogue: rol ul i l i mitele matematizri i ti inei (vezi Congrese 1 975, 1 978,
1 979, 1 983). S-a considrat l egitim abandonarea complet a problemei
fndri i matemati ci i . Fundamentel e nceteaz de a mai f metafra
potrivit" (Quine); idei asemntoare susin N. Marin [ l ] i I . Lakatos
[2] .
E
ecul fndaionalismului, n fra l ui tare", ca fral ism hi lbertian,
a avut ns mai curnd o semnifcaie care argumentea menirea fl osofei
n cercetarea fndaional a matemati ci i i anume, a i ndi cat l imitel e
cercetri i pur matematice" al e temei uri lor cunoateri i matemati ce,
insufci ena instrumentelor frmal e al e matematici i n abordarea problemei
fndri i ; aceast si tuai e epi stemol ogi c-metodol ogi c argumenteaz
rel evant o aseriune citat, deja, a lui S. Kripke [ 1 ] : Nu exist un substitut
matematic pentru fl osofe". Nici n celelalte programe fndaioniste -
logicismul i intuiionismul - destinul problemei fundrii nu a fost mai
fericit (bun): logicismul este primul curent n fl osofa matemati ci i , care a
i niiat stdi ul modem al fndamentelor matemati ci i , dar el nu i-a real i zat
i ntenia sa originar, ntemeierea (fndarea) matematici i prin reducerea ei
l a logic; intuiionismul - o fl osofe a matematici i profnd i original,
a continuat concepia unor matemati cieni ca Konecker, Wei erstrass,
Lebesque, Barei, Poincare, iar flosofe se revendic, ca i frmal i smul ,
di n kanti ani sm i este eseni al mente reducti bi l l a mentalism" i
metafizic' ' (H. B. Curr [ 1 ] ). El a ofrit o baz ontologic i metodologic
insufcient pentru problema fundrii, pentru construirea i justifcarea
matematici i ; este o flosofe incapabi l s ofre o structur care s se
substituie matematici i cl asice.
Eecur i l e funda i onal i smu l ui , n i postaze l e l ogi ci s mul ui ,
frmal i smul ui i i ntui i oni s mul ui nu au fst i nterpretate corect,
semni fcaia l or general a fst pus n servici ul concl uzi ei c, o fundare
filosofic a matemati ci i , dac nu este i mpos i bi l , rmne, ori cum,
i r el evant. Rezul tatel e gdel i ene a cror semni fi ca i e l ogi c,
epi stemol ogi c este, cum am mai afrmat, o schimbare profund de
viziune asupra raionalitii umane, concluzia frmulat de Kripke l a
anal iza valori i i l i mitel or cercetri i pur matematice a problemei fndri i,
ca i aseri unea lui Mostowski (el ucidarea naturi i matemati ci i apari ne
306
fi losofi ei i nu matemati ci i ), argumenteaz ideea cfundareajilus
q
fc
a matematici i rmne fscinant i provocatoare.
Pentru a contura statutul fl osofi ei , ca o component a cercetri i
fndai onal e a matemati ci i , ca i modal iti l e ei de i mpl icare n acest
demers, este necesar s- l descriem sumar.
Cercetarea fndaional a matemati ci i reprezint o cunoatere de
ordinul doi, care se exercit asupra matematici i preexistente i are ca
probl eme speci fi ce: uni fi carea l i mbaj u l u i teori i l or matemat i ce;
reconstruc i a concepte l or i teor i i l or matemat i ce; exp l i ci tarea
presupoziii lor sistemelor matematice, frmularea exact a tipuri l or de
rai onament i a construci i l or matemati ce i ntui ti ve; i denti fi carea
anteri oriti i " teoreti ce i fl osofi ce a di fri tel or structuri i teori i
matematice, stabi l i rea rel ai i l or intereoretice, defni rea ri guroas a
; l I apud O. Becker [ I ] .
DUMETT, M.
[ l ] : Platonism, I 967, i n, Truth and other Enigmas, Harvard Uni versity, Press,
Cambridge, Mass. 1 978.
ERDMANN, B.
[ I ] : The Axioms ofGeometr, 1 877.
3 1 9
EUCLI D
[ l ] : Elementele.
FRAENKIAN, A.
[ l ] : ci tat n Filosofia greac pn la Platon, vo i . I, Edi tura ti i n i fi c i
Enciclopedic, Bucureti, 1 979.
FRGE, G.
[ I ] : Foundations ofArithmetic, translated by J. L. Austin, Oxford, 1 950.
GENTZEN, G.
[ I ] : The Consistency of el ementary Number The ory, i n Co l l ected
Papers, North. Hol l and, Publ . Co. Amsterdam, London, 1 969.
GONSETH, F.
[ I ] : Despre metodologia cercetrilor n fundamentele matematicii, n logica
tiinei, Editura Pol itic, Bucureti, 1 970.
[2] : Commentfonder une discipline exacte, n Di alectica'', nr. 2/ 1 966.
GOODMAN, N. D.
[ 1 ] : Mathematics as an objective Science, in The American Mathemati ci al Monthly
7/ l 979.
GOODMAN, N.
[ 1 ] : A World ofindividuals in Copi, J. M. ad Gould. J. A. (eds. ) Contemporary
Readings in logica/ Theory, Mac Mi l lan Compay, New York, 1 967.
[2) : Problems and Projects, lndianopol is: Hacktt, 1 978.
[3 ] : The Structure of Appearance, Harvard U niversity Press 1 95 I .
G
O
DEL, K.
[ l ]: Ce este problema continuumului a lui Cantor? n Epistemologie - Orientri
contemporane, Editura Pol itic Bucureti, 1 974.
[2] : Russel l ' s mathematical Logic n Benacerraf, P. and Putnam, H. (eds. ), Phi
losophy ofMathematics, Prentice Hal ! , 1 964.
[3] :
O
ber eine noch nicht beniitzte Ereiterung des fniten Standpunktes, n
Di al ectica'', 12 ( 1 958).
HATCHER, W. S.
[ 1 ] : The Logica/ Foundations of Mathematics, Pergamon Press, Oxfrd, New
York, Toronto, Si dney, Paris, Frankfrt, 1 982.
HEATH, TH.
[ 1 ] : Histor of Creek Mathematics, 2 voi . Oxfrd, 1 92 1 .
[2] : Mathematics in Aristotle, Oxfrd, 1 949.
HELMHOLTZ, H. VON
[ 1 ] : On the Origin and Signiicance of Geometrica/ Axioms, i n
O
ber Geometrie,
Darmstadt, Wissenschafliche, Buchgesesel l schaf, 1 968.
HEMPEL, C. G.
[ I ] : On the st andard Concept i on of Sci ent ific Theories, i n Rader,
M. and Winokur, S. : Minnesota Studies in the Philosophy ofScience, I V,
menionat pentru opinia sa opus celei a l ui P. Suppes.
320
[2] : Geometr and Empirica/ Science, in The American Mathematicaf Monthly,
voi . 52 ( 1 946).
HENKlN, L.
[ I ] : Mathemati cal Fo undat i ons for Mat hemat ics, i n The Ame rican
mathematical Monthly, 5 ( 1 97 l ).
[2] : Nominalistic Analysis ofmathematical Language, n Logic, Methodol ogy
and Phil osophy of Sci ence, Standfrd Uni versity Press, Cal i frnia, 1 962,
(eds. ) Nagel, E. , Suppes, P. , Tarski, A.
HEYTING, A.
[ 1 ] : Some Remark on Intituitionism, in Constructivit i n Mathematics, North
Hol land, Amsterdam, I 954.
[2] : The Intuitionist Foundations ofMathematics, i n Benacerraf, P. and Putnam,
H. (eds. ) [ 1 ] , Philosophy of Mathematics, Prentice Hal i , 1 964.
[3 ] : After Thirt Years, i n Logic, Methodolog and Philosophy ofScience, edi ted
by Ernest Nagel , Partick Suppes, Al fed Tarski , Stanfrd Uni versity Press,
Copyright, 1 962.
HILBERT, D.
[l ] : Gndirea aiomatic, n voi . Logic i filosofie, E. P, Bucureti, 1 966.
HI LBERT, D. i BERNAYS, P.
[2] : Grundlagen der Mathematik, voi . 1 , Berlin, 1 934.
[3 ] : On the Infinite in Benacerraf, P and Putnam, H. ( eds. ) [ I ] P hilosophy of
Mathematics, Prentice Hal i, 1 964; referiri le sunt date i dup O. Becker [ l ] .
HINTl KKA, J.
[ I ] : Time and Necessit, i n Aristotle ' Theor of Modalit, Oxfrd Cl arendon,
Press, 1 973.
[2] : Despre ingredienii unei tiine aristotelice, n Revista de referate, recenzii i
sinteze, 3/ 1 973, CIDSP
[3] : Adevr informaie i inferen, n Epistemologie. Orientri contemporane,
Editura Pol i tic, Bucureti, 1 974.
[4] : Kant on the Mathematical Method, The Monist, 52, p. 3 52-3 75.
HUME, D.
[ 1 ] : A Treatise of Human Nature, 1 739- 1 740.
HUSSERL, E.
[ 1 ] : logicische Untersuchungen, Ma N iemeyer, Hal le, 1 9 1 3 .
[2] : Die idee der Phnomenologie, 2, Aufl . , n Husserliana, Band I 1 , M. Nijhof,
Den Haag, 1 958.
IAMBLICHOS
[ l ] : Comentariu la aritmetica lui Nicomachos (apud O. Becker [ l ]) .
JACKON, M.
[ 1 ] : On Plato ' Late Theor of Ide as.
3 2 1
KALMAR, L.
[ 1 ] : On the Role ofsecond Order Theories, i n Lakatos, I . (eds) [ I ] .
KANT, I MM.
[ I ] : Prolegomene, Editura ti i ni fc i Enci cl opedic, Bucureti, 1 969.
[2] : Critica raiunii pure, Editura tiinifc, Bucureti, 1 969.
[3 ] : Critica puterii de judecat, Edi tura ti i ni fi c i Encicl opedic, Bucu
reti, 1 984.
[4] : Gedanken von der wahren Schtzung der lebendigen Krfte, 1 746.
[5] : On the Form and the Principles ofthe sensible and inteligible World, 1 770,
second edi ti on.
[6] : Kants gesammelte Schrien, Berl i n, 1 920 (apud Torretti, R. [ 1 ]).
KLEENE, S. C.
[ 1 ] : /ntroduction to Methamatematics, North Hol l and Publ . Co. 1 97 1 .
KLEIN, J .
[ l ] : Die Griechische logistik und die Entstehung der Algebra, Quel l en u Studien
z. Gesch. der Mathematik, voi. 3 ( 1 934).
KNEALE, W. C.
[ 1 ] : Priori{ i n Use of Reductio ad Absurdum, i n Lakatos, I [ 1 ] .
KNEALE, W. i M.
[ I ] : Dezvoltarea logicii, voi . I, Editura Dacia, Cl uj-Napoca, 1 974, voi . I I , 1 975.
K
O
RNER, S.
[ 1 ] : Introducere nflosofa matematicii, Editura ti inifc, Bucureti, 1 965.
KRISEL, G.
[ I ] : ProofTheor, I, II, n Journal ofSymbolic logic, 3 1 1 968.
[2] : Perspectives in the Philosophy of pure Mathematics, i n Logic, Methodolog
and Philosophy of Science, IV, Bucureti, 1 97 1 .
[3 ] : Hilbert ' Programme. in Benaceraf, P and Putnam, H. ( eds. ) [ 1 ] .
KRIPKE, S.
[ I ] : Substantial Quantifcation, i n G. Evans, J. McDowel l (eds. ) Meaning and
Truth", London, Oxford, 1 976.
LAKATOS, I.
[ 1 ] : Problems in the Philosophy of Mathematics, North Hol l and Publ. Co
Amsterdam, Londra, 1 972.
[2] : Mathematics, Science and Epistemolog Philosofcal Papers, voi. 2, Cam
bridge Uni versity Press, Londra New York, Melbourne, 1 978.
LEAR, J.
[ 1 ] : Aristotle ' Philosophy of Mathematics, n " The Philosophical Review",
Apri l , 1 982.
LEIBNIZ, G. W.
[ 1 ] : Die Philosophischen Schnften von G. W Lei bniz, ( a pud Kneal e
W. i M. [ l ] ).
322
[2) : Opuscules et fragments inedits de Leibniz, ed. L. Couturat, Pari s, Alcan,
1 900.
[ 3] : New Essays concerning human Understanding, A. G. Langel ey, New
York, 1 896.
[4) : Monadologia, i n Lei bn i z, Opere fi losofice, I, Ed i t ur a t i i n i fi c,
Bucureti, 1 972.
[ 5) : De Scientia Universalis seu Calcula Philosophico, ed. Latta, Oxfrd, 1 898,
apud Korner [ I ] .
[ 6) : Principles ofNatu re and Grace founded an Reason, ed. Latta (a pud Komer [ I ] ).
LEMMON, E. J.
[ I ] : lntroduction to aiomatic Set Theor, London, Roul edge and K. Paul Ltd. ,
1 964.
LOCKE, J.
[ I ) : Eseu asupra intelectului omenesc, Edi tura ti inifc Bucureti , 1 96 1 .
LUCAS, J . R.
[ I ] : Plato and the aiomatic Method, i n Lakatos, f. (ed. ) [ l ] .
MacLANE, S.
[ I ] : Mat hemat i cal Models: A. Sketch for the Phi losophy of Mat he
matics, i n American Mathematical Monthly, 86/ 1 98 1 , Nr. 7.
MADDY, P.
[ I ) : Sets and Numbers, i n Nus , 1 98 1 .
MARTIN, N.
[ I ] : Mathematics and F oundations, n K. Lorenz ( Hrsg), Konstruktionen versus
Positi onen, Band I, Berlin, New York, W. de Gruyter, 1 979.
MARTIN, R. M.
[ I ] : Pragmatics, Truth and Language, Boston Studies i n the Phi l osophy of Sci
ence, voi . 38, D. Rei del Publ . Co. , Dordrecht, Hol l and.
MEHLBERG, H.
[ I ) : The present Situation i n the Philosophy of Mathematics, i n B. H. Kazcmci r
I D. Vuysje (eds. ): Logic and Language, , 1 962, D. Reidcl Publ . ( ' o. ,
Dordrecht, Hollad.
MILL, J. S.
[ I ) : A System ofLogic, London, 1 843.
MOSTOWSKI, A.
[ I ] : Stadiul actual al cercetrilor n fundamentele matematicii, n voi . /,og1r 1
Filosofia, Editura Pol iti c, Bucureti, 1 966.
[2] : Thirt Years of foundational Studies, Bl ackwel l, Oxfrd, 1 966.
NAGEL, E. i NEWMAN J.
[ I ] : Godel ' Proof i n I . M. Cop i A. J. Gould [ I ] .
323
NASTA, M.
[l ] : Note la Pythagoras, n Filosofia greac pn la Platon, voi . I, partea a 2-a. ,
Editura tii ni fc i Enci clopedi c, Bucureti, 1 979.
NEUMANN, J . VON.
[ l ] : The F oundations ofMathematics, i n Benacerraf, P. and Putnam, H. ( eds. )
[ 1 ] .
[2] : Zur Hilbertschen Beweistheorie, in J. von Neumann: Collected work, Ox
frd, London, New York, Paris, Pergamon Press, voi. I, 1 96 1 .
[ 3] : The Mathematician, i n J. von Neumann, i n Col lected works, Oxford, Lon
don, New York, Paris, Pergamon Press, voi. I, 1 96 l .
NEWTON, I .
[ l ] : Optica, Quer, 3 I .
[2] : ( l 71 3) : Principiile matematice ale filosofiei naturale, Edi tura Acade-mi ei ,
Bucureti , 1 956.
(Referine bi bl i ografice apud Lakatos, I. [2]).
PARSONS, CH.
[ 1 ] : Mathematical lntuition, Meeting of the Aristotelian Societ, March 1 7, 1 980.
[2] : Kant s Philosophy ofAritmetic, i n S. Morgenbesser, P Suppes and M. Whi te
(eds. ) Philosophy, Science and Method- Essays in honour ofErnest Nagel,
S. Martnis' s Press, New York, 1 969.
PASCAL, B,
[ 1 ] : De / 'esprit geometrique et de I 'art de persuader 1 658.
PRVU, I.
[ l ] : Infinitul i infinitatea lumii, Editura Pol i tic, Bucureti, 1 985.
[2] : Existen i realitate n tiin i filosofie, E. P, Bucureti, 1 974.
PATZIG
[ l ]: Silogistica aristotelic, Edi tura tiini fc, Bucureti, 1 970.
PIAGET, J.
[ l ] :