propoziii (orationes): 1. oratio deprecativa (de rugminte), 2. oratio imperativa, 3. oratio interrogativa, 4. oratio vocativa, 5. oratio enuniativa i consider c logica are ca obiect oratio enuniativa, deoarece aceasta poate fi adevrat sau fals.
Utilizarea limbii naturale presupune apelul n primul rnd la propoziii. Etimologic, cuvntul propoziie" provine din latinescul propositio care semnific pe de o parte nfiare", prezentare" (aspecte proprii, n primul rnd, unei perspective gramaticale), dar pe de alt parte idee", premis" sau tez" (n cadrul unei perspective logice). O scurt analiz a utilizrii propoziiilor n limba natural va pune n eviden faptul c exist o multitudine de tipuri de propoziii: declarative, optative, imperative, interogative etc. Aa cum s-a subliniat deja, logica general se preocup de propoziiile cognitive. O categorie important n cadrul acestora este reprezentat de propoziiile declarative (aspect lingvistic) crora n plan logic le corespund propoziiile categorice (de la grecescul kategorein = a predica), ca cele mai simple forme prin care se afirm sau se neag raportul existent ntre doi termeni. Propoziiile categorice sunt formele logice n care se exprim un singur raport logic ntre doi termeni, fr a pune n legtur cu altceva sau a condiiona acest raport de altceva. Considerarea unor exemple precum: (1) Muli dintre elevi sunt prezeni (2) Nici un om nu este nemuritor
n cadrul unei propoziii categorice analiza termenilor i a funciei lor n propoziie arat c aceasta nu este identic. Astfel, despre unul dintre termeni se enun ceva, n timp ce cellalt termen indic ceea ce se spune despre primul dintre termeni (o proprietate, o caracteristic, o nsuire). Este vorba despre diferena ntre: a. subiectul logic (simbolizat prin S") = termenul despre care se enun ceva; b. predicatul logic (simbolizat prin P") = termenul prin care se enun ceva despre S". n exemplele de mai sus termenii de elev" i om" jucnd rolul de subiecte logice, iar termenii de prezent" i nemuritor" de predicate logice (se poate observa c sub aspect logic nu este relevant diferena singular-plural). Subiectul i predicatul logic nu sunt ns singurele aspecte ale unei propoziii categorice. De fiecare dat S i P sunt raportai ntr-un anumit fel unul la altul, posibilitile privind afirmarea sau negarea lui P despre S. Este vorba de calitatea propoziiilor categorice, afirmativ sau negativ, redat cel mai adesea prin intermediul verbului a fi. Cuvintele prin care S i P sunt pui n legtur i prin care se precizeaz calitatea propoziiei constituie cea de a treia component a unei propoziii categorice: copula. 24
ilustreaz acest tip de propoziii, tund evident, de asemenea, ca asemntor propoziiilor cognitive, propoziiile categorice pot avea valori de adevr (1 = adevrat, 0 = fals, ? = plauzibil).
In msura n care predicatul logic este gndit ca o nsuire despre care se spune c aparine sau nu subiectului logic, se poate pune i problema cantitii propoziiilor categorice, altfel spus dac afirmarea sau negarea lui P se refer la ntreaga extensiune sau doar la o parte a extensiunii lui S. Cuvintele prin care este specificat cantitatea unei propoziii categorice constituie cuantorul (n exemplele de mai sus muli" i nici un"). Prezena acestuia nu este ns ntotdeauna explicit: (3) Pisicile sunt mamifere dar o propoziie categoric conine obligatoriu (explicit sau implicit) unul dintre urmtorii cuantori: 1. universal, introdus prin cuvinte ca toi", toate", orice", fiecare", nici unul", nimeni" etc; 2. particular, introdus prin cuvinte precum unii", unele", muli", exist cel puin un..." etc; 3. individual, introdus printr-un pronume sau adjectiv demonstrativ, pronume personal la singular, un nume propriu etc. Exemplul (3) presupune atunci, implicit, un cuantor universal: (4) Toate pisicile sunt mamifere. Prin urmare n structura unei propoziii categorice se pot pune n evident urmtoarele elemente: Obs: 1. Propoziia Unii S sunt P" este neexclusiv, deoarece sensul expresiei unii S" este cel puin un S, posibil chiar toi S". 2. Propoziia Numai unii S sunt" este exclusiv, deoarece expresia numai unii" anu leaz eventualitatea posibil chiar toi". Propoziiile exclu sive se transform n propoziii nexclusive de calitate invers, dup modelul:
Calitatea i cantitatea propoziiilor categorice pot fi utilizate n calitate de criterii de clasificare a tipurilor de propoziii categorice. 1. Dup calitate, propoziiile categorice pot fi: - afirmative, atunci cnd propoziia red un raport de concordan ntre S i P: Toi S sunt P i Unii S sunt P; - negative, atunci propoziia red un raport de opoziie ntre S i P: Nici un S nu este P i Unii S nu sunt P. 2. Dup cantitate, propoziiile categorice sunt: - universale, atunci cnd P se enun despre ntreaga extensiune a lui S: Toi S sunt P i Nici un S nu este P; - particulare, atunci cnd P se enun doar despre o parte din extensiunea lui S: Unii S sunt P i Unii S nu sunt P; - singulare, atunci cnd P se enun despre un singur element din extensiunea lui S: Acest elev este absent. Deoarece extensiunea lui S este reprezentat de un singur obiect, se consider c enunarea lui P se face despre o clas n ntregul su, aa nct propoziiile singulare pot fi eliminate din discuie, fiind tratate ca propoziii universale. Aceste criterii de clasificare pot fi combinate, aa nct vor fi obinute patru tipuri de propoziii categorice, fiecrui tip fundamental de propoziie categoric corespunzndu-i un simbol, o formul i diferite modaliti de reprezentare a raportului existent ntre termeni: 3. Propoziia Numai S sunt P" este exceptativ, deoarece sensul expresiei numai S" nseamn c nimeni n afar de S nu poate fi P, dar nu neaprat toi S sunt P". Propoziiile exceptative se transform n propoziii universale de aceeai calitate, S i P schimbndu-i reciproc locurile i funciile, dup modelul:
25
Spre deosebire de metoda Euler, unde haurarea unei poriuni indic faptul c acea poriune reprezint obiectul gndirii, n diagramele Venn prin haurarea unei suprafee se arat c acea suprafa este vid (nu conine nici un element). Pentru a arta c o anumit poriune este nevid (conine cel puin un element) se scrie un x" n acea poriune. Obs: Raport uri l e vi zeaz propoziiile categorice care au ca termeni acelai subiect i predicat logic n aceeai poziie, iar extensiunea lor nu este vid. Aceste condiii vor fi avute n vedere n prezentarea raporturilor, fr a mai fi invocate de fiecare dat.
Analiza tipurilor fundamentale de propoziii arat c acestea, raportate unele la altele, nu pot avea orice valori de adevr. Spre exemplu, (6) Toi elevii sunt prezeni. (7) Nici un elev nu este prezent. nu pot fi mpreun adevrate, dar se poate concepe o situaie n care ar fi ambele false. Aceasta nseamn c o tratare sistematic a posibilitilor ne permite delimitarea tipurilor de raporturi existente ntre propoziiile categorice. Sintetic, aceste raporturi pot fi redate printr-o schem numit ptratul logic al propoziiilor categorice, datorat filosofului Boethius (480 - 524). Obs: Raporturile logice ntre propoziiile categorice bazate pe ptratul logic pot fi considerate inferene imediate. Existena unor raporturi logice ntre propoziiile categorice permite precizarea valorii de adevr a propoziiilor pornind de la valoarea de adevr doar a uneia dintre ele. Astfel, pot fi delimitate urmtoarele tipuri de raporturi logice: 26
1. Raportul de contradicie: Dou propoziii categorice aflate n raport de contradicie nu pot fi nici adevrate i nici false, n acelai timp i sub acelai raport. Raportul de contradicie exist pe de o parte ntre propoziiile universal afirmative (SaPj i propoziiile particular negative (SoPJ, iar pe de alt parte ntre propoziiile universal negative fSePJ i propoziiile particular afirmative fSiPJ, adic ntre propoziiile de calitate i cantitate opus, ceea ce permite stabilirea urmtoarelor corelaii:
2. Raportul de contrarietate: Dou propoziii categorice aflate n raport de contrarietate nu pot fi adevrate, dar pot fi false n acelai timp i sub acelai raport. Raportul de contrarietate exist ntre propoziiile universal afirmative f'SaPJ i propoziiile universal negative fSeP), adic ntre propoziiile universale de calitate opus:
Obs: Propoziiile aflate ntr-un astfel de raport se numesc propoziii contrare. Din adevrul unei contrare rezult n mod necesar falsitatea celeilalte, n schimb din falsitatea unei contrare nu rezult cu necesitate nimic cu privire la valoarea de adevr a celeilalte (n aceast din ultim situaie vom considera contrara ca nedeterminat, ntruct ea poate fi n unele cazuri fals, iar n altele adevrat, depinznd de starea de fapt la care se refer).
3. Raportul de subcontrarietate: Dou propoziii categorice aflate n raport de subcontrarietate nu pot fi false, dar pot fi adevrate n acelai timp i sub acelai raport. Raportul de subcontrarietate exist ntre propoziiile particular afirmative (SiP) i propoziiile particular negative. (SoP), adic ntre propoziiile particulare de calitate opus:
Obs: Propoziiile aflate ntr-un astfel de raport se numesc propoziii subcontrare. Din falsitatea unei subcontrare rezult n mod necesar adevrul celeilalte, n schimb din adevrul uneia nu rezult cu necesitate nimic cu privire la valoarea de adevr a celeilalte (n aceast din ultim situaie vom considera subcontrara ca nedeterminat.
4. Raportul de subalternare: Raportul de subalternare nu are o definiie propriu-zis, dar n msura n care vom numi propoziia universal ,jsupraalternff', iar propoziia particular subaltern" i vom cerceta situaiile n care ele se pot gsi, vom putea pune n eviden urmtoarele corelaii:
Obs: In cazul acestui raport propoziiile egalate cu ?" sunt propoziii nedeterminate, prin aceasta nelegnd c propoziia poate fi n unele cazuri adevrat, iar n altele fals, depinznd de starea de fapt la care se refer.
Obs: Cu excepia raportului de subalternare, celelalte raporturi sunt raporturi de opoziie.
1. Precizai tipul i formula pentru urmtoarele propoziii categorice: a. Orice persoan care a promovat examenul de bacalaureat poate susine admiterea la facultate; b. Relativ muli elevi au lipsit de la ora de geografie; c. Nu exist cai naripai; d. Exist maini de culoarea roz; e. Numai cei ce nva sunt premiani; f. Exist cel puin un elev care i-a rezolvat tema; g. Numai numerele pare sunt divizibile cu 2; h. Doar unii dintre muncitori au intrat n grev; i. Nimeni nu a fost absent. 2. Lucrai pe perechi. Pornind de la urmtoarele propoziii, aducei propoziiile la forma standard de exprimare i formulai celelalte trei tipuri de propoziii n fiecare caz: a. Nimeni nu este nemuritor; b. Exist i filosofi romni; c. Nu exist termeni cu intensiune vid; d. Oricare om moral este echitabil; e. Nu toate adevrurile sunt evidente; f. Numerele pare sunt toate divizibile cu 2; g. Florile s-au uscat; h. Exist spectatori care nu au aplaudat; i. Nu toate zilele de februarie au fost reci; j. Nimeni nu este perfect. 3. Considernd urmtoarele propoziii adevrate, aducei propoziiile la forma standard de exprimare, formulai celelalte trei tipuri de propoziii i precizai valoarea lor de adevr n fiecare caz: a. Exist psri care nu zboar; b. Numerele impare nu sunt divizibile cu 2; c. Exist fiine acvatice care nasc pui vii; d. Girafele au gtul lung; e. Nu toate manualele sunt manuale de logic; f. Numai orele de logic sunt plcute; g. Cei prezeni reprezint doar o parte dintre elevi; h. Nu numai merii sunt pomi fructiferi; i. Nu tot ce zboar se mnnc. 4. Precizai formulele urmtoarelor propoziii innd cont i de caracterul pozitiv sau negativ al termenilor: a. Unii oameni fac acte nejustificate; b. Toi elevii au fost abseni; c. Unele zile nu sunt urte; d. Unii oameni neserioi sunt nesinceri; e. Cele mai multe flori nu s-au uscat; f. Nici un om nu este necugettor; g. Unele acte ale noastre sunt iresponsabile; h. Nu exist planete care s fie stele; i. Nu au fost vopsite toate uile. 5. Pornind de la situaiile precizate mai jos, stabilii raportul existent: a. Dac ntre propoziiile 1 i 2, respectiv 3 i 4 exist un raport de contradicie, iar ntre propoziiile 1 i 5 un raport de contrarietate, ce raport va exista ntre i 41 b. Dac ntre propoziiile 1 i 3 exist un raport de subalternare, ntre 3 i 4 unul de subcontrarietate, iar ntre 3 i 2 un raport de contradicie, ce raport va exista ntre 1 i 21 c. Dac ntre propoziiile 1 i 2 exist un raport de contrarietate, iar ntre 3 i 4 un raport de subcontrarietate, ce raport exist ntre 1 i 41 d. Dac ntre propoziiile 1 i 4 exist un raport de contradicie, iar ntre 2 i 4 unul de subalternare, ce raport exist ntre 2 i 31 6. Pornind de la adevrul propoziiilor precizate, artai ce propoziii adevrate se pot infera n baza raporturilor logice: a. Unii elevi sunt prezeni la ora de sport; b. Unora dintre oameni nu le place sportul; c. Toate mamiferele sunt vertebrate; d. Nici un elev nu a copiat la lucrare. 7. Pornind de la falsitatea propoziiilor precizate, artai ce propoziii adevrate se pot infera n baza raporturilor logice: a. Nici un om nu este atotputernic; b. Toi arborii sunt pomi fructiferi; c. Unii pomi fructiferi sunt venic verzi; d. Unele metale nu sunt bune conductoare de electricitate. H. Pornind de la falsitatea propoziiilor precizate, artai ce propoziii false se pot infera n baza raporturilor logice: a. Unii studeni nu au promovat examenul de bacalaureat; b. Unele ntreprinderi sunt falimentare; c. Tuturor elevilor le plac vacanele; d. Nici un om nu este invincibil. 9 Pornind de la adevrul propoziiilor precizate, artai ce propoziii false se pot infera n baza raporturilor logice: a. Toi cei ignorani sunt fericii; b. Nici unul dintre cei prezeni nu a votat mpotriva propunerii; c. Unele zile de iarn sunt clduroase; d. Unii dintre colegii mei nu sunt serioi. IU. Formai grupe de 4 elevi sau lucrai pe perechi. Exemplificai, raporturile existente ntre o propoziie oarecare universal negativ (SeP) i propoziia particular afirmativ corespunztoare (SiP). 11. Formai grupe de 4 elevi sau lucrai pe perechi. Plecnd de la propoziii universal negative false (SeP), exemplificai pe de o parte, posibilitatea contrarei false, iar pe de alt parte posibilitatea contrarei adevrate. 12. Formai grupe de 4 elevi sau lucrai pe perechi. Plecnd de la propoziii particular negative adevrate (SoP), exemplificai pe de o parte, posibilitatea subcontrarei adevrate, iar pe de alt parte posibilitatea subcontrarei false. 28