Documente Academic
Documente Profesional
Documente Cultură
1.
2.
3.
4.
5.
6.
7.
8.
9.
Capitolul III studiaz n mod aprofundat cel mai simplu sistem logic: calculul propoziional (L). Este prezentat sintaxa sistemului (limbaj plus structur logic) i semantica sa.
Legtura dintre sintax i semantic este exprimat prin teorema de corectitudine (orice
teorem formal este un enun universal adevrat) i prin teorema de completitudine
(orice enun universal adevrat este teorem formal). Teorema de corectitudine rezult
printr-o simpl inducie relativ la modul de definire a enunurilor lui L. Mai complicat
este demonstraia teoremei de completitudine. Algebra Lindenbaum - Tarski este o
construcie canonic prin care unui sistem logic i este asociat o structur algebric.
Proprietile sintactice se reflect n proprieti algebrice, care sunt mai uor de
manipulat. n cazul de fa, algebra Lindenbaum - Tarski B(L) a calculului propoziional
va fi o algebr Boole. Din acest moment, ntregul aparat algebric dezvoltat n capitolul
precedent va putea fi folosit n studiul sistemului logic L. Aplicaia sa cea mai important
este demonstraia algebric a teoremei de completitudine. Demonstraia se face prin
reducere la absurd (orice enun ce nu este teorem formal nu este universal adevrat) i
const din urmtorii pai:
- se pornete cu un enun ce nu este teorem formal;
- se trece de la sintaxa lui L la algebra Lindenbaum - Tarski B(L);
- se aplic teorema de reprezentare a lui Stone algebrei Boole B(L);
- folosind pasul precedent se construiete o interpretare a lui L;
- n interpretarea obinut, enunul este fals.
Teorema de completitudine tare stabilete echivalena dintre deducia sintactic i
deducia semantic. O demonstraie nealgebric a teoremei de completitudine tare se
poate obine utiliznd rezultate asupra mulimilor maximal consistente (n special
existena i caracterizarea lor). Se poate observa un paralelism perfect ntre teoria
mulimilor maximal consistente ale lui L i teoria ultrafiltrelor. Rezult un fapt tulburtor:
demonstraia nealgebric a teoremei de completitudine a calculului propoziional este
privirea n oglind a demonstraiei teoremei de reprezentare a lui Stone.
Capitolul IV conine prezentarea limbajului calculului predicatelor de ordinul nti (CP),
dar omite structura logic (axiome, reguli de deducie etc). Se insist pe semantica lui
CP, pe noiunea de model i de deducie semantic. O tratare mai complet a lui CP (cu
demonstrarea teoremei de completitudine a lui Gdel) necesit dezvoltri tehnice pe care
lipsa de timp nu le permite n acest semestru.
Acesta ar fi coninutul cursului. Alegerea modului n care acest material poate fi predat i
revine profesorului.
Extinznd planul discuiei, vom prezenta patru modele posibile pentru predarea unui curs
de logic matematic (care poate fi i altul dect cel pus n discuie).
(a) Modelul cvartalist presupune organizarea perfect a materialului predat. La fiecare
curs, definiiile, lemele i teoremele sunt aranjate n sertare imaginare, cu o etichetare
precis; sertarele compun dulapuri imaginare dispuse perfect n ncperi imaginare;
ncperile formeaz blocuri imaginare ce gzduiesc cunotinele de logic; pe ansamblu,
cursul apare ca un cvartal, n care un pota imaginar poate merge cu precizie la adresa
fiecrei definiii, leme i teoreme.
(b) Modelul mioritic propune aezarea materiei ntr-un relief fr trasee abrupte, cu
treceri line de la definiii la exemple, de la leme la teoreme, astfel nct auditoriul s
ajung la captul unei teoreme sau al unei teme cu un efort aproape insesizabil. Un astfel
de procedeu impune descompunerea unui fapt n pri mai uor de explicat n mod separat
iar apoi repunerea lor la loc, dar ntr-o nou produs matematic. Eficiena modelului
depinde de metesugul profesorului de a descompune i recompune materialul, precum i
de fineea cu care ideile sunt plasate ntr-o estur general.
(c) Modelul tropical este caracterizat printr-o abunden de fapte matematice, nsufleite
prin torente de idei si de comentarii. Rezultatele expuse copleesc prin numr i prin
consisten matematic, ideile nesc n fiecare loc, iar comentariul este exploziv,
neuniform i chiar paradoxal. n aceast vegetaie matematic luxuriant, drumurile nu
sunt largi iar poienile sunt rare, dar intens luminate. Tehnica este subsumat ideilor, iar
ordonarea materialului nu este prestabilit. Modelul este eficient n cazul cnd auditoriul
are un nivel matematic ridicat i este pasionat de subiectul discutat. Aplicarea modelului
tropical ar putea avea succes mai mult n cazul studenilor de la master.
(d) Modelul catedral alege cteva fapte centrale (concepte, teoreme, teme, modele) i
materia este organizat astfel nct s serveasc demonstrrii, explicrii i aplicrii lor.
Viaa matematic a cursului graviteaz n jurul acestor construcii capitale; de aceea
semnificaia lor trebuie s fie excepional. n plus, demonstraia lor trebuie s fie o
combinaie rafinat a unui mare numr de noiuni, leme, propoziii i artificii de
raionament. i nu n ultimul rnd, este necesar stabilirea unei relaii att de profunde
ntre aceti centri vitali astfel nct ea s fie definitorie pentru ntregul curs.
Fiecare din modelele de mai sus are virtui i scderi. n multe cazuri, de fapt are loc o
mpletire a celor patru stiluri de predare. Pentru cursul de logic predat la anul I,
preferinele noastre merg spre modelul catedral. Materia se nfoar n jurul a dou
rezultate fundamentale: teorema de reprezentare a lui Stone (la capitolul de algebr
Boole) i teorema de completitudine (la capitolul de calcul propoziional). La curs nu
avem timp s tratm dect o parte a relaiei dintre ele: demonstraia teoremei de
completitudine prin teorema lui Stone. La rndul su, teorema de completitudine ofer o
demonstraie a teoremei de reprezentare a lui Stone. De fapt, ele sunt dou enunuri
matematice echivalente (ntr-o axiomatizare a teoriei mulimilor fr axioma alegerii).
Aceast relaie ntre reprezentare i completitudine poate fi extins la majoritatea
sistemelor de logic. Atunci putem vorbi de un adevrat principiu: completitudinea
sistemelor logice i reprezentarea structurilor lor algebrice se determin una pe alta. l
vom numi principiul celor dou catedrale.
Pentru studentul de anul I, la sfritul acestui semestru ideea de sistem logic este
concentrat n relaia tripartit: sintax, semantic, algebr. Ea se ncadreaz n schema
de a defini un sistem logic prin descrierea dimensiunilor sale matematice.
Mulumim domnilor profesori Sergiu Rudeanu, Drago Vaida, Mircea Sularia i Andrei
Popescu pentru sugestiile fcute n timpul scrierii acestui articol.