Documente Academic
Documente Profesional
Documente Cultură
fa n fa cu completitudinea aritmeticii
HORIA CHIRIAC, GEORGE CEAUU Iai
1. Completitudine funcional i axiomatic n teoriile
fizicii
Cele mai abstracte noiuni ale unui domeniu sunt
conceptele i categoriile iar cele mai abstracte propoziii,
principiile (de la princeps, n latin). Noiunile se
fundamenteaz, n general, prin definire iar propoziiile, prin
inferene care, cel mai adesea realizeaz trecerea de la o list
de premise la o concluzie. ns nu toate noiunile pot fi
definite; nici toate propoziiile nu pot fi puse n coada unei
inferene concluzive. Cu alte cuvinte, categoriile doar se
descriu iar principiile se aeaz, n genere, capul inferenelor i
nu n coada lor.
ntr-un tratat de mare circulaie, Roland Omns prezint
interpretarea de la Copenhaga ca fiind interpretarea mecanicii
cuantice1, cu alte cuvinte ca unic interpretare care poate fi
susinut cu argumente pertinente extrase din main stream-ul
tiinific actual. Autorul neglijeaz alte tipuri de interpretri
din dou motive principale (dac noi am neles noi bine!): i)
fie c teoriile alternative nu au suficient consisten
experimental, deci reprezint doar un interesant demers
teoretic sprijinit doar de frumuseea matematicii, nu ns i de
experimente special dedicate susinerii teoriei respective i
respingerii teoriilor adverse (nu experimentele generale, pe
care le invoc toi fizicienii din fizica particulelor elementare);
ii) fie c demersul de filosofia tiinei ntreprins n marja
respectivelor teorii este nc insuficient. La ora actual
interpretarea de la Copenhaga nu are rival, judecnd-o din
1
10
11
12
13
14
Con3) A, I, I |- A ( A 1 ) ( A 2 );
Com3) A, I, I |- A ( A 1 ) ( A 2 ),
fiind, de fapt, principiul consistenei pentru cazul trivalent,
respectiv principiul cvartului exclus. Forma principiior se
poate explica n cazul celui din urm calcul, datorit existenei
a dou negaii, i anume p 1 i p 2, unde operatorul
logic este, de fapt, adunarea modulo 3. Fr ndoial, i
negaia boolean se poate exprima sub forma p 1, unde
operatorul este, de aceast dat, adunarea modulo 2, deci
formulele Con3 i Com3 seamn cu Con i Com23.
Propunem, pentru mbuntirea sistemului de
interpretare propus de Roland Omns n monumentala lucrare
invocat (vezi prima not de subsol), dou amendamente care
ni se par semnificative. Primul amendament provine din faptul
c sistemul propus de autor are la baz un calcul propoziional
complet extins la un calcul cu predicate boolean, cruia i se
adaug o list de condiii funcionale i de verosimilitate. Or,
n consens att cu interpretrile sermocinale i reale permise de
lingvistica computaional, un astfel de calcul nu zugrvete
suficient de expresiv ideile de incert, nedeterminat, imprecis.
Nu ntmpltor, John von Neumann i Garett Birkhoff propun
o logic cuantic pentru descrierea comportamentului unei
particule elementare.
Al doilea amendament const n faptul c noiunile
aduse n discuie de autor nu sunt analizate din punctul de
vedere al unei teorii a definiiei. Dei conceptele au definiii
operaionale (fixate prin diverse formule), autorul nu
urmrete traseul raionamentului de la noiunile fundamentale
(care, adesea, nu admit definiii, doar descrieri!) la cele
derivate, pentru a elimina eventualele erori de demonstrare sau
de argumentare.
Soluia propus de noi (pentru cadrul unui realism
modal n genul celui descris mai sus) este un ter exclus al
crui nucleu se gsete n teza de doctorat a lui Petre Botezatu,
lucrare prin care se stabilete o poziie rigid ntre cele dou
23
15
24
16