Professional Documents
Culture Documents
F
RAPORTUL DINTRE MATEMATIC I LOGIC
la Octav Onicescu
51(498)Onicescu, O.
Clin CANDIESCU
RAPORTUL
DINTRE MATEMATIC I LOGIC
LA OCTAV ONICESCU
PAIDEIA
A. VIAA I OPERA LUI OCTAV ONICESCU
*
* *
3. Obiectele matematice
ncercnd o caracterizare, n genere, a obiectelor
matematice autorul scrie:
Alctuirea (constitution) obiectelor matematice nu
este arbitrar, dei se bazeaz pe cea mai mare libertate
pe care o posed spiritul nostru. Nefiind arbitrar, ea
procedeaz dup afiniti structurale, urmrind analogia
cu alte obiecte, chiar concrete, n conformitate cu
necesitile interne ale teoriilor n care urmeaz s fie
nglobate sau pentru a rspunde exigenelor logice
interioare ale spiritului care ncearc sub forma
experienei mentale elaborarea de construcii
matematice care s poat satisface anumite condiii
interioare (p. 10) cf. i Al. Surdu, Contribuii
romneti... (1999, p. 178).
Deosebind ntre obiecte concrete i obiecte
abstracte, Onicescu relev faptul c obiectele
matematice sunt n primul rnd abstracte. Mai mult, n
puritatea lui, un obiect matematic are o abstracie de
gradul II. Astfel, trebuie s deosebim ntre abstracia
de gr. II a cubului de exemplu ca obiect matematic
veritabil i realizrile matematice ale cubului (ca
ansamblu al punctelor ABCDEFGH din spaiul euclidian)
care sunt, la rndul lor, abstracii matematice de
gradul I ale obiectelor (cuburilor) concrete, de natur
fizic (cf. p. 11).
20 \ Clin CANDIESCU
7. Obiectul categorie
O categorie [n sens matematic] nu este un
ansamblu n sensul propriu al acestui concept, deoarece
prile alctuite din elemente ale unei categorii nu
prezint nici un interes special pentru proprietile
Categoriei. Ea este mai nti un spaiu care este abia
apoi un ansamblu.
O categorie este un sistem de elemente legate ntre
ele prin morfisme binare, tranzitive.
Aceste obiecte sunt dintre cele mai generale pe
care matematica actual le cunoate. Ele nglobeaz,
de exemplu, toate sistemele ordonate, relaiile de
ordine fiind morfisme. n particular, sistemul de
24 \ Clin CANDIESCU
8. Model i teorie
Anume obiecte [concrete, care au caracteristici
comune mai mult ori mai puin stabile] sunt susceptibile
de o descriere matematic satisfctoare. Aa este cazul
sistemului solar. Prima descriere matematic unitar i se
datoreaz lui Kepler. Ea constituie ceea ce se numete
model. Acest model nu se reduce la o simpl imagine
constituit dintr-un centru i din elipsele care au acest centru
ca focar al lor, ci nglobeaz de asemenea ceea ce se
numesc legile lui Kepler ale micrii planetelor (p. 31).
Alt exemplu este modelul cuantic al lui Bohr pentru
atomi sau modelul lui J. von Neuman i O. Morgenstern
pentru teoria jocurilor.
Modelul corespunde unui obiect determinat.
Matematicile n-au putut ns avea un model universal,
aplicabil la toate obiectele experienei noastre (p. 34).
Nu exist nc un model matematic al ntregii
matematici, cum s-a crezut la un moment dat c poate
fi modelul mulime...
Nu exist un model matematic pentru Universul
fizic, exist doar modele pariale, la fel n tiinele
economice i sociale (loc. cit.). Acestea sunt princi-
palele idei cuprinse n cap. I care privete Formele
gndirii matematice i care au relevan nu numai
asupra filosofiei i fundamentelor matematicii, ci i
asupra raportului dintre matematic i logic.
Raportul dintre matematic i logic / 25
pqpvq (3)
p v q p (resp. p v q q) (1')
p p q (resp. q p v q) (2')
pvqpq (3')
p v p = p2
Autorul continu:
n ceea ce privete cea de-a doua atitudine
extremist, pentru care limbajul este un simplu auxiliar
neesenial tiinei, ea este legat, dei nu n chip
absolut, de poziia din ce n ce mai autoritar pe care o
ia axiomatica nluntrul fiecreia dintre disciplinele
matematice (subl. n., p. 107-108).
. NOMINALISMUL CA LOGICISM
I LOGISM (LOGISTICISM)
1. Nominalismul logistic ( 9)
n ultim instan, ceea ce critica, n principal,
Onicescu n filosofia logicii i a matematicii (cf. 9-13,
15-16) sunt urmtoarele:
(a) logistica nsi (logica simbolic) i, n ultim
instan, logica formal n genere (deci i logica
clasic);
(b) logicismul cu ncercarea lui de a reduce
matematica la logic (Frege, Russell, Whitehead,
Wittgenstein, Couturat etc.);
(c) logicismul colii de la Viena cu ncercarea lui
de a gsi un limbaj unic pentru tiin;
38 \ Clin CANDIESCU
. NOMINALISMUL
CA AXIOMATISM LOGICO-FORMAL
3. Intuiionismul
ca doctrin antinominalist ( 14)
Acceptarea curentului intuiionist nu este nteme-
iat pe analiz i demonstraie, ci doar pe dou
considerente principale: (a) se exclude complet orice
ntrebuinare a terului exclus i (b) se susine caracterul
creator i constructivist al gndirii matematice.
*
* *
6. Axiomatizarea geometriei
conduce la numr ( 7)
Mai nti, geometria euclidian este considerat ca
paradigmatic pentru ntreaga matematic, n sensul unei
veritabile doctrine matematice (astfel nct, aici, dincolo
de aspectele axiomatice, sunt cuprinse i alte componente
veritabil matematice, nelogice i neaxiomatice).
Dou tendine proprii matematicii sunt apoi
considerate n mod parial critic de ctre Onicescu:
(a) Generalizarea procedeului lui Descartes:
transformarea geometriei euclidiene n geometrie analitic.
... acest criteriu const n posibilitatea de a stabili
o interpretare numeric a elementelor Geometriei,
astfel nct aceste numere s formeze un Corp (sau un
Inel) i s genereze o geometrie analitic. Transformm
deci, n acelai mod cum a fcut Descartes pentru
Geometria lui Euclid, orice geometrie pur ntr-una
analitic a unui Corp de numere (p. 133).
(b) Axiomatismul matematic. Fundamentarea
axiomatico-matematic a geometriei model geometria
euclidian se deosebete de cea logicist prin aceea
c sistemul de axiome cuprinde (dincolo de postulate,
axiome, definiii de baz etc.) un grup euclidian de
transformri ale planului (p. 132).
Generalizarea procedeului:
Putem de aceea defini ca obiecte ale acestei
geometrii toate formele i relaiile invariante fa de
grup. Aceasta caracterizeaz, deci, structural, ntreaga
geometrie (loc. cit.).
Raportul dintre matematic i logic / 47
(I) Argumentul-cheie
Dac geometria s-ar identifica cu sistemul de
axiome, o geometrie axiomatizat ar fi... o main
care singur, fr creaie, constructivism etc., ar produce
automat toat geometria (respectiv toat matematica).
Din argumentul-cheie (pericolul de a reduce
matematica axiomatizat complet la un automatism, la
o main, unde nu se mai gndete, ci doar se
calculeaz dup algoritmi), deriv, dup autor, i
nominalismul logistic (cf. 9-16 examinate de noi
mai sus).
(II) Argumentul neprecizat este expus n paragraful:
3. Noua teorie
Autorul evideniaz defectele modelului clasic care
const, n primul rnd, prin introducerea spaiului
punctual E, ale crui puncte sunt, n genere, lipsite de
semnificaie fenomenologic (empiric). Dar eliminarea,
din sistemul paradigmatic (E, K, P) a spaiului punctual
E las fr suport variabilele aleatorii, deci o bun parte
din forma actual a teoriei probabilitilor i a aplicaiilor
ei. Remediul const ntr-o dubl modificare:
(1) introducerea aa-numitelor funcii sum f (),
unde evenimentele (atomice) aparin cmpului
borelian K ( K), astfel nct aceste funcii nlocuiesc
variabilele aleatorii din modelele clasice, i, n locul
sistemului (E, K, P), se constituie un cmp de
evenimente probabiliste (P); se depete astfel
perspectiva restrns oferit de teoria mulimilor;
(2) a doua modificare const n construirea unui
model cvasiansamblist (diferit de cel oferit de teoria
mulimilor) pentru algebra Boole corespunztoare,
58 \ Clin CANDIESCU
1. Accepii terminologice
n opera lui Onicescu apare conceptul, respectiv
termenul de colectiv cu trei accepii principale: (A)
accepia tehnicist-matematic, (B) accepia sistemico-
ontologic i (C) accepia epistemologico-statistic.
Accepia matematic (A) are mai multe nelesuri:
(A1) conceptul frecvenial probabilistic introdus
(1919) i elaborat de R. von Mises; (A1) modificri
ale conceptului de colectiv (n sens A1) aduse de
urmai ai lui von Mises; un loc aparte l are aici
conceptul frecvenial probabilistic propus de
K. Popper (1934); (A2) conceptul frecvenial statistic
ntlnit att la Nae Ionescu, ct i la Onicescu; (A3)
conceptul statistico-aleatoriu propus de Onicescu.
Sursele de baz ale concepiei lui Onicescu despre
colectiv sunt R. von Mises (accepia A1 frecvenial
probabilistic) i Nae Ionescu (accepia A2 frecvenial
statistic i accepia B ontologic).
0 1 1 0 0 0 1 1 1 0 1 0 1 0 ... (A)
(A)
66 \ Clin CANDIESCU
*
* *
sau:
Anume valori medii caracteristice ale fenomenelor
fizice par deci a reprezenta o realitate imuabil, stabil,
creia noi nu-i vedem dect aparenele complexe (p. 15).
*
* *
*
* *
*
* *
*
* *
*
* *
120 \ Clin CANDIESCU
Referine exegetice
(Contribuii n logic)