Sistemul formal al logicii.

Elemente de filosofie

Sistemul formal al logicii. Elemente de filosofie

De la ntemeierea sa, logica a stat n relaii foarte strnse cu filosofia, i aceasta nu numai n sensul c filosoful i logicianul s-au contopit n una i aceeai persoan, ci n sensul unor legturi mai profunde ntre sistemul categoriilor logicii i structura concepiilor filosofice. n aceast lucrare, am ncercat s surprind utilitatea refleciei filosofice n dezvoltarea problematicii sistemului formal al logicii, unde rigoarea i bogia euristic i regsesc unitatea. Corelaia logicii cu filosofia poate da filosofiei, mai bine zis construciilor logice o anumit soliditate i stabilitate n raport cu tendinele de unilateralizare, iar logica, la rndul ei, devine mai puin arid i mai subtil prin fundamentarea filosofic. Logica este considerat condiia propriei noastre existene intelectuale, cu aceasta cptnd o valoare moral i respectul ei privete nsi existena omului. Totul este form, viaa nsi este form ( Balzac ) Capitolul I Sistemul formal 1. Definiie, caracteristici, condiii, aplicaii. Definiia unui sistem formal nu este unic i depinde de punctul de vedere din care este privit sistemul formal i de noiunile acceptate n prealabil, pe baza crora se face aceast definiie. Tarski definete un sistem deductiv ca sistem formal , bazndu-se pe noiunea de consecin, aa cum e conceput de logica clasic. J. Cavaills scrie c : un sistem formal n general este un grupaj ierarhic de ansamblri de semne sau de << formule complete >>, astfel nct, plecnd de la unele dintre ele, considerate ca valabile, s se poat obine altele, n baza unor procedee fixate . Un sistem formal este determinat de urmtoarele cinci mulimi : o mulime de simboluri primitive; o mulime de termeni determinai prin reguli efective; o mulime de formule, care este o submulime a mulimii expresiilor, determinate prin reguli efective cu ajutorul noiunii de termen; o mulime de axiome, care este o submulime a mulimii formulelor; o mulime de reguli de inferen, finit, dup care o formul este

derivabil imediat ca o concluzie dintr-o mulime finit de formule, convenabil aleas ca premis. Astfel, se poate spune c un sistem formal poate fi privit ca adunare ordonat de mulimi care ndeplinesc anumite condiii . Un sistem formal nu este dect un schelet de semne goale de orice coninut. Dup ce el a fost construit, se pot da componentelor primitive semnificaii determinate, punndu-le ntr-o legtur de coresponden cu o anumit clas de obiecte determinate. Aceast coresponden biunivoc ntre componentele primitive ale unui sistem formal i o clas oarecare de obiecte se numete reprezentarea sistemului. Aceasta e de fapt << o concretizare >> a sistemului, n care toate teoremele sistemului respectiv rmn valabile, dar sunt particularizate la o anumit clas de obiecte. Odat construit, sistemul formal, trebuie s ndeplineasc mai multe condiii, care formeaz, n terminologia actual, proprietile metateoretice ale sistemului : coerena un sistem formal S este coerent dac nu se poate deriva n interiorul lui o propoziie p i n acelai timp, negaia ei, non-p. Acest mod de a enuna coerena unui sistem privete aspectul sintactic al acestei condiii. Se poate enuna ns aceeai proprietate n aspectul ei semantic : un sistem formal S este coerent dac el posed cel puin un model ( dac el are cel puin o interpretare ). Din punctul de vedere care ne intereseaz aici i care privete n mod special sistemul formal al logicii ( deci care a suferit deja o interpretare ), condiia de mai sus este condiia de necontradicie a sistemului formal al logicii matematice. saturaia aceast problem este aplicat la sfer general, cu referire direct la noiunea de sistem complet i de completitudine. rezolubilitatea un sistem este rezolubil dac exist un procedeu efectiv n baza cruia se poate decide, pentru orice propoziie a sistemului, dac este valid sau nu. categoricitatea aceast proprietate se afl n strns legtur cu interpretarea unui sistem formal, adic cu construcia unui model pentru el, un sistem formal putnd avea o serie nelimitat de modele. Dac aceste modele sunt izomorfe, atunci sistemul se numete categoric. Pentru sistemul formal al logicii avem n vedere urmtoarele trei condiii axiomatice care pot fi exprimate astfel : condiia de necontradicie condiia de independen condiia de suficien. Sunt diversele metode prin care se poate dovedi c axiomele i deci ntreg sistemul formal al logicii sunt necontradictorii, independente i suficiente. Pentru Hilbert, logica nu are dect s combine simboluri, i un logician veritabil trebuie s raioneze asupra lor fr s se intereseze ce semnificaie au ele. Logica este astfel un joc de simboluri sau, mai bine spus, un joc de forme pure. Prin formalizare, se urmrete, reducerea logicii la un edificiu de simboluri, vide de orice coninut, ce presupune eliminarea treptat i dac se poate complet a intuiiei i prin aceasta, a oricrui material intuitiv, fie sensibil, fie intelectual. Eliminarea oricrui coninut din logic prin introducerea semnelor ( simboluri sau variabile ) duce la consecina necesar c nici un semn nu are nici o legtur nici cu realitatea obiectiv, nici cu inteligena, care nu gndete nimic prin el. Axiomatica se desvrete n formalizare.

 Noiunea de sistem formal scrie Ladrire corespunde unei perfecionri a metodei axiomatice. Ea reprezint gradul suprem de abstracie . Pe scurt, sistemul formal al logicii este un angrenaj de simboluri, o articulaie ntre diverse semne, iar a raiona nseamn a constitui un schelet simbolic dup anumite reguli. Un sistem formal permite s se formeze dup reguli precise, anumite expresii, care pot servi ele nsele, conform acelorai reguli, la formarea unor expresii mai complicate. Un sistem formal este astfel un mod riguros de a vorbi. De aceea, logicienii actuali mai numesc un sistem formal o limb formalizat . Sistemul formal poate fi considerat ca un obiect de studiu, s vorbim despre el. n aceast situaie s-a fcut o distincie : un sistem formal S este considerat ca o limbobiect, iar limba care vorbete despre sistemul S poart numele de metalimb. ntr-un sistem S(n) se vor stabili anumite teoreme despre sistemul S(n-1), care este luat ca obiect. Sistemul S(n) va forma un metasistem relativ la sistemul considerat, iar teoremele din S(n) se vor numi metateoreme. Cu noiunea de metasistem ajungem la ideea de sintax i semantic. Studiul unui sistem cu ajutorul unui metasistem poate fi fcut din dou puncte de vedere : primul punct de vedere consider modul cum este construit un sistem formal, care sunt condiiile corectitudinii formelor lui, i posibilitile lui deductive. Acest mod de a studia un sistem n metasistem se numete sintax logic a sistemului. Termenul a fost utilizat de Wittgenstein prima dat, dar construcia sintaxei logice se datoreaz lui R. Carnap. Prin dezvoltarea logicii n ultimele decenii, s-a dovedit din ce n ce mai clar c ea poate fi manipulat n mod exact numai dac nu se bazeaz pe judeci ( idei ), ci dac se refer la expresii lingvistice, inclusiv propoziii. Sintaxa poate fi studiat prin metoda axiomatic, obinndu-se, cu ajutorul sistemului ei formal, teoreme sintactice. Un al doilea aspect sub care poate fi studiat un sistem formal este aspectul lui semantic. Studiul unui sistem formal n legtur cu noiunile de adevr i fals se numete semantic. Mai bine spus, cercetarea unor formule ( bine formate n cadrul sistemului formal ) n ceea ce privete sensul lor, adic valoarea de adevr, este problema central a semanticii. Aceasta nseamn c semantica este legat de interpretarea unui sistem. Termenul de semantic se datoreaz lui A. Tarski, autor care a adus cele mai multe dezvoltri n acest domeniu. Sistemul formal al logicii astfel constituit nu are dect un singur caracter logic intern, i anume acela de compatibilitate. Cnd vorbesc de adevruri neleg adevrurile pe msura noastr i spun c mintea i inima sunt ca nite ui prin care aceste adevruri sunt primite n suflet, numai c foarte puine din ele intr prin minte, pe cnd capriciile ndrznee ale voinei intr cu grmada fr sfatul judecii ( B. Pascal )