Eugen Balaban Nicolae Calistru

Ctlin

LOGIC COMPUTAIONAL

Editura POLITEHNIUM

Capitolul 1.

Introducere

Logica este cuvnt derivat din termenul elin (logos). n limba greac veche expresia logos avea urmtoarele nelesuri: cuvnt, idee, raiune, ordine. Heraclit din Efes utiliza termenul logos cu nelesul de ordine necesar, proprie att cosmosului, lumii materiale ct i gndirii omeneti n forma ei superioar. Filosofii stoici elini au dat cuvntului logos un sens idealist, nelegnd prin logos raiunea cosmic, divin. Mai trziu filosoful Filon Iudeul a utilizat cuvntul logos desemnnd prin el raiunea divin ca for mijlocitoare ntre Dumnezeu i lume. Teologii cretini au utilizat cuvntul logos pentru a desemna raiunea divin ca for mijlocitoare ntre Dumnezeu i lume, identic cu Iisus. Geneza logicii s-a produs n antichitate n lumea Greciei sclavagiste. Necesitatea studierii raionale a gndirii a fost

determinat de intensificarea preocuprilor de cunoatere tiinific a lumii faptuite de nvaii elini. Astfel, Democrit, aproximativ ntre anii 460-370 .e.n. pornind de la cercetrile naturii a fost determinat s studieze inducia, analogia, ipoteza i a formulat legea raiunii suficiente. n continuare, la constituirea logicii i-au adus contribuia filosofii sofiti prin practica demonstraiei. Gnditorul Socrate aproximativ ntre 469-399 .e.n. prin centrarea refleciei pe suflet a adncit preocuparea pentru modurile de gndire. Discipolul lui Socrate, Platon aproximativ ntre anii 427347 .e.n. ocupndu-se de studiul genurilor supreme ale ideilor a ncercat o clasificare a categoriilor i formularea unor legi ale logicii. Logica a fost structurat, sintetizat i expus ntr-o form durabil de ctre filozoful Aristotel (circa 384-322 .e.n.). Aristotel a revizuit i generalizat cunotinele de pn la el despre formele gndirii fiind primul gnditor care a scris o oper centrat special pe studiul gndirii omului. A considerat c formele centrale ale gndirii sunt noiunea, judecata i raionamentul. Filozofii stoici au contribuit la dezvoltarea logicii prin apropierea ei de retoric i gramatic. Prin tradiie, logica este studiat ca disciplin filozofic, fiind una dintre cele trei discipline ale clasicului trivium, alturi de gramatic i retoric. Logica este o specie a cunoaterii exacte. Obiectul cunoaterii sale este forma abstract a gndirii umane. n studiul formelor gndirii umane logica separ forma de coninutul informaional, afectiv i volitiv precum i de mijlocul exteriorizrii formei gndului adic limba natural lund n cercetare numai forma intelectiv, cognitiv, raional, obiectiv a gndirii considernd mijlocul de comunicare ca element convenional. Odat fcut aceast prim separaie logica efectueaz a doua operaie: separarea formelor corecte de cele
3

incorecte adic a celor valide de cele nevalide. n continuare se ocup preponderent de cercetarea formelor valide de gndire. Scopul final este practic, deoarece exist nevoia individual i social de eficien a gndirii aplicate. n prezent logica exist pe mai multe nivele de structurare. Se practic logica de baz n care coexist logica tradiional, aristotelic sau general i logica modern, matematic sau simbolic numit i logistic. Alturi de logica de baz s-au iniiat i dezvoltat cercetri speciale de logic n conexiune sau n baza altor discipline tiinifice dnd natere unor logici speciale. Asupra sistemelor logice tradiionale i moderne n special s-au dezvoltat cercetrile logice care le depesc sub aspectul generalitii, cercetri reunite sub numele de metalogic. Refleciile cele mai generale asupra logicii actuale se fac asupra conceptelor logice fundamentale, asupra condiiilor i metodelor formale i asupra finalitii logicii, reflecii ce poart denumirea de filozofia logicii sau logic filozofic. Logica formal i celelalte tiine Logica studiind forma gndirii se deosebete de toate celelalte tiine care rein coninutul gndirii. Pe fizician, pe chimist, pe biolog, pe sociolog l intereseaz n primul rnd ce anume se afirm sau se neag ntr-un act de gndire. Un raport aparte exist ntre psihologie i logic. Psihologia studiaz fenomenele psihice printre care exist i gndirea. Ea cerceteaz gndirea ca proces psihic n complexitatea lui intern i extern adic n legile sale de proces psihic de cunoatere normal i patologic i n relaiile sale cu condiiile i factorii externi gndirii cum ar fi memoria, afectivitatea, imaginaia, strile neurofiziologice, cu evoluia individual. Logica se ocup numai de condiiile gndirii normale, corecte lund n considerare formele eronate doar n vederea delimitrii i prescrierii formelor corecte de gndire. n aceast situaie logica nu este n conflict cu psihologia, ci n colaborare, pentru c nformaiile
4

privitoare la condiiile preliminare ale unei gndiri normale sunt necesare pentru accesul la formele corecte de gndire urmrite de cercetarea logic. n aceast faz logica nc mai are de a face cu psihologia deoarece o categorie de cauze ce determin abaterea gndirii de la corectitudine este de natur extralogic cauze denumite paralogisme ce sunt de competen comun psihologiei i logicii. Dup detaarea de factorii paralogici, logica i preia mai deplin obiectul mai avnd de luptat cu a doua categorie de factori care in ntr-adevr de corectitudinea formelor i operaiilor gndirii, anume cu grupul sofismelor adic a erorilor logice propriu zise. ns odat obinute condiiile normalitii gndirii i realizat trecerea la formele corecte, logica se afl pe trmul ei unde poate opera distinciile proprii ntre genurile i speciile formelor corecte i celor incorecte. n acest stadiu logica nu mai are de a face de loc cu fenomene afective, volitive sau de alt natur preocupndu-se exclusiv de aspectul obiectiv al formelor gndirii. O alt disciplin care se intersectez cu logica este lingvistica. Cauza care face ca lingvistica s se ntlneasc cu logica este strnsa legtur dintre limbaj i procesul gndirii. Pentru ca o form de gndire s existe ea are nevoie de o materializare fie i n forme interiorizate, subiective. Fr aceast materializare nu pot fi executate operaii nici asupra formelor nici asupra coninutului informaional al gndirii. Lingvistica a descoperit c ntre materializarea formelor gndirii i formele sale pure nu este o dependen absolut, ci una relativ, astfel nct o form de gndire i un coninut se pot materializa n moduri diferite putnduse exprima de exemplu aceeai judecat cu acelai coninut n limbi diferite. Deci raportul dintre forma mental a gndirii i materializarea sa lingvistic este totodat necesar i convenional. Nu exist o relaie de identitate ntre semn i neles. Totui raportul dintre forma gndirii, coninutul informaional al ei i materializarea acestora este de subordonare. Gndirea subordoneaz limbajul. Datorit acestor relaii lingvistica prin cercetarea i adecvarea limbajului ca vocabular i gramatic are o contribuie
5

substanial la elucidarea problemelor calitii actului de gndire. Metod Pentru logic, metoda este un ansamblu de prescripii obinute prin transformarea propoziiilor unei teorii n reguli de aciune practic i intelectual n scopul rezolvrii problemelor de logic. Logica de baz (logica tradiional, aristotelic sau general i logica simbolic modern, matematic sau simbolic) se caracterizeaz prin trei metode fundamentale: standardizarea, simbolizarea i formalizarea. Standardizare logic Standardizarea logic este transformarea enunrilor din limba natural, fr a le altera coninutul, n expresii din care poate fi detaat structura lor logic. Simbolizare Simbolizarea se materializeaz prin introducerea de simboluri speciale -constante i variabile-cu ajutorul crora forma logic a acestor enunuri este fixat n formule specifice. Se utilizeaz numai parial n logica general i extins n logica simbolic. Formalizare Formalizarea este finalizarea teoriei logice ntr-o form calculatorie. Se utilizeaz numai n logica simbolic fiind un criteriu eficace de deosebire ntre logica general i logica simbolic. n contemporaneitate logicienii dispun de mai multe clase de metode de cunoatere logic datorit potenialului generalizator al metodelor matematice moderne pe care logica le-a preluat foarte productiv n planul cunoaterii.

Filosofii greci

Heraclit din Efes (Greac: Herakleitos) (aproximativ 535 475 .Hr.), cunoscut ca "Obscurul" (Skoteinos), a fost un filozof grec presocratic. El nu a fost de acord cu Thales, Anaximandru i Pitagora n legtur cu substana fundamental i considera c elementul fundamental din care deriv toate celalalte este focul, n locul apei, aerului sau pmntului, cum considerau filozofii care l-au precedat . Acest lucru a dus la convingerea c schimbarea este un lucru real i c stabilitatea e iluzorie. Pentru Heraclit, totul este "ntr-un flux", dup cum spune binecunoscutul su aforism "Panta Rei": Totul curge, nimic nu rmane neschimbat. De asemenea a ajuns cunoscut pentru c a spus: "Nici un om nu poate s intre n apa aceluiai ru de dou ori, deoarece nici rul i nici omul nu mai sunt la fel." Aceast afirmaie exemplific punctul culminant al credinei materialiste. Materia lucrurilor se transform tot timpul, i singurul lucru constant este forma, care poate fi exprimat n limbajul atemporal al formulelor matematice. Punctul de vedere al lui Heraclit, prin care explicarea schimbrii ar trebui s fie baza oricrei teorii naturale se opunea foarte puternic lui Parmenide, care considera c schimbarea este o iluzie i c totul este static.

Unica sa scriere care s-a pstrat, creia posteritatea i-a dat titlul de Peri physeos (Despre natur), nu este o lucrare sistematic, ci mai degrab un jurnal n care autorul i-a consemnat, sub form de maxime, concluziile asupra unor probleme-cheie ale filosofiei. Interpretarea celor 130 de fragmente rmne i astzi subiect de disput. Totul n univers i societate se supune unei ordini necesare, desemnate de Heraclit cu numele logos. Gndirea lui Heraclit a avut n antichitate o puternic influen asupra stoicilor; a exercitat o constant fascinaie pentru Hegel, Marx, Engels i Lenin. Referitor la limbajul lui Heraclit, Socrate i-ar fi spus lui Euripide: "Partea pe care am neles-o e minunat i ndrznesc s cred c e la fel i cea pe care n-am neles-o; dar este nevoie de un cufundtor din Delos spre a nelege totul" (Diogene Laeriu, II, 22)

Filon din Alexandria ( ori () , Filon Iudeul, n ebraic , Filon Ha'alexandroni sau Yedidia Ha'alexandroni; n. 25 .Hr. d. 40 d.Hr.) a fost un filosof mistic evreu de limba greac din Egipt, eful colii iudeo-alexandrine. A ncercat s combine religia iudaic cu platonismul, pitagorismul i stoicismul. A recurs n acest scop la interpretri alegorice ale dogmelor religioase tradiionale n spiritul acestor concepii filosofice. Concepiile sale au avut un rol important n formarea teologiei cretine.

Democritos (greac: ) (c. 460 - c.370 .Hr.), a fost filosof grec presocratic. Democrit este un important filozof grec, descendent al unei bogate familii din Abdera, Tracia. Democrit a cltorit mult (Grecia, Egipt, Persia), a revenit apoi n cetatea natal unde a devenit celebru prin vastitatea i enciclopedismul cunotinelor sale. Democrit a preluat teoria atomist a dasclului su, Leucip, dezvoltnd-o ntr-un adevrat sistem filosofic, conform cruia la baza lumii se afl atomii, care coincid cu realul - plinul (to on), i vidul, neantul - golul ( to menon). Atomii sunt particule solide, indivizibile, imperceptibile, necreate i eterne, n continu micare; din combinarea lor, iau natere toate lucrurile care alctuiesc universul (att corpurile materiale ct i sufletul uman). Spre deosebire de ali filosofi care credeau ntr-o lume unic, avnd pmntul n centru, Democrit formuleaz teza lumilor infinite. Democrit a fost primul care a afirmat c fora motrice a istoriei omenirii este nevoia (chreia), necesitile oamenilor. Democrit a emis ideea dezvoltrii ascendente a societii omeneti. Poziia lui Democrit era anti-teza mitului despre epoca de aur i decderea permanent a umanitii. Opera sa, extrem de bogat i variat (peste 50 de tratate), se distinge prin claritatea lingvistic i elegana stilului, Cicero comparndu-l pe Democrit cu Platon n aceast privin. Diogene Laeriu menioneaz titlurile a 12 tratate ale lui Democrit despre matematic (Geometrika, Arithmoi - Numere etc), 16 de fizic (Cosmographie, Perton planeton Despre plante), 8 de etic (Peri andragathias e Peri aretes - Despre brbie sau despre virtute; Peri euthymies - Despre bucurie), 8 de muzic (Peri rythmon kai harmonies - Despre ritmuri i armonie), grupate n tetralogii. Gndirea lui Democrit, cel mai de seam filosof materialist al lumii antice, a exercitat o puternic influen de la Epicur i Lucreiu pn la Francis Bacon, Galileo Galilei i Leibniz. Eleaii au pregtit drumul spre atomismul materialist, prin viziunea lor despre o materie constant i imobil, care nu poate fi sesizat dect de
9

gndire, aceasta fiind singura modalitate care este exist cu adevrat i care se deosebete de schimbarea neltoare a aparenelor senzoriale. Pitagoreii au pregtit de asemeni drumul spre ideea c toate calitile senzoriale trebuie s fie reduse la anumite relaii numerice ntre formele corpurilor. Atomitii au putut s formuleze, datorit acestor idei, un concept clar despre cum trebuie gndit materia ca ultimul fundament al tuturor apariiilor. Cu formularea acestui concept, materialismul a fost desvrit ca teorie consecvent a apariiei lucrurilor din materie. Pasul acesta a fost ndrzne i cu urmri importante pentru istoria filozofiei i a tiinei. Este pasul pe care l-a fcut Democrit.

Socrate (n. cca. 470 .Hr. d. 7 mai 399 .Hr.) (Greac: Skrts) a fost filosof al Greciei Antice. Socrate s-a nscut la Atena n dema Alopex, n 470 .Hr., adic la sfritul rzboaielor medice. Mama sa, Phainarete, era moa; tatl su, Sophroniscos, era sculptor. Probabil c Socrate a primit educaia de care aveau parte tinerii atenieni din vremea sa: a trebuit s nvee muzic, gimnastic i gramatic, adica studiul limbii bazat pe comentarii de texte. Printre maetrii a cror frecventare ar fi contribuit la formarea gndirii lui Socrate, Maximus din Tyr citeaz doua femei: Aspasia din Milet, o curtezan, i Diotima din Mantineea, o preoteas. Despre prima, Platon vorbete n Menexenos, dar este evident ironia lui Socrate atunci cnd face din ea un profesor de elocin; i Xenofon vorbete de Aspasia n legatur cu Socrate, iar dup Eschine, ea l-ar fi nvat pe Socrate doctrina dragostei care-i face pe oameni mai buni. Ct despre Diotima, ea este cunoscut mai ales datorit celebrului pasaj din Banchetul, unde preoteasa din Mantineea povestete naterea lui Eros. Asupra vieii de familie a lui Socrate posedm cteva amnunte nu ntotdeauna concordante; cert este c el s-a cstorit cu Xantippe. Socrate a avut trei copii, Lamprocles, primul nscut, Sophroniscos i Menexene.
10

La nceputul rzboiului peloponesiac l gsim la asediul Potideei, n Chalcidica, ntre anii 432 i 429. L-a avut ca tovar de arme pe Alcibiade, pe care-l salveaz atunci cnd acesta, rnit, e ct pe ce s cad n minile dumanului. n 424, cinci ani dup ciuma abtut asupra Atenei, l regsim pe Socrate n btlia de la Delion, unde trupele ateniene sunt zdrobite de ctre tebani. Acolo el i salveaz viaa lui Xenofon, prins sub calul care czuse peste el. n 422, Socrate particip la expediia pentru cucerirea oraului Amfipolis. Curajul lui Socrate merge mn n mn cu o rbdare, o simplitate i o stpnire de sine capabile s nfrunte orice ncercare; la banchete era un conviv vesel i agreabil, care bea la fel de mult ca tovarii si, dar fr a se cufunda vreodat n beie, aa cum li se ntmpl acestora, isprav ce-l umplea de admiraie pe Alcibiade. Mnia, ieirile violente, dumnia i sunt necunoscute. Primind de la cineva o lovitur de picior, iar oamenii mirndu-se de resemnarea sa, Socrate se justifica: "Dac un mgar m-ar fi lovit cu copita, l-a fi dat n judecat?" mbrcmintea lui Socrate era ntotdeauna modest, att din cauza srciei, ct i a simplitii sale; niciodat n-a fost vzut afisnd o neglijen vestimentar, cum o vor face cinicii. Unii i afecteaz zdrenele, de aceea i-a i spus Socrate filosofului cinic care-i etala gurile hainei: "i vd deertciunea prin mantie". Lui Socrate nimic nui este mai strin dect arogana iar atunci cnd vede n agora Atenei obiectele de tot felul expuse de negustori admiraiei i lcomiei cumprtorilor, se mulumete s spun: "Cte lucruri de care eu nu am nevoie exist!". S-a zis c Socrate era deosebit de urt; chel, purtnd barb, cu nasul borcanat. Alcibiade dup ce afirma n Banchetul c Socrate seamn cu satirul Marsyas, el precizeaz c este asemeni acelor statui de sileni care se deschid i conin nuntru imaginile unor diviniti, chipul lui Socrate ascuznd cel mai frumos dintre suflete, la fel cum discursurile sale aparent naive i glumee ascund cea mai mare profunzime. Figura lui Socrate nu putea s nu-i scandalizeze pe atenieni, ntruct pentru ei frumuseea fizic era simbolul frumuseii luntrice i nimic nu prea a fi mai incompatibil dect urenia lui Socrate i puritatea sa moral. O personalitate de anvergur ca a lui Socrate nu putea s nu ajung s fie urt de vanitoi i, mai ales, neneleas de spiritele mrginite, care vedeau n el doar un parazit ce se slujea de ironie, i atrgea simpatia tinerilor i constituia un pericol pentru ordinea social. n 398, Socrate a fost acuzat de ctre Meletos, Anytos i Lycon. Actul de acuzare era astfel ntocmit: "Eu, Meletos, fiul lui Meletos, din dema Pitthea, acuz sub

11

jurmnt pe Socrate, fiul lui Sophroniscos, din dema Alopex. Socrate se face vinovat de crima de a nu recunoate zeii recunoscui de cetate i de a introduce diviniti noi; n plus, se face vinovat de coruperea tinerilor. Pedeapsa cerut: moartea". Meletos era un poet obscur, iar Lycon era retor; sufletul procesului pare s fi fost Anytos, un tbcar bogat care reprezenta interesele comercianilor, fiind aadar puternic i influent. Socrate i-a reproat public faptul de a nu se gndi la educaia fiului su dect pentru a face din el un tbcar capabil s preia afacerile printelui, de unde, conform lui Xenofon, dorina de rzbunare a lui Anytos. Dup toate aparenele, Anytos era sincer convins c vede n Socrate un personaj periculos.

Moartea lui Socrate pictat de Jacques-Louis David; Metropolitan Museum of Art, New York

Procesul lui Socrate nu este doar un eveniment istoric singular, irepetabil; procesul lui Socrate este procesul intentat gndirii care cerceteaz, dincolo de mediocritatea cotidian, adevaratele probleme. Socrate este acela care, uimindu-ne, ne interzice s gndim potrivit unor obinuine dobndite. Socrate se situeaz aadar la antipozii confortului intelectual, ai contiinei mpcate i ai senintii blajine. Adus n faa tribunalului, Socrate refuz ajutorul lui Lysias, avocat de meserie. Textul lui Platon Aprarea lui Socrate reproduce probabil ndeaproape aprarea prezentat de Socrate judectorilor. Aceast pledoarie se mparte n trei pri:
12

Socrate spune cine este i le va nfia judectorilor misiunea ncredinat lui de ctre divinitate: s detepte contiina contemporanilor si. Nu reueste s-i conving pe judectori; limbajul minciunii se dovedete mai convingtor dect cel al adevrului. Judectorii delibereaz i 281 de voturi l declar pe Socrate vinovat, contra a 278 (sau 221 dup alte manuscrise). Acuzatorii ceruser moartea, dar acuzatul era liber s fac o contrapropunere iar judectorii urmau s aleag una ori alta dintre pedepse. Socrate cere s fie hrnit n pritaneu. Iat ultimul act al serioasei ironii a lui Socrate, faptul de-a cere o recompens pentru felul cum s-a purtat nu este din partea sa sfidare, ci sinceritate. Fiindc trebuia stabilit o sanciune va propune o amend de o min, adic ntreaga lui avere. Rspunsul lui Socrate le-a prut probabil judectorilor o insult adus magistrailor, aa nct la urne condamnarea la moarte a avut 80 de voturi mai mult dect avusese vinovia sa. Socrate le spune adio judectorilor si, fcndu-i responsabili pe vecie pentru moartea sa

Socrate a stat nlnuit 30 de zile, dar n fiecare zi primea vizita prietenilor i se ntreinea cu acetia. Ei n-au stat degeaba i-au pregtit un plan de evadare pe care Socrate l refuza. La data executrii sentinei, toi prietenii lui Socrate erau de fa cu excepia lui Aristippos, a lui Xenofon, aflat n Asia i a lui Platon, bolnav. Socrate i dedic ultimile clipe conversaiei cu prietenii si pe tema nemuririi sufletului, iar cuvintele-i ne-au fost pstrate de Platon n Phaidon. Socrate se mbiaz pentru ultima oar i refuz s atepte ca soarele s fi disprut cu totul la orizont nainte de a bea otrav. Apucnd cu o mn sigur vasul cu cucut, el sorbi fr ezitare sau repulsie butura mortal. Criton, i sunt dator lui Asclepios un coco, v rog s nu uitai s i-l dai , acestea au fost ultimile sale cuvinte. Trebuie s nelegem aici, urmnd sugestia lui L.Robin, c Socrate l roag pe Criton s aduc o jertf zeului medicinei drept mulumire c i-a vindecat sufletul de boala de-a fi fost unit cu un trup. Gndirea socratic graviteaz n jurul cunoaterii de sine - Gnothi se auton. (Cunoate-te pe tine nsui). Esenial pentru om este capacitatea sa de a intra n relaie de dialog, Socrate punnd pe prim plan sufletul iar nu corpul. Pentru Socrate, cunoaterea propriei noastre fiine i a destinului acesteia se realizeaz pe dou ci:

mediat, pe cale oracular, prin metode mantice, divinatorii

13

direct, prin cunoaterea de sine, care invit la contemplarea interioar, la introspecie, aciune posibil datorat interveniei daimonului

Socrate a fost primul gnditor care a luat ca obiect al meditaiei sale fiina uman. ncepnd cu Socrate, omul devine n mod exclusiv o problem pentru el nsui. "Persoana ta este sufletul tu" spunea Socrate (Platon, Alcibiade)

Platon (Greac: ; Pltn) (n. cca. 427 .Hr. d. cca. 347 .Hr.) a fost un filozof al Greciei antice, student al lui Socrate i nvtor al lui Aristotel. mpreun cu acetia, Platon a pus bazele filozofice ale culturii occidentale. Platon a fost de asemenea matematician, scriitor al dialogurilor filozofice i fondatorul Academiei din Atena, prima instituie de nvmnt superior din lumea occidental. S-a nscut ntr-o familie aristocratic, la Atena sau pe insula Egina, avnd ca tat pe Ariston (descendent al regelui Codros) i ca mam pe Perictione (dintr-o familie nrudit cu Solon). Numele de natere al su era Aristocles; Platon a fost o porecl primit datorit pieptului su lat. Copilria este marcat de rzboiul peloponesiac i luptele civile ntre democrai i aristocrai. La 20 de ani devine discipol al lui Socrate, rmnnd alturi de el vreme de 8 ani, pn la moartea acestuia. nclinaiile poetice, talentul n domeniul teatrului le-a nnbuit i s-a dedicat total filosofiei. La moartea lui Socrate (399 .Hr.) nu a putut fi de fa, fiind bolnav. Condamnarea nedreapt a maestrului l-a ndemnat s-l reabiliteze (Apologia lui Socrate), dialogurile de tineree purtnd marca puternic a filosofiei socratice. Refugiat o vreme la Megara, se bucur de prezena lui Euclid, alt discipol al lui Socrate. Realizeaz mai multe

14

cltorii: n Egipt se familiarizeaz cu matematica; n Cirene intr n legtur cu matematicianul Teodor; n coloniile din Italia de Sud face cunotin cu pitagoreicii; n Sicilia, la Siracuza este invitat de tiranul Dionysios cel Btrn. O tradiie spune c Dyonisios cel Btrn l-a vndut pe Platon ca sclav n Egina deoarece i considera suprtoare prezena, dar prietenii l-au cumprat i eliberat din sclavie. Acest fapt ar putea explica hotrrea lui Platon de a se retrage din politic i de a deschide o coal filosofic la Atena, lng gimnaziul nchinat lui Heros Akademos, de unde i numele Academia. Organizarea colii era asemntoare societilor pitagoreice, cu o ierarhie bine structurat. coala va funciona aproape 1000 de ani; unul dintre obiectivele cele mai importante fiind acela de a contribui la pregtirea politic a oamenilor politici. Academia lui Platon este nchis n 529 d.Hr. la ordinul mpratului Iustinian. Dup ce mplinise deja 60 de ani, Platon a mai efectuat dou cltorii la Siracuza, n sperana de a-l influena pe Dionysios cel Tnr pentru proiectele sale de reform politic i filosofic. Din pcate proiectul eueaz definitiv. S-a stins din via cum spune Cicero, cu condeiul n mn (scribens mortuus est). Este cel dinti filosof de la care au rmas scrieri complete: 35 de scrieri i 13 scrisori (dintre care doar una, a aptea, pare a fi autentic). El a creat specia literar a dialogului, n care problemele filosofice sunt abordate prin discuia dintre mai muli interlocutori, Socrate fiind cel mai adesea personajul principal. Lewis Campbell a fost primul cercettor care a demonstrat prin studiul stilometric c dialogurile Philebos, Critias, Legile, Timaios i Omul politic pot fi grupate i sunt clar distinse de Parmenides, Phaidros, Republica i Theaitetos. Studiile recente demonstreaz imposibilitatea stabilirii ordinii cronologice a dialogurilor, care tradiional sunt grupate dup criterii tematice i ncearc s urmreasc o evoluie a gndirii lui Platon. Cronologia dialogurilor nu mai poate fi stabilit astzi dect n linii mari. Dialoguri de tineree Aceste dialoguri sunt unite prin prezena lui Socrate i reprezint cea mai veridic surs despre personalitatea i filosofia sa, de aceea sunt supranumite dialoguri socratice. Majoritatea l prezint pe Socrate discutnd un subiect de natur etic (prietenia, pietatea) cu un prieten sau cu cineva pe care l crede expert n domeniu. Cu ajutorul unui ir de ntrebri interlocutorii si neleg c ale lor cunotine sunt superficiale i nu sunt adevrate.

Aprarea lui Socrate ( ) Euthyphron ()

15

Criton () Protagoras () Ion () Laches () Lysis () Charmides () Republica (), cartea I

Dialoguri de tranziie n unele din dialogurile din tineree Socrate este prezentat de Platon ca oferind rspunsuri clare la ntrebrile interlocutorilor, punnd baza unei doctrine filosofice. n discuiile inute de Socrate intervine i Platon, care ncepe s promoveze ideile proprii, cum ar fi c buntatea este nelepciune, i c nimeni nu face rul cu bunvoin. Aceste idei probabil aparineau lui Socrate, dar sunt preluate de Platon i ulterior elaborate. Specifice acestui grup de dialoguri sunt ideile platonice despre imortalitatea sufletului, justiie, i cunotine. Pentru prima dat, Platon exprim idea c cunotinele vin din nelegea formelor (sau esenelor) neschimbtoare ale lucrurilor, astfel elabornd binecunoscuta teorie a formelor.

Gorgias () Menon () Euthydemos () Hippias Minor ( ) Cratylos () Hippias Maior Menexenos ()

Dialoguri de maturitate

Banchetul () Phaidon () Phaidros ()

16

Republica (), crile II X

Dialoguri de btrnee

Theaitetos () Parmenide () Sofistul () Timaios () Omul politic () Philebos () Critias Legile

Doctrina Dialectica este metoda prin care se ajunge la cunoaterea ideii, obiectul cunoaterii adevrate (episteme); procedeul prin care ne ridicm din lumea sensibil n lumea suprasensibil, metafizic; n cunoaterea metafizic intervine intelectul analitic (dianoia) i intelectul pur (nous). Mitul peterii este o imagine alegoric a lumii i a modului cum poate fi cunoscut.

Platon i Aristotel de Raphael

17

Metafizica Platonismul este un termen folosit de savani pentru a se referi la consecinele intelectuale ale negrii realitii lumii materiale. n unele dialoguri, cel mai remarcabil, n Republica, Socrate inverseaz intuiia oamenilor despre ce se poate cunoate i ce este realitate. n timp ce toi oamenii accept realitatea obiectelor, care sunt perceptibile simurilor lor, Socrate are o atitudine dispreuitoare fa de oamenii, care cred c pentru a deveni reale lucrurile trebuie s fie palpabile. n Theaetetus, el i numete eu mousoi: ad literam fericii fr muze(Theaetetus 156a). Cu alte cuvinte, aceti oameni triesc fr inspiraia divin, care i d lui, i altor oameni ca el, accesul la nelesuri superioare despre realitate. Ideea lui Socrate, c realitatea nu este disponibil celor ce folosesc simurile, a creat divergene cu locuitorii Atenei i cu simul comun. Socrate credea c cel care vede cu ochii este orb, i aceast idee este cel mai des amintit n legtur cu alegoria peterii. Alegoria peterii (Republica 7. 514a) este o asemnare paradoxal prin care Socrate argumenteaz c lumea invizibil este cea mai inteligibil (noeton) i c lumea vizibil ((h)oraton) este cel mai puin posibil pentru cunoatere, i cea mai obscur. Teoria ideilor Teoria ideilor reprezint nucleul filosofiei platonice ce se regsete n Phaidon, Republica (crile VI VII), Banchetul i Phaidros. Distincia existena sensibil/existena inteligibil este baza teoriei ideilor; planul existenei sensibile este acela al realitii aparente, accesibil cunoaterii prin simuri, lumea Peterii care fundamenteaz opinii (doxa); planul existenei inteligibile este acela accesibil doar cunoaterii de tip raional, lumea din afara Peterii, lumea Formelor Pure, a Ideilor, lumea metafizic a realitii eseniale. Ideile se caracterizeaz prin:

Desemneaz o existen absolut (sunt simple) Sunt o existen substanial (exist n sine i prin sine) Reprezint o existen etern Desemneaz o existen universal (ideea nchide n sine toate calitile particulare) Desemneaz o existen imuabil (neschimbtoare)

18

Lumea sensibil este o copie palid a lumii Ideilor; corpurile fizice nu au realitate dect dac particip (methexis) la Idei ca prototipuri (paradigma) ale lucrurilor. Mitul Peterii (Republica, cartea a VIIa):

simboluri:
o o o o o

petera lumea sensibil (a realitii aparente); ntunericul peterii ignorana omului incult, limitat; lanurile prejudecile, simurile care ne limiteaz; focul lumina cunoaterii; umbrele de pe peretele peterii imaginile corpurilor fizice, aparenele care genereaz opinii ntmpltoare (preri, rodul percepiilor i al imaginaiei); corpurile purtate prin faa focului aparenele adevrate, realitatea fizic, genereaz opiniile adevrate (orthe doxa), suiul greu spre ieirea din peter drumul iniiatic spre cunoaterea esenial, cunoaterea prin intelectul analitic; contemplarea lumii din afara peterii cunoaterea metafizic, prin intelectul pur (episteme, cunoaterea adevrat prin intelect i raiune) Soarele Ideea Binelui (Perfeciunea)

Sufletul se aseamn cu Ideile pentru c este simplu, nemuritor, cunoate lumea inteligibil printr-un proces de conversiune a crui for o constituie erosul (iubirea are ca efect uitarea, n vederea dobndirii puritii primare); cunoaterea Ideilor este doar o reamintire (anamnesis) a sufletului ncarcerat n corpul fizic (ideea corpului nchisoarea este o reminescen a orfismului); menirea sufletului este s pregteasc omul pentru moarte (eliberarea sufletului nemuritor i ntoarcerea n lumea ideilor); condiia eliberrii definitive a sufletului este o via virtuoas; filosofia este pregtirea sufletului pentru recunoaterea imortalitii sale. Teoria formelor Teoria formelor se refer la ncrederea lui Platon precum, c lumea material care ne nconjoar nu este una real, ci numai o umbr a lumii reale. Platon vorbea despre forme cnd ncerca s explice noiunea de
19

universalii. Formele, dup Platon, sunt prototipuri sau reprezentri abstracte a unor tipuri sau proprieti (adic universalii) a lucrurilor pe care le vedem n jurul nostru. Statul ideal

Este statul n care domnete dreptatea (oikeiopragia), o virtute conform creia fiecare tip uman se ocup de ceea ce-i este ornduit prin funcia sufleteasc dominant: cei capabili de practicarea virtuii raiunii (nelepciunea) elaboreaz legi, cei capabili de practicarea virtuii prii pasionale (curajul) se ocup cu aprarea, iar cei nzestrai cu posibilitatea practicrii virtuii corespunztoare prii apetente a sufletului (cumptarea) sunt responsabili de asigurarea resurselor. Exist astfel o ierarhie a unor clase sociale determinate natural: nelepii, militarii, respectiv agricultorii i meteugarii. O alt condiie a oikeiopragiei (n afar de practicarea de ctre fiecare tip uman a acelor activiti care i se potrivesc) este pstrarea ierarhiei claselor.

Scopul statului este realizarea binelui tuturor:

Clasele sociale, ornduite ierarhic, corespund celor trei pri ale sufletului: clasa meteugarilor (demiurgii) corespunde prii apetente, clasa rzboinicilor (aprtorii, phylakes) corespunde prii pasionale, clasa conductorilor (archontes, filosofii sau nelepii) corespunde prii raionale. Comunismul aristocratic lupttorii i conductorii, pentru a nu fi ispitii de putere sau de preocupri care nu sunt proprii virtuilor lor, nu vor poseda nimic personal (proprieti, bani, femei) ci totul va fi n comun (cas, avere, femei, copii). Femeile au aceleai drepturi i obligaii ca i brbaii. Este o aristocraie a raiunii, neleas de unii exegei drept teocraie laic, dei statul raiunii i a contemplrii Ideilor la Platon are i un sens religios. Armonia statului se realizeaz numai cnd conductorii sunt filosofi, demiurgii i hrnesc pe aprtori i conductori, iar aprtorii se ocup numai de sigurana statului. Formele degenerate (imperfecte) ale statului:
o

timocraia conducerea de ctre soldai

20

o o

oligarhia conducerea exercitat de cei bogai democraia conducerea poporului (periculoas pentru c ncurajeaz ignorana neleas de cei ignorani drept gndire liber, promovarea scopurilor personale, egalitatea cu sensul de prsire a oikeiopragiei, alegerea capricioas a conductorilor) despotismul cea mai rea form de corupere a puterii (un individ acapareaz puterea i conduce de dragul propriei mriri)

Cetatea sau statul ideal conceput n dialogul Republica nu este un proiect politic, ci o analogie utilizat de Platon pentru a putea rspunde la ntrebarea ce indic tema dialogului: Ce este dreptatea?. Astfel, teoria facultilor i virtuilor sufletului, precum i proiectarea ei asupra ideii de stat, reprezint un model pentru identificarea formei dreptii ca oikeiopragia. Nici statul ideal, nici sufletul perfect armonizat n acord cu dreptatea, nu exist n lumea sensibil. n domeniul sensibil, al lucrurilor corporale, exist numai formele corupte ale Ideilor sau paradigelor (fie c este vorba de Ideea de Cetate, fie de altele).

21

Logica formal
Capitolul 2
2.1. Obiectul logicii. Istorie Denumirea logic provine din grecescul logos, care semnific cuvnt, idee, raiune, ordine. n Biblie se afirm c la nceput a fost cuvntul, iar unii autori consider c, de fapt, la nceput a fost raiunea. Termenul logos a fost folosit pentru prima dat de ctre Heraclit din Efes, cu nelesul de ordine necesar, proprie att Cosmosului, lumii materiale, ct i gndirii omeneti n forma ei superioar. Ca disciplin, logica studiaz formele i legile generale ale raionrii corecte. Raionamentul const ntr-o succesiune de judeci, prin care gndirea, pornind de la cunotinele date, obine altele noi. Istoria oricrei discipline este interesant prin faptul c relev ntregul ei proces de evoluie, frmntrile i fazele prin care a trecut pn a ajuns la stadiul actual. Exist tiine care pot fi cunoscute i utilizate foarte bine fr s li se cunoasca istoria. Cercetarea micrii astrelor cu ajutorul mecanicii newtoniene sau einsteiniene nu

22

necesit cunoaterea mecanicii cereti a celor vechi, teoria hipocicloidelor sau sistemul geocentric. Logica are ns o situaie cu totul deosebit. Ea nu se reduce la ultimele legi stabilite n acest domeniu, ci nseamn tot ce s-a fcut din antichitate pn n prezent. Logica este ntreaga ei devenire, este nsumarea tuturor momentelor istoriei sale. neleas astfel, ea i pstreaz ntregul dinamism, nervul motor, caracterul de tiin care ia natere i crete odat cu cercetarea ei. Logica i capt astfel o unitate perfect, integrnd critic tot ceea ce s-a realizat n domeniu, pstrnd totodat proprietatea de perfectibilitate continu. Preocupri asupra formelor i legilor raionrii corecte au aprut la oameni din cele mai vechi timpuri. Se consider ns c ntemeietorii logicii au fost grecii antici, iar dac geniul filosofic al Greciei i-a gsit n Aristotel expresia lui universal i perfect, acesta poate fi considerat printele logicii, descoperitorul silogismului ca tip fundamental de raionament. n antichitate, logica era considerat o art a artelor sau tiin a tiinelor, neputnd s se prezinte, n construcia ei, ca o tiin ntre alte tiine. n acest caz, ar fi nsemnat ca ea s fie, n acelai timp, i gen (al tuturor tiinelor) i o specie a acestui gen (o tiin). Se poate spune c pentru filosofii greci, ca i pentru scolasticii de mai trziu, logica era o teorie, n sensul etimologic al termenului, care provine din limba greac. Termenul teoria provine din verbul teorein= a contempla, a vedea direct, avea sensul originar de contemplaie, viziune, i numai cu timpul a fost confundat cu termenul episteme= tiin sau cunotin. Iniial, denumirea de teorie s-a dat acelor cunotine imediate, obinute direct de intuiia intelectual. n concepia anticilor, logica putea fi o teorie, un corp de adevruri nedemonstrate, obinute direct, contemplate sau reflectate n oglinda intelectului omenesc, aa cum se gsesc esenial n realitate. Acest sens a fost pstrat pentru logic pn la sfritul Evului Mediu, logicienii repetnd mereu c logica nu este o tiin, ci modul

23

tiinelor (modus= mod, procedeu, principiu). Logica era considerat ca fiind aceea ce ofer principiile tuturor tiinelor, i nu o tiin. n Metafizica sa, Albertus Magnus scrie c logica i propune s ne nvee principiile. Termenul episteme (tiin) provine din verbul isteme= a stabili, a ordona, i de la particular epi, care are aici, sensul n sus. Prin urmare, tiina nseamn ordonare ierarhic de adevruri sau propoziii adevrate. O asemenea construcie ierarhic pleac de la un grup de principii i apoi, pe cale de demonstraie, se obin celelalte adevruri sau teoreme ale tiinei respective. Logica nu era o astfel de construcie, nu era conceput ca o ierarhie de adevruri, ci i propunea s nvee principiile. La Aristotel se ntlnete expresia de tiin apodictic, dar o utilizeaz n sensul de tiina silogismului, deci de cunotin a demonstraiei. Aceast ide despre logic se pierde ns treptat i, dup Evul Mediu, tratatele de logic priveau logica n sensul de tiin, fr a preciza definiia tiinei. Mai mult dect att, printr-o schimbare de optic, logica ajunge un simplu sistem, un sistem logico-matematic. Denumirea de sistem este folosit mai ales n timpul Renaterii, fiind preluat tot de la greci. Sensul etimologic al termenului provine din verbul stao= a sta n picioare i de la particula sin=cu. Cu alte cuvinte, sistemul nseamn a sta n picioare, a fi coordonat ntr-un ansamblu cu alte pri. Prin urmare, nu mai este vorba de o construcie ierarhic, care ncepe de la principii i coboar la adevrurile tiinei, ci de o juxtapunere de propoziii sau adevruri, de o structur coerent a corpului de propoziii adevrate. Ideea de sistem, fr a fi definit cu precizie, se adopt pentru logic, care ajunge n prezent un sistem matematic formal, un ansamblu de formule construite dup anumite reguli i juxtapuse n mod coerent. Cei care au considerat logica o tiin moart au redus-o la cteva reguli de manual. Kant aprecia c, de la Aristotel, logica nu a mai fcut niciun pas nainte i

24

niciunul napoi, considernd-o terminat i desvrit. A fost de-ajuns s apar Fichte, Schelling i mai ales Hegel pentru ca prerea lui Kant s fie total infirmat, iar logica s fie pus ntr-o valoare cu totul nou i creatoare. Cercetrile de logic matematic din ultimele decenii nu numai c nu au negat nimic din ceea ce s-a realizat nainte, dar au scos la iveal o alt faet a logicii, n care se regsesc o serie de descoperiri ale logicienilor stoici i scolastici. Unitatea logicii cu istoria ei apare evident. Mult timp, s-a crezut c evoluia omului de la primele licriri ale contiinei pn la stadiul modern de cultur i civilizaie este liniar i c, oriunde ar fi nceput, n Africa, Asia sau America, dezvoltarea inteligenei omului s-ar face n sens unic, avnd ca scop final tipul de cultur i civilizaie al europeanului actual. Aceast concluzie facil se datoreaz unei simplificri a problemei, care, prin chiar datele ei, nu poate primi acest rspuns. Evoluia spiritual a Chinei sau a Indiei nu a dus, n trecut, la chipul intelectual European, dar niciun cercettor serios nu a putut afirma c un chinez sau un indian sunt inferiori europenilor din punct de vedere intelectual. Realizrile culturii chineze sau indiene n domeniile artei, poeziei, filosofiei, demonstreaz c inteligena popoarelor respective nu este cu nimic inferioar europenilor. Rezult c exist evoluii diferite ale inteligenei umane, care, progresnd permanent, sunt orientate diferit i au structuri diferite, care in de gradul sau modul de organizare social, de tradiie, de alte condiii. n prezent, logica este conceput ca un sistem matematic formal, construit dup anumite reguli i juxtapus n mod coerent. O analiz mai detaliat a tiinei logicii i sistemului matematic formal este prezentat n cele ce urmeaz. n orice domeniu tiinific, faptele care aparin acestui domeniu sunt puse ntr-o anumit ordine, cu ajutorul unui grup de concepte; fiecrui obiect individual din cadrul domeniului tiinific i corespunde un concept, iar fiecrui fapt i corespunde o relaie logic ntre concepte. Grupul

25

de concepte nu este altceva dect teoria domeniului tiinific (D. Hilbert). Problema grupului de concepte i a ordinii din interiorul su a condus la separarea riguroas a prilor din care ea este compus. O serie de concepte i de propoziii sunt acceptate n fruntea unei stiine, fr a fi definite i, respective, fr a fi demonstrate; alte concepte sunt introduse cu ajutorul primelor; o serie de propoziii sunt derivate, prin procedee date, din propoziiile date fr demonstraie. Descrierea complet i explicit a diferitelor pri ale unei tiine, a procedeelor de definiie i descriere utilizate n cadrul ei, a condiiilor pe care trebuie s le ndeplineasc axiomatica, formeaz obiectul metodei axiomatice. David Hilbert susine c tot ceea ce poate constitui obiect al gndirii tiinifice, de ndat ce se afl n pragul constituirii teoriei, revine metodei axiomatice i prin aceasta revine nemijlocit matematicii. Metoda axiomatic ne face s sesizm esena gndirii tiinifice i ea este de fapt metoda matematic. n evoluia ei, metoda axiomatic a prsit treptat coninutul conceptelor i propoziiilor cu care se construiete o tiin i a abandonat orice fel de intuiie (dac e posibil). Aceasta nseamn trecerea de la tiina material la cea formal. Unii consider c progresul axiomaticii const tocmai n eliminarea crescnd a intuiiei. Ladrire distinge patru stadii n evoluia axiomaticii, corespunztoare gradului de intuitivitate admis. 1.Axiomatica intuitiv. Conceptele fundamentale sunt considerate date n mod intuitiv, iar enunurile fundamentale sunt date ca fiind evidente. Procedeele de deducie sunt date ca fiind evidente (de exemplu, geometrul Euclid). 2.Axiomatica abstract. Coninutul conceptelor fundamentale este precizat i se rein doar unele proprieti, enunate explicit. Conceptele capt astfel o

26

oarecare nedeterminare obiectelor care verific grupurilor).

i sunt aplicabile tuturor axiomele (exemplu, teoria

3.Axiomatica formal. Coninutul conceptelor nu joac niciun rol, sensul lor este determinat numai de relaiile stabilite ntre ele de axiome. Aceste concepte fac, ns, apel la expresii din limbajul curent, al caror sens este dat de intuiie (de exemplu, sistemul de axiome al lui Peano). 4.Sistemul formal pur. Orice referin la un domeniu exterior sistemului este eliminat prin utilizarea unui limbaj simbolic precis definit; procedeele de deducie sunt date n mod complet. La nceput se disting clar propoziiile imediate, nedemonstrabile, de teoreme; se poate observa aici uor de care principii depinde fiecare teorem. Ulterior, prin abstractizare nu se mai admit entiti a caror realitate sau posibilitate ar preceda de drept stipularea axiomelor i definiiile explicite sunt nlocuite prin definiii implicite. Metoda axiomatic descrie o tiin, relev legturile ei logice. Pe de alt parte, dac partea axiomatic a teoriei, cu regulile de derivare respective rmne dat pentru totdeauna, complet i intangibil, atunci tiina n cauz nu este dect explicitarea conceptelor i propozitiilor cuprinse n aceast parte. Totul ar trebui s se reduc la cteva noiuni i adevruri iniiale. Dac partea axiomatic este parial, urmnd s se introduc noi concepte i noi axiome nauntrul tiinei respective, atunci stiina considerat se completeaz i evolueaz. Dinamica unei stiine se datorete - dup Bourbaki interveniei intuiiei, care nu este un rezultat derivat prin axiome. Logica a fost formalizat i studiat ca atare prin metoda axiomatic. Dup David Hilbert, logica nu va studia un obiect sau nite obiecte particulare, ci nsei propoziiile

27

care se pot forma cu privire la aceste obiecte. Hilbert degajeaz sistemul propoziional n care se exprim o teorie oarecare de coninutul lui i-l studiaz n el nsui. Altfel spus, unul este limbajul n care vorbim ntr-o tiin dat i altul este limbajul n care vorbim despre aceast tiin. Hilbert a luat limbajul matematic separat i l-a desfcut n elementele sale, pentru a ridica edificiul logicii noi, creia i-a dat la nceput numele de metamatematic. n logica formalizat, trebuie s considerm propoziiile golite de orice coninut, vide de orice substan; obiectele unei asemenea logici vor fi doar nite simple simboluri, nite litere x, y,Propoziiile i legturile dintre ele vor exprima relaii ntre aceste simboluri, iar aceste relaii vor fi exprimate tot simbolic, prin litere. Logica nou este un angrenaj de simboluri, o articulaie ntre diverse semne, iar a raiona nseamn a constitui un schelet simbolic dup anumite reguli. Un exemplu simplu arat c acest lucru este foarte posibil. Fie silogismul de manual: (1) Toi oamenii sunt muritori. Socrate este om. (2) Deci: Socrate este muritor.

bc ab ac

Raionamentul (1) nu este dect o aplicare a formei (2) de raionament, form independent de orice coninut. Logica este deci un joc de simboluri, un joc de forme pure, cci din datele primitive nu se consider dect capacitatea lor de a fi ordonate n cutare sau cutare mod. Eliminarea oricrui coninut din logic prin introducerea semnelor (simboluri sau variabile) duce la concluzia c niciun semn nu are nicio legtur nici cu realitatea obiectiv, nici cu inteligena, care nu gndete nimic prin acest semn. Relaiile care apar ntre simboluri sau grupuri de simboluri arat numai cum stau acestea unele lng altele. Noiunea de sistem formal are nelesul etimologic al termenului grecesc sisteim. Un sistem formal este o

28

simpl coordonare de simboluri, care nu are de-a face, n el nsui, nimic cu cunoaterea sau realitatea. Astfel, logica nu mai este o tiin a principiilor gndirii sau a legilor ei. Lukasiewicz afirm: Nu este obiectul logicii s cerceteze cum gndim efectiv, sau cum ar trebui s gndim. Prima sarcin aparine psihologiei, i a doua unei arte practice precum mnemonicii. Evoluia axiomaticii n sensul formalizrii apare nu numai ca o consecin natural, dar i necesar. Noiunea de demonstraie nu poate fi precizat dect printr-un ansamblu de reguli i acesta nu este posibil dect prin formalism. Noiunea de sistem formal corespunde unei perfecionri a metodei axiomatice, gradului suprem de abstracie. Un sistem formal poate fi definit ca un grupaj ierarhic de asamblri de semne sau de formule complete, aa c, plecnd de la unele din ele (n numr finit sau infinit), considerate ca valabile, s se poat obine altele, pe baza unor procedee fixate odat pentru totdeauna. Un sistem formal este determinat de cinci mulimi: -o mulime de simboluri primitive (variabile, constante i simboluri auxiliare) sau vocabularul primitiv. Acesta poate fi finit (simboluri date pe liste) sau infinit (eventual numai foarte mare) cnd apartenena unui simbol la vocabular se stabilete prin mijloace inductive. -o mulime de termeni determinai prin reguli. Orice ir de simboluri va fi numit expresie, termenii formnd submulimi ale mulimii expresiilor. -o mulime de formule (submulime a mulimii expresiilor) determinate prin reguli efective. -o mulime de axiomesubmulime a mulimii formulelor. Dac aceast mulime este infinit, axiomele pot fi date prin axiome-scheme.

29

- o mulime de reguli de inferen, dup care o formul este derivabil imediat ca o concluzie dintr-o mulime finit de formule, convenabil aleas (premis). Regulile care determin apartenena la primele trei mulimi se numesc reguli de formare; regulile care determin apartenena la ultimele dou mulimi se numesc reguli de transformare. Un sistem formal poate fi considerat deci ca un cvintuplu ordonat de mulimi care ndeplinesc anumite condiii. Deoarece simbolurile utilizate sunt lipsite de orice semnificaie, de orice legtur cu un fapt exterior lor, stabilirea unor prioriti ale unora asupra altora este total arbitrar i relativ. Simbolurile i formulele sunt legate numai lateral, fr niciun fundament n adncime, aa cum de altfel arat nsi noiunea de sistem. n principiu, orice grup de enunuri poate fi considerat grup de axiome. Singurul lucru care intereseaz este s se poat deduce din acest grup ntreaga teorie. Construcia sistemului de semne, cu indicarea tuturor componentelor, a rolului lor i a modului de stabilire de noi componente se numete prezentarea sistemului formal. Se disting n prezentare dou pri: partea morfologic i partea axiomatic. Morfologia sistemului descrie constituenii i arat: a)componentele, lista de operaii asupra lor, regulile de formare a noi componente; b)agregatele de componente (adevrate sau false). care sunt propoziii

Partea axiomatic cuprinde o list de propoziii considerate valabile i regulile de derivare prin care se indic propoziiile antecedente, separate prin linie orizontal de propoziiile consecvente (derivate).

30

Un sistem formal odat constituit, se pot da componentelor primitive semnificaii determinate, punndu-le ntr-o legtur de coresponden cu o anumit clas de obiecte determinate. Aceast coresponden biunivoc se numete reprezentarea sistemului. Teoremele sistemului sunt particularizate la o anumit clas de obiecte. Un sistem formal poate avea o mulime nedeterminat de reprezentri. Interpretarea unui sistem este o coresponden a propozitiilor elementare ale sistemului cu o clas de enunuri al cror adevar sau falsitate sunt independente de sistemul considerat. n legtur cu noiunea de interpretare apare noiunea de model. ntre un model M i un sistem S exist urmtoarele corespondene: -fiecrei propoziii din S i corespunde un enun format din elementele din M; -enunurile formate cu elementele din M sunt adevarate sau false independent de S; -oricrei propoziii din S i corespunde un enun adevrat format cu elemente din M. Cu alte cuvinte, a da un model pentru un sistem formal nu nseamn dect a-i da o interpretare. 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 i de aceea un sistem formal se mai numete si limb formalizat. Dac sistemul formalizat este el nsui obiect de studiu, logicienii consider c trebuie folosit o alt limb formalizat, numit metalimb. Metalimba sistemului S poate fi construit tot ca un sistem formal S Se poate realize o meta-metalimb .a.m.d. Cu noiunea de metasistem se ajunge la noiunile de sintax i semantic.

31

Sintaxa logic studiaz modul cum este construit un sistem formal, care sunt condiiile corectitudinii formulelor lui i posibilitile deductive. Metalimbajul folosit pentru a studia sistemul din acest punct de vedere se numete limbaj sintactic. Semantica studiaz sistemul formal n legtur cu noiunile de adevr i fals, obiectul ei fiind cercetarea unor formule n ce privete valoarea lor de adevr. Semantica este legat de interpretarea sistemului. Un sistem formal trebuie s ndeplineasc anumite condiii: -coerena (noncontradicia): Un sistem este coerent dac nu se poate deriva n interiorul lui o propoziie i n acelai timp negaia ei. -saturaia: Un sistem este saturat dac orice propoziie formulabil corect este derivabil n sistem. -rezolubilitatea: Un sistem este rezolubil dac se poate da un procedeu efectiv prin care se poate deduce dac o propoziie din sistem este derivabil sau nu. Problema rezolubilitii a luat o importan deosebit, fiind cunoscut i ca problema deciziei. -categoricitatea: sistemul este categoric dac toate modelele sistemului sunt izomorfe. n rezumat, un sistem logic formal trebuie s ndeplineasc condiiile de noncontradicie, de independen i de suficien. * * A raiona corect este desigur util pentru oricine. Forma fundamental de raionament este silogismul, i la grecii antici exemplul clasic de silogism era urmtorul: Toi oamenii sunt muritori, Socrate este om, n concluzie Socrate este muritor. *

32

Din dou cunotine date (premise) rezult o concluzie, ceva diferit de ceea ce s-a dat. Au existat logicieni care negau silogismul. Referindu-se la exemplul menionat, acetia considerau c de fapt concluzia era cunoscut odat cu afirmaia Toi oamenii sunt muritori. Dac ar exista vreo ndoial c Socrate este muritor, prima premis nu poate fi valabil. Folosirea corect a silogismelor forma fundamental de raionament, formularea corect a definiiilor, clasificarea corect i n general raionamentul corect nu constituie probleme simple, care s poat fi rezolvate numai intuitiv. De aceea, cunoaterea principiilor logicii, a mecanismului de raionare sunt necesare n orice domeniu al tiinei i tehnicii. Pentru cei ce lucreaz n domeniul automaticii i calculatoarelor, studiul logicii prezint un interes n plus, legat de aplicaiile foarte importante, n acest domeniu, al logicii propoziiilor, ale logicilor clasice. Printre aceste aplicaii se pot meniona analiza i sinteza circuitelor logice, semantica limbajelor de programare, demonstrarea automat a teoremelor, programarea logic, sistemele expert, comanda roboilor industriali. Logica nu este nici arta de a inventa i nici un instrument al adevrului; ea este ns util i indispensabil n calitate de critic a cunoaterii, ca mijloc de apreciere a raiunii comune, ca i a raiunii speculative, nu pentru a le nv, ci pentru a le corecta i a le pune de acord cu ele nsele. Principiul logic al adevrului rezid n concordana intelectului cu propriile sale legi generale.

2.2 Judeci i propoziii

Istoria logicii coincide cu istoria efortului uman de a elucida mecanismul prin care, din anumite enunuri sau propoziii adevrate (corecte) se pot deduce alte propoziii adevrate (corecte). n strduina milenar de a elabora regulile raionamentului corect, n funcie numai de forma i nu de coninutul enunurilor, ce devin astfel formule, se poate percepe o aspiraie spre automatizare. nainte de a

33

crea maina de calcul, omul a formalizat maina deductiv n general. Dup Aristotel, judecata este un act semnificativ, prin care se afirm sau se neag un anumit raport ntre idei, prin idee nelegndu-se aici reprezentarea n intelect a ceea ce exist . Exprimarea verbal a unei judeci se numete propoziie. Judecile se pot clasifica dup calitate, dup cantitate sau dup modalitatea lor. Din punctul de vedere al calitii, judecile, deci i propoziiile, pot fi afirmative sau negative. Din punctul de vedere al cantitii, judecile pot fi generale sau universale i particulare. ntre judecile particulare se numar i cele individuale (Exemplu: Toi oamenii sunt muritori. Unii oameni sunt nelepi. Socrate este nelept). Dup modalitatea lor, Aristotel distinge trei tipuri de judeci: asertorice, care se raporteaz la ceea ce este real, apodictice, care raporteaz la ceea ce este necesar, i posibile, care se refer la ceea ce este posibil. O propoziie se constituie dintr-un subiect i un predicat. Predicatul exprim, aici, ceea ce este subiectul, apartenena sa la o anumit clas . n acest fel, judecata exprim un raport ntre individual i general . Exist ns o ierarhie a speciilor i genurilor i se disting diverse grade de generalitate.ntr-un anume sens, definiia este i o judecat care exprim esena unui lucru . Cautnd esena, trebuie selectat ceea ce i aparine n mod esenial unui anume lucru, dei poate aparine i altor lucruri. Suma caracterelor eseniale trebuie s convin numai obiectului definit. Pentru a se ajunge la definiie, se divizeaz genul n specii, subspecii, pn se ajunge la indivizi. Definiia const n stabilirea genului, dar i a ceea ce difereniaz obiectul definit de celelalte specii ale genului. Definitul trebuie s caracterizeze numai definitul, dar

34

ntreg definitul. Definiia trebuie s fie reciproc, subiectul i predicatul trebuie s aib aceeai extensiune i deci s se poat substitui reciproc. Opoziia judecilor. Oricrei afirmaii i se poate opune o negaie. Propoziiile universale opuse prin calitate sunt contrare i nu pot fi simultan adevrate, dar pot fi simultan false. Propoziiile particulare opuse prin calitate nu exprim o opoziie real; ele pot fi simultan adevrate sau false. Opoziia este n acest caz numai verbal. Negaia se poate plasa lng subiect, lng predicat sau la ambele. Conversiunea judecilor. nseamn a schimba ntre ele subiectul i predicatul, propoziia rmnnd adevrat. Conversiunea este perfect dac termenii pstreaz aceeai cantitate. Regulile conversiunii judecilor pure (nemodale) sunt urmtoarele: n judecile universale negative, conversiunea este necesar (Ex.: Niciun pete nu este insect. Nicio insect nu este pete). Judecile universale afirmative se convertesc n particulare (Ex.: Toate mamiferele sunt vertebrate. Unele vertebrate sunt mamifere). Judecata particular afirmativ se convertete n mod necesar (Ex.: Unele flori sunt obiecte roii. Unele obiecte roii sunt flori). Judecile particulare negative nu se pot converti (Ex.: Unele ciuperci nu sunt comestibile). Regulile conversiunii pot fi ilustrate comod prin interpretarea geometric a apartenenelor de mulimi. Ex.: Niciun A nu este B .

Toi A sunt B.

35

Unii A nu sunt B.

Dintre judecile modale, cele necesare se convertesc ca i cele pure. n cazul judecilor posibile, deoarece posibilul poate fi neles i ca non imposibil, dar i ca nonnecesar, judecile universale negative nu se pot converti.

36

2.3 Principiile logice i silogistica n cele ce urmeaz s trecem n revist cele 3 principii ale logicii. Identitatea: Tot ceea ce este adevrat trebuie s fie n acord cu sine nsui. Poate fi identic, ceea ce are mai multe unice, dar reprezint de fapt acelai lucru (Ex.: fiin raional om). Se mai disting identitatea de specie, de gen. Principiul terului exclus: Este imposibil ca dou judeci contradictorii s fie adevrate n acelai timp din dou una este necesarmente adevarat, cealalt fals, i nu este intermediara posibil. Principiul contradiciei: Este imposibil ca un acelai lucru s fie i, n acelai timp, s nu fie. Silogistica. Silogismul st la baza raionamentului uman. Teoria silogismului constituie o tentativ de automatizare a raionamentului. Un silogism este constituit din dou premise i o concluzie. Premisa este o expresie care afirm sau neag ceva despre ceva i poate fi universal, particular sau nedefinit. Premisa, la rndul ei, este format din termeni, anume predicatul i subiectul. Se disting termenii major, minor, mediu. Aristotel definete silogismul ca pe un logos (expresie, vorbire, gndire) n care, fiind date anumite propoziii (premise) rezult necesarmente altceva (concluzia), diferit de ceea ce s-a dat, prin simplul fapt al acestor propoziii date (nu se cere nimic altceva pentru a produce consecina necesar). Principiul silogismului: Ceea ce afirm despre tot se afirm i despre parte i ceea ce se neag despre tot se neag i despre parte. n funcie de poziia termenului mediu n cele dou premise, silogismele alctuiesc trei categorii sau figuri:

37

-n prima figur, termenul mediu este subiect n prima premis i predicat n a doua; -n cea de a doua figur, termenul mediu este predicat n ambele premise; - n cea de a treia figur, termenul mediu este subiect n ambele premise. Aristotel descoper patru moduri ale primei figuri, dup cum premisele sunt universale sau particulare, afirmative sau negative. Toi B sunt A. Toi C sunt B. Toi C sunt A. Niciun B nu este A. Toi C sunt B. Niciun C nu este A.

Toi B sunt A. Unii C sunt B. Unii C sunt A. Niciun B nu este A. Unii C sunt B. Unii C nu sunt A. Notnd judecile: universale afirmative, universale negative, particular afirmative, respectiv particular negative cu vocalele A, E, I, O, un sistem mnemotehnic de reinere a celor patru moduri ale primei figuri este constituit din cuvintele BARBARA, CELARENT, DARII i FERIO. Silogismele celei de a doua i a treia figuri pot fi reduse la silogismele primei figuri n trei moduri: direct, prin

38

conversia premiselor, indirect, prin transpoziia premiselor (schimbarea locului lor) i prin reducere la absurd. De exemplu: CELARENT Niciun A nu este B. Toi C sunt B. CELARENT Toi A sunt B. Niciun C nu este B. FERIO Niciun A nu este B. Unii C sunt B. Toi A sunt B. Unii C nu sunt B. Niciun B nu este A. Toi C sunt B. Niciun C nu este A. Niciun B nu este C. Toi A sunt B. Niciun A nu este C.

Niciun B nu este A. Unii C sunt B. Unii C nu sunt A. Concluzia se obine prin reducere la absurd: Unii C nu sunt A.

DARII Toi B sunt A. Toi B sunt C.

Toi B sunt A. Unii C sunt B. Unii C sunt A. Aristotel stabilete

Din analiza tuturor silogismelor, urmtoarele reguli generale:

1.Orice demonstraie se face cu numai trei termeni, nu cu mai mult. 2.n orice silogism trebuie s existe cel puin o premis afirmativ. 3.n orice silogism trebuie s existe cel puin o premis universal.

39

4.O concluzie universal nu poate rezulta dect din dou premise universale. 5.O concluzie afirmativ nu poate s rezulte dect din premise afirmative. Studiul silogismului a fost continuat de Teofrast, discipol al lui Aristotel. Acesta a adncit silogismul model i a stabilit c modalitatea concluziei este aceeai cu a premisei cu modalitatea cea mai slab. Exemplu: Este posibil ca B s fie A. C este B. Este posibil ca C s fie A. B este A. Este posibil ca C s fie B. Este posibil ca C s fie A.

De asemenea, Teofrast a studiat silogismul ipotetic. Aristotel precizase: dou lucruri fiind ntre ele n aa fel nct existena unuia atrage n mod necesar existena celuilalt, non-existena ultimului va atrage non-existena primului, pe cnd existena ultimului nu atrage n mod necesar existena primului. Vom vedea c aceast definiie corespunde implicaiei i transpoziiei ei: dac p implic q, atunci non q implic non p. Teofrast mparte silogismele ipotetice n doua categorii: 1. Dac A este, B este. Dac B este, C este. Dac A este, C este.

40

B C A

2. Dac A este, B este. Dac B este, C nu este. Dac A este, C nu este. B A

C 3. Dac A este, B este. Dac C este, B nu este. Dac A este, C nu este. i imaginea este similar celei de mai sus. A doua clas de silogisme ipotetice este format din acele raionamente care arat simplu dac ceva este sau nu este. Raionament de tip modus ponens (de punere) 1. Dac A este, B este. Dar A este. Deci B este. Raionament de tip modus tollens (de suspendare) 2. Dac A este, B este. Dar B nu este. Deci A nu este.
41

Silogismul modus tollens are avantajul c, pentru a demonstra falsitatea unei cunotine, este suficient s deducem din ea un singur consecvent fals. n cazul cellalt, al modului pozitiv i direct, nu se poate ajunge dect la cunotine al cror adevr este probabil i ipotetic. Nu se poate conchide ns c dac dintr-o cunotin nu decurge niciun consecvent fals, atunci ea este adevarat cu certitudine. 2.4 Logica matematic Ideea de a reprezenta matematic gndirea este foarte veche. Adepii lui Pitagora au gndit numerele ca esen a lucrurilor i relaiile dintre numere trebuiau s fie relaii ntre lucruri. Ca urmare, idea i numr logos i aritmos gndire i calcul cu numere se reduceau la acelai lucru. Nici Platon nu era strin de concepia unei gndiri geometrizate, pe frontispiciul Academiei sale fiind scris: S nu intre cine nu este geometru. Adevratul iniiator al logicii matematice este considerat Leibnitz, conform cruia raionamentul este un calcul. Logica matematic a mai fost dezvoltat de A. de Morgan, G. Boole, G. Peano, Gottlob Frege, Bertrand Russell. Logica matematic este un sistem deductiv formalizat, care alege un grup de semne iniial, o serie de expresii formate dup anumite reguli, un grup de reguli de derivare a altor expresii din expresiile acceptate iniial. Logica se transform astfel ntr-un calcul algebric, cu regulile sale proprii. 2.4.1 Logica propoziiilor Aa cum s-a mai artat, expresia verbal a unei judeci se numete propozitie. O propoziie este compus din subiect i predicat.

42

Urmtoarele enunuri sunt propoziii: Victor citete. Adrian scrie. El exist, etc. Fiecrei propoziii i se poate asocia un symbol: Victor citete. q : Adrian scrie. Notaia p : arat c propoziia Victor citete va fi reprezentat prin simbolul p. Se impune unei propoziiin logica bivalento singur condiie: s fie adevrat sau fals, fr s poat fi adevrat sau fals n acelai tim p. Pentru a spune c nu este adevrat c Victor citete, se folosete un semn nou, ~, negaia. : p : Nu este adevrat c Victor citete.
p:

Logica bivalent sau clasic admite numai dou valori de adevr: fals, adevrat. Ridicarea acestei restricii ne va situa ntr-o logica neoclasic sau polivalent. n logica de tip propoziional, propoziiile sunt nedecompozabile (se mai numesc atomice). Propoziiile simple sau atomice sunt compozabile. Ele se pot combina, dnd natere la noi propoziii, la rndul lor adevrate sau false. Operaiile de asociere sau de combinare se realizeaz prin conectori, simbolizai si ei prin semne, conectori ntlnii frecvent n vorbire sau n raionament. Se folosete simbolul pentru i, simbolul pentru sau, simbolul pentru dac, atunci, simbolul pentru dac i numai dac. Vom scrie:

p q : Victor citete sau Adrian scrie. p q : Dac Victor citete, atunci Adrian scrie.
Propoziiile compuse sau moleculare sunt formule propoziionale. Se noteaz obinuit cu majuscule:

P:(pq ) r .
Se citete: dac Victor citete i Adrian scrie, atunci este linite ( r : este linite).

43

Formula P din exemplu este format din 3 atomi. Ea poate fi privit drept o funcie de atomii p, q, r, care se mai numesc variabile propoziionale. Estimarea valorii de adevr a formulei P cnd nu se cunosc valorile de adevr ale variabilelor propoziionale p, q, r, constituie obiectul semanticii logicii propoziionale. n formulele cu numai 2, 3 variabile propoziionale am putea stabili valoarea lor de adevr relativ simplu, fr a fi necesar un aparat simbolic de calcul. n cazul n care formulele sunt deosebit de complexe, este necesar un mijloc de calcul adecvat, oferit tocmai de logica propoziiilor. Alfabet.Totalitatea simbolurilor logicii propoziiilor constituie un alfabet: p, q, r, , , , , (,). Aici intervine mulimea finit sau infinit de atomi (p, q, r, p1, p2, p3,), simbolurile pentru conectorii logici, parantezele. Simbolurile ce nu sunt cuprinse n alfabet se numesc simboluri metalogice, de exemplu, simbolurile P, Q, R utilizate pentru formule. Limbaj. Alfabetul mpreun cu formulele formeaz limbajul. Proprietile, legile, regulile pot fi enunate pentru atomi; apare necesar o regul suplimentar de trecere de la atomi la formule (regula substituiei). Acele proprieti pot fi enunate direct pentru formule si atunci se denumesc scheme. p ( p q) q Ex.: este o formul ntotdeauna adevrat, oricare ar fi atomii p i q. P ( P Q ) Q este i ea ntotdeauna adevrat oricare ar fi formulele P i Q. Legea enunat pentru atomi poate fi generalizat la formule prin substituie. Aceeai lege se poate enuna ca schem n forma general pentru formule, fr a mai meniona substituia. S observm c, dintre conectorii folosii n logica propoziiilor, conectorul non : este unar adic se aplic

44

unui singur atom, ceilali, ( , , , ). sunt binari deci opereaz asupra a doi atomi. Formula se poate defini recursiv: 1.Un atom este o formul. 2.Dac P este formul, (~P ) este o formul. 3.Dac P i Q sunt formule atunci ( P Q ) , ( P Q) , ( P Q ) , ( P Q) sunt de asemenea formule. 4. Toate formulele se obin prin regulile (1), (2), (3). n mod riguros, o formul se scrie ncepnd cu o parantez stng i sfrind cu o parantez dreapta . n practic se omit aceste paranteze, dac absena lor nu nate echivocuri. 2.4.2 Evaluare. Funcii de adevr Pe mulimea propoziiilor atomice se introduce o funcie v care aplic fiecare atom pe mulimea binar ( adevrat, fals). Se asociaz falsului 0 i adevarului 1. Pentru fiecare atom, vom avea v(p)=0 sau v(p)=1. O logic n care se consider numai dou valori de adevr se numete bivalent (clasic). O problem important a logicii propoziiilor const n determinarea valorii de adevr a unei formule n funcie de valoarea de adevar a componentelor (atomilor). Se noteaz valoarea de adevr a unei formule P cu P v ( 0,1) sau cu v(P). Se stabilesc urmtoarele reguli de recuren pentru evaluarea formulelor:

45

1.dac P este un atom, P v = v ( P)

1 2.dac P este : Q atunci P = 0
v

daca Q v = 0 daca Q v = 1

3. ( P Q )

1 daca P v = Q v = 1 = altfel. 0
0 daca P v = Q v = 0 = altfel. 1
v

4. ( P Q )

5. ( P Q )

0 daca P v = 1, Q v = 0 = altfel. 1
v

6. ( P Q )

1 = 0

daca

Pv = Qv altfel .

Aceste reguli (convenii) se pot enuna i astfel: 1.Negaia lui P, (~P ) este adevrat cnd P este fals i este fals cnd P este adevrat. ( ~P se citete non P) 2.Conjuncia ( P Q ) (i) este adevrat numai cnd att P ct i Q sunt adevrate. 3.Disjuncia ( P Q) (sau) este adevrat dac cel puin una din componentele P sau Q este adevrat. 4.Implicaia ( P Q) este fals numai dac P este adevrat i Q este fals. (se citete P implic Q sau, dac P atunci Q). 5.Dubla implicaie ( P Q) este adevrat cnd ambele componente au aceleai valori de adevr.(se poate citi dac P, atunci i numai atunci Q). Regulile menionate se pot prezenta i prin tabelul urmtor:
46

Pv
0 0 1 1

Qv 0 1 0 1

: Pv 1 1 0 0

( P Q)v 0 0 0 1

( P Q)v 0 1 1 1

( P Q )v 1 1 0 1

( P Q)v 1 0 0 1

n mod curent se poate renuna la notatia cu indice v, nelegndu-se prin P valoarea de adevr a formulei respective. Tabelul care arat valoarea de adevr a unei formule pentru toate valorile posibile ale atomilor se numete tabel de adevr. Funcia de adevr face ca fiecrei evaluri a atomilor unei formule s corespund una din valorile de adevr 0 sau 1. Unei formule cu n atomi, concepui ca variabile propoziionale, i va corespunde o funcie de adevr cu n variabile binare. Tabela de adevr va avea deci 2n linii pentru cele 2n evaluri posibile. Exist 22 funcii de adevr distincte pentru o formul cu n 2n evaluri posibile, deoarece exist 22 moduri de aranjare a lui 0 i 1 n ultima coloan a tabelei de adevr. De exemplu, pentru n=2 exist 16 tabele de adevr i deci se pot defini 16 conectori binari. Numrul formulelor care pot fi construite cu n variabile binare este infinit. Rezult c diferite formule corespund unei aceleiai funcii de adevr. Interpretare. O evaluare (atribuire de valori) a atomilor unei formule se numete interpretare. O formul P este adevrat ntr-o anumit interpretare dac este evaluat cu 1; altfel este fals n acea interpretare. O formul cu n atomi va avea deci 2n interpretri posibile.
n

47

O interpretare I se reprezint prin mulimea atomilor care pot avea valorile 0 sau 1. De exemplu, { p, ~q, r, s} este o interpretare n care p=1, q=0, r=1, s=1. Dac P este adevrat n interpretarea I, se spune c I satisface pe P. Altfel, I falsific pe P. O interpretare I care satisface pe P se numete model al lui P. Tautologie. Validitate. Consisten. O formul se numete valid dac i numai dac este adevrat n toate interpretrile. Altfel, formula se numete nevalid. O formul se numete inconsistent dac i numai dac este fals n toate interpretrile . Altfel, formula se numete consistent. Formula valid se mai numete tautologie , iar cea inconsistent se mai numete contradicie.
p : p = 1 indiferent de p=0 sau p=1. (tautologie). p : p = 0 indiferent de p=0 sau p=1. (contradicie).

Rezult imediat c o formul este valid numai dac negaia ei este inconsistent i invers . O formul este nevalid dac exist o interpretare n care ea este fals. O formul este consistent dac exist cel puin o interpretare n care ea este adevrat. Se mai folosesc i alte denumiri. O formul consistent se mai numete i realizabil. Proprietatea de formul nerealizabil este foarte important pentru demonstrarea automat a teoremelor, n care se utilizeaz mai ales principiul contradiciei. O formul nerealizabil fiind fals n toate interpretrile nu admite niciun model. Dac se demonstreaz c exist cel
48

puin o interpretare, n care formula este adevrat (admite cel puin un model), formula se dovedete a fi realizabil. Proprietatea de realizabilitate se poate extinde i pentru o mulime de formule: o astfel de mulime se spune c este realizabil (din punctul de vedere al valorii de adevr), dac exist o evaluare v pe mulimea formulelor, astfel c P v = 1 pentru toi P din mulimea respectiv; altfel, mulimea respectiv este nerealizabil. Caracterul de tautologie sau realizabilitate a unei formule se poate constata din tabela de adevr. Exist i alte procedee de constatare (metoda Quine, metoda reducerii), care folosesc proprieti ale unor formule simple din componena formulelor considerate. Echivalena. Dou formule sunt logic echivalente, dac pentru orice interpretare iau aceleai valori de adevr (au deci aceeai tabel de adevr). Se noteaz P Q . O definiie echivalent este: P i Q sunt echivalente dac P Q este o tautologie. Reguli de transformare. Dac P i P Q sunt tautologii, atunci Q este tautologie. Aceast regula rezult din silogismul ipotetic modus ponens i se noteaz MP. Se poate demonstra foarte uor, prin metoda reducerii la absurd. Dac ntr-o formul-tautologie, atomii se nlocuiesc (se substituie) peste tot prin alte formule, formula obinut astfel este de asemenea tautologie. Demonstraie: Fie F = f ( p1 , p2 ,K pn ), F = f ( P 1, P 2 ,K P n) . Pentru orice interpretare p1 , p2 ,K pn , F=1 fiind tautologie. n aceeai interpretare rezult P 1, P 2 ,K P n , care nlocuite n F vor evalua aceast formul tot cu 1.

49

p : p = 1 (pentru orice p, formula este De exemplu: evaluat 1); atunci ( p1 p2 p3 ) : ( p1 p2 p3 ) = 1 .

Dac ntr-o tautologie o subformul se nlocuiete cu o subformul echivalent, se obine de asemenea o tautologie. Dualitate. Se numete formul restrns acea formul care nu utilizeaz dect conectorii : , , . Dac ntr-o formul restrns P se schimb ntre ele simbolurile i i se nlocuiete fiecare atom prin negaia sa, se obine o nou formul P : P . Aceast proprietate rezult din faptul c n tabela de adevr a conectorilor i valorile de adevr se obin una din alta prin schimbarea ntre ele a lui 0 i 1. Aceast proprietate se mai numete principiul dualitii . Principiul dualitii afirm deci c un enun corect implicnd , , 0, 1, poate fi tradus ntr-un alt enun corect prin schimbrile ntre ele ale simbolurilor 0 i 1, i . Noiunile definite n termenii acestor simboluri trebuie traduse prin dualele lor. Astfel, dualul termenului tautologie este nerealizabil, pentru c n primul caz toate interpretrile sunt 1, iar n al doilea caz, 0. Discuie despre conectori. Calculul propoziiilor a aprut ca o formalizare a nlnuirii corecte a propozitiilor n limbajul curent. Cei cinci conectori ( , , : , , ) surprind expresii gramaticale simple, care leag propoziiile n uzul lor obinuit. n ceea ce privete negaia i conjuncia, n folosirea lor nu poate aprea nicio ambiguitate. Dac p desemneaz: afar plou i q afar este frig, atunci ~p nseamn afar nu plou sau nu este

50

adevrat c afar plou. p q va fi evident: afar plou i este frig. n ceea ce privete disjuncia sau, p q afar plou sau afar este frig, n limbajul obinuit nseamn fie una din cele dou situaii (ori/ori), cel puin una, sau amndou. De aceea, n logic se distinge disjuncia simpl i disjuncia exclusiv, , cu urmtoarele tabele de adevr: p 0 0 1 1 q 0 1 0 1

pq
0 1 1 1

pq
0 1 1 0

Implicaia este conectorul aspra cruia, n istoria logicii, sau purtat cele mai vii discuii: pq se citete: dac p, atunci q. p implic q, p numai dac q i q este condiia necesar a lui p. Observaie. Prin faptul c implicaia este fals numai dac p este adevrat i q este fals, se produce o ndeprtare de la uzul curent al vorbirii. n definiia implicaiei, falsul implic orice, iar adevrul este implicat de orice. Faptul c implicaia este adevrat cnd p este fals i q este adevrat nu prea se mpac cu vorbirea curent . Exemplu Dac 1 + 1 = 2 , Parisul e capitala Franei. Dac Luna e un cacaval, 2 2 = 4 . Cele dou propoziii sunt ambele adevrate. Se observ, aadar, n propoziia a doua c falsul ( Luna e un cacaval implic un adevr exprimat de nmultirea in baza zece). Conectori adecvai. O mulime de conectori se numete mulime adecvat, dac orice formul poate fi exprimat numai cu ajutorul conectorilor acestei mulimi. Grupul

( : , , ) ,

perechile

( : , ) , ( : , ) , ( : , )

sunt

mulimi adecvate de conectori.

51

Consecine logice. Fie n formule P1 , P2 ,K , Pn .

52