Documente Academic
Documente Profesional
Documente Cultură
FILOSOFIA MATEMATICII
De acelai autor:
Filosofia i fundamentele matemati cii, Editura Academ iei Romne,
Bucureti, 1 982.
Tratatul Teoria cunoaterii tiinifice, (cap. 8), Ed itura Academiei
Romne, Bucureti, 1 982. (Premi u l Academ iei Simon Bmuiu")
Filosofia matematicii, Editura Un iversitii d i n Bucureti, 1 995 .
Existen i adevr n matematic, Editura Univers itii din Bucu
reti, 1 996.
L. Wittgenstein , anti.filosof al matematicii?, Ed itura Un iversiti i din
Bucureti, 1 996.
Construcia axiomatic a matematicii, Editura Academ iei Romne,
Bucureti, 1 998.
Introducere n filosofie, Ed itura P ro Humanitate, Bucureti, 2000.
Sens i adevr, antologie de texte traduse i comentate n colaborare
cu George Lzroiu, Editura Institutului Humanus, Bucureti, 200 I.
MARIN TURLEA
'
FILOSOFIA
MATEMATICII
E-mail: editura@unibuc.ro
Internet: www.editura.unibuc.ro
Silviei,
Cu sentimente alese i
profund gratitudine
CUPRINS
CHAPTER I
13
17
31
CHAPTER II
37
57
63
70
2.5. The Genesis and the Natura of the Number in Pythagora's view . . . . . . . .
75
83
95
106
1 17
128
CHAPTER
11 1
135
14 1
145
Universalis" Programme . . . . . . . . . . . . . . . . . . . . . . . . . .
15 1
154
(Scientia universalis);
Mathesis universalis. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
158
163
3.8. Leibniz about theNature ofMathematics: Reason's Truths and Fact's Truths
168
CHAPTERIV
172
177
189
195
200
. . . . . . . . . . . . . . . . . . . . . .. . . . . . . .. .. . . . . . . .
207
CHAP TER V
223
5.2. The Problem of Universals; Platonism and Nominalism; The logicolinguistical and epistemologica! Approach . . . . . . . . . . . . . . . . . . . . . . .
228
235
25 l
. . . . . . .. . . .
259
.
272
28I
283
286
of Foundation?. . . . . . . . . . . . . . . . . . . . . . . . .
303
Bibliography. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3I7
C A PI T O LU L I
13
I7
3I
CAP I T O L U L I I
37
57
63
2 . 4 . Matematismul pitagoreic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
70
75
83
95
I06
I 17
128
C A P IT OLUL I II
. . . . . .. . . . . . .. . . . . . . . . . ..
135
141
145
151
. . . . . . . . . . . . .
154
universalis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
158
.. . . . ... . . . .. . . . . . . . . . . .. . . . . . . .. . . . . .
163
. . .. . .. . . . ... . . . .. . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . .
168
CAPI TOLUL V
I
172
177
189
195
200
207
CAPI TOLULV
10
223
228
235
25 1
259
272
281
283
286
303
Bibliografie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
317
CAPITOLUL I
'
14
ari stotel ice, un dom eniu a l t i i nei pure. i cum fi losofu l grec a avut
n vedere ti i na fiz i c, p r i nc i p i i le ace ste i a, se exp l i c uor att
d e s i gnaia term en u l u i metafizica", care, ch i ar d i n anti c h i tate, a
n locuit pe cel de , jilosofia prim ", ct i legit i m i tatea i succesu l
carierei, trad iiei, pe care a fcut- o .
Trad iia term en u l u i meta.fizic" inaugurat printr-un program
care i n iial desemna un domeniu de cercetare a principii lor tiinei,
marcheaz, n sens aristotel ic, o ngustare a sem n ificaiei, cci nseamn
numai o investigai e a princi p i i lor fizicii, ca, u lterior, s revin, pri n
exte n s i e, la ac c e p i a i n i i a l : Metafizica morav urilor" (Kant),
Metafizica matematicii" (Gauss), Me tafizi qa calculului infinitezimal"
(Cournot) . Dar, n perioade mai recente, termenul metafizic" a fost
ntrebuinat pentru a desem na o teorie a suprasensibilului, ceea ce a
reab i l itat sensul i niial, dac avem n vedere c Platon i Ari stotel s ituau
princ i p i i le Sens ibilului" n sfera Suprasensibilului". n ceea ce i
privete pe membri i Cercului de la Viena" ei au acordat termenul u i
metafizic" o sem nificaie exclusiv peiorativ i, anume, a r desemna
doctrine fr semn ificaie tiinific".
Dac este evident c, de altfel, cunoaterea ti inific este produs
prin intermed i u l i nferenei logi ce, pornind de l a principii ireductibi le,
atunci problema care rmne de rezo lvat este aceasta: de unde procur
oamen i i aceste principii? Ari stote l era conv ins c aceste principii se
obin printr-o viziune intuitiv, ce i are originea n inducia bazat pe
percepia senzorial; o doctri n, noteaz Beth [ I ], ce are un interesant
fundament teologico-antropologic. Urmnd, n general, anal izele lui Beth
[ 1, p. 34 ], demersul aristotelic este acesta: fenomenele perceptibi le sunt
man ifestri ale rai un i i cosmice ( Nous ) cu care este nrud it m intea
um an, aceasta din urm fiind condus de la percepiile senzoriale la
cunoaterea cauzelor ascunse n spatele lor, tipul acesta de inducie
ducnd n final la v iziunea intuitiv a principii lor. Doctrina aristote l i c
a ti i nei n u considera c principii le ti inei cer o investigare sistematic,
fi ind suficient n umai o i nspecie sumar a fenomenelor perceptibile i,
15
mai m ult, fi losoful profesion ist nu are un ro l privi legiat n cadrul acestei
activiti de cunoatere, el procednd mai m u lt doxografic, un obicei al
peripateticieni lor, adm irab i l i lustrat de nsui Aristotel .
O serie d e interprei a i operei ari stotel ice identi fic analog i i ntre
teoria ari stotelic a tri inei i doctrinele m i stice, metafizi ca lui Aristotel
const itu ind o iniiere i ntelectual, contraparte a i n iierilor din c u ltele
m i steri i l or, care l e l i bereaz pe om de permanenta u l u ire n faa u n u i
destin i nconstant, oferindu- i o exp l icaie defin itiv i irevocab i l a
experienelor sale (Cf. Beth [ I] ) . M etafizica, cont inu autoru l o landez,
ca o t i in a p r i nc i p i i l or, ne o fer p r i ntr-o exp l i c a i e s i m i l ar
nel epci unea suprem i fericirea, o m u l este i n iiat n m i stere le v iei i
i obine nemurirea. Conform doctr i n e i l u i P l aton i a l u i Ari stotel [2]
omul trebu i e s fi e aruncat n perplexitate n scopul de a p utea obine
viziunea intuitiv a princ i p i i lor, tot aa cum n m isteri i le antice o m u l
trebu i a s sufere o moarte ritual pentru a accede l a v iaa etern.
Metafi z i c a era c o n s i d e rat i n acce s i b i l n v mn t u l u i p u b l i c ,
metafizician u l era u n o m i n i i at n m i sterel e exi stene i , d i spunnd d e
cheia enigmei v iei i, conchi de Beth [I] . Demonstraia sau analiza logic
se puteau nva, i un maestru accepta s- l nvee pe nvcel acestea,
dar refuza abordarea inteligibilului" pe calea contemplai i lor imediate,
d i sti ngndu-se aici ferm ntre e lem entu l (aspectu l) d i dactic, profan i
cel in i iatic, o dovad c chiar d i n ant i chitate a fost contientizat
analogia d intre metafizic i misticism.
Am i l ustrat nevoia contientizrii ce lor dou tipuri de fundam ente istorice i filosofice - fcnd o scurt incurs iune n opera l u i Aristotel,
poate prin contrast cu supral icitarea mai recent a operei lui Kant. Desigur,
n l imitele analizei fireti am fcut referiri la platonism i mai vagi l a
pitagoreism, cu un caracter mai mult implicit, n vederea conturri i teoriei
aristotel ice a tiinei care este, probabi l, prima doctrin articulat coerent
nu numai gnoseologic ci i metodologic, pri semnificative ale ei fiind
astzi preluate intact. Dar noi contientizm c aici am oferit doar o ilustrare
a acestei abordri pe un caz, ce urmeaz s fie explicitat i detailat u lte
rior, completat cu expunerea altor doctrine filosofi ce cu rezonane istorice.
16
CERCETAREA FUNDATIONAL
A MATEMATICII: FUNDAMENTELE MATEMATICII
I FILOSOFIA MATEMATICII
1 .2.
'
fundamente lor matem ati c i i i anume: expl i cai i ale unor concepte
fundaionale, ca de exem plu conceptu l Cantor-Frege- Russell de numr
cardinal", conceptu l de deductibilitate" n calcu lul de predicate de ordin
inferior, conceptu l de calculabilitate ", conceptu l de adevr". Exi st,
ns, o c las de subiecte care au relevan pentru filosofia matematic i i :
iraionalitatea lui J2 , transcendena lui n, exi stena geometrii/or
neeuclideene, fundamentele calculului diferenional i integral, natura
conceptelor topologice i categoriale, aplicarea legilor lui Kepler la
universul fizic. n fine, exist o cl as de probleme care vizeaz natura
entitilor matematice, care prin exce len constituie nucleul filosofiei
matematicii, cmpul de confruntare al celor mai infl uente i de prestigiu
coli i curente fi losofice: logicismul, formalismul, intuiionismul,
empirismul logic. Prin urmare, n sens larg, ansamblul problematic expus
ine de componena fundamentelor matematic i i ; dar, n sens riguros,
identificm probleme specifice filosofiei matematicii- este cazul claselor
A) i B) d in l i sta lui Mostowski i mai cu seam clasa de probleme ce
vizeaz natura entiti lor matematice, d i n l i sta lui A. Robinson. Trebuie
notat c aceast u lt i m c l as de pro b l e m e conecteaz cercetarea
fundaional a matematici i de fi losofia general, sau specu lativ, cum
mai este numit de uni i autori.
Dar s revenim la grupul problematic, invocat ceva mai nainte, care
ne aj ut s trasm distincia d i ntre fundamentele matematicii i filosofia
matematicii, d in care am exam inat numai problemaobiectului (sau a tipului
de probleme) al acestor domeni i . S lsm pentru mai trziu problema
structurii (profi lului) acestor domeni i fundaionale i s spunem cteva
lucruri despre ultimele dou probleme: cea aperspectivelor, modaliti lor
de abordare a chestiuni lor fundaionale i cea referitoare la rezultatele pe
care munca fundaional le-a realizat n fundamentele matematicii i
filosofia matematicii, a relaiei d intre aceste rezultate. Spunem c doar
vom creiona aceste aspecte, deoarece aceste probleme revin, sunt atacate
i cu ocazia investigrii structuri i acestor disc ip l ine-componente ale
cercetrii fundaionale. Concret, n lucrarea noastr (urlea [ 1 ]), am distins
dou metode-modal iti, perspective de abordare inerente acestor dou
22
25
29
'
CAP I TO L U L l i
acestui text ari stote l ic dificil a fost formulat cum unn eaz: Dac n
j urul un itii se aeaz, ca gnom on i, n umerele im pare succesive, numrul
care rezu lt este ptrat ic; dac d i n contr, numerele pare se aeaz
mprejur tot ca gnomon i, rezu lt s i m ple numere oblonge i de forme
neegale; n ici unul di ntre ele nu este ns un numr nm ulit cu el nsui".
Un comentari u . s intetic reine particularitatea c producerea ptratelor
este asi gurat ca sum de numere impare, pe cnd producerea numerelor
de form a n(n + I )" are loc ca sum de numere pare; ptratele sunt
asemenea ntre ele, dreptunghiuri le nu . Demonstraia i mposibil itii de
a exprima n numere ntregi raportul dintre rdcina ptrat a l u i 2 i
unitate era cunoscut pitagorei lor aproximativ la m ij locul secolului a l
V-lea .e.n.
ntre problemele matem aticii e l ine cu efecte n planul matematici i ,
dar i n plan filosofie, figureaz n mod specific: problema cvadraturii
cercului, conceptele de infinitate i continuitate, paradoxele lui Zenon,
teoria proporiilor i fundamentarea axiomatic a matematic i i greceti.
Prob lema cvadraturii cercului. Dei Eudoxos este cel c are
form uleaz, probabi l , primul cele dou axiome ale msuri i - msura
multiplicativ" i cea diviziv", Antifon este cel care n secol u l al
V-lea le-a aplicat la problema cvadraturii cercului. Datorm lui Simplicius
infonnai i referitoare la aceast problem: Antifon a constru it ns un
cerc i a nscris un pol i gon nuntru l cercului, unul din acele pol igoane
i nscripti bi le. Fie pol igon u l nscri s, de pi ld, un ptrat. Gsind apo i
m ij l ocu l fiecrei laturi a ptratului, el a dus drepte perpend icu lare din
aceste puncte pn la arcul cercului care, evident, au m prit, respectiv,
fiecare segment de cerc n dou pri egale. Unind prin drepte punctel e
d e diviziune a l e arcelor d e cerc cu vrfurile ptratu lui, a u aprut patru
triungh iuri, astfel c ntreaga figur nscris n cerc a devenit octogon.
m prind pri n acelai procedeu n dou pri egale fiecare latur a
octogonu lui, ducnd perpendiculare d in punctele de d iv iziune ale laturilor
pn la circumferin i u nind punctel e de d i v iziune ale arcelor cu
extrem iti le segmentelor m prite, el a transformat pol igonul nscris
ntr-un poli gon cu 1 6 laturi. mprind iari laturile acestui pol igon n
40
41
43
pot fi n contact. Contactu l are loc ntre ntreg i ntreg sau ntre parte i
parte, s a u ntre o parte i un ntreg, oricum indivizi b i l u l nu posed pri,
ntregul poate fi n contact cu alt ntreg; dac, ns, u n ntreg este n
contact cu alt ntreg, atunci nu se const itu ie un continuu, cc i continuu!
conine pri diferite ntre ele i este divizat n pri separate n acest
sens i separate ca loc". Punctu l, ca i cl i pa, nu pot fi consecutive altora,
astfel nct s alctuiasc o lungime sau un timp, deoarece nu satisfac
cerina ca ntre ele s nu exi ste i ntermedi ar; n real itate, ntre puncte
exist o l i nie, iar ntre cl i pe este ntotdeauna un timp. Dac adm item c
o l in ie i un tim p (durata) pot fi d ivizate n pri l e lor componente, apoi
fiecare dintre acestea dou ar fi mprite n indivizibile. Dar, deja am
constatat c continuuul nu este d i v izi b i l n pri fr com ponente
(= indivizibi le), iar punctele i cl i pe le nu pot avea ntre e le ceva d i ferit
de ele; n cazul n care ar exi sta un i ntermed iar, sunt dou pos i b i l iti ca
s fie sau ceva indivizibil, sau ceva divizibil, iar n cazu l al doi lea, ar
trebuie s fie mprit fie n indivizibi le, fie n d i v izib i l e la infinit (s.n. n
text) . Ari stotel conch ide c tocmai acest din urm caz este continuu!:
Este evident c orice continuu este d ivizibil la infinit; dac ar fi divizib il
n indivizibile, atunci un indivizibil ar fi n contact cu un indivizi b i l ,
cci extremiti le continuu lui sunt una i sunt n contact" (Aristotel [ 3 ] ) .
Stagiritul dezvolt simi lar un raionament pentru mrime, t i m p i m icare,
a crui concluzie ar fi, credem , ideea urm toare: ,, n acelai mod ca la
lungimi i m icri, exi st neces itatea ca i tim pul s fie indivizi b i l sau s
fie com pus din cl ipe indivizibile; cci, dac fiecare distan este d iv izibi l
i dac un lucru micndu-se cu aceea i v itez strbate o di stan mai
m ic ntr-un timp mai mic, atunci i timpu l va fi divizibil i invers, dac
timpul n care un l ucru se m i c pe d i stana A este divizibil, atunci i A
va fi divizibi l". Corelnd aspectele m icare i timp (ntruct m icarea
se produce n timp, dup cum i n orice timp este pos i b i l ca ceva s se
mite), Aristote l afirma c dac tot ce este n m i care poate s se m i te
i mai repede i mai ncet, atunci m icarea se va face n orice timp, mai
repede i mai ncet" . Concluzia ari stotel ic este direct: dac lucruri le
stau astfel, atunci trebuie s admitem c i tim pul trebuie s fie continuu".
46
interval fin it, unul dup altu l, un n umr infin it de puncte; 2) Al doilea
argument poate fi enunat cum urmeaz: Plecnd n urmrirea unei
broate estoase, Ah i le n-o va ntrece n iciodat. El trebuie s aj ung mai
nti la locul de unde a plecat broasca. Dar, n timpul acesta ea va con
tinua s nainteze. Ahile va trebu i s parcurg i aceast din urm distan,
iar broasca va profita de timp ca s mai fac o bucic de dru m . Ahi le
se va apropia mereu de broasc, dar n-o va aj unge n iciodat" .
Ambele argum ente apar i n aceleiai categori i i se refer la
problema dac o di stan poate fi strbtut fie pri ntr-o m icare absolut,
fi e pri ntr-o m i care re l at i v . Zenon s pecu l eaz a s u p ra i p oteze i
adversaru l u i , dup care orice dep lasare se compune d i n elemente
succesive i disti ncte, avertiznd c aceast i potez conduce la rezultate
absurde. Aplicarea i m prudent a acestei ipoteze rezid n aseriunea,
dup care, distana este div izibil la infinit, adic este alctu it dintr- un
numr infinit de elemente, n timp ce, duratele corespunztoare, observ
P. Costabel [ I ] , sunt concepute ca avnd o mrime msurabi l. Ari stotel
a neles intenia raionamentul u i l u i Zenon i, n rep l ic, acceptnd-o, i
d dreptate parial, ca n final s i ndice propria sa opi nie care face ca
absurditatea la care conduce argumentu l lui Zenon, s intre n disoluie":
Fr ndoial, dac ne referim la o cantitate infin it de elemente, nu
este pos ibil atingerea ei ntr-un timp fin it, dar dac ne referim la un
numr infinit de divizri, atunci i m posibi l itatea dispare, cci n acest
caz, i timpul este infinit". Pe scurt, absurditatea, la care conduc argu
mentele lui Zenon, se datoreaz faptul u i c i poteza compoziiei d intr-un
numr infinit de elemente este apl icat numai spaiului, dar nu i tim pului.
Dac ipoteza este apl icat att spai u lui, ct i timpului, legate prin
aceeai structur, aporia este evitat.
Expunem celelalte dou argumente: 3 ) Sgeata care zboar este n
stare de repaos cnd ocup un spaiu egal cu ea nsi i dac ceea ce
zboar ocup totdeauna i n orice moment un spaiu egal cu el nsui,
lucrul acela nu se poate mica". Aristotel [3] demonstreaz i acest si logism
al lui Zenon, care folosete asumpia c timpu l este compus din pri
indivizibi le care nu mai perm it s d istingem ntre instantaneu" i durata
48
'
49
fiili .
Vom avea
M.
J;b
_!_ (a + b)
procedeu
2
folosit n aproximarea rdcini i ptrate. Cci media geometric ntre a
i b i media geometric ntre media lor armon ic i aritmetic este acelai
numr i astfel prin repetarea continu a procesului de inserare a celorlalte
dou medii se poate aproxima la infinit media geometric, n particu lar
rdcina ptrat. Aceast inserare d proporia muzical" sau perfect:
50
2 ab
+ b : b de ex. 1 : : 2[a
2
3 2
1, b 2 ]
a+b
(O. Becker [ 1 , p. 1 00]).
Dar, dac teoria proporiilor geometrice a fost iniial aplicat n
mod naiv la orice, odat cu Euclid dispunem de o fundamentare riguroas
i pentru numere le ntregi. n ,,F,lementele", Cartea a VII-a, Euc l id
formuleaz o definiie (definiia 20) fundamental: Numerele sunt
proporionale dac primul numr este fa de al doilea numr un mu ltiplu
de un numr egal de ori sau este aceeai parte sau aceeai mulime de
pri, aa cum al treilea numr este fa de al patru lea".
Referiri la domeniul rapoartelor raionale (n numere ntregi) gsim
n Platon i Aristotel. Platon [ 4] descrie limita astfe l : Oare nu vom
socoti noi pe bun dreptate ca innd de limit lucru l care nu e un suport
pentru infinit, ci nchide n sine, toate contrariile - mai nti egalul i
egalitatea, dup egal dublul i tot c e s e comport c a numr fa d e numr
sau msur fa de msu r?". Infin itu l este descris de Platon n aceeai
lucrare ca mai m u lt sau mai puin", ceva care nu adm ite ca un lucru
particu lar s fi e un ct"; i n fin itu l este n m icare, ctu l n repaos.
Aristotel [ 2] scrie: Relativ" (fa de ceva") se spune ntr- un sens
c este ca j umtatea fa de dublu i triplul fa de a treia parte i, n
genere, multiplu l fa de cutare parte, ca i ceea ce depete fa de
depit. . . n acest prim sens, avem n vedere rel aia (raportu l) dup numr,
fie n mod nedeterm inat ( doar aa"), fie n mod determinat, n raport cu
numru l sau cu unitatea. Astfel, raportu l dintre dublu i unitate (2: 1 )
reprezint un an umit n um r, raportul di ntre num r i un itate (n:
reprezint un numr nedeterminat (cutare) (n). Raportu l dintre unu i
a:
I)
numere
(3 : 2);
(% :I)
raportu l dintre
I + _.!_ i
52
53
9. Dac linii le care cuprind ntre ele unghiul sunt drepte se num ete
, ., 1 1 i lin iu.
1 O. Dac o l i n ie dreapt, ridi cat pe alt l inie dreapt, formeaz
1 1 11 preun unghiuri alturate egale, atunci fiecare din aceste unghiuri egale
L' s l c un unghi drept; i l i n ia dreapt ridicat se numete perpendicular
I le aceea pe care st.
1 1 . Obtuz se n u m ete u ng h i u l care este mai mare dect un
un ghi drept.
1 2. Ascuit, dac este mai m ic dect un unghi drept.
1 3 . Margine este ceva unde se termin.
1 4. Ofigur este ceva ce este cuprins de una sau mai mu lte margin i.
1 5 . Cercul este o figur plan, cuprins d e o singur l i n ie num it
c i rcumferin (arc), care are proprietatea ca toate dreptele duse de la un
punct situat nuntru fi guri i pn la l inie (circumferina cercului) sunt
egale ntre ele.
1 6. i centrul cercu l u i se numete acel punct.
1 7. Diametrul cercu lu i este orice dreapt dus prin centru l mrginit
de ambele pri de c i rcumferin; aceast dreapt are proprietatea c
mparte n dou pri egale cercu l .
1 8. Semicerc este figura m rgin it d e diametru i d e arcul tiat de
diametru (i centru l la sem icerc este acelai punct ca i la sem i cerc).
1 9. (20-23 ). Figuri rectilinii sunt acelea care sunt mrgin ite de
drepte; trilaterale, de tre i dre pte; patrulatere , de patru dre pte ;
multilaterale, de mai m u lt de patru drepte.
20. (24-26). Dintre figuri le tri laterale, triunghiul echilateral este
figura cu trei laturi egale:
triunghiul isoscel este figura cu numai doup laturi egale; triunghiul
scalen este figura cu trei laturi neegale.
2 1 . (2 7-29). Mai departe, d i ntre figurile tri laterale, triunghiul
dreptunghic este figura cu un unghi drept; triunghiul obtuzunghie are un
ungh i obtuz; triunghiul ascuitunghic are trei ungh i uri ascuite.
55
22. (3 0-3 4). Di ntre fi guri le patru latere, ptratul este figura care
este ech i lateral i dreptungh i u lar;
dreptunghiul este figura care are unghiurile drepte, dar nu este
ech i lateral;
rombul este figura care este echi lateral, dar nu are unghiuri drepte;
romboidul este figura n care laturi le opuse, ca i unghiurile (opuse),
sunt egale ntre ele i care nu este echi lateral, n ici dreptunghic. Celelalte
figuri patru latere se numesc trapeze.
2 3 . (3 5 ) . Paralele sunt l i n i i l e drepte care sunt situate n acelai
plan i care, dac sunt pre lungite n am bele pri la infinit, nu se ntlnesc
n mcmna.
Postulate
Se cere:
1 . S se poat duce de la orice punct o dreapt la orice punct.
.
2. S se poat prel ungi n continuare orice l i n ie dreapt, l imitat
tot printr- o l i n ie dreapt.
3 . S se poat descrie un cerc din orice centru i cu orice distan.
4. (Axioma 1 O). Ca toate ungh iurile drepte s fie egale ntre ele.
5. (Axioma 1 1 ). Dac o linie dreapt tind dou lini i drepte formeaz
unghiuri interne de aceeai parte mai m ic i dect dou unghiuri drepte,
cele dou linii drepte prel ungite la infinit s se ntlneasc de acea parte n
care sunt s ituate ungh iuri le mai mici dect dou ungh i uri drepte.
Axiome
1 . Cele egale cu acelai sunt egale ntre ele.
2. Dac Ia egal se adun egale, sumele (ntregi) sunt egale.
3 . Dac din egale se scad egale, resturi le sunt egale.
4. Cele care coincid sunt egale.
5. ntregul este mai mare dect partea.
Aceste propoziii se refer, n primul rnd, la mrim i geometrice
(drepte, unghiuri, ari i etc.).
56
2.2.
58
A = _!_ (M + N),
59
61
succe s i u nea infinit, nesfr it. Aristote l [3] credea n pos i b i l itatea
reduceri i aporiei Ahile la cazu l Di hotom iei . F i losoful Aristote l era
conv ins c exi st o demarcaie net ntre infinitul n poten i infinitul
n act, distincie ce pennite evitarea paradoxului nu numai n matematic,
ci i n u niversul gndirii . De acord cu Zenon, Stagiritul afirm c i nfinitul
n act conine contradici i . Spre deosebire de Zenon, Ari stotel crede c
m i carea poate fi descri s fr a recurge la i nfin itu l n act, prin apel
numai la fin itu l arbitrar de mare. Evitat n cazuri part icul are, infinitul
actual nu poate fi e l im inat d i n universul gndiri i, infi n itul n act este
acceptat odat cu ideea m icr i i de-a l ungul unei traiectorii continue.
2.3.
63
67
t i mpului este egal cu dublul ei"; dac aici whole time" (timp ntreg) i
half ti me" (timp j umtate) sunt luate ca mulimi infin ite, ceea ce se
pare c este cazu l, atunci chiar dac nu sunt egale n ntregime, sunt
mcar echivalente n sens Set teoretic" (n sensul teoriei m u lim i lor) i,
prin urmare, aseri unea half time is equal to its double" nu poate fi
respins. Atunci Zenon a avut dreptate, dar trebuie s operm distincia:
Zenon s-a referit l a mulimi infi nite, n timp ce Euclid a avut n vedere
muli mi fin ite. Rolu l axiomelor n m atematica el in era acel a de a fixa o
baz pentru curmarea nene legerilor, dezacorduri lor.
Se im pun n ncheiere unele remarci de ord i n metodologic; 1 ) care
era statutu l demonstraii lor la vechii greci? 2) cunoteau vech i i greci
faptul c nu exist o distincie esenial ntre lucruri (enunuri) pe care
le demonstrm i lucruri (enunuri) pe care le asu'm m fr demonstraie,
fapt rel evat de axiomatica modern?
Referitor la pro b l em a 1 ) L. Kalmar [ 1 ] menioneaz exi stena a
dou tipuri de demonstraii prin reducere l a absurd: a) o demonstraie
a teoremei p prin asumarea negaiei aceste ia,
p , i derivarea d i n
aceasta a propozi iei q a crei negaie dej a a fo s t demonstrat; aceast
dem onstraie are la baz princip i u l teriu lui exclus; al do i l ea tip de
d em o n stra i e : b) o d e m o n stra i e n c are se v i zeaz res p i n gerea
(dis proof) unei aseriuni p, asumnd-o i derivnd din p o propoziie
q a crei negai e a fost dej a demon strat i care n u cere, c h i ar n
conform itate cu exigene le standard ale logic i i matematice, princ i p i u l
teri u l ui exclus.
Dac este ani storic s preti ndem vech ilor greci s fi fost ateni la o
asemenea disti ncie subti l, lucru cu care este de acord L. Kalmar, putem
totui preciza ce tip de demonstrai e au practicat dac exam inm textel e
matematice transmise. Remarca l u i A. Robi nson [ 2 ] se nscrie potrivit
n acest context evocat: cnd Euc l id arat c orice numr com pus are
un divizor pri m, el folosete metoda descreterii infinite (the method of
i nfi nite descent) concl uzionnd ceea ce este imposibil pentru numere . . .
Un i ntuiion ist contemporan v a respinge aceast demonstraie deoarece
ncearc s stabileasc demonstraia unui enun existenial pozitiv". Este
-
69
74
2 . 5 . G E N EZA I NATU RA N U M R U L U I
I F U N CTIA
L U I D E M I U RG I C "
'
77
2J
C o ncep i i l e p l at on ic i e ne p o s t u l a u n u m e r e l e i d e a l e i n u m e re l e
matematice ca separate de l ucruri, de real itatea sensibi l, n timp ce
n ume re le pitagore ice fi ind concret- s pa i ale" i deci ntr- un sens
materiale", cc i pentru pitagorei numerele nseamn l ucruri cu exi sten
real; ei numesc numr cele exi stente ori real itatea onti c este cea
material. Ori, unitile din text sunt monadele n accepia greci lor vechi,
i de aceea numrul format din uniti abstracte este num it arithmos
monadikos . Deoarece un iti le sunt concepute ca uniti abstracte, nu
pot fi cons iderate m rim i elementare .
Raven cons ider ca sem n i ficativ definiia dat n Metafizica"
lui Ari stotel, conform creia numerele funcioneaz ca materia din lucruri .
O astfel de definiie sugereaz i nterpretarea potrivit creia U niversul
alctuit d in numere semn ific fapul c obiectele din natur sunt alctuite
prin agregarea unitilor-puncte de tipul atomilor . Identi ficm d i n
aceast perspect i v o concepie despre materialitatea" i p o stazei
pri mordiale a numru l u i ; dev ine i nte l igi b i l teoria despre num erele
constitutive ale st ih i i lor Universul u i : corpul ntreg are numrul 2 I O, focul
are numru l 1 1 , aeru l are numru l 1 3 , iar apa numrul 9.
C o e re nt c u aceast v i z i u n e E k p h ant o s , r e p r e z e n t a n t a l
pitagore i s m u l u i mediu (secol u l al IV- iea), va susine c princ i p i i l e
lucruri lor sunt corpuri le indivizib i l e i v id u l . Ekphantos este pri mul
pitagoreu care a vorbit despre natura corporal a uniti lor pitagoreice,
nct Raven [ 1 ] a spus despre el c a elaborat o teorie corporal-atomist
despre numerele-uniti. Nu se tie sigur dac pn Ia Ekphantos uniti le
se mai numeau i corpuri. i, oricum, Aristotel nu adm itea uniti atomare
sau corporale; ch iar numerele compuse din mai m u lte uniti erau pentru
Stagirit sim ple abstraci i, fr mrime sau greutate, adic fr proprieti
fizice ale corpuri lor.
Cercettori i doctrinei pitagoreice a numrului susin c decada
este natura numrului, dar v i rtual itatea (dynamis) numrul u i se gsete
n numru l patru i n tetrad. Porn ind de Ia unitate i punnd pe rnd
toate numerele pn la patru i apoi ns umndu-Ie obi nem numru l zece
(uniti); prin dep irea tetradei se trece d i ncolo de numru l zece.
82
I , xpl icit, decada este consi derat un ansam blu rezu ltat di n tetraktys sau
_J
Cele trei puncte formeaz gnomonul. Putem aduga un nou gno
mon format ac um d i n ci nci sau mai multe puncte:
=:J :
85
cons iderai i le se extind i la sol ide i obinem num ere cubice, piram idale
etc. Teoria pitagorician veche conine un el ement interesant, stran iu
c h i ar, dar relevant pentru modul de gnd ire al autori lor i adepi lor ei
este vorba de tabelul opuilor i care are la baz o d i stincie de ordin
aritmetic: numere pare i num ere i m pare:
u ltiplu
par
fem inin
deven ire
indeterm inat
oblong
curb
stng
ntuneric
ru
unu
impar
mascu l i n
existen
determ inat
ptrat
rest i l i n i u
drept
lumin
bun
rn
87
90
elementare, alte le dect cubul i piram ida, care au spaiu ntre ele atunci
cnd sunt mpachetate.
Ontol ogia platon i c ian a fost cen trat pe d i sti ncia aparen
realitate (sensibi l- i nte l igibi l), i m portant n orice activ itate intelectual,
ce v i zeaz real i zarea u n e i ord i n i teoretic e sau practice n l u mea
aparene lor supus fl uxu lui sch imbrii . Platon a ndemnat la identificarea
i cunoaterea real itii, ca un referenial n dom inarea lum i i aparente
nconjurtoare. Sus-menionata disti ncie i s-a prutTelevant fi losofu lui
n studiul matematicii pure i api icate, o investigaie care o lum i neaz
retroact iv.
Prob lema existenei matematice a fost ev ideniat de unii interprei
ai mare l u i fi losof grec n legtur cu ceea ce s-a numit o a treia structur
a sistem ului", o schem conceptual sugerat de unele texte ari stotelice.
Instituirea numerelor matematice i a figuri lor geometrice, ca un oficiu"
de intermediar ntre sfera inteli g i b i l u l u i i sfera sensibilului, a dublat
lumea inte l igib i l ului, cc i d incolo de Ideile ca esene generatoare ale
d i vers iti i cal itative a lum i i apar numerele ideale ( 1 - 1 O) i figurile
geometrice ideale (punctul, l in ia, s uprafaa, volumul) ce ar asigura o
fundare aritmetico-geometric pentru determ inai i le cantitative ale
un ivers u l u i .
Admind drept cunoscut teoria platon ic ian a formelor ( idei lor),
e n t i ti abso lut rea l e, c o n ce pu te ca i n dep e n dente de perce p i e ,
susceptibile d e a fi defin ite, descrise exact i ca fi ind permanente, ad ic
atem porale, eterne, teorie care identific, dec i, realitatea (autentic) ca
i criteri i le crora aceasta se conformeaz, vom cita un fragment, din
pcate prea lung din Proc los [ I ] (apud. O. Becker ( I , p. 1 46- 1 47]).
Proc los [ I ] scrie textual despre exi stena m atem at ic n v i ziun ea
p laton ic ian, argumentnd n favoarea aseriun i i anterioare despre ro lul
95
97
98
99
"
1 00
imuabi le. Dac tot ceea ce este cauz a unei cunoti ne invariabile este
cu att mai mult de aceeai natur, cum rem arc Proclos [ l , p. 1 5 1 ], i
dac este imposibil s transpunem ,,caracteru l celei mai nalte perfeci uni
de la ceea ce este imperfect la formele perfecte i absolute de exi sten",
(adm ind c formele matematice provin sau di n l umea sens ibi l, sau
din suflet), atunci numai rm ne dect s susinem n acord cu autorul
citat c sufletu l trebuie adm is ca creator al conceptelor i formelor
existenei matematice". Dar avem aici un teren comun pentru ambele
concepi i-platonic ian i aristotel i c. Proc los [ l , p. 1 5 1 ] schieaz n
acest loc com un - a l sufletului creator - o bfurcare Platon-Ari stotel
nsoit de pledoaria l u i pentru concepia primului dintre cei do i . Dac
ns sufletu l concepe n sine imagin i le in iiale - conform esenei sale conferindu-le existen concret i dac produs e l e sunt emanai i ale
fonnelor existeniale care se regsesc deja n suflet, atunci printr-o astfel
de atitud ine noi ne aflm de partea l u i Platon i am fi putut gs i adevrata
exi sten a ti i nei matematice". Proclos combate vis-a-vis de P l aton
concepia l u i Aristotel cc i n ipoteza acestu ia d in urm sufletu l n-ar
poseda i nu i-ar nsu i mai d inainte concepte i ar prod uce doar o
estur imaterial i extrem de subtil i creeaz o ti in aa de
nsemnat", ns, atunci dac sufletu l nu are existena acestora n sine
(este vorba de forme - s . n . M. .), cum poate crea o multi p i l icitate aa
de comp lex de concepte?". Conc l uzia de factur platon ic ian i vd it
anti-aristote l ic este ev ident n i nterpretarea propus de Proclos [ 1 ,
p. 1 5 1 ]: dac formele existeniale matematice i au proveniena n suflet
i acesta nu posed ide ile creai ilor lui din lucruri le sens ibi le, atunci el
le las pe acestea s ia natere din idei, i dureri le zmislirii sale creatoare
sunt emanaii ale formelor durabile i eterne".
Vech i i greci considerau c l umea este raional i cum raional itatea
de tip matematic este cea mai pregnant, urmeaz un ro l spec ific al
aritmetic i i i geometriei n ansam b l u l arh itectonic al realu l u i . i cum
aritmetica stud iaz i raporturi ntre numere, iar geometria cerceteaz
re lai i le (geometrice) deducem uor c universul ontic al grec il or antici
nu era red us la substan, obiect. Abel Rey (apud. Platon - ,,Opere" 101
106
,c
respingere a ipoteze lor prin indi carea consec inelor incompatibi le la care
acestea conduceau. Deoseb irea fa de Zenon ar fi , (adm is esena
metode i ca reductio ad imposs ib ile), c rezu ltatele la care conduc
ipoteze le n u trebuie neaprat s fie autocontrad ictori i, este sufic ient s
fie doar fal se, ceea ce am vzut din Fedon".
Platon [7] pare s fi xeze un alt neles d i al ectici i " i anume este
metoda de argumentare ce im pl ic respingerea, dar conduce, n cele d in
urm, l a rezultate pozitive de mare general itate". n peri oada trzie
dialectica dev i ne m etoda diviziun i i (a cutrii definii ilor prin d i hotom ia
noi un ilor, ncepnd cu cele generale) i reuni r i i .
E p i stem o l og i a i m etod o l og i a p l atonic ian, com ponente ale
fi losofiei sale a matematici i, au fost nrdc inate n criza matematic i i
el ine provocat d e i rai onal itatea (rdc i n i i l u i 2). Prin descoperirea
iraionalelor (a incom ensurab i l it i i ) rel aia d intre gnd i rea aritmetic
i realitate s-a rupt domnia numerelor", marcat de descoperirile capitale
ale pitagorei lor, a e uat; aritm etica a cedat locul geometriei, dinastia
aritmetismului " a fost nlocuit de cea a euclidianismului. Gn d i rea i
intuiia aritmetic s-au dovedit vul nerab i le n faa am intitu l u i fenomen
al iraionanelor, graniele inteligibi lit i i (pur aritmetice) au fost dep ite
de geometrie i construci ile e i . Paralel i sm u l conceptelor numerice i al
reprezentri lor geometrice n-a mai putut fi meninut. Situaia conceptual
nou a pl ecat de la relaia d intre catetele i ipotenuza unu i tri ungh i drept,
fixat ca un adevr n celebra teorem a l u i P itagora; date l e sunt
urmtoarele ntr-o rel atare succ i nt (datorat l u i L. Brunschc icg [ 1 ]):
ptratul este figura dreptunghiu lar cea mai simpl , ptratul numeric cel
mai simplu fiind acela a cru i latur este egal cu unitatea; observaia
empiric relev c dac d iagonala ptratului, care are latura egal cu
unitatea, este l uat drept latur a unui nou ptrat, suprafaa acestu ia este
egal cu doi. Problema care se pune ac um este urmtoarea: care va fi
l ungi mea exact a ipotenuzei unui triunghi dreptunghic i soscel ale crui
laturi sunt egale cu unitatea? ncercri l e de a gs i o expres i e fracionar
al crui ptrat s fie egal cu 2 au euat. Este defin itiv eecul? S-ar putea
descoperi rdcina exact a lui 2 opernd cu un iti de m sur d i n ce n
108
4( %r
'
2c' sau 2
(%)
i focul sunt extrem i iar apa i aeru l in termed iari (mezi) i con d i ia
conex iu n i i, el ement pentru nel egerea unu- i n fi n i t, este ndep l i n it,
cond iie a ti i nei platoniciene, dar i a interveniei Dem iurgu lui, cond iie
a frumuseii, care este frumuseea l i n i i lor i a legturi i fenomenelor.
Cosmogon ia aritmetric n Platon [2] include ti i ne ca astronomie i
pn l a pato logie. Panmatematismul pl atonic ian a matematizat natura,
anticipare a ti i ne i moderne - reducerea fenomene lor la com b inai i
aritmetice sau geometrice. Pretenia p itagoreismului i platonismului este
nu numai identi ficarea raporturi lor ci i stab i l i rea cores pondenei termen
cu tennen; odat stabi l ite propri eti le unei esene numerice", aceste
propri eti vor fi regs ite ntr-o realitate oarecare de ord i n d iferit pe
ca lea analog i e i .
Dar principi i l e unul" i i n fi n itu l" c a numre determ inante ale
sufletu lui i corpul u i au o ncrctu r di nco lo de caracteru l i puritatea
spec ific aritmeti c i i ; cum comunic pri ncip i i l e o v i rtute u ltra- cantitat iv
numere lor? Punctu l centra l al metamatemati c i i pl atoniciene rmne
determ i narea numere lor ideale care sunt plasate d i ncolo de numerele
matematice propri i ; dar, n d ialoguri Platon pstreaz tcerea asupra
acest u i aspect, tot ce m a i afl m datorm n ote l o r de la s fr i t u l
Metafizi c i i " l u i Ari stote l . Ceea c e aflm despre doctri na academ ic a
num ere lor ideale sunt urm toare le: tetrada este compus din diada prim
i diada nel im itat. Operaia de compunere presupune un element pas iv
i element activ, diada indefinit are ro l de multipl icator, mai prec is de
dupl i cator, ceea ce i confer putere nel imitat, ea produce octada. Diada
determ i nat este acaparat"; se nate oare pri n ap licaia un itii la diada
i ndeterm inat? n coala platonic ian i pitagoreici an unitatea nu este
n u m r. n cartea M a M etafi z i c i i " deducia numere l or id ea le nu
i nclude generarea un iti i . Matematica nu porn ete de l a num ru l unu,
ci de la egal", sub forma egal iti i n care uni tatea se ap l ic d iade i
marelui" i m icului"; egalizarea termen i lor inegali ai marelui i micului
prod uce d iada determ inat, prototi pu l numru lui do i .
Dac aceasta este relaia di ntre doi-ideal" i rolul diade i, cum are
loc deducia nu merelor i m pare? d iada ca matrice ,,zm islitoare" a
1 13
Care este re laia di ntre numerele ideale i figuri le (mri m i le) ideale?
ex ist o identitate sau un paralel ism ntre ele? U n i i platon icien i con sider
c " l i n i a n s i ne" nu este altceva dect d iada'', dup ali i ex ist o
ident itate de form, i s-ar separa n s i ne. C u aceasta se constat c
platon ismul este strbtut de o dual itate de tend ine . Dual itatea numerelor
i i de i lor reinut d i n colo de n um ru l se ns i b i l mai m u l t n planu l
tran scendenei, dar efectul negat iv este cel al am bigu iti i fundamentale
a metamatemati c i i platoni ciene. Se cere o relevan a num erelor ideale
mai extins asupra ntregu l u i un ivers (moral, rel i gie, geometrie, fi zic
etc .)? Apelul la entiti supranaturale, monada i di ada ca d i v i n iti. Cu
Speus ipp se separ cant itativul i ca li tati v u l, dac acestea sunt num ere
aritmetice, le rid ic la identitate, se reconcil iaz concepia pozitiv c
ti i na se face cu numere, ro lul pozitiv n comb inaii ale aritmetici i. Atunci
dev i ne ns inutiI ape l u l la di alectic pentru a funda natura calitativ"
a fi ecru i n u m r, e s e n a pari t i i sau i m par it i i . Rep reze ntani i
pitagoreismului observnd c uniti i i se opune princi p i u l general al
m u ltipl ic iti i au fcut d i n acest principiu, prin procedeul uniform al
adiiei, dem i urgu l unei seri i de numere omogene raportate unele la altele.
coala platonician, remarc L. Brunschv icg [ I ] , nu poate scpa
de alternativa: sau matemat ica dialectic se va regs i i va fi refortificat
ca m i stic si m bol ic a pitagoreismului pentru a se pi erde n ocu ltism i
n teozofie; sau e a trebu ie s s e l i m i teze l a princ i p i i ri guros detenn inate
ale unei ti ine pozitive i atunci nu ar mai exista rai uni pentru a le
transforma n rea li ti separate, ns atunci nu mai rspunde speranei
de a fi i nstru ment u n i versa l . i autoru l francez come nteaz parti
cu lariti le platonismu lui ca fi losofie matematic astfe l : (a) aritm eti ca
i geometria insp ir doctrina lu i P laton despre cunoatere; ntre el emente
sem ni ficative sunt meni onate proporional itatea numeric i dozaj u l
cantitativ" n v ia, po l i tic, moral etc.; (b) un iversal itatea raiona
mentelor matematice este conferit de universal itatea pri ncipi i lor care
le fundeaz; j usti ficarea acestor pri ncip i i se poate face pe calea unei
viziuni d i recte a genuri lor supreme ale ex istene i . Ex ist o circularitate"
productiv n pl ato n i s m , deoarece, pe de o parte, el der iv, extrage
1 15
lum i i fi zice, percept i b i le; s cons iderm c ceea ce este specific pentru
statutu l obiectelor matematice este natura lorabstractiv" (abstraci i ale
lucruri lor materiale). Ari stotel consider c adm iterea tezei platoniciene,
dup care obiectele matematice au statutul de realiti" separate de
lucrurile sensibi le, antreneaz dificu lti indezirabi le, consec i ne n vd it
dezacord cu adevru l, dar i cu prerea com un. Iat propria sintez a
concepiei fi losofului Ari stotel: Am artat, aadar, ndeaj uns c obiectele
matematice au caracterul de substan ntr-o m sur mai m i c dect
corpuri le, apo i e le nu sunt anterioare lucrurilor sensibile in ordinea
existenei, c ele nu posed dect o anterioritate logic fa de l ucrurile
sens i b i le materiale i, n sfr it, c ele nu pot s existe nicieri ca ceva
separat. i deoarece nu se poate adm ite c ele ar exista ca inerente lucruri lor
sensib i le e l im pede c ele nu ex ist nicidecum sau c e le au un fel al lor
anume de a ex ista i de aceea, prin urm are, ele nu exist n chi p absolut,
cci noi t i m c F i ina are mai m u lte nelesuri" (Aristotel [2, p. 405]).
Anal i ze l e ari stote l i ce opereaz c u conce pte le de anter i o ritate i
posterioritate luate n sensurile: n ord inea devenirii i n ordinea substanei;
n ordinea esenei i n ordinea logic, perspective ce nu coincid. Prioritatea
n ordinea substanei rev ine, dup Aristotel, l ucruri lor care exist separat
au caracterul de fi in ntr-o msur mai mare", pe cndprioritatea logic
este caracteristic acelor lucruri a cror noi une este implicat n alt
noiune", cele dou prioriti neputnd coexi sta. n lum ina analizelor
ari stotel i ce existena abstract - p e care el o atri buie n pri m u l rnd
entitilor matematice, dei cum dej a am vzut, nu o rupe de obiectele
sensi b i le - nu are anterioritate (substanial) dar are anterioritate logic.
Proprietatea anter ioriti i logice, combinat cu caracterul de simpl itate,
are o remarcabi l relevan explicativ priv ind exactitatea unei ti ine; n
acest sens aritmetica este, dup Stagirit, mai exact dect geometria i
aceasta mai exact dect mecan ica, cci aceasta din urm este o t i i n
despre un obiect supus m icri i, ceea ce i afecteaz atributul exactiti i
(cf. Aristote l, [2, p. 407]) . n l um ina raportului ari stotel ic act-poten,
filosoful grec a susinut referitor la statutul obiectelor, fi i nelor matematice,
c acestea nu ex ist n act, nici separat de universul sensibi l (al lucruri lor
fizice, perceptibi le) ci numai n poten.
1 18
obiecte lor
matematice i anume s rei nem distincia pe care Ari stotel o face ntre
po s i b i l i tatea de a a b s t rage ( a scoat e " ) , s s p u n e m u n i tatea,
tr i u nghi u l aritatea, drept u n g h i u l a r i tatea, n gen ere patru lari tatea,
circularitatea etc . i ex istena independent a caractere lor IT!atem at ice
menionate, ca i a altora. incl usiv a reprezentani lor acestora: un iti,
triungh iuri, dreptungh iuri, cercuri . El subl in iaz deseori" - comenteaz
S. Korner [ l, p. 24] - c posi b i l itatea de abstracie nu impl ic de loc
exi ste na independent a ceea ce este sau poate fi abstras . Coni nutul
matematici i este alctu it d i n acele rezu ltate ale abstraciei matemat ice
pe care Ari stotel le num ete ob iecte matemati ce. Acestea, n concepia
lui Ari stotel, lund natere prin abstracie (aphaireis), sunt incompatibile
cu teza platonician de spre autonom ia i substani alitatea lor.
Ob iecte le matematice ar fi, dup o i nterpretare, n lucruri le din
care sunt abstrase i ar ex ista o m ultiplic itate de obiecte (uniti aritmetice,
cercuri, l i n i i drepte etc.) cte sunt necesare n demonstrai i le matematice.
O interpretare i varianta ei, afirm autoru l eng lez citat, mru l
empiric este un u n sens u l c el este un re prezentant al unit i i "
matematice, aa c u m rou este u n reprezentant a l cu lori i un iversale
rou", sau m ru l empiric" este un u n sensul c el este un mem bru al
cl ase i un iti lor matemat ice, aa cum el este rou n se nsul c este un
mem bru al c lase i lucruri lor ro i i " . Con form une i a doua interpretr i ,
acceptat i d e Korner [ 1 , p. 2 5 ] , mru l empiric este un u pentru c e l
aprox imeaz unitatea matemat ic p e care am abstras-o d i n acest ob iect
i poate i d i n alte o b i ecte". n v i rtutea celei de-a doua interpretri
i dentificm natura aceste i abstracii matematice care asi gur geneza
i statutul ob iecte lor matematice; nu este o abstracie pur i s i m p l u c i
o abs trac ie idealizant s a u o i d ea l i zare. D u p P l aton o b i e ctu l
matemat i c i i l constitu ie formele sau idei le, ex i stente i ndependent de
matemat ician, pentru Ari stotel matemat ica se ocup cu i dea l i zr i l e
efectuate d e matematic ian, iar d i ferena d i ntre concep i i le l o r referitoare
la statutu l entit i lor matemati ce s-ar dim inua n l u m i na unei asemenea
i nterpretri propuse.
119
nite din aseriunea despre inex istena une i mrimi actual infin ite. Textul
aristotelic d in Fizica", I II, 207b este acesta: ,,ntr-adevr, pe ct se adm ite
c este potenial, pe att se adm ite c este n act. n acest fe l, de vreme ce
nu exist o mrime se nsibil infinit (adic n act) nu se admite c exist
o mrime defin it, cc i n acest fe l ar exista ceva mai mare dect ceru l".
Aseriunea de spre fi n i tudinea universu l u i fizic, specific concepie i
greci lor antici, intr n contrad icie c u activitatea matematicien i lor, iar
Ari stote l sesizeaz imed iat d i ficultile ce emerg di n aceast situaie
conceptual. El ncearc s arate c opera matematicieni lor nu este
subminat" de teza finitudinii" universu lui fizic: de fapt e i n-au nevoie
de infinit i nu-l uti l izeaz. Ei doa r postu leaz c un segment finit de
dreapt poate fi prod us n orice ms ur ar dori. Este posibil s se d iv i d
n ace la i raport ca i mrimea cea mai nalt i o alt mrime de orice
d imensiune am dori . De aceea, pe ntru demonstraie, nu va aprea nici o
d i feren pentru ei dac ar avea un aseme nea infi n it, ntruct existena
va fi sfera mrim i lor reale". ( Ari stotel [3, I I I , 7, 207b ]). n consecin, n
demonstrai i le matm at ice extensi i le infin ite sunt necesare i au rolu l
de invers al diviziunii infin ite, ceea ce ar susine compatibilitatea filosofie i
ari stote li ce a naturii i a cunoaterii cu practica matematicienilor, o idee
asupra creia gs im i n Th . Heath [ 1 , p. 3 44] argume nte potrivnice; ali
autori insist asupra neasim ilri i d istinci i lor conceptuale aristote l ice
(ca de pi ld, i nfin it actual - infinit potenial) n practica matematicien i lor
(S. Bochner [ I ]). n controversata problem: fin itud inea spai ului fizic
i matematica, identic cu geometria", J. Lear [ 1 ] susi ne c nu avem de
a face cu o contradicie : Geometria nu se re fer la spai ul v id, ci la
figuri geometrice defi n ite pri n indicaii de construcie; aici i nfinitu l are
sen s u l pos i b i l iti i de a continua o con strucie" , afi rm C . F. von
We izscker [ l , p. 1 2 5 ] . Dup S. Korner [ 1 , p. 27] Aristote l era categoric
n favoare a i n fi n i ti i poteniale i, n consec i n , el credea c n
demonstrai i le lor matematicienii n u aveau nevo ie dect de acest gen de
infin it. Dar, dup reconstrucia propus de Hintikka [ I ] , acest lucru nu
pare s igur, deoarece n demonstrai i le unor te oreme referitoare la figuri
geometri ce interv i n construci i auxi l i are, a m p l u exe m p l i fic ate i
1 23
Prob lema infinitu l u i este abordat de Ari stotel i din perspect iva
rel aiei d i ntre concept i b i l itate i real i zab i l i tate, reformulat n ,,De
Anima" ( I I I , 6, 43 1 a) prin enunu l : , . cunoaterea efectiv este identic
cu obiectul ei " (Ari stotel [5 ]), i care exprim o v iziune despre percepie,
gndire i cunoatere n general, dar i despre pos i b i l , real i necesar.
Mai concis, a gndi reprezint o actualizare" pentru Aristotel, sau cum
reformuleaz Hintikka [ I ] n interpretarea propus: Din aceast cauz,
conceptibi l itatea unei forme impli c faptu l c ntr-un anum it sens aceast
form este actual i zat". Aristotel va apl i ca aceast idee i cu privire la
natura cunoateri i matem at i c e : Pr i n act i v i tate sunt descoperite
construci i l e (sau teorem ele), deoarece le descoperim prin efectu l unei
d iv iziun i . Dac fi guri le ar fi date deja d i vizate, construci i le (teoremele)
ar fi ev idente. Dar aceste d iv iziuni exi st doar poten i al . Este deci clar
c n u m a i prin trecerea n actual itate dev i n ev i dente construci i l e
(teorem el e) ce exist doar potenial . Cauza const n aceea c gndirea
unui geometru reprezint o actualizare (Aristotel [2, I X, 9]). Concepia
aristotel ic despre statutu l obiectelor matematice dobndete din aceast
perspect iv, introdus de relaia d intre conceptib i l itate i real izabi l itate,
o nou d imensi une cu re levan i pentru problema infin itul ui : ent iti le
matematice dei exist numai n gnd ire, deoarece gnd irea unui obiect
impl i c actual i zarea sui generis, nu nseamn c e l e sunt mai puin reale.
Concept i b i l i tatea este i d ent i c cu real i zab i l i tatea numa i n cazul
d imens iuni lor relative i nu absol ute. Infin itu l ca nemrginire, n sens
abso l ut, (vezi tipo logia d i n i ntroducerea l u i I . Prv u [ I ] ), nu este
conceptib i l n v iziunea lui Ar istotel ; rezu lt c n acelai sens n care
infi n itul nu este actual izab i l nu este n ic i concepti b i l i invers, n acelai
sens n care infinitu l poate fi conceptualizat este i actual i zabi l. Ari stotel
consi de c adm iterea proces u l u i de devenire la infin it face impos i b i l
t ii na i cu privire la matematic se susine, di n aceast perspectiv, c
nici n cazu l l in iei drepte mprirea la infinit, dei pos i b i l, nu poate fi
realizat n gndire, cci n acest caz nu poi nelege acest proces dac
nu te opret i cu d ivizi unea aidoma faptu lui c n lumea extern infin itu l
nu poate fi realizat.
1 25
1 26
considerai i le e i un caz particular, potrivit pentru m eseria ei, ap l icndu1 la l i n i i sau ungh i uri sau numere sau alte mri m i nu ntruct acestea
sunt ci ntruct ele sunt un continuu cu una, dou sau trei d im ensi uni.
Filosofia, d in contr, nu se preocup de cazuri particulare, dup care
fiecruia d in aceste obiecte i se atribuie ceva, ci ea stud iaz felul n care
fiecare dintre aceste obiecte exi st . F i losofia trateaz despre ce este
dat ntruct exi st, pe cnd ti i nele, inclusiv matematica, pot fi con si
derate cel m u lt ca dom eni i pariale ale nelepciun i i".
Re laia d intre matematic i fil osofie este vzut de Aristote l astfe l :
matematica este t i ina teoretic, parte a ti ine , n timp ce fi l osofia
c upri nde total itatea ti ine i . Ari stote l [2] precizeaz com petenele
tiinelor, n particular competena m atematic i i, i rolul fi losofiei ca ti in
prim fundamental: S-ar mai putea pune ntrebarea dac cea m ai nalt
t iin nu este i genera l i dac nu cumva i ea trateaz despre un
anum it gen i o anum it esen. Dar n ici n matematic nu este peste tot
la fe l, geometria i astronom ia stud i ind fiecare mai degrab cte un
domeni u special, dar matematica general este fundamentu l comun al
tuturor. Dac n-ar exista nici o alt substan dect aceea pe care o
ntlnim n natur, atunci fizica ar fi cea mai nalt t i in. Dar exi st
ns o ti in prim despre ea, i aceasta este general tocmai pentru c
este cea mai nalt. i ei i rev ine s trateze despre existent ca atare,
despre natura sa i des pre ceea ce decurge din faptul c exist".
teori i s i log istice. Esenialul teor iei s i logistice const n reducerea tuturor
figuri lor la fi gura nti, considerat de Patzig [ l ] conform conceptul u i
ari stote l i c de s i logism perfect, ceea c e s e ntemeiaz p e tranzitivitatea
incluziunilor, fapt m enionat expres de Aristotel [ 1 ] : prem isele din care
tragem concl uzia stau ntre ele 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 red uc la ev ideni erea
incluziuni lor n clase, uti l_izndu-se tranzitiv itatea acestor rela i i . Hintikka
[2] noteaz c procedeu l const n inserarea termeni lor interm ediari ntre
cei ai cror conexiune urm eaz s fie exp l icat. Form ularea l u i Aristote l
[ I ] este: o concluzie este demonstrat prin i nterpunerea unu i term en,
nu prin adugarea unu i term en extern". Inferenele ti i ni fice iau forma
u n u i i r suprapus de term en i , fi e care d i ntre ace t i a apl i cn d u - s e
.
predecesoru lui su imediat formnd o premis s i logistic, cf. H i ntikka
[2] . Se obine n acest mod rezu ltatu l : n demon straie nu putem trece
de la un gen la altul" (Ari stotel [ 1 ] ), pentru c termen i i care se interpun,
cum am vzut, vor avea sfera mai ngust dect cea a term enului pred icat
care figureaz n ultima prem i s s i l og istic care caracterizeaz gen ul"
i la care se refer si logismele t i i ne i respective. Modelul si logistic pro
duce replici n teor ia ti inei, ad ic cl ase de ingredieni (presupozii i) .
ntruct interpo larea de term e n i , am intit mai sus, nu se poate extinde
la i n fi n it, exi st o clas de prem ise ce aserteaz des pre legturi imediate
ntre termen i ; aceste presupozii i fundamentale sunt num ite de H i ntikka
premise despre legturile atomare, i ne dau caracteri stica distinctiv a
subiectu l u i lor, sau, altfe l spus, definiia termenu l u i subiect . Ari stotel
[ 1 ] afirm c principii l e demonstraiei sunt definii i". Legturile atomare
sunt bazate pe defi n i i i , ceea ce, n i nterpretarea l u i H i ntikka [2] ,
m arch eaz un e l em e nt putern ic co n cept u a l , n structu ra ti i n e i
aristotel ice, cci irul cresctor de si logisme ti inifice i m ed iate au
valoarea unor relatri despre ce ar trebu i definit un termen n vederea
obineri i unei .cunoateri exhaustive a faptelor relevante''. Mai exp l i cit,
aceast clas de presupozi i i relev sem n i ficaia atri butelor aparinnd
genului care constitu ie obiectu l t i i ne i .
1 29
13 0
o defi n iie a term eni lor lor subiect, care fi ind foarte largi definesc genul
sau ob iectuI la care se refer ti i ne le respective; prem isele generice
transport sen s u l existen i a l al t i i ne i . Des igu r. nu se form u l eaz
presupozi ia exi stenial n m od separat pentru fiecare premis imediat,
transport u l exi stenial fcndu-se de la termen i i mai largi la cei mai
restrn i ntr- un ir de s i logisme ti inifice. Se formuleaz o singur
presupoziie existenial care se refer la exi stena mem bri lor gen u l u i
c e constituie obiectu l ti i ne i respective; demonstraia s i logistic este
vehicu l u l care transport sem ni ficaia exi stenial n j os de la prem isele
generi ce. Ari stote l [ I ] scrie: susi nem c prin demonstraie (apodexis)
trebuie s doved im exi stena a orice - afar de exi stena su bstanei . . .
Urmeaz c exi stena v a fi obiect de demonstrai'e. Aa procedeaz de
fapt t i i ne l e " . Sem n i ficaia pre m i se l or gen erice este centra l n
epi stemologia ari stotel ic, cci orice ti in trebuie s poarte asupra unui
obiect, i, dac ne legem bine interpretarea l u i H intikka [2, p. 264],
importana forei existeniale a prem iselor silogistice, insufic ient expl icat
pri n apel u l la concepia aristote l ic despre si logism, i are rdc i n i n
gnd irea sa epistemo l ogic, (ch iar dac a fost centrat pe un rea l i sm
s i stematic i static i pentru care Piaget [ 1 , p. 80] a form u lat critici),
exprimat suficient de clar n pasaj u l : di strugerea a ceea ce este cunoscut
duce cunoaterea la d i strugere . . . Pentru c dac nu ar fi ceva cunoscut
nu ar fi n i c i o cunoatere, n-ar mai fi nim ic despre care s cunoatem"
(Aristotel [6] ).
Definiiile nominale constituie a patra clas de presupozii i ale
unei ti ine anum ite. Sem n i ficaia acestor presupozii i nu pare suficient
de clar comentatori lor lui Aristotel . Poate c i nterpretarea lor ca fi ind
teze sau precizri ale coninutu l u i , dar nu i poteze (deoarece trebu ie s
d i stingem ntre definiia unitii pe care o d matematic ian u l i existena
unitii), pare adecvat textu lui aristote l ic; defi nii i le n-au fora asertiv
i dec i li se contest orice coninut existenial.
n A r i stote l [ 1 ] gs i m urm toarea form u l are dat ,..tiin ei
demonstraive" ( cf. Hintikka [2, p. 270-27 1 ]): Orice ti in demonstrativ
presupune trei e lemente: 1 ) ceea ce se pune la nceput ca existent (adic
131
CAP I TO L U L I I I
OCCIDENTA LE
I storic, matematica a aprut sub forma ei nativ ca ,,tiin a
numerelor" (aritmetic) i ca studiu aljigurilor percepute intu itiv (puncte,
segmente, drepte, plane n spaiu, ungh iuri, triunghi uri, cercuri etc.),
ceea ce num im geometrie. Aadar, entitile matematice fundamentale
spec i fice matemat ic i i vechi , practicat nc de babi lon ieni i egi pten i,
erau n umrul i figura, ale cror domen i i s-au dezvoltat n direct
conex iune cu conceptul de msurare, cu efecte practice remarcabi le n
astronomie - la popoare le am int ite - este vorba de calcu lul ecl i pse lor de
l un i altele.
Dezvo ltarea matemat i c i i cunoate o nflorire la vech i i grec i care
real izeaz saltul de la empiric la intelectual (deductiv), contribu ind, astfel,
la ceea ce s-a spus, c matemati ca a devenit o ti in n sens ul acceptat al
zi lelor noastre i acest fapt s-a datorat, cum observa Hans Re ichardt [ 1 ,
p. 9], identi ficri i acestor d o i ingred ieni semni ficativi n actu l de aface
matematic: stab i lirea unor realitifundamentale (ex. : prin dou puncte
trece o dreapt i numai una) i a unor fundamente (conexiuni) logice ;
graie acestor dou e lem ente, geometr ia a fost constru it sistematic i
deuctiv, devenind model a l tiine i .
1 35
inclus-o n aceasta d in urm, i asta numai din punct de vedere crono logic,
i poate c ce i care au creat matematica modern aparin i ei geografi e i
occidentu l u i . A m evocat-o, ns, pentru c a s vedem stad i u l evolui ei
matemat ic i i la sfr itu l antich iti i i apoi pentru faptu l c trsturi le
sti l istice ale matematici i europene occ identale dobndesc pregnan,
atunc i cnd procedm la un stud i u comparat iv, n care l um ca referin
matematica el in antic.
Aadar, e quas i- unan i m adm i s c n esen actul matematic are
de-a face cu numere i figuri (geometrice). Sfritul antich iti i a fost
marcat de ocanta antisimetrie n um r- fi gur geometric , intu iie
aritmetic (pitagore ic)-intuiie geometric (euc l i d i ano-platon ic ian),
care a culm inat cu detronarea" pr imeia i tri umful celei de-a doua. Poate
c. aceasta este cea mai marcant caracteri stic sti l istic (tehnic" i
i ntelectual-fi l osofic) spec i fic matemat ic i i greceti ant i ce. Stud i u l
istoriei matemati c i i induce observaia, reinut n filosofia matematici i,
c evoluia i progresu l matemati c i i au subiacent aceast alternan
numr-figur (geometric), propu l s i i l le intrinseci domen i i lor acestora
avnd efecte semnificative i adesea revoluionare - tehnic i intelectual
- asupra dezvoltri i matemat ic i i i nu numa i ; aceasta deoarece au
infl uenat n ch ip major i fi losofia matemat ic i i , un aspect evident atunc i
cnd se poart discuia nu att asupra problemei construiri i ed ific i u l u i
matematic i i, ci mai curnd cnd este vizat problema naturi i matematic i i .
n fi losofia matemati c i i , sfri tu l antichiti i greceti a stat sub semnul
v i c to r i e i " i t r i u m fu l u i " p l ato n i s m u l u i , d ar i a l ee c u l u i
pitagoreismu lui, dei paradoxal, acesta a reprezentat, cum se tie, un
ingred ient- izvor" al platon ismulu i . Aceast observaie o bazm pe o
an ume interpretare, uor restrict iv, a p laton ismului, i anume, dac
ident i fi cm term enul figur" (geometric) cu esen" platonician i
lsm tac it asum pia c ntr- un domen i u al realului matematic (n sens
platonician) figureaz i numerele ( l u i P itagora) .
Alternana am intit numr-figur (geometric) ne d seam de
ntre g u l contur st i l i st i c al m atemat i c i i o cc i denta l e . Matematica
occ idental a stat in iial sub impactul datorat ofensivei numerelor, prin
1 37
.J2, J3
pu nerea bazelor teoretice ale num erelor rea le i com p lexe, n u l tim
instan bazele anal ize i rea le i comp lexe (calcu l u l d i ferenial, ecuai i le
d i fereniale, calcu l u l variaional, teoria func i i lor i a lte le) i ch iar ale
geometriei, deoarece geometria ana l i tic reprezentnd noiun i le sale
fu ndamentale (n pri m u l rnd punctele) n termen i i coordonate lor ( iar
acestea sunt numere rea le), confirma ideea c geometria are ca funda
ment teoria numere lor rea le.
O descoperire s i ngu lar, care a i n augurat o perspectiv, de
asemenea, s i n gu l ar i revo l u i o nar n matemati c, a fost te oria
grupurilor ( E. Galois), care are ca prem ise ingred ieni com plexi - care
v i n di nspre teoria numerelor (reguli ale operaiilor cu numere), dar i
dinspre logic, deoarece angajeaz i procese logice apl icate acestor
proprieti fundamentale ale operai i lor cu num ere, ns i a altor operai i
matematice, c a d e exem plu, compunerea micri lor i/sau a penn utrilor.
Pe aceast cale s-a produs obi nerea unor proprieti mai comp lexe i
m a i profunde, ridicnd astfe l abstracia matem atic l a u n n ivel superior.
Oricum, prin impactu l prod us de opera l u i Ga lois, algebra a intrat ntr-o
autentic faz modern a evoluiei sale, doved ind c este o d isc ipl in
care stud iaz ceea ce numim structuri algebrice . Se acred iteaz, n acest
context, c ideea de grup are un loc de onoare, fi i nd cea mai universal
d in ntreaga matematic contemporan; se recunoate, de asemenea, rol u l
superi or i fecund p e care grupurile l joac n toate teor i i le matematice;
astzi , cele mai spectaculare cuceriri-ap l icai i le poart algebra modern
n topologie (algebric) i n geometria algebric i care au fcut ca
matematica s i as d in fgau l ei tradiional.
Dar, perspectiva rad i cal- intern matematic, introdu s de noiunea
de grup, ad ic ceea ce num i m matematica structurilor relevant reinut
ca idee central n man i festu l co l i i Bourbaki [ 1 ] [2], s-a constituit n
conexiune direct cu modul axiomatic de gndire, prin exce len un
fec und mod de gndire matemat i c , o part i c u laritate sti l ist i c a
matemat ici i occ i dentale a seco l u l u i XX.
1 39
f;apte
inductie
deducie
ipoteze
1 - - :._ - .....----.
oculte
f:'.
iapte
.
' ra10nate
,
L - - - -
deductie ,
- - - ..: -
- - - J
deducie
induct, ie
---- -
- -1
1
deductie
inductie
'
'
principii
prime
3 . 3 . CONCEPTIA
LU I DESCARTES DESPRE
'
asem enea aseriune conduce legitim, dup Beth [2, p. 6 ] , la dou doc
trine incompat i b i le: i ) conform pri m e i doctri ne, teor i a ari stote l ic a
s i l o g i s m u l u i n u p o ate o fe r i o a n a l i z a d e c v at i c o m p l et a
raionamentu l u i matematic, o astfel de anal iz rmnnd pos i bi l atunci
cnd teoria lui Aristote l este n locu it cu o teorie s i m i lar lrgit; i i )
dup a doua doctrin, anal iza raionamentul u i matematic cere proceduri
care d i fer esenial de s i l o g i s m , nct o an al iz l o g i c a acestu i
raionament nu este pos i b i l ni ci n cazu l c o teorie logic extins este
d i spon i b i l . C o n fruntat cu a m be l e concep i i -doctrine, o b i ectiv u l
exam inr i i natur i i raionamentul u i matematic perm ite s conch idem
i m pos i b i l i tatea ana l i zri i ra i onam entu l u i m at e m at i c n term en i i
si logistic i i tradiionale.
Concepi i le contemporane au reinut ca fiind corect prima doctrin
despre raportul di ntre si logism i rai onamentu l matemat ic, dei m u lt
timp logicien i i i matematicien i i au sperat c i cea de-a doua poate fi
acceptat.
R. Descartes [ 1 , p. 3 8] este cel care a pus expl i cit problema
d i ferene i d i ntre rai onam entu l mate mat i c i s i logism u l trad iional,
ari stotel ic, rel evnd faptul c acesta d i n urm pl eac de l a prem ise
universale i deduce o conc l uzie, de asemenea, universal , n timp ce
raionamentu l matematic are particu laritatea d i st inctiv de a i ntercala n
structura sa i ntern o faz intermedi ar, constnd n contem plarea unui
obiect i nd iv idual : . . propoZ;i i i le generale sunt formate d in cunoaterea
particulari lor". (Reply to the second objection). Aceast faz d i st inctiv,
specific raionamentului matematic, este produs, real izat de intu iie.
Descartes [ 1 ] consemneaz acest aspect al inferenei matematice n regula
a IV-a: . . aceast i dee comun este transferat de la un subiect la altul,
pur i simplu prin i ntermed i u l comparri i simple prin care noi afirmm
c obiectu l cutat este n aceast sau n acea priv in asemntor, sau
ident ic, sau egal cu un dat particular. n consecin, n orice l an al
raionam entu l u i prin comparare pur i simplu aj ungem la cunoaterea
precis a adevru l u i . Un exem p l u : toi A sunt B, toi B sunt C i deci toi
A sunt C. Aici comparm unul cu altul, un quaesitum i un datum, v iz. A
.
1 46
148
faz intermed iar conexat unui o b i ect parti cu lar (de exem p l u, un
tri ungh i)?; 2) cum poate un argument care introduce o asemenea faz s
prod uc o conc luzie un iversal? Dac Berke l ey produce o rep l i c
conv ingtoare la a doua chestiune d in cele l istate anterior, Descartes a
oferit un rspuns plauzi bil la prima chesti une. Meritu l lui Descartes este
c el a observat c raionamentu l matematic are o structur curioas, care
l disti nge clar de si logi sm, ns expl icaiile date de fi losoful francez rmn
parial e, valabilitatea lor circumscri indu-se numai n legtur cu pri ma
problem din list. Expresia standard a matematicianului ,,Fie ABC un
triunghi oarecare" servete i l ustrri i raionamentul u i prin ape lul la o
d iagram concret. Beth observ c aceasta nu constituie o explicaie
corect, satisfctoare, deoarece aceast manier es_te prezent ch iar n
tratate le de matematic contemporan abstract, care prin raiunea lor nu
i propun asemenea obiective ca ilustrarea prin intennediul diagramelor.
Beth crede c Descartes a surprins corect rolul fazei intermediare n
deru larea raionam entu lui matematic i anume, stimularea intu iiei (am
aduga creatoare), ceea ce nu se poate executa dect legat de obiectele
particulare; un rspuns acceptabil la pri ma chestiune. O remarc d i n
Med itaia a cincea" ar sugera c Descartes a intenionat prin identificarea
triunghiului particular corelat contemplri i intu itive cu esena triunghiului
(triunghiul general, n tenn inologia lui Lockey) s ofere un rspuns i la
cea de-a doua chestiune. Interprei i lui Descartes (ntre care Beth se distinge)
au constatat dificultile inerente doctrinei carteziene n confruntarea cu
stri le de fapt d in matematic, cci este dificil s justifici o concluzie
un iversal ap l icab i l plecnd de la contemplarea intu itiv a unui anumit
tri ungh i particular mai curnd dect a altuia. Prem isele unei asemenea
conchideri sunt rezultate din demontarea" demersului cartezian, cci dac
este totui dificil s pui de acord rolul unui tri unghi particular cu esena
triungh i ului, odat fi ind adm is acest lucru, dac acceptm ns acest con
cept, unneaz c esena triungh i u lui fi i nd un tri ungh i individual, s fie sau
scalen, sau dreptunghiular etc. Dar, respingerea concepiei despre esena
triungh iului ca un triungh i particu lar antreneaz faptu l c prima chestiune
rmne desch is.
1 49
transm ite valoarea de adevr, cu cond iia ca s fie admi se primele prin
cipii, dar dac nu sunt admise, noi nu putem dect infirma i nu demonstra.
C i rc uitul cartezian trunchiat n forma ,fermoarului braithwaitian" a
suferit un al doi lea atac ac um, n u priv ind si gurana canalelor de
tran sm itere a valori i de adevr, c i referitor la pu ncte le nodale ale
i nj eci i lor" adevru lui n circu it: principiile prime i fapte raionate.
Cunoatem din istoria t iinei ci gnd itori reputai a mobi l izat cutarea,
(aflarea opt i m i st) a primelor princ ip i i (n mecan ica Bernou l l i , Eu ler, n
etic Spinoza i Kant, n fi losofia pol itic Hobbes etc . ) . Astzi se
cons ider riscant s admii ca re levant acest circuit trunch iat cu injectarea
valori i de adevr la ni vel ul princ ipi i lor intuitiv indubitab i le; numai unii
neokant ien i mai m prtesc acest p unct de vedere. Prin Duhem i
Popper, at itudi nea critic a fost exti ns i asupra fapte lor i s observm
c aceast te ndin-doctrin este consonant cu l i n i i le d i rectoare ale
criticism u l u i elen antic, ce v i za re levana epistemologic a experienei
senzori ale. Vom reine d i n aceast perspectiv d istincia d i ntre the
Zipfastener- ul popperian i cel al pozitiv ismului logic, acesta din urm
priv i l e g i i n d statutul l u i Protoko l satze, re le vante pentru experiena
senzorial; este controversa d intre deductivism i inductivism. O discuie
asupra contri bui i lor ti inifice ale l u i Kepler i Nev.rt:on, dup care legile
lui Kep ler ne apar drept conj ecturi pri m itive, iar corecia newton ian ca
o teorem, ar argumenta n favoarea unui m odel euristic n care nu exist
fapte perfect raionate .
alfabet, Leibniz [ 1 , p. 1 85) considera c orice lucru care poate s fie gndit,
trebu ie s fie construit d i n combinai i convenab i le i orice raionam ent s
poat fi redus la operaia cvasi mecanic a parcurgerii unei l iste . Ars Ma
gna a l u i Raymond Lu ll us i Computatio sive Logica a lui Hobbes au stat
l a baza u n or a s e m e n e a i d e i ( c f. W. i M . K n e a l e [ I ,
p. 3 46)). Prima ncercare a lui Leibniz a vizat nfiarea fonnri i noi unilor
geometrice com plexe cu aj utorul unui cod n care numere le ntregi in
locul de termeni primi, de exemplu: I " n loc de punctum i 2" n loc de
spatium, iar fraci ile in locul altor termeni care au fost introdui prin
definiie i aranjai n d iferite clase, de exemplu: 1 /2" n loc de primul
termen d i n cea de-a doua cl as, care s-a ni merit s fie quantitas. W. i M.
Kneale [ 1 ] observ insuficiena analizei, deoarece l ista celor 2 7 de termeni
pentru geometrie nu are la baz vreun pri ncipiu inte l igibi l, cc i n timp ce
unele elem ente ca punctum, dimensio sunt specifice geometriei, altele ca
unum, possibile, omne nu au aceast cal itate. Un astfel de program nu
d i stinge se m nele generale ale s i n taxe i logi ce de sem nele spec i fice
geometriei i ar fi trebu it s stab i leasc genuri le de complexitatea care
interv in n definiii i ce trebuie s se neleag prin combi naia" unor
noiuni geometrice simpl e. I deea le ibn izian, c i complexitatea se
dezvolt din conjuncia atributelor (el are n vedere, cnd vorbete de
com binai i, complexe pe care le exprimm prin j uxtapunerea adj ect ive lor
sau a substantivelor comune ca n defin iia un triunghi este o figur cu
tre i laturi drepte") este rspunztoare de eecul programului su; lumea
nu poate fi neleas n acest mod.
Teoria leibnizian a fost bazat pe principiul: expresi i le noastre s
oglindeasc structu ra l u m i i . S e m n e l e de baz c o res p u n ztoare
el em ente lor simple pot fi alese arbitrar, dar trebu ie s exi ste o analogie
ntre re lai i le lor i relai ile elemente lor pe care l e sem n i fic. I m portana
semnelor a fost nvederat de matematic n contrast cu sistem ele noastre
obinu ite de semne care genereaz dificu lti n activitatea intelectual.
Leibniz [2] era preocupat de extinderea unui simbol ism adecvat n regiuni
mai vaste ale cercetri i. Aa cum consemnam n alt parte (urlea [ 1 ,
p. 7 1 ]), Maj oritatea ti i nelor particu lare aprute la nceputu l perioadei
1 56
(SCIENTIA U N IVERSALIS) ;
MATHESIS U N IVERSALIS"
1 60
universalis . Logica este dominanta gnd irii sale n prima faz a evo luiei
incl uziunea. Aceti autori opi neaz c Lei bn iz [2, p. 5 2 5 ] avea n vedere
o teorie general a structurilor ce ar fi putut oferi o sintax pentru
characLeristica universalis. Doctrina Formarum Continent Logicam et
Combinatoriam a lui Leibn iz nfi eaz aceast teorie ce trebu ia s
care se disting definiiile nom inale de orice tip de defin iie, criteriul
autoriznd substituia defi n iiei n locul definiendumului; i i i) a dat o
expunere clar a aspecte lor eseniale ale metodologiei tii nelor deduc
tive, aa cum aceasta a fost form u l at de Ari stote l (cf. Pascal [ 1 ]).
Pascal face referire expres la postu latu l se i f-ev idenei, cci, cum
se tie, Ari stote l este prim u l gnd itor care a demonstrat ntr-o man ier
deven it clas ic, i nu mai puin ce lebr, c nu este pos i b i l s definim
orice concept sau s demonstrm orice adevr; Stagiritu l, cum am vzut
ntr-o seciune anteri oar, a exp l icat acest lucru invocnd doctrina sa a
intuiiei care ne procur cunoaterea d irect a conceptelor prim itive i a
adevruri lor pri m it ive. Pascal [ 1 ] scrie textual : Eu rev in la exp l icaia
ord i n i i adevrate care const, cum eu am spus, n a defin i orice lucru i
a demonstra orice lucru. Aceasta va fi o metod perfect, ns este absolut
imposibil; pentru c este evident c termen i i prim i pe care cineva va
vrea s- i defineasc vor asuma n exp l icaie termen i care i preced, i
sim i lar, propozii i le prime pe care cineva vrea s le demonstreze vor
presupune pe celelalte care le preced; i astfel este clar c cineva nu va
aj unge nici odat la primele propozii i". i Pascal se refer, n continuare,
expl icit la postu latele ari stotel ice ale t i i ne i deductive: .nu urmeaz
c cineva ar trebu i s abandoneze orice fel de ord ine. Pentru c exi sta un
fel de ordine, acel a al geometriei". Aristote l da acelai exemplu de
ti in demonstrativ, care este inferi or, n adevr, n msura n care este
mai puin conv ingtor, ns nu deoarece este mai puin cert; nu defi nete
orice, nu demonstreaz orice; aceasta este unde este inferior; dar asum
numai lucruri care sunt clare i constante n lum ina natural (postulatul
seif-evidenei) i ce este plin de adevr (postulatul realitii), natura
sprij i nindu- I n l ipsa demonstraie i . Aceast ord ine este cea mai perfect,
const nu n definirea a orice, n ici n demonstrarea a orice, n ici ns n a
nu defini n i m i c i a nu demonstra nim ic, ci n l im itarea Ia cursu l mediu
a nu defini lucruri care sunt clare i nelese de toi oamen i i i a defini pe
celelalte, i a n u demonstra lucruri cunosc ute oamenilor i a demonstra
pe celelalte (postulatul deduciei)".
Rezu lt d in acest citat c Pascal, ca i Aristotel, a sesizat ideea
structurii duale a tiine i deductive; i) pe de o parte, noiun i pri m itive i
1 64
1 66
1 67
A DEV RU RI DE RATIUNE"
I A DEVA RU RI DE FA PT"
'
cei care i neleg termen ii, iar a nelege termenii presupune recunoaterea
posi b i l itii a ceea ce este sem n i ficat, (apud, W. i M . Kneale [ 1 ,
p. 3 5 5 ] ). Este evident cerina ca expresiile care figureaz n ansam b l u l
unei demonstrai i s semnifice ceva posibi l . Adevr necesar este definit
ca fiind un adevr, a cru i negaie este formal contrad ictoriu cu sine
(Leibn iz [I, III, p. 40] , iar posibi l" ar nsemna a fi scutit" de contrad ici i
formale cu sine.
L e i bn i z [ 4] a c o n s i d e rat d i s t i n c i a adevruri de raiune i
adevruri de fapt un fe l de chintesen a fi l osofiei sal e: Exist, de
asemenea, dou fe l uri de adevruri, ce le de raionament i cel e de
fapt. Adevrurile de raionament sunt necesare, iar opu sul l or este
imposibi l ; adevrurile defapt sunt contingente i opusu l lor este pos i b i l .
Cnd un adevr este necesar, rai u nea sa poat fi gs it p r i n analiz,
descompunndu-l n idei i adevruri mai s im p le, pn cnd aj ungem
la ce le ce sunt primare . . ''. Adevrurile raiunii sunt bazate pe principiul
contrad iciei n care sunt cuprinse i princ i p i u l identiti i i cel al
ter i u l u i exc l u s . A x i o m e l e , postu l ate l e , d e fi n i i i l e i teore m e l e
matematice au statutul d e adevruri d e raiune, propozii i identice ale
cror opuse i m p l ic o contrad icie expres.
Leibn i z mprtete concepia l u i Ari stote l, d up care orice
propoziie are, n u ltima analiz, o structur de forma subiect- pred icat,
dar va aduga c su biectul conine" predicatu l, aceast aseriune trebuind
s fie adevrat, credea fil osofu l germ an, despre toate adevrurile de
raiune . O situaie cu totul di ferit au adevrurile de fapt, cci pentru a
exp l i ca sensul aseriun i i c sub iectul conine pred icatu l, Lei bniz trebu ie
s apeleze la noiuni le de Dumnezeu i infinitate. Numai Dumnezeu poate
real iza reducia unei propoziii contingente (adevr de fapt), care s releve
predicatul ca fi ind coninut n subiect; i pentru a fi conv ingtor, Leibn iz
[5, p. 62] face com paraie cu rapoartele raionale, caz n care: reducia
impl ic un proces infinit i totui aproximeaz o m sur comun, aa
nct se obine o serie defin it, dar care n u se term in, tot astfe l i
ad evrur i l e conti n gente rec lam o anal iz i n fi n it pe care n um a i
Dumnezeu o poate real iza" . .
.
1 69
Dac adevrurile raiunii sunt valabile pentru toate lum ile posibi le,
celelalte, adevrurile defapt, care sunt, ntr-un sens, contingente, deoarece
depi nd de vo ina lui Dumnezeu, sunt valabile numai pentru lumea real.
Principiul raiunii suficiente ar as igura i acestor propozii i (adevruri de
fapt) un caracter necesar, adic i acestea sunt necesare, deoarece nimic
nu se ntmp l fr un temei. Acestprincipiu (al raiunii suficiente) afinn:
. . . nimic nu are l oc fr raiune suficient, ad ic nimic nu se ntmpl fr
a fi posib il, pentru cel care ar cunoate n mod suficient, s indice un
temei care s fie suficient s determ i ne de ce lucrurile sunt aa i nu altfel"
(Leibniz [6]). Acest principiu (cel al raiunii suficiente) are, ca i princip iu l
contradiciei, rolul unui principiu de analiz i inferen, numai c n cele
mai multe cazuri, Dum nezeu este ce l care poate s cunoasc lucrurile
suficient s se poat apl ica principiul n cauz.
Relevana distinciei adevruri de raiune i adevruri de fapt
(propoziii necesare i prop oziii contingente) pr i v i n d fi l o s o fi a
matematic i i a l u i Leibniz este conexat distinciei matematica pur matematica aplicat, d eoarece m at e m at i ca ap l i cat ev i d e n i az
conexiunea d i ntre propozii i l e m atem at ice i propozii i l e emp irice.
Korner [ l , p. 3 ] observ c: . o prere gre it sau necl ar despre
propozii i le empirice, sau chiar inexistena vreunei preri asupra acestor
propozii i, ar putea afecta foarte mult modul n care este conceput
matematica ap licat" este o remarc ce se ap l ic cu siguran modu lui
n care Leibniz i succesorii si modern i au gnd it natura m atematic i i .
Fi losofia lui Le ibniz despre natura i coninutul m atematici i este
rad ical distinct i di ferit de cea a anticilor - Platon i Aristotel. S pre
deoseb ire de acetia, care concepeau matematica ca purtnd asupra unor
obiecte ideal izate, obinute prin abstracie, pentru Leibniz propoziii l e
matematice sunt asemenea propozi i i lor logice, deoarece sunt adevrate
pentru c negarea lor ar fi logic imposibil. Korner [ 1 , p. 3 1 ] scrie: Dei
orice aparen primafacie ar atesta contrariul, o propoziie m atematic
este tot att de mult sau tot att de puin despre un obiect particu l ar
sau despre o c las de obiecte, dup cum propoziia: dac ceva este
un toc acesta este un toc. este despre tocul meu particular, sau des pre
1 70
clasa tocuril or, sau despre clasa obi ectelor fizice, sau orice alt clas de
obiecte. Am putea spune c am bele propozi ii sunt necesar adevrate
despre toate obiectele pos ibi le, despre toate stri l e de lucruri pos i b i le,
sau, folosind fai moasa expresie leibnizian, ele sunt adevrate n toate
lumile pos ibile . Trebu ie considerat c oricare di ntre aceste formulri
impl ic teza c propoziii le matematice sunt adevrate i necesare pentru
c negarea lor ar fi logic impos ibi l".
Considerm, ca i Korner, dou propozii i; 1 + 1 2" i un m r
cu un m r fac dou mere"; prima aparine matematicii pure, a doua
aparine matematicii apl icate, cel puin printr-o decizie a noastr. Ce
spune fi l o s o fia lui Le i b n i z despre aceste propozi i i ? E n u nul de
matematic pur 1 + 1 2" este cons iderat adevrat n virtutea leg i i
contrad iciei i , n consec in, este adevrat n orice l u m e pos i b i l.
Afirmaia un m r i cu un m r fac dou m ere", ca enun al fizicii, este
adevrat n aceast lume pe care Dumnezeu a trebu it s-o creeze, dac
n conform itate cu principiul raiunii suficiente el a avut temeiuri s-o
creeze, ad ic dac aceasta a trebuit s fie cea mai bun d intre lum i l e
posibi le" (Korner [ l , p. 3 2-3 3 ] ) .
Se observ c maniera n care Leibniz a ncercat s elucideze natura
m atematic i i ap l ic ate, i n p art i cu lar concepia sa despre statutul
propozii i lor emp irice comport o m an ifest ncrctur teologic ,
ceea ce face fi losofia leibnizian a m atematicii puin verosimil cu privire
la acest aspect.
=
C A P I T O L U L IV
CU NOATERI I
Kant se aeaz ntr-o relaie de contu itatea cu opera mari lor si
p redecesori A r i store l (i poate c h i ar P l aton ) , E uc l id , Descarte s,
Newton, Le ibn iz. l leag de Platon, un gen de realism matematic, de
Aristorel ncercarea de a restaura teoria unitar aristotel ic a ti inei.
Lui Euclid i datoreaz convingerea sa, cu poziie central n marea sintez
fi losofic asupra tiinei clasice pe care a realizat-o, c spaiul percep
tual este euclidian i este descris de geometria euclidian tridimensional;
aprioritatea rel ativ a structurii spaio-tem porale fa de legi le specifice
ale fizic i i, caracterul absolut al reprezentri i eucl idiene a spaiului,
raportul specific di ntre geometrie i fizic, fonn al ismul matem atic i
coni nutu l fizic, situaia conceptual a infinitu l u i etc. - presu poziii
conceptuale ale structurii marii si nteze newtoniene (fizica c lasic) em erg
d i n euclidianism i aristotel ism. Dar, astfel am spus ce datoreaz Kant
lui Newton. De fapt, Kant i-a dezvoltat concepia sa asupra cunoaterii,
i n c l u s i v a c e l e i m atematice, n contextu l a n a l i z e i , rec o n s t i tu i r i i
posibil itii marii sinteze tiinifice newton iene d e a exista c a o construc
ie, entitate conceptual. Afinitatea pentru Descartes este marcat de
concepia lor intu iion ist, dup care o ana l i z a raio nam entu l u i
1 72
contrad iciei, cci pred icatu l nu poate fi negat fr contrad icie despre
subiect. Judeci le anal itice au o valoare un iversal i necesar, ns pur
logic, dar nu extind cunoaterea. Beth [ l , p. 46] ; consider c observ aia
lui Kant de mai sus cu priv ire la principiul contradiciei ca surs a
judecilor analitice a generat interpretarea curent, d ar fundamental
incorect a analiticitii, care identific metoda anal itic cu o procedur
pur formal, logic i care a stab i l it, n final, identitatea d intre adevru l
analitic i adevrul logic, di ntre adevrul analitic i adevrul concep
tual. Oricum, s reinem aceste obieci i, aduse interpeetri i anal itic itii
d in fi losofia kantian i s amnm , pentru moment, enunarea unor
rem arc i p ri v i nd recon strucia ana l itic it i i d i n perspectiva log i c i i
cuantificrii, care, dup H intikka, n-ar fi _ fost considerat log ic de
fi losofu l german. Judecile anal itice expliciteaz coninutul conceptelor
cu ro l de subiect" (n exemp l u l lui Kant expl icitarea a ceea ce este
impl icat n noiunea de corp"), motiv pentru care el le-a numit judeci
exp l icative". Evaluarea j udeci lor analitice, cere numai analiza pur
logic, fr nici un apel l a experien, considerent pentru care se spune
c sunt j udeci a priori . D impotriv, j udecile s i ntetice" ext i nd,
mbogesc cunoaterea, cci ele prin afirmarea predicatului adaug ceva
la coninutul ce subzist n conceptul subiectului. Exist dou fe luri de
j udeci sintetice" : a posteriori i a priori, primele au origine empiric,
u l t i m e l e izvorsc d i n i nte l ectul pur i ra i u n ea pur . C hest i u n e a
j udeci lor a poste iori e r a rezo lvat nc de Hume: a u valab i l itate
probabil, cci prov in d i n experien, care nu poate niciodat s le confere
universal itate i necesitate, adic valab i litate, obiectivitate, motiv pentru
care nu sunt considerate valabi le. N. Bagdasar [ l , LXXII I ] comenteaz
astfel punctul de rscruce n care s-a aflat Kant: Dac nu ar exista dect
j udeci si ntetice a posteriori i j udeci anal itice, atunci nici o ti in
nu ar fi posibi l , fi i ndc j udeci le si ntetice a posteriori nu conin
universal itate i necesitate, iar j udecil e analitice care sunt ce- i drept
apriorice, sunt n real itate tauto logice. Att m atem atica pur ct i fizica
matematic pur opereaz ns cu j udeci a cror aprioritate nu este
pus la ndoial, dar pe care cei ce le-au anal izat le-au interpretat ca
1 75
fi ind de natur analitic, ca fiind bazate pe principiul contrad iciei ceea ce era cu totu l eronat. Cci toate j udecile matematice i principiile
fizicii m atematice sunt j udeci sintetice, i fi indc i m p lic neces itatea,
sunt, pe lng sintetice i a priori. i Kant pune ntrebarea, devenit
ce lebr n cadru l teoriei sale ep istemo l ogice: Cum sunt pos i b i l e
j udeci le s intetice a priori?".
nai nte de a urmri dem ersul kantian n anal iza naturi i i structuri i
propozii il or U udec i l or) s intetice a priori, i care reclam i alte
c o n cepte s p ec i fi ce cr iticii ra i un ii p ure", precu m i n tu i i e " ,
intuitivitate", construcie" i altele; s m a i stru im puin asupra
semnificaiei aprioriului kantian ceea ce poate s aduc elucidri, sau,
cel puin, c l arificri pariale, privi nd un alt term en, transcendental,
care desem neaz un cuprins ireductibil, poate, o nou metod, cadru,
sau perspectiv de abordare introduse de filoso fu l german n orizontu l
fi losofiei.
Dup unii comentatori, de exemplu N. Bagdasar [ 1 , p. LXX], metoda
folosit de Kant este numit transcendental sau critic. (Se tie c fil osoful
german i - a num it opera fun d a menta l Tratat despre m eto d" ) .
N. Bagdasar [ l , p. LXX] scrie: Termenul transcendental are la Kant
un sens cu totu l propriu. Spre deosebire de termenul transcendent care
are un sens metafizic, i nseamn ceea ce depete experiena", ceea
ce se afl di ncolo de orice experien", termenul transcendental are un
sens epistemologic i se refer nu direct la obiectele cunoateri i noastre,
ci la cunoaterea obiectelor. Dar nu la orice cunoatere a obiectelor, ci
numai l a cunoaterea lor a priori. Termenu l a priori are ns la Kant un
sens cu totul propriu. A priori nu are la Kant sensul tradiional de cunoatere
a ceva cu aj utorul cauzelor lui, ci are sensul de: neprovenind din experien,
nebazndu-se pe experien, naintea experienei, dar care o face posibi l,
constitu ie forma experienei". A priori nu nseamn ns nnscut . Dac
factori i pe care metoda transcendental i determ in ca fiind de natur
aprioric, ar fi nnscui, ei ar trebui s fie mereu, pennanent activi, ceea
ce nu e cazul".
Dup cum se observ, circumscrierea semn ificaiei a priori "-u lui
kantian, central n perspectiva transcendental introdus de fi losofia
1 76
critic, se face prin raportarea l a experien i la psiho logie, cci priv ind
cel din urm aspect, metoda transcendental nu- i pune problema genezei
psihologice a cunot i i nelor noastre, exp l ica ia genetic-psiholog ic
rmnnd irelev ant pentru v aloarea lor epistemologic, o problem care
l-a preocupat pe filosoful german. Contribuiile lui Locke, Leibniz, Hume
n problema genezei psihologice a cunoti inelor nu au fost recunoscute
de Kant ca solui i la problema valorii obiective a cunotiinelor i, de
altfel, a posibilitii tiinei.
Apriori c u l kanti an determ i n at pe calea transcendental este
constituit d in "elemente originale, ireducti b i le, u ltime ale cunotiine i
care constituie fundamentele i condii i le oricrei ti ine i a l e cror
atr i b ute eseni ale i i n d i s pe n s ab i l e s u rrt n ec e s i tatea abs o l ut i
un iversal itatea riguroas" (Cf.N. B agdasar [ 1 , p. LXXI]); ori valoarea
cunotiinei nu poate cdea n competena psiho logiei descriptive, ci a
teoriei cunoaterii. "Metoda transcendental procedeaz critic, fi i ndc
exam ineaz cunoaterea prin separarea elementelor ei, i anal iza lor,
pri n d i sti ngerea funci i l or cogn i t i v e n act i v i tatea l o r p ur, p r i n
examinarea rolului fiecreia d i n ele" (N. Bagdasar [ 1 , p. LXXI]). Filosofia
critic se opune, pe de o parte, raionalismului i empirismului, care vor
s cunoasc lucrurile, dar fr ca n prealabi l s cerceteze m ij loacele de
cun oatere, de a i c i nece s itatea res imit de Kant a unei critici a
ntrebu inri i facu lti lor cognitive - intelect, raiune, dar i sensibil itate
- iar pe de alt parte, se opune scepticism u lu i, care se ndo iete de
capacitatea uman de cunoatere.
MATEMATICE
Un fi losof de tal i a l u i Kant are o oper complex, i, poate,
controversat nu numai prin originile ei nobi le n cultura greac antic,
fi losofic i matematic i cea m odern, ci i prin rezonana i i mpactul
e i postu m . A cest i m pact l gs im l a orig i nea unor mari program e
1 77
1 78
une i funcii, nu sunt de acest tip. Aici Frege pune degetu l pe o caren a
logicii tradiionale care nu fusese observat nici mcar de acei predecesori
ai si care s-au interesat cel mai ndeaproape de aceast chesti une.
Leibn iz, de exem pl u, cons idera conceptel e i defin ii ile n man iera
propus de analiza adevrurilor anal itice la Kant; dup cum am vzut,
acesta a i fost motivu l principal pentru care el nu a reuit niciodat s
dea un exempl u convingtor al mari i dezvo ltri pe care a proclamat-o n
scrieri le sale de logic". Este evident c definiia frageean a anal iticului
are n vedere proprietatea sa logic, mult mai compl ex dect cea
tradiional , pe care o avea n vedere Kant.
O evaluare mai corect a atitudin i i l u i Frege fa de Kant i
formulare a sa a distinciei analitic-sintetic ne obl ig, ca nainte de a ne
referi la evolui ile post-fregeene ale investigai i lor n domen iu, s- l citm
cu un pasaj semni ficativ, cci dac critic di stincia kantian dintre
adevruri le anal itice i cele sintetice, relevana ei pentru aritmetic,
atitudinea lui nu se reduce la aceste aspecte : Pentru a nu- m i atrage
reproul de a fi cutat s icanez un geniu pe care toi nu- l putem privi
dect cu adm iraie recunosctoare, cred c este cazul s rel iefez i acordul
de idei, care au o pondere cu mult mai mare. Pentru a vorbi numai despre
ceea ce este imediat relevant, vd un mare merit al lui Kant n distincia
d intre j udeci l e anal itice i cele si ntet ice . Artnd c adevruri le
geometriei sunt sintetice a priori, e l ne-a re levat adevrata lor natur.
Acest lucru merit s fie repetat i astzi, deoarece adesea el nu este
recunoscut. Dei Kant a greit n ce privete aritmet ica, aceasta, cred eu,
nu poate m i cora n mod serios valoarea opere i sale. El a vrut s arate c
exist j udeci sintetice a priori; dac ele apar numai n geometrie sau se
gsesc i n aritmetica, aceasta este un l ucru de mai m ic im portan"
(Frege ( 1 , p. 89]). i chiar mai mult, Frege [ l ] , recunoate lui Kant meritu l
de a fi identificat n propoziiile sintetice a priori natura geometriei (n
aceast privin el nsui este j usti fi cat de cercetrile fu ndaionale, n
contrast cu reprezentanii empirismului logic). Geometria se nteme iaz
pe intuiie cum a afirmat Kant, recunoate Frege, axiomele ei rm nnd
relevante pentru orice este intu i b i l spaial : Pentru e luri l e gndiri i
1 80
181
com plet activiti le pe care noi n real itate le real izm pentru a obine
cunoaterea asupra obiectelor individuale. Mi se pare c Imm . Kant ar fi
trebuit s se concentreze asupra acestor activiti mai degrab dect
asupra nregi strri i senzaii lor. Este instructiv de notat c realm ente Kant
vorbete despre obiecte ce ne sunt date n senzai i . . . Dac am dreptate,
atunci eecul real al lui Kant n teoria sa a m atematic i i i se datoreaz,
ironic spus, nencrederi i n propri i l e sale princ ipii. Deoarece noi tim c
intu iia sa general a fost aceea de a sub l in ia aspecte le active i con
structive ale cunoateri i noastre; iar ntr-un fel aceasta este tocmai ceea
ce el a neg l ijat s fac aici; pare un com p l iment indirect s se spun c
Imm. Kant a euat n teoria sa a m atematic i i n msura n care punctu l
su de vedere a fost ne-kantian" ( Hintikka [ 4 ]).
Pare paradoxal s se re pro eze lui Kant un an u m i t gen de
neconstructivism (filosofu l care naintea oricrui alt gnditor a teoretizat
despre cunoatere i adevr ca fi i n d construcie ) , de care este
responsabi l acest reziduu comtemplativ - natura pas iv a percepi i lor,
element al epi stemologiei kantiene, pe de o parte, inspirat de doctri na
ari stocratic a cunoateri i ei i nductive i empiriste, iar, pe de alt parte,
datorat anu m i tor prem i se teoretice i conceptual e inerente ti ine i
contemporane lui.
Dac a vorbi despre un eec al teoriei kantiene a cunoaterii
matematice, aa face Hintikka, este prea mult, oricum, se poate recunoate
faptul c teoria lui Kant despre sursele cunoaterii matematice a generat
dificulti n spaiul problematic i metodol ogic al fi losofiei matematici i,
la unele deja ne-am referit. Dac dimens iunea veritab i l a unei opere se
nvedereaz i prin influena ei, atunci trebuie s recunoatem c ce le
trei programe fundaioniste (logicismul, formalismul, intuiion ismu l),
pe care le-a i ns p i rat, au produ s rezu l tate spectac u l oase n p l an u l
investigaii lor fundaional-metamatematice. Dar, intu iia rm ne, n
continuare, partea vulnerabi l a teoriei kantiene a cunoateri i matematice.
Frege a contestat-o pentru fundarea aritm eticii, dar a adm is-o pentru
geometrie; Brouwer a considerat superfl u i ntuiia pur a spai ului, din
moment ce geometria poate fi aritmetizat; dup detronarea euclidian"
1 84
A RATIONAMENTU LU I MATEMATIC;
MATEMATICA PU RA I MATEMATICA A PLICATA
' W
1 89
19 1
1 92
d in ele coni n toi termenii singulari liberi care apar n S 1 sau n S 2 Putem
demonstra s2 din s l dac i numai dac expansiunea formei normale a lui
S2 va conine la o anum it adncime expansiunea fonnei normale a lui S ,
1
atunci cnd sunt o m i i constitueni i i nconsisteni d in expansiune prin
criteri ile adm ise. Proceduri le de demonstraie sau de respi ngere sunt
sintetice atunci cnd o demonstraie nu se realizeaz prin e l im inarea n ici
unui constituent i nconsistent, sau cnd o demonstraie nu se realizeaz
prin elim inarea constituenilor inconsisteni cu ajutoru l primei ridicri a
adnci m i i . Sinteticitatea este apreciat de Hintikka ca o caracteri stic a
demonstraii lor cuantificaionale. Existena unei form e normale distribu
tive - raiunea pentru care adevrurile logice ale teoriei cunatificri i sunt
analitice n sensul IV - este legat cu raiunea pentru care aceleai adevruri
sunt s intetice n alt sens, adic nu sunt capturate" de regulile naturale de
inferena n sensul I I I( e ). i Hintikka [3, p. 1 70-- 1 7 1 ] formuleaz urmtoarea
concluzie: Putem acum s-l justificm pe Kant. Ceea ce nelegea el cnd
considera c argumentele matematice sunt normal s intetice era perfect
just. Prin argumente matematice el nelegea, n primul rnd, modurile de
aserionare care sunt astzi tratate n teoria cuantificrii . Dar, tocmai s-a
vzut c multe moduri de raionare cuantificaionale sunt inevitabil sintetice
ntr-un sens natural al cuvntului. Acest sens este, de altm interi, strns
legat de inteni i le lui Kant, deoarece s-a artat n prima mea expunere c
grupul III al sensurilor anal iticitii poate fi cons iderat ca o foarte bun
reconstrucie a noiunii kantiene a analiticitii, aa cum a utilizat-o Kant
n filosofia matematicii".
n l um i na d i sti nciei tautologie de suprafa i tautologie de
adncime se poate rspunde la ntrebarea, dac adevrurile logice sunt
tautolog i i . Lund teoria cuantificrii cu un caz-test, atunci adevrur ile
logice ale acestei teor i i sunt toate tautologii de adnci me, dar nu sunt
tautolog i i de suprafa. Coerent cu o asemenea afirmaie avem rezu l tatu l
dup care concepia acelor fi losofi care cons ider c a rg u m e n k l e
matematice nu s u n t analitice n sensul d e a fi doar exp l i ca tive este
astfe l cel puin parial j ust i fi cat . D eoarece nici c h i ar toa t e ace l e
argumente matematice care pot fi formal izate n teoria c u an t i fic r i i m 1
1 93
1 94
re marci eronate des pre natura adevru lui matematic: ,, ntruct toate
demonstrai i l e matematice se bazeaz exc lusiv pe deduc i i log ice d in
anum ite postu late, decurge c o teorem matematic, cum ar fi teorem a
l u i Pitagora n geometrie, nu aserteaz n i m i c obiectiv sau teoretic nou n
comparaie cu postulatele d i n care este derivat, dei coninutu l ei poate
fi foarte bine s fie psihologic nou n sensul c no i nu am avut cunotina
cunoateri i ei i m p l i c ite n postulate".
Cercetri le d i n log ica modern a cuantificri i au produs m utai i
istorice pri v i nd statutul adevruri lor logice ca legi ale gnd irii, cci
majoritatea lor s-au dovedit a fi sintetice n sensul III; pare a fi o conexiune
istoric, remarc Hintikka, ntre ideea caracteru lui necesar al conexiuni lor
logice i i deea c e le sunt anal itice n sensul III. De exem plu, exist o
mare asemnare ntre maniera n care Kant ex p l ic noiunea sa d e adevr
analitic i modal itatea n care Descartes exp l i c noiunea sa a conexiunii
necesare. n am be le cazuri, o concluzie decurge d in prem ise n man i era
dorit, dac i num ai dac ea este i m p licat n conceptul prem i se i n aa
fel nct ultim u l nu poate fi conceput distinct fr a gndi de asemenea
i pe pri m u l . Unele d intre exemplele l u i Descartes s unt de asemenea
foarte apropiate de cele ale lui Kant. S ncheiem cu o succi nt referire
la faptul c conceptul problematic i dificil al intuiiei cu tot cortegi u l
am b i g u i t i l or c a re l n s o e t e e s te u n c o m p o n e n t c e n t ra l a l
raionamentul u i matematic n concepia amb i lor gnditori . Kant a pretins
c matem aticien i i cons ider conceptel e generale in concreto, deci prin
instanele lor indivi d uale, cu alte cuvinte, c e i fo losesc n mod tipic
intuii i le pentru a reprezenta conceptele generale, construcia matematic
a conceptelor n absena lor fiind imposi b i l.
4.4. FI LOSOFIA KANTIAN A ARITMETICI I
F i losofia kantian a matematicii a inspirat programe fu ndaioniste
ale matematicii divergente i chiar rivale: logicismul fregean, formalism u l
hi lbertian sau intuiioni s m u l brouwerian, ceea c e indic fecunditatea
apriori sm ului, nrdcinat ntr-o trad iie, ce emerge de la greci i vechi i
1 95
d irecte a obiectului indiv idual i pe care Kant a num it-o intuiie . Intu iia
este un aspect-cheie, relevant referitor la natura cunoateri i matematice,
deoarece spaiul nu este un atribut al materiei sau un concept, ci este o
intuiie, o intuiie pur, a priori a sensibilitii. A ici se afl punctul de
plecare n construirea perspectivei de abordare transcendental in iiat
de Kant n investigarea naturii matematicii.
Kant a respins dihotomia veche a propoziiilor: propoziii anal itice
i propoziii sintetice, aspect central n filosofia lui Leibniz i Hume, i a
propus trichotomia: propoziii analitice, propoziii sintetice i propoziii
sintetice a priori. Acestea din urm au rol constitutiv fundamental, deoarece
sunt condiii necesare ale posibilitii experienei obiective. Propoziiile
sintetice sunt divizate n dou clase: propoziii intuitive i propoziii d is
cursive; primele sunt intim legate de structura percepiei, n timp ce ultimele
sunt legate de funcia de ordonare a noiunilor generale.
Propozii i le sintetice intuitive au o relevan remarcabil pentru
filosofia kantian a geometriei i a aritmeticii. Ele sunt posibile, spune
Krner [ 1 , p. 3 7]; deoarece: a) descri ind spaiul i timpu l, noi descriem
particularul i astfel, producem propozii i sintetice; b) descri ind spaiul
i timpul, noi nu descriem percepii senzoriale (impresiile), descripi ile
noastre sunt independente de percepii senzoriale, adic ele sunt propoziii
a priori care descriu ceva care este imuabil.
Aceste aseriuni vizeaz n special matematica pur, care nu este o
cunoatere analitic, ci o cunoatere sintetic a priori, deoarece poart
asupra spaiului i timpului.
Influena kantian asupra adepilor fi losofiei criticiste se explic
prin rolul i statutul propozii ilor matematice ca descripi i ale spaiului
i timpului. Kant a sugerat suficient de explicit c ntreaga descriere a
structuri i spaiului i timpului cere nu numai o contemplare pasiv, ci i
o construcie. Krner [ l, p. 38] scrie referitor la acest aspect: A construi
un concept nseamn mai mult dect a propune i consemna definiia sa;
nseamn a- l dota cu un obiect a priori. Ce vrea s spun Kant prin
aceasta e foarte dificil de neles, dar deloc obscur sau confuz. Este foarte
clar ce decurge i ce nu, din construirea unui concept. Nu nseamn s
postulezi obiecte pentru el".
202
203
figuri. S impla form universal a intu iiei care se cheam spaiu este,
prin urmare, ntr-adevr substratul tuturor intui iilor care pot fi determ i
nate n toate obiectele particu lare i tot n spai u se afl i condiia
posibilitii i d iversitii intuiiilor, dar unitatea obiectelor nu este totui
dat dect prin intelect, i anume, dup condii i care se afl n propria sa
natur. i astfel, intelectul este originea ordinii universale a naturii pentru
c subsumeaz toate fenomenele propri ilor sale legi, producnd abia n
felul acesta apriori experien. . .
Intuiia apriori a multiplului, diversului (manifold) numit spaiu
este conceput nu ca o simpl mulime de puncte (point set), ci ca un
continuum, de presupus tridimensional. S impla form a intuiiei "
constrnge intelectul s acorde o structur topologic definit unui obiect
al geometriei, pe care intelectul o poate determ ina n mod liber n
conform itate cu legile naturii. Deoarece propoziii le geometriei clasice
nu sunt logic necesare, nimic nu poate evita posibilitatea intelectului de
a dezvolta o varietate de geometri i alternative (compatibile cu topologia
prescris) i folosirea lor n fizic. Aceast concluzie este implicat de
scrieri le kantiene anterioare, ns este evident dac noi suntem
familiarizai cu mu ltiplicitatea sistemelor geometrice i acest fapt nainte
i nu dup ce citim pe Kant. Atitudinea ortodox kantian este pregnant
n d iscui ile fi losofice despre geometri ile ne-eucl idiene. Oponenii
geometri i lor ne-euc l id iene le trateaz sumar, dac nu superficial,
considerndu-le exerciii intelectuale interesante, ce nu privesc ti ina
autentic a spaiului, relevat numai prin intuiia pur i n deplin acord
cu Elementele" lui Euclid, sau cel puin cu spiritul acestora.
R. Torretti, ale crui gnduri i reflecii asupra operei lui Kant
le-am expus anterior, consider c geometrii le ne-euclidiene n-au infirmat
concepia lui Kant, n special fanteziile de tineree din 1 746 ale filosofului
german. ntr-adevr, nsui Lobacewski, unul dintre ntemeietori i acestu i
tip de geometrie, scria c fore i numai fore, singurele genereaz orice:
micare, vitez, timp, mas chiar distane i unghiuri". R. Torretti [ 1,
p. 3 3] consemneaz n acest context: Dac Kant are dreptate c fore(le)
determin geometria fizic, atunci aceeai geometrie nu este pretutindeni
".
206
207
214
pentru a raiona despre aceste fapte i relaii dintre ele, n vederea stabilirii
caracteristici lor i conexiunilor lor comune, savanii recurg la convenii,
trebuie s cad de acord asupra unor conveni i privind maniera de folosire
metodei de descriere; dar, multe dintre convenii sunt vechi i din aceast
cauz acordu l este uneori dificil. O problem este ns urmtoarea: la
nive lul enunuri lor tiinei este destul de difici l s tragi o l inie de
demarcaie ntre elementele (aspectele) convenionale i cele factuale.
Elementele convenionale n cunoaterea uman i-au atras atenia
nc lui Hobbes, n secolul al XVII- iea; prob lema a fosr reluat n
secolul al XIX- iea legat de definirea i identificarea sistemelor ineriale
n mecanic.
Convenionalismul filosofiei geometriei a lui Poincare a fost studiat
de Rougier ( 1 920) i de Max B lack ( 1 942). Max Black a observat, n
i nterpretarea pe care e l a propus-o, c doctrina conveni onalist a
gnditorului francez vizeaz distinct geometria pur (n ansamblul de
teorii axiomatice formale) i geometria aplicat (situaia cnd una dintre
aceste teorii formale a prim it o interpretare fizic). Convenionalismul
geometric susinut de Poincare nu este cel n sensul tare al termenului,
Poincare susine un convenionalism n sensul slab al cuvntului, cci
tot ceea ce el afirm este teza traductibilitii teorii lor axiomatice formale
n teori i deductive contrare lor i nu n orice teorii; referitor la caracterul
convenional al geometriei aplicate, acesta decurge din convenionalitatea
geometriei aplicate. Dar l u i R. Torretti i se pare discutab i l teza
caracterului convenional al geometriei pure i reia n context punctul
de vedere exprim at de Sklar [ 1 , p. 45], conform cru ia, deoarece
propoziiile geometriei pure nu sunt nici adevrate nici false, ele nu pot
fi convenional adevrate sau false. Poincare, ns, a susinut c geometria
este convenional deoarece ea nu este nici adevrat nici fals, iar el n
a folosit expresia adevrat prin convenie" pe care ar fi considerat-o
lipsit de semnificaie. Punctul de vedere al lui R. Torretti [ 1 ] este
urmtorul : o discipl in ti inific este convenional cnd enunurile
sunt adoptate sau respinse pe alte raiuni dect adevrul sau falsul". n
teoriile axiomatice, deci i n geometria pur, se iau asemenea decizii?
:1
217
221
CAP I TOL U L V
S I TUA TIA
A C T U A L
'
N F I LOS O F IA
MAT E MAT I C I I
nu sunt dect simple cuvinte, nume ale lucruri lor". Expresia care rezum
esena nominalismului este universalia sunt nomina ", ceea ce ne explic
i numele curentu lui. Dintre cei mai de seam reprezentani am intim pe
Roscel in din Compiegne. Duns Scot i W. Occam.
n scolastica medieval s-a constituit i o a treia concepie-curent
num it conceptualism, poziie filosofic inaugurat de Abelard i ai crei
reprezentani au fcut tentativa de a (re)conc i l ia nom inal ismul i
real ismul . Conceptual ismul are n comun cu nom inal ism ul negarea
existenei generalului n lucruri le individuale, ns, n contrast cu acesta,
adm ite c avem posibil itatea de a forma noiuni generale, num ite de
adepi i lui concepte i care ne ofer o cunoatere autentic relevant
despre un numr chiar infinit de indivizi. Uneori termenul conceptual
ism este n locuit cu cel de constructivism, dar nu n sensu l special al
termenului de constructivism matematic, care a cunoscut mai multe
variante n filosofia contemporan a matematicii: intuiionismul (olandez)
a lui Brouwer i Heyting,finitismul lui D. Hilbert i constructivismul lui
A. A. Markov. Constructivismul, concepie despre natura matematicii,
pune accent pe rolul intuiiei i al construciei n matematic i formuleaz
restricii n folosirea regulilor clasice de raionament i definiie, restricii
care vizeaz n special legea teriului exclus i definiiile impredicative.
Dar, revenind la conceptual ism, dictonul su specific este universalia
post rem", care explicit ne spune c un iversalul nu este n lucruri, ci
dup lucruri, adic n minte. Aadar, universalele, dup conceptualism,
sunt inveni i ale m i ni i u m an e . S - a spus c d ac con s i de rm
conceptual ismul ca o teorie psihologic", atunci programul su nu poate
fi realizat, ns, colapsul conceptualism ului psihologic", ca s folosim
sintagma lui Stegmti ller [ 1 ], nu nseamn colapsu l conceptual ismului n
general. Se are n vedere comceptualismul constructiv, (care are n Hao
Wang pe unul dintre cei mai importani reprezentani), ce numai poate fi
tratat ca o poziie ontologic intermediar, ntre realism (platonism,
termenii sunt aproape intersubstituibi l i) i nominalism; cu o expresie
p l astic stegm ti l lerian, acest conceptual i sm este o mldi" a
platonismului, care atunci cnd ne limitm laplatonismul extensional i
224
225
226
diferit de platonism, ci doar mai srac; platon ismul (mai exact sistemul
acestuia) apare ca o expansiune" a celui nom inalist, deoarece adm ite i
variabile pentru obiectele abstracte; b) nu exist situaia intermediar,
alternativa platonism-nom inal ism, formnd o disjuncie, un sistem (for
mal) putnd fi platoni st sau nom inalist. Caracterizarea, oarecum vag, a
conceptului de individual concret, relevant pentru nom inalism, intro
duce un gen de indeterm inare referitor la nominalism, rmnnd cert
faptul c numai individuali i qmcrei sunt admii ca valori ale variabi lelor.
Logic i l ingv istic structura unui si stem formal n viziunea
platonist d ifer de cea a unui sistem formal nom inalist numai prin
adm iterea variab i lelor, cu cuantificatori i asociai, care parcurg un
domen i u d e o b i ecte abstracte ; aceasta ar fi d iferena spec i fi c,
expansiunea" atribuit unui sistem formal platonist relativ la unul nomi
nalist, deoarece n rest urmeaz partea comun" format din urmtoarele
grupe de ingred ieni : I) variabi lele individuale: x" i y"; 2) expresi i
pred icat generale: P". Q". monare sau pol iadice i care fac posibil
construcia enunurilor despre proprieti i relaii; remarc: I) i 2)
singularizeaz nom inalismul prin invocarea exigenei ca domen ii l e
variabilelor, respectiv cele individuale i pentru predicate s fi e l imitate
excl usiv la individuali concrei, proprieti i relaii concrete; 3) toate
tipurile de constante logice cunoscute (nu", i", sau", dac atunci"
etc.) care perm it formularea de compu i propoziionali verificaional i;
4) cuantificatori i (x) i (Ex) cu aj utorul crora construim enunuri generale
i existeniale despre individual ii domeniului (n l imbajul nominal ist)
despre entitile domeniului de discurs, care pot fi obiecte abstracte,
precum clase, numere, proprieti, funcii etc., n l imbajul platonismului.
n discuia despre natura i structura sisteme lor platoniste i
nom inaliste, dup Stegmtiller [ 1, p. 5], sunt fundamentale urmtoarele
aspecte: n primul rnd, distincia concret-abstract care nu poate fi
redus la ceva mai primitiv, i care poate fi neleas prin apel la exemple;
concrete sunt moleculele, celulele, stelele etc.; abstracte sunt clasele,
mulimi le, numerele, relai i le, funci i le, propoziiile etc . Nu este aa
important, cum s-ar credea, indeterminarea conceptului de individual
.
23 1
numai traduse n expres ii adm isibile din punct de vedere norn inalistic.
Simpla prezen a acestor expresii nu conduce la platonism. Astfel, un
enun ca acesta: Tinerii sunt atrai de frumos", poate fi interpretat
platonistic sau nominal istic n funcie de criteri ul relevanei variabilelor
legate, dac acestea stau pentru obiecte abstracte sau, dimpotriv, pentru
obiecte concrete, n particular dac frumosul, frumuseea, este acel ceva
ctre care sunt atrai tinerii sau aceast expresie poate fi reformulat n
maniera nom inal ist.
Teza platonismului despre existena obiectelor abstracte face ca
aceast concepie s fie mai complex sub raportul presupoziiilor i
limbajul la care apeleaz s fie mai bogat. Traducerea platonist" a
enunuri lor nom inal iste este la n<;iemn, cci un enun ca Pa" devine
n limbajul platonismului a E P"; dac n primul caz P" avea un rol
sincategorematic, n al doilea caz, n formularea platonist, el devine
numele unei clase. Stegmtiller [ l ] remarc o anumit , .simetrie " priv ind
traducerea din contexte platoniste n contexte nominal iste. Platonismul
poate accepta un context nominalist ca atare, sau poate converti expresia
sincategorematic ntr-un termen singular concret. Nominalismul poate
accepta un context platonist numai dac acesta poate fi tradus ntr-un
mod de vorbire nominalist; dac reuete acest lucru, atunci platonismul
este considerat un mod de a vorbi (,jm;on de parler ) care servete
abrevieri i; dac nu poate face acest lucru, el va respinge acel context ca
fi ind l ipsit de semnificaie. Incluziunea claselor ofer exem ple care
ilustreaz aceste remarci. Quine a introdus universalii prin identificarea
indiscernabilelor, cci asigur introducerea obiectelor abstracte ca valori
ale variabilelor.
Aadar, anal iza deceleaz cteva probleme importante care i au
relevana lor, prin aplicare specific" n filosofia matematicii. Exist
anumii factori lingvistici care ne relev tipul de entiti asumate?
Rspunsul este afirmativ, dar n inferena de la limbaj la ontologie nu ne
aj ut nici numele, nici predicatele. Criteri u l re levant, subliniaz
W. Stegmtil ler [ l ], care l separ pe platonist de nominal ist const n
ceea ce el admite ca valori ale variabilelor legate i anume platonismul
"
234
23 6
23 8
239
putem acum s construim expresi i-predicat ca nume ale anum itor lucruri
cu 4 dimensiuni ch iar n interiorul acestei concepi i. Similar, se poate
proceda i n alte cazuri, atunci cnd operm cu acest nou statut, de
exemplu predicatul vac nu mai desemneaz o specie mamifer, adic o
esen (n terminologie platonocian) c i un obiect real, ale cru i
componente sunt vacile individuale exact ca n ipoteza celulelor n cadrul
organismului. i Stegmi.il ler comenteaz acest truc nominalist c esena
lui rezid n nlocuirea universalilor prin ntregi concrei adecvat alei,
ad ic tehnic vorbind, n nlocuirea relaiei platoniste de apartenen
(sau mem bru al unei clase) cu relaia parte- ntreg, compatibil cu
concepia nominali st. Detour-ul p latonistic" poate fi acum ocol it
nlocuind expresia este un element al" cu e * presia este o parte a ".
Avem acum contextul definirii propoziiei x este un strmo al
"
lui y expl icit cum urmeaz: (P): x este un printe al unui individual i
un individual este un printe al lui y " ; la aceasta adugm propoziia:
orice individual concret z care conine y ca o parte i, de asemenea,
care conine toi prinii pri lor lui z ca pri are, de asemenea, x ca o
parte"; aceste propoziii l uate n conjuncie alctu iesc definiensul
propoziiei x este un strmo al lui y " . n vederea reconcl ieri i cu uzul
obinuit introducem i adiionalul: x nu este identic cu y" , aa cum am
procedat n cazu l definiiei p latoniste; iniial, variabila-clas aprea
legat, acum este destituit din acest statut, deturu l platonist dove
d i ndu-se ev itab i l . P rocedura-Frege nu este ap l icabi l n cazul de
finiiei relaiei ancestrale n termenii relaiei-printe al, ea este apl icabil
ntr-un mod mai general, remarc Stegmi.il ler [ 1, p. 3 6] , ca o definiie a
oricrei aa_ num ite re la i i d iadice R, n particu lar n construcia
matematicii, unde ofer definirea conceptului de numr natural n
termenii conceptelor de zero i succesor imediat, i unde nu mai avem la
dispoziie amintitul truc nom inalist.
Eecul n cazul general i are rdcina n defectul ascuns n ceea
ce este numit conceptul extins nominalist de lucru, convingtor ilustrat
pe un exemplu geometric dat de Quine: imaginm un ptrat divizat de
dou linii perpendiculare n patru ptrate m ici i n care trasm i dou
24 1
. xem ple: peretele (zidul) este alctuit din crm izi, pe de o parte, i din
molecule, pe de alt parte, fapt responsabil de eecul definiiei nominaliste
strmoului (ancestor) pentru o relaie arbitrar diad ic. Apl icnd
definiensul nominalist, anterior expus, al conceptului ancestral la cazul
oricrei relai i R obinem: orice individual concret z care conine y ca
parte i care, de asemenea, conine ca pri toi acei individual i care
stau n relaia R cu prile lui z, are, de asemenea, x ca o parte", procedur
care este ineficient n cazuri cnd anum ii individuali, care satisfac
condii i l e predicatu lui R, deja au fost complet acoperii de ceilali
indiv iduali.
Prin fo rtificarea nominalismului se urmrete interpretarea
nominalist a formulrilor platoniste, un procedeu fiind cel al conceptului
extins de lucru, dar nu se obine totui un succes deplin n realizarea
programului nominal ist privind enunuri tiinifice i extrati inifice.
Atitudinea nom inal ist n faa contextelor n care valori le variabi lelor
legate sunt entiti abstracte este fie cea de a capitula n faa platonismului,
fie de a Ie declara ca l ipsite de semnificaie, lucru care se ntmpl cnd
nom inal iti i abando neaz cons iderai i l e pragmatice n favoarea
respectrii unui principiu". Fisura nom inal ismului rezid n ceea ce
privete distincia n (de) coninut, n virtutea creia putem distinge
lucrurile, unul de altul. ntruct dou obiecte diferite nu posed acelai
coninut, este imposibil s distingem o clas de obiecte concrete - clasa
satelor unei ri de obiectul n cauz, aici ara, i nci de orice alt clas
care acoper acelai ntreg, de exemplu clasa tuturor hectarelor de pmnt
al unei ri . Nu trebuie, cum s-a vzut, confundate conceptele de clas i
ntreg, desigur, discuia avnd sens dac este acceptat conceptul de clas,
lucru respins de nominal iti pe considerentul c nu se poate stabili o
distincie ntre o clas i un agregat. Maniera nom inal ist ar fi un fel de
argumentare a priori a incorectitudinii platonismului.
ntre obieciile la adresa nominal ismului se menioneaz situaia,
frecvent, c n tiin i n viaa de toate zilele suntem nevoii s apelm
1aformulri platoniste, care rezist" traducerii ntr-un lim baj conform
reetei nom inal iste; sacrificiul este prea mare, o serie de disc ipl ine fi ind
I
243
excluse, ntre acestea fi ind i una foarte important - teorie mulim i lor.
Antiteza nominalism-p latonism, n cazul demonstraiei n matematic,
ar putea fi vzut n termen i i urmtori, conchide Stegmtiller: diferena
rezid n faptul c n cazul nominal ismului reducem presupoziiile
ontologice, iar n cazul platonismului slbim metodele de demonstraie.
Nelson Goodman [2] [3] afirm c exigena pe care trebuie s-o
satisfac un s i s tem no m i nal ist este co n formarea l a pr i n c i p i u l
nominal ismului, care presupune o relaie generatoare i noiunea de
atom relativ la aceast relaie, descris astfel: x este un atom dac i
numai dac nimic nu st n relaia de generare cu x" ; uneori relaia de
generare comport o anume complexitate n cazul unor sisteme, astfel
fie Gxy" care afirm c x este un atom al sistemu lui relativ la relaia
generatoare G i x poart G la y.
Aadar, un si stem este nom inal ist numai dac satisface principiul
nominal ismului:
(y )(z)(x)(Axy Axz) (y z)
(1)
Semnificaia principiului nom inal ismului rezid n faptul c n
sistem nu exist nici o distincie ntre entiti fr d istincie de coninut.
D u p R. M . Mart i n [ I ] , dei Goodman vorbete de p r i nc i p i u l
nominalismului ca un criteriu dup care sunt distinse sistemele, n u este
suficient de clar ce nseamn c un sistem satisface" acest principiu.
Principiul mai cere dou noiuni primare - adevr i demonstrab ilitate,
n context mai cere s nu avem de-a face cu propoziii indecidabi le,
adic adevrate dar nu demonstrabile, prin urmare nsui principiul s
fie demonstrabil. Principiul apeleaz la relaia generatoare ancestral,
care conform Principiei Mathematica" este acceptabi l pe baze
n o m i na l is te. Conex i u nea d i nt re p r i n c i p i u l nom i n a l i s m u l u i i
demonstrab i l itate angajeaz unele dificulti referitoare l a statutul
sistemelor nom inal iste. ntr-adevr, dac noiunea de ancestral este
i ntern i ntrinsec oricru i sistem nom i nali st, trebu ie ca pri ncipiul
nominalismului s fie demonstrabi l, atunci demonstraia lui apelaz la
resurse ce transcend cadrul nominalist.
Formula ( I ) poate fi nlocuit cu o schem de genul urmtor:
=
244
(2)
(y)(z)((x)(Atom x (Gxy) (Gxz)) (y z)
G st pentru sau relaia G sau (G/G) sau ((G/G)/G) etc. Formulele
de aceast form au semnificaie n sistem, indiferent dac sistemul este
sau nu acceptabi l nom inal istic.
Se consider c sistemele violeaz principiul nominalismului dac
cel puin una din negaiile formulelor de forma (2) este demonstrabil.
Dup cum se observ discuia despre demonstrabil itate constituie un
aspect esenial n abordarea principiului nominalismului, mutnd, plasnd
anal iza criteriului de di scernere a sistemel or nom i nal iste de cele
nenominal iste n cadrul intern al sistemului n cauz, fcndu-L expl icit,
dependent de axiomele lui. N. Goodman [3] ofer axiome pentru ceea ce
astzi este numit calculul individualilor" sau mereologie. R. M. Martin
[ 1] remarca faptul c N. Goodman nu spune nimic despre axiome asumate
n guvernarea lui E ". O formul de forma negaiei schemei (2) angajeaz
ingred ieni n demonstraie care depesc princ ip i i le referitoare la
ancestralul propriu" EP0 al lui E .
Principiul nominalismului cere, cu priv ire la o relaie care con
duce la o relaie generatoare, i un principiu de compunere. O cond iie
necesar, dar nu suficient pentru relaia de generare a sistemului este
c dac i numai dac x este un element non-atomar al sistemului va fi
un element y care st n acea relaie cu x". Deci:
(3)
(x) (- Atom x (Ey \ PP P0x)
genereaz un sistem cu relaia care genereaz i un alt principiu:
(x)( - Atom X . - X = /\) (Ey )( y E x)
(4)
R. M. Martin comenteaz [ I ] : (3) este valabil pentru formularea
Goodman a calculului individuali lor, unde atomii sunt entiti care nu
au pri, iar (4) este semnificativ pentru teorii ale mulimi lor n care
atom i i sunt ind ividuali sau e lemente i desemneaz clasa v id; PP i E
sunt relaii care pentru Goodman produc relaiile care genereaz PP P0 i
E Goodman dei vorbete de PP i E ca relatii generatoare pe pagina
1 3 2 (Goodman [2] ) d o singur relaie generatoare i cinci elemente. G
reprezint o relaie generatoare a unui sistem ca fi ind relaia care se
constituie ntre dou elemente x i y ale sistem ului dac i n u m a i dac
=
po
po
po
po
'
245
po
po
po
246
247
Pr7 afirm c orice lucru este sau o clas (de ntregi) sau un ntreg.
Aceste principii enun c clasele i ntregii sunt mutuali exclus ivi
Pr8 enun c ntregii poart E " la clase i numai clasele sunt
generate de ntregi.
Pr9 stipuleaz existena clasei, principiul formuleaz restricia c
este admi s numai existena claselor de ntregi.
Pr1 0 , Pr, 1 : orice ntreg diferit de 1 are un ntreg mai mic; orice
clas, alta dect clasa vid (nul), are un membru.
Pr1 2 formuleaz principiul nom inal ismului pentru relaia <", iar
principiul pentru E " deriv din D4
Lund simbolurile +", x" ca factori primitivi pentru adunarea i
nmulirea ntregilor putem formula axiome corespunztoare, rezultatul
fiind elaborarea unui sistem puternic pentru aritmetic i suficient pentru
teoria numerelor raionale i chiar pentru o teorie constructiv a numerelor
reale i complexe. i, dei infinit, n virtutea lui P2, P3, P9 acest sistem se
dovedete acceptabi l nom inalistic, Goodman [3 , p. i 66], nerespin
gndu-1, ad ic unele sisteme cu ontologii infinite sunt nom inal iste", .
condiia este s satisfac criteriul fundamental al nominalismului.
Se pot construi sisteme nrudite aritmeticii cu un singur atom,
numrul l , care satisfac cerinele Goodman, o alt posibilitate const n
apelul la clase i relaii diadice dintre individuali admise ca valori pentru
variabile, dar nu relaii de ordin nalt. Ancestralii relaiilor diadice dintre
ntregi sunt definibili n sistem i dac relaii de ordin mai nalt sunt admise,
atunci +" i x" devin definibile; sistemul va presupune o logic de ordinul
do i cu variabi l e-relai i cuantificate care adiioneaz i axionem e
extralogice, o baz puternic chiar i pentru o teorie a numerelor reale i
complexe. O direcie interesant vine din considerarea infinitezimalelor
admise ca atomi ai sistemului, o posibil itate de dezvoltare a sistemelor n
acord cu analiza non-standard; numrul atomilor devine nenumrabil, iar
principii adecvate ale nominal ismului i compunerii devin demonstrabile;
n fine exist i posibilitatea oferit de o teorie de ordinul al trei lea;
(x) (y) I (z) (z(E I E) x z (E I E)y) x y)
viznd o lim itare sever a fundamentelor de teoria mulim ilor.
=
248
250
peste clase (x1 )(k") poate fi eliminat din context drept o prescurtare
lingvistic pentru toate clasele de ordinul nti de la 1 la k". Dar, dac
adm item domenii infin ite triv ial i zarea teoriei claselor n maniera
nom inal ist nu se mai produce. Concluzia semnificativ care se degaj
este urmtoarea: n spatele aversiunii nominaliste fa d e obiecte abstracte
se afl respingerea infinitului. n absena infinitul ui orice discuie despre
clase este neproductiv, orice context platonist putnd fi reformulat nom i
nalistic ca pur i simplu fa<;on de parler, pentru c esena relevant a
nominalism ului rmne finitism ul. Diferena dintre nom inalism i
platonism rezid n distincia dintre finit i infinit. D iferena dintre
platonism i nominal ism dac poate fi fcut clar n lum ina distinciei
dintre abstract i concret, este evident, ns, n termenii recunoaterii
sau respingerii unui univers infinit de lucruri. nelegem acum dificultile
traducerii autentice a contextelor platoniste n contextele nominaliste.
Construcia nominalist a logicii i matematicii, dac se vrea consistent,
va expedia" orice referire la infiniti, indiferent dac numrabile sau
nenum rab ile, ca simplu fac;on de parler, un m od de abrev iere a
enunuri lor despre finit de mu lte obiecte. Revizuirea nominalist a
matematicii este mai drastic dect cea constructiv, aceasta din urm
se retrage n faa domeniilor nenumrabile, dar nu oricum de la cele
infinite ". O construcie nominalist a matematicii, conchide Stegmtil ler,
pare o ficiune nereal izabil.
5.4. C O N C E PTUALI S M U L CO NSTRU CTIV:
HAO WAN G
(x) Gx Gy
(3 )
unde ordinul lui y nu depete pe cel al lui x. Variabi lele din cadrul
formulei Gx pot s nu aib ordinul lu i 13. Putem acum nelege conexiunea
dintre aceste fapte i definiiile impredicative care, n esen, nseamn
introducerea unei clase prin referin la o totalitate creia clasa n cauz
i aparine. Gndirea logico-matematic constructiv taxeaz aceast
procedur ca responsabil de cercul vicios". P latonismul strict nu vede
atacabil cercul vicios, deoarece consider c noua clas nu este creat",
ci aleas dintr-o total itate deja disponibil. Constructivistul va acuza
platon ismul strict (implicit def)niiile im predicative) ca fiind o poziie
care d natere antinomiilor i de aceea va formula prohibiia defin ii ilor
im predicative prin stipulri adiionale asupra v_ lorilor legate, astfel dac
n Gx apare variabila legat (a) de acelai ordin cu 13 care este construit,
valori le cuantificabile ale lui (a) vor include toate obiectele de ordin n,
n particular clasa 13 . Cercul este evitat.
Teoria constructivist evit cunoscuta antinomie russellian, cineva
putnd construi pentru orice ordin n c lase ale tuturor claselor de ordin n
care nu se conin pe ele nsele ca membru:
(E 13n+ l )( Xn )[ X n E 13n+ I l ( X n E xn]
(4)
clasa stipu lat este de oridnul n+ 1 i problema dac este un membru al
ei nsi sau nu, nu conduce la paradox. Din (4) nu se poate deriva enunu l
contradictoriu, corespunztor antinomiei lui Russel l .
(E13n+ I ) [ 13"+ 1 E 13"+1 j ( l3n+ I E 13n + I )]
(5)
Ca s avem aceast derivare fo losim formula:
( 6) (Xn) [X " E pn+1 I (X" E xn)] [13"+1 E pn+1 I wn+ I E pn+ 1 )]
un enun care violeaz restricia asupra regulei (x) Gx Gy; validitatea
enunului pentru toi a de ordin n, nu impl ic validitatea pentru un obiect
particular de ordin n + 1 . Modificarea principiului abstraciei clasei i
restricia formulat n (3) alctuiesc teza conceptualist conform creia
entitile abstracte (s spunem clasele) nu exist (poate preexist), ci sunt
produse ale activitii mentale, devine clar c ceea ce conceptualismul
psihologic a formulat vag drept o teorie a abstraciei, n conceptualismul
constructiv, acelai lucru se exprim cu exactitate logic.
=
=:
253
254
Trecem peste detalii ale construciei sistemului L (al lui Hao Wang)
i ne oprim asupra unor consideraii generale, mai n acord cu interesul
nostru filosofie. Sistemul reprezint oformalizare a matematicii pe baze
constructiviste ; ca un rezultat remarcab il, una d i ntre cele mai
controversate axiome ale teoriei mulimi lor, am num it ax ioma alegerii,
este demonstrabil n sistemul L i astfel este evitat statutul" ei incomod
de axiom. Dei Principia Mathematica" a fost intenionat de autorii
ei s fie o teorie constructivist, ea coninea pe lng mult controversata
axiom a alegerii, alte dou axiome dezagreabile - cea a infinitului i cea
a reducerii care n sistemul lui Hao Wang devine superflue i tot aa
recursul la concepte neconstructive. Majoritatea metodelor propuse de
Quine [3 ], sau cele bazate pe teoria non-elementelor, au operat cu un
concept de mulime care, din punct de vedere intuitiv, se vdea obscur i
complicat ca instrument n abordare. Coincidena operaii lor efectuate
n L: cu cele din gndirea intuitiv proprie matematicii clasice determ in
opiunea pentru sistemul lui Wang, privind construirea n acesta a unor
demonstraii matematice clasice. Sistemul lui Wang nu coninepropoziii
formal indecidabile, un deziderat interesant i surprinztor, tiut fi ind
c n real itate toate sistemele suficient de bogate posed asemenea
propoziii. Raiunea profund a acestui rezultat pozitiv trebuie cutat
n faptul c sistemul L reprezi nt o reuniune a seriilor de sisteme mai
bogate ( ever richer systems ), La, unde a este un ordinal constructiv.
Pentru un a arbitrar, G este o propoziie formal indecidabil n La.
Teorema luii Godel, n acest context, poate fi reformulat astfel ca enun
metateoretic: La este consistent impl ic, G este indemonstrabil
-
256
260
propoziionale.
26 1
ntreab dac nu era mai justificat s extindem semn ificaia cuvntu lui
logic, nct s includ direct teoria mulimi lor i teoria numerelor, dect
s se manevreze compl icat n modul n care s-a fcut i anume, reducnd
teoria numerelor la teoria mulimilor, iar aceasta, la rndul ei, la logica
neleas ca teoriafunciilor propoziionale.
S-a obiectat c formulri le lui Russel l referitoare la funciile
propoziionale nu au fost suficient de clare.
O funcie propoziional este o fu ncie ale crei valori (nu
argumente! ) sunt propoziii. Deci, funciile propoziionale pot fi corelate
biun ivoc predicatelor n sensu l de universals taken in intens ion. Dac
aceast definiie opereaz fr dificultate n unele cazuri, de exemplu
considerm predicatul rou", corespunztor acestui a exist funcia
propoziional x" este rou", adic funcia care apl icat oricrui x are
ca valoare propoziia x este rou", n alte cazuri apar di ficu lti
conceptuale. Putnam d exemplul funciei propoziionale x a scris
Waverley". n acest caz, care este valoarea funciei propoziionale x a
scris Waverley", tiut fiind c individualul Walter Scott este autorul lui
Waverley"? Se poate rspunde c valoarea funciei propoziionale n
chewstiune este propoziia: Walter Scott a scri s Waverley", sau
propoziia: Autorul lui Waverley a scris Waverley". Dificultatea poate
fi rezolvat adm ind numai prima simplificare a abordrii russelliene a
logicii, dar nu pe cea de-a doua, conchide Putnam [2] , adic considernd
funcia propoziional identic cu predicatul corespunztor. Se poate
argumenta n favoarea considerrii logicii ca teoria predicatelor luate
n intensiune ori de cte ori se poate aegumenta pentru admiterea logicii
ca teoria funciilor propoziionale.
Frege este considerat ca fiind primul logician care a elaborat un
l imbaj formal i logica formal n sens modern, dar ideea construirii
unui li mbaj special unic matematic i logic i aparine lui Leibn iz.
Limbajul lui Frege a fost un calcul al semnelor, un sistem algebric definit
matematic, care se deosebea de limbajul natural intu itiv, n sensul c
gramatica este descris i definit n termeni prec ii, orice ambigu itate
fi ind elim inat.
263
putut constata, cu stupoare, c acest ton deven ise moderat. Heyting [3]
spunea n 1 960: A vrea s compar situaia d in 1 93 0 cu cea de astzi.
Spiritul cooperrii (subt. ns.) panice a nvins controversele implacabile.
Nici o direcie de cercetare nu mai are pretenia s reprezinte unica
matematic adevrat".
Evoluiile recente din sfera cercetri lor fundaionale au constrns
aceste curente (logicismul, formalismul, intuiionismul) la mutaii de
tranziie de la aspectul lor doctrinar-filosofie la cel metateoretic, n
spe meta-matematic; constatm proem inena i preeminenta aspectului
, fundaional" i o disoluie" a celui , fundaionist", primul fiind un
element mai profund racordat la ce face working mathematician", mai
relevant pentru practica matematic i meta-matematic. Referitor la
elementul- ingredient" doctri n ar fi losofi e al acestor program e
fundaioniste (curente n filosofia m atematicii), observm c logicismul
a devenit pe rnd moderat", apoi pluralistic" i o metamorfoz similar
au parcurs i celelalte dou curente (rivale), programul lui Hi lbert din
formalism a devenit programul modificat" n versiunea Gentzen, ca
mai recent, dup 1 964 (vezi i Rob inson [3 ] ), s exceleze printr-o
abunden de in_vestigaii i rezultate metamatematice, ntre care un loc
de seam dein cele descoperite i/sau stabil ite de P. Cohen [ I ] ; n cazul
intu iionismului s-au constituit cunoscutel e direcii constructiviste
reprezentate cu prestigiu de A . A . Marcov, P: Lorenzen, ca i
conceptualismul constructiv elaborat de Hao Wang, orientri n care se
statueaz expl icit prsirea unor premise intuiioniste (brouweriene) ca
cele ce vizeaz ontologia subiectivist: metalismul i idealismul subiectiv.
Orientarea, n maniera marcatfundaional i deci nefundaionist,
a intuiioniti lor spre cercetri le metamatematice efective a gravitat, din
punct de vedere fi losofie, n jurul conceptului fundamental de intuiie.
Astfel, Lawrence Pozgany [ I ] propune ceea ce el numete intuiionism
liberal ca o baz pentru teoria mulimi lor, al crui nucleu este aseriunea
fundamental de a privi mulimile ca ficiuni mentale, constructe ;
intuiionismul liberal se distinge de cel obinuit, prin aceea c permite
construcia mulimilor actual infinite de cardinalitate arbitrar de nalt
270
fi privit ca deja complet, ind iferent de orice dificulti pur practice care
pot preveni pe cineva de a- l executa actual. Comentariul principiului
formulat de Lawrence Pozgany ne expliciteaz enunarea unei definiii
a unei mulimi foarte apropiat de noiunea de n;rnlime a lui G. Cantor
[ I ]. Autorul insist asupra remarcii c obiecte!, care sunt colectate"
ntr-un ntreg (n vederea formrii unei mulimi), trebuie (neaprat) s
fie date anterior construciei mulimii n cauz. Prin urmare, nu este
plasat nici o restricie cu privire la obiectele ce vor forma o mulime, ci
se formuleaz doar condiia ca ele s ne fie date anterior acesteia. De
altfel, ni se pare c aceast idee a autorului este consonant cu concepii
ale lui Cantor expuse n scrisori ctre Dedekind i anume, c nu orice
colecii se pot constitui ca o singur totalitate (a single totality), pe acestea
el numindu- le colecii absolut infinite sau inconsistente;_ deci, Cantor a
negat c orice colecie de obiecte date se constituie ca o mulime. Pe
aceeai l inie de gndire este consemnat distincia colecii i mulimi
formulat de T. S kolem [ l ].
Examinarea principiului (A) m ai comport urmtoarele trei
clarificri :
A1 Orice colecie oarecare de obiecte anterior date prin descoperire
sau construcie poate fi considerat ca formnd o singur totalitate sau
mulime.
A2 Dac S este orice mulime i x este un membru al lui S, atunci
x trebuie s fie dat anterior construciei lui S.
Obiectele furnizate, date prin descoperire, mai curnd dect prin
construcie, sunt num ite, n mod uzual, individuali. Edificarea teoriei
27 1
mulimi lor este un proces mental care se face pas cu pas, ncepnd
cu anum ii ind iv idual i i contin und cu fo rmarea mul im i lor de
aceti individual i, apoi de mulim i care conin posibil individuali i
mulimi .a.m.d.
A3 Orice mulime S este distinct de toate obiectele x care sunt, n
mod esenial, n S.
Acum, este evident relevana principiului asumat de intuiionismul
liberal referitor la paradoxuri, s spunem c vorbim de cel al lui Cantor,
bazat pe conceptul de mulimea Ma tuturor mulumi/or; deoarece aceast
noiune nu este legitim, construcia respectivei mulim i M nu este
autorizat. ntr-adevr, pentru a construi mulimea M noi trebuie s
presupunem c toate mulimile, inclusiv M, au fost deja construite, o
contradicie cu presupoziiile cerute n construirea lui M. Hao Wang [ 1 ]
a vorbit de aspectul genetic al noiuni i de mulime a lui Cantor. Paradoxul
lui Cantor emerge direct dintr-o atitudine ontologic platonist, care
asum c toate mulim ile sunt date", exist" prin ele nsele i ne
ateapt s le examinm . Asemntor, deoarece nici o mulime nu poate
s fie propriul ei membru (membru al ei nsi) eum n ncercarea de
a construi mulimea tuturor mulimilor care nu sunt membri ale lor nsele;
trebuie o alt ncercare ca s construim o mulime a tututor mulimilor,
deci, cade i paradoxul lui Russel l odat cu cel al lui Cantor.
Intuiionismul liberal se dovedete fructuos n expunerea tuturor
axiomelor sistemului Zermelo-Fraenkel, a legii teriului exclus, a
paradoxului lui Skolem, ca i a ipotezei coninutului etc.
5.6. P ROGRAM U L FO RMA LIST H I LBERTIA N .
FO RMALI S M U L H I L BERTIA N
273
275
numerelor transfinite.
urmtoarea idee:
( A ) Fie un si stem S consistent. Dac S este extins conservativ i necreativ
ln S 1 , atunci S 1 va fi de asemeni un sistem consistent. (Asupra ide ilor
care urmeaz, vezi i I. Prvu [2, p. 230-23 1 ]). n legtur cu aceast
lez central se pot formula 2 observai i, una de ordin logic, iar alta de
ord in metodologic. Ideea logic corect ar fi nu (A) ci (B): Dac un
sistem matematic S consistent i complet va fi extins conservativ i
necreativ, atunci i extensia sa S 1 de acest tip va fi de asemenea
consi stent. Observaia a doua se refer la cerina de n atur
operaionalist: un sistem matematic ntregit cu structuri ideale este
uti l izabil dac i numai dac orice demonstraie a unei teoreme care are
un corelat finit al m atematici i fin ite poate fi transformat ntr- o
demonstraie n care nu sunt folosite elemente ideale; altfel spus,
propoziiile ideale nu genereaz, n mod independent, teoreme aparinnd
priifinite a matematicii, rezult c n urma unei asemenea demonstraii,
284
285
286
296
teoriei mulimi lor din Cohen [2] este aceea c matematica este Un joc
formal confruntat cu chestiuni ale consistenei i pentru care problema
adevrului nu are sens atta timp ct discursul lingv istico-matematic nu
presupune semnificaia i referina, adic o realitate matematic, n ite
obiecte matematice. Cohen recunoate c fi losofia real ist a metmaticii,
adic platonismul, susine ideea c toate probl emele, ca de exemplu
ipoteza continuului i altele, sunt adevrate sau false n domeniul postulat
al entitilor matematice, n ciuda independenei lor n raport cu restul
axiomelor, sau cu diferitele sisteme de axiome. El opineaz c majoritatea
matematicieni lor mprtesc o poziie realist, pe care o chestioneaz
doar cnd ncepe confruntarea cu d ificulti ce emerg din adoptarea ei,
i atunci o prsesc ndreptndu-se spre adpostul oferit de formalism.
Dar, oricum, se concede c poziia real ist (platonismul) are avantajul
c se dispenseaz dejustificarea axiomelor; nu este nevoie s explicm,
n perspectiva platonic, consistena axiomelor teoriei m l_!limilor i nici
de ce aceste axiome particulare alese se dovedesc fructuoase teoretic. O
slbiciune a poziiei formal iste, care renun la orice supoziie, privind
o realitate (matem atic) subiacent teoriei mulimilor,. este obligaia de
a explica de ce axiomele acestei teorii sunt capabile s demonstreze
enunuri aritmetice nedemonstrabile prin m ij loace finitare (finitiste), o
slbiciune compensat de inabilitatea realistului de a explica sursa irului
nefr it de axiome m ai nalte, cum sunt axiomele infinitului i, mai ales,
reculul" lui n faa comtemplrii cardinalilor de un tip suficient de
inacces ib il, la care poate aduga exemp l u l axiomei cardinalilor
msurab ili, s ituaii n care nu d i spunem de o exi sten intu itiv
conv ingtoare n favoarea (acceptarea) sau respingerea axiomelor
respective. i Cohen, ca i Robinson, opineaz c rezultatele de
independen au constituit o veritabi l provocare a poziiei realiste n
matematic, dup cum unele propoziii insolubile, sau nerezolvate nc,
din teoria numerelor, dezavantajeaz poziia formalist. Platonicien ii par
s susin despre consis (ZF + Cardinalul Msurabil) c poat fi redus
la consistena enunuri lor puternice adecvate considerate ca axiomele
infinitului. Optim itii cred c orice problem de teoria numerelor poate
29 7
despre categori i. U ltimele subiecte ale studiului lui Cohen sunt despre
axioma cardinalilor inacces ib ili
pe care o discut sub aspectu l
justificrii, linia de for a raionamentului fi ind analogia cu distincia
finit-infin it, aici de ce nu accesibil i inaccesibil, i motivul c experiena
a artat c acceptarea cardinalilor inaccesibili nu conduce la contradicii,
consistena fiind obiectivul legitim al oricrui demers formalist autentic;
subiect major este i problema impredicativitii (definii ile impredi
cative) care, nerestricionat, a condus la paradoxuri, de care se face
vinovat realismul, cel puin n varianta de platonism ontologic.
-
* * *
***
3 02
308
3 09
310
jilosojic"
311
BIBLIOGRAFIE
APOSTLE, H. G.
[ I ] : Aristotel 's Philosophy of Mathematics University of Chicago Press, Chi
cago, I 952.
APOSTEL, L .
[ I ] : The Justifica/ion ofSet Theories.
ARI STOTEL
[ I ] : Analitice Secunde, i n Organon, voi. I I I, Editura ti inific, Bucu-reti, I 96 1 .
[2] : Metafizica, Editura Academiei R.P.R., Bucureti, I 965.
[3 ] : Fizica, Ed itura tiinific, Bucureti, 1 966.
[4] : Analitice Prime, n Organon, voi. II, Editura ti inific, Bucure;ti, I 958.
[5] : Despre Suflet, Editura ti inific, Bucureti, 1 969 .
[6] : Categoriile, n Organon, voi. I, Editura ti ini fic, Bucureti, I 957.
BAGDASAR, N.
[ I ] : Studiu introductiv, l a Imm Kant: Critica raiunii pure, Editura ti inific,
Bucureti, I 969.
BANU, I.
[ I ] : Platon i platonismul, studiu introductiv l a Platon : Opere, voi . I, Editura
tiinific i Encicloped ic, Bucureti, I 975.
BARKER, S . F.
[ 1 ] : Realism as Philosophy of Mathematics, in Foundations of Mathematics Symposium Papers commemorating the Sixtieth Birhday of K. Gdel
Springer-Verlag, Berlin, Heidelberg, New York 1 969.
BDRU, D.
[ I ] : Studiu introductiv i Note la Metafizica", Editu ra Academiei R.P. R. ,
Bucureti, 1 965.
BECKER, O.
[ 1 ] : Fundamentele matematicii, Ed itura tiini fic, Bucureti, I 968.
BENACERRAF, P. and PUTNAM, H. (eds.)
[ I ] : Philosophy ofMathematics, Prentice Hali, I 964 .
B ERKELEY, G.
[ I ] : A Treatise ConcerninR th<' Princ1jJ/e of Human Knowledge, I 71 O.
-
317
BERNAYS, P.
[ I ] : Some Doubts about the Eleatic Origin ofEuclid :S Axiomatics, in Lakatos, I,
[1].
[2] : On Platonism, in Benacerraf, P. and Putnam, H. (eds.) [ 1 ] .
BETH, E . W.
[ 1 ] : The Foundations of Mathematics, North H o lland. Pu b l . Co, Amster
dam, 1 965.
BETH, E. W. and PIAGET, J.
[2] : Mathematical Epistemology and Psychology, D. Reidel Pub l . Co., Dordrecht
Holland, 1 966.
BETH, E. W.
[ 3 ] : Sc ie nce a Road to Wis dom, D. R e i d e l , P u b l . , C o . D o rd re c h t ,
Holland, 1 968.
BLACK, M .
[ I ] : Conventionalism i n Geometry a n d the Interpretation of necessary State
ments, P. S. pp. 3 3 5-3 49. (apud Torretti, R. [ I ] )
BOOLE, G.
[ l ] : Mathematical Analysis of Logic, Cambridge, 1 847.
BOURBAKI, N.
[ I ] : Elements d 'histoire des mathematiques, Paris, 1 960.
[2] Arhitectura matematicii n Logic i fi losofie, E.P. , Bucureti, 1 966
BOCHN ER, S.
[ 1 ] : Infinity, in Ch. P. Wiener (ed.): Dictionary ofthe History ofideas. Studies of
Selected pivotai Ideas, Ch. Schreibner & Sons, New York, 1 9 73.
BRIESKORN, E.
[ I ] : Ober die Dialektik in der Mathematik. i n M . Otto (hrsg) Mathematiker ziber
die Mathematik, Springer, Berl in, I 974.
BRUNSCHVICG. L.
[ I ] : Les etapes de fa philosophie mathematique, Paris, Libraire scientifique et
techn ique. A. Blanchard, 9 rue de Medicis, 1 9 72.
BUNGE, M.
[ 1 ] : The Foundations ofPhysics, Springer Verlag, Berl in, Heidelberg, New York,
1 967.
CANTOR, G.
[ 1 ] : Beitrge zur Begrudung der transfiniten Mengenlehre, I. II, in Math . Ann.
46 ( 1 895) and 49 ( 1 897).
CARNAP. R.
[ 1 ] : On the logicist Foundations of Mathematics, in Benacerraf, P. and Putnam,
H. (eds. ) : Philosophy of Mathematics, Prentice Hali, 1 964.
318
319
EUCLI D
[ l ] : Elementele.
FRAENKIAN, A.
[ l ] : citat n Filosofia greac pn la Platon, vo i . I, Ed i tura ti i n i fic i
Enciclopedic, Bucureti, 1 979.
FREGE, G.
[ I ] : Foundations ofArithmetic, translated by J . L. Austin, Oxfo rd, 1 95 0 .
GENTZEN, G .
[ I ] : Th e Consistency of e l e m e n tary N u m b e r Th e o ry, i n C o 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 Mathematicial Month ly
7/ l 979.
GOODMAN, N.
[ 1 ] : A World of individuals in Copi, J. M. and Gould. J. A. (eds.) Contemporary
Readings in logica/ Theory, Mac Mil lan Company, New York, 1 967.
[2) : Problems and Projects, l ndianopo l is : Hacktt, 1 978 .
[3 ] : The Structure ofAppearance, H arvard U niversity Press 1 95 I .
G O DEL, K.
[ l ]: Ce este problema continuumului a lui Cantor? n Epistemologie - Orientri
contemporane, Editura Politic, B ucureti, 1 974.
[2] : Russel l's mathematical Logic n Benacerraf, P. and Putnam, H. (eds. ), Phi
losophy of Mathematics, Prentice Hal !, 1 964.
[3 ] : Ober eine noch nicht beniitzte Erweiterung des finiten Standpunktes, n
Dialectica'', 12 ( 1 95 8).
HATCHER, W. S.
[ 1 ] : The Logica/ Foundations of Mathematics, Pergamon Press, Oxford, New
York, Toronto, Sidney, Paris, Frankfurt, 1 982.
HEATH, TH.
[ 1 ] : History of Creek Mathematics, 2 voi. Oxford, 1 92 1 .
[2] : Mathematics in Aristotle, Oxford, 1 949.
HELMHOLTZ, H. VON
[ 1 ] : On the Origin and Significance ofGeometrica/ Axioms, in Ober Geometrie,
Darmstadt, Wissenschaftliche, Buchgesesel lschaft, 1 968.
HEMPEL, C. G.
[ I ] : On the standard Concep t i o n of Sc ientific Th eories, i n R ad e r,
M. and Winokur, S . : Minnesota Studies in the Philosophy of Science, I V,
menionat pentru opinia sa opus celei a lui P. Suppes.
3 20
321
KALMAR, L.
[ 1 ] : On the Role ofsecond Order Theories, in Lakatos, I . (eds) [ I ] .
KANT, IMM.
[ I ] : Prolegomene, Editura ti i nific i Encicloped ic, Bucureti, 1 969 .
[ 2] : Critica raiunii pure, Editura tiinific, Bucureti, 1 969.
[ 3 ] : Critica puterii de judecat, Editu ra tiinific i Encicloped ic, 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 edition.
[6 ] : Kants gesammelte Schriften, Berl in, 1 920 (apud Torretti, R. [ 1 ]).
KLEENE, S.C.
[ 1 ] : /ntroduction to Methamatematics, North Holland Publ. Co. 1 97 1 .
KLEIN, J .
[ l ] : Die Griechische logistik und die Entstehung der Algebra, Quellen u Studien
z. Gesch. der Mathematik, voi. 3 ( 1 934).
KNEALE, W. C.
[ 1 ] : Priori{}' in Use of Reductio ad A bsurdum, in Lakatos, I [ 1 ] .
KNEALE, W. i M .
[ I ] : Dezvoltarea logicii, vo i. I, Ed itura Dacia, Cluj-Napoca, 1 974, v o i . I I , 1 97 5 .
KO RNER, S .
[ 1 ] : Introducere nfilosofia matematicii, Editura ti inific, Bucureti, 1 965.
KREISEL, G.
[ I ] : Proof Theory, I, II, n Journal ofSymbolic logic, 3 1 1 968.
[ 2 ] : Perspectives in the Philosophy ofpure Mathematics, i n Logic, Methodology
and Philosophy ofScience, IV, Bucureti, 1 97 1 .
[ 3 ] : Hilbert 's Programme. in Benaceraff, P. and Putnam, H . ( ed s.) [ 1 ] .
KRIPKE, S.
[ I ] : Substantial Quantification, in G. Evans, J. McDowell (eds. ) Meaning and
Truth", London, Oxford, 1 976.
LAKATOS, I.
[ 1 ] : Problems in the Philosophy of Mathematics, North Holl and Publ. Co
Amsterdam, Londra, 1 972.
[2] : Mathematics, Science and Epistemology, Philosofical Papers, voi. 2, Cam
bridge Uni versity Press, Londra, New York, Melbourne, 1 978.
LEAR, J.
[ 1 ] : Aristotle 's Philosophy of Ma thema tics, n " The Philosophical Review",
April, 1 9 82.
LEIBNIZ, G . W.
[ 1 ] : Die Philosophischen Sc hnften von G. W Lei b n iz, ( a p u d K n e a l e
W. i M. [ l ]).
3 22
3 23
N A STA, M.
3 24
[ 1 l ] : Legile.
l 1 2] : Menon.
POINCAR.f::: , H.
[ l ]: la Science et I 'Hypothese, Pari s, Flammarion, 1 968.
[2] : la Valeur de la Science, Paris, Flammarion, 1 970.
[3 ] : Dernieres Pensees, Paris, Flammari on, 1 96 3 .
POPPER, K. R .
[ l ] : Platon and crisis of early atomism, n Conjectures and Refutations. The
Growth of scientific Knowledge, Harper & Rows, Publi shers, New York,
Hagerstown, S an Francisco, London, 1 968.
[2] : Epistem ologie fr sub iect cunosc tor, n Ep istemologie. Orie ntri
contemporane, Editura Poli tic, Bucureti, 1 974.
POZGANY, L.
[ 1 ] : Liberal Intuitionism as a Basis for Set Theory, n Axiomatic Set Theory,
Mathematical Society, Providence, Rhode Island, 1 97 1 .
PRAWITZ, D .
[ l ] : On the Idea ofa general Proof Theory in Synthese, nr. 27, 1 974.
[2] : ldeas and Results in Proof Theory, in The Second Scandinavian Logic
Symposyum, ed. J. E. Fenstad, North Hol land Co Amsterdam, 1 97 1 .
PROCLUS
[ 1 ]: Comentariu la Elementele lui Euclid, fragmente n Becker, O. (ed.) [1 ] .
PUTNAM, H
[ 1 ] : Models and Realiry, Journal of Symbolic logic, vo i . 4 5 , nr. 3 , September,
1 980.
[2] : Mathematics Matter and Method, Philosophical Papers, volume 1, Cam
bridge University Press, Cambridge, London, New York, Melbourne, 1 979.
QUIN E, W.
[ l ] : Dou dogme ale empirismului, n Epistemologie. Orientri contemporane,
Editura Pol itic, Bucureti, 1 974.
QUINE & GOODMAN, N.
[2] : Steps towards a constructive Nominalism, n J. S.L., nr. 1 2/ I 974.
[3 ] : Mathematical Logic, revised ed ition, Cambridge, Mass., 1 9 5 3 .
[4] : Set Theory and its Logic, revised edition, Harvard Univ. Press, Cambridge,
Mass, 1 97 1 .
[ 5 ] : From a logica/ Point of View, New York, Harper, second edition, 1 95 3 .
[6] : O n what there is? in Benacerraf, P. and Putnam, H . [ l ] .
[7] : Word and Object, The MIT Press Cambridge Mass. 1 960.
RAMSEY, F. P.
The Foundations of Mathematics, Harcou rt, Brace and Co. London, New York,
1 93 1 .
_...,_
325
RA VEN, J. F.
3 26
SZABO, A.
[ I ] : Creek Dialectic and Euclid s Axiomatic, n Lakatos, I, (ed . ) [ I ] .
[2] : Reply, n Lakatos, I. (ed. ) [ 1 ] .
TARSKI, A.
[ 1 ] : Jntroduction a la logique, Pari s, Gauth ier, Vil l ars Louvain, E. Nauwe laerts,
1 969.
TORRETTI, R.
[ l ] : Philosophy of Geometry from Riemann to Poincare, D. Reidel Pub l. Co.
Dordrecht; Holland, Bosto n, London, 1 978.
TOTH, I.
[ l ] : Ahile, Paradoxele eleate n fenomenologia spiritului, Editura ti inific,
Bucureti, 1 969.
URLEA, M.
[ l ] : Filosofia i fundamentele matematicii, Editura Acedemiei R. S. Ro mnia,
Bucureti, 1 982.
.
[2] : Philosophy andfoundational Research of Mathematics, n Revue Roumaine
des Sciences Sociales, Serie de Phi losophie et Logique, nr. 2-3, 1 98 3 .
[3 ] : logic i epistemologic - aspecte relevante n programele fundaioniste ale
matematicii, n Espitemologie i analiza logic a limbajului, Ed itura Politic,
Bucureti, 1 97 5 .
TYMOCZO, T H .
[ l ] : The Four Color Problem and its Philosophical Significance, n The Journal
of Philosophy, voi. 76, 1 979.
UEB ERWEG, FR.
[ l ] : The Principles of Geometry, 1 8 5 1 .
WAERDEN, L . VAN
[ l ] : Erwachende Wissenschaft, Base! und Stuttgart, 1 959.
WANG, H.
[ 1 ] : apud W. Stegmil l ler [ l ]
[2] : Survey of mathematical Logic, North Holland, Amsterdam, 1 963 .
[3 ] : Analiz, reducere i formalizare, n Stud i i de logic matematic, Editura
tiinific, Bucureti, 1 972.
WEYL. H.
[ I ] : The mathematical Way, in J. Newmann (ed .), The World o f Mathematics,
New York, Simon and Schuster, 1 956, voi. I .
WEIZSCKER, C . F. VON
[ I ] : Die Unendlichkeit der Welt, in Zum Weltbild, 7 Aufl. Hirzel Verlag, Stuttgart,
1 957.
WHITEHEAD, A. N.
[ l ] : vezi Russel ! [2] .
WITTGEN STEIN, L.
[ I ] : Tractatus logico-philosophicus, Paris, 1 96 1 .
.
327
Resume
The book i s structured i n the fo l lowing chapters: I . the p h i losop h y ; i n d t l i c f1 > 1 1 1 1 dational research of mathematics; I I . ancient hi story and ph i l o s o p h y o l ' 1 11 1 1 t h rn 1 a t 1 l ' '; ,
I I I . modem philosophy of mathematics; I V. Kant's phi losophy o f mathem a t i c s V t l i c
present situation in the phi losophy of mathematics. The philosophy <f 111ntlie11wt1 c s "
states a pi uri- and inter-d iscipl inary approach of the issue, outlining a ,,contact zone" i n
which a series o f discip l i nes (such as philosophy, logic, mathematics, nH.:tamath e m a t i c s ,
history of mathematics) are in a strong and deep interction with the practice of math
ematics - the so cal led effective mathemati cs. The ai s of the research are both at the
levei ofthe present state ofaffairs and baffl ing vaste, but the comp lete read ing trip of the
text it is hoped to convince about the success of the approach used. The m utual openings
of different domains and genres of the fou ndational research and interrelati ons those
h ave with the science of mathematics are stressed in the book. The u nity of mathe
matics' sty le (ontologica!, epistemo logica! and methodological); its remarkable charac
teristic to take part at the marking up of its own foundations, at the assessment of the
ontologi cal, ep istemologica! methodo logical status of the mathematical entities are de
veloped. The core of the script is made ofthe interactive relation" 's problem between
phi losophy and mathematics - this being announced and especially approached in chap
ters I and V. The profitable valences for both theoretical discipl ines - mathematics and
phi losophy - are identified and motivated with caution. In this context we show t h at t h e
differences and divergences of opinion in the sphere of phi losophical and foundation a l
investigations o f mathe-matics are the consequences of the co n fli c t'' betwecn prcscn t
results (technical-mathematical and metamathematical), and the grc ate s t of ph i l oso p h i
cal thought's main trends: platonism, aristotelism, kantianism etc. M u ch m o re, 1 1 w t l i
ematics' great foundational ist programmes (logicism, formal ism, i n t i t u t ion i s m ) i l rc t l 1 e
hypostases of the general phi losophy's trends - the real ism , the 110111 i 1 w l i s 1 1 1 , t l ic rn 1 1 ceptua! ism. On the one hand, if phi losophy offers to mathemat ics a rc l c v; 1 1 1 r e t 1 hrn 1 t t l w
ultimate roots o f present divergences with i n phi losophy and foun d a tion s o f 1 n ; 1 t h rn 1 i 1 t
ics, o n the other hand, d i fferent phil osoph ies i mposed b y the modern rcsearchcs rn 1 1 he
used as actual too ls and scripts to read and reinterpret being able to ass i g n a more rn 1 I lT I
and profund un derstanding of the ancient, middle age and mo dern , p h i l os o p l ty
significations and messages. The first and last chapters offer exp li citly the co ntext wl i ir l i
poi nted out the approaches to that issue. The discourse retai ns, in a relev a n t a n d c ol i r 1 -
329
ent way, the relations' constellation among the great domains of mathematical th inking;
mathematics, the foundations of mathemati cs, metamathematics, philosophy of rnath
emati cs, general (speculative) philosophy. A series of remarks - that are original - ex
pressed explicit by enough the significant o utl ine of the terms which designated the
th ought's domains above mentioned. The remarks, also formulated the conceptual, theo
retical and methodological distinctions - warning in th is way against the unauthorized
use of them in the context of more subie theoretical analysis (see the borders among
philosophy of mathematics, foundations o f mathematics and metamathematics.). The
plea in the favour of difference", disti nction", separation", (but not exclusiveness")
has a counterbalance in the cautious identifications o f the communication, the mutual ity
and complementarity among those domains - this being a phenomenon produced by the
great mutations due to the foundational progresses. In these chapters (I, V) the logica!
and logico-mathematical approach is prevalent; in this case, the mathematical research
appeals to the proceedi ngs, methods and technics with a mathematical, logi co-math
ematical and metamathematical character. The Jast ones are in the service of the phi lo
sop hical analysis and exp lanations - i n the author 's view th is is the legiti mation of the
productive role of philosophy in the foundational research.
As regards chapters II, III and IV - these containing historical" essence which has
an actual relevance - the author not pretends (not claims) original contributions: he only
states in a pertinent way the information due a vaste and up-to-date bibliography (which is
subordinated to the approach used). Anyway, a series of personal notes regarding different
issues can be identified, th is being alongside with the systemical synthesis- that one faci li
tating the building of the research' script. This script" is centered upon the relation between
philosophy and mathematics " and refers explicitly to the famous issue of ,;nathematics
foundation . The last one is, accord ing to the author, forked in two sub-problems; 1 ) that of
mathematics ' nature, wh ich belongs to philosophy's vocation and competence; 2) that of
mathematics ' structure, that being more technically'' approached belongs to such disci
plines as foundations of mathematics and metamathematics. In such a script", ph ilosophy
of mathematics (besides of foundations of mathematics and metamathematics) finds its natu
ral place. Through phi losophy ofmathematics is identified the channel of the general, specu
lative" ph ilosophy's i nsertion" and communication" in the contact zone " of the signifi
cative domains of mathematics, foundational research (mathematics, foundations of math
ematics, metarnatematics, philosophy of mathematics and general phi losophy). The philoso
phy will accompany differently the foundation's problem in the contexts of the approach, for
exarnple, at the pure mathematics' levei, and at that of applied mathematics, and, final ly, at
the computers' impact. The ph ilosophy's role, for which the author had also pleaded in M.
urlea [ 1 ], is speaking in metaphorical way placed under the cupola" of the conceptual
methodological distinction: ,foundationist "-,foundational " wh ich separates and gener
ously assigns the competences to philosophy ofmathematics, those of mathematics' founda
tions and metamathematics, respectively.
"
330 '