Documente Academic
Documente Profesional
Documente Cultură
Suport Curs Logica Juridica An I, Sem. II 12-13
Suport Curs Logica Juridica An I, Sem. II 12-13
SUPORT CURS
LOGIC JURIDIC
Lect. dr. Marius-Leonard POPESCU
- SUPORT CURS
Anul I
Semestrul II
2012-2013
CUPRINS
I. INTRODUCERE......................................................................................................................................................1
I.1. Necesitatea studiului logicii...........................................................................................................................1
I.2. Precizri terminologice .................................................................................................................................2
I.3. Corectitudine i adevr.................................................................................................................................3
I.4. Forma sau structura logic; variabile i constante logice ............................................................................5
I.5. Definirea logicii. Tipuri de argumentare.......................................................................................................7
II. OPERAII CU PROPOZIII...............................................................................................................................8
II.1. Propoziii compuse. Funcii de adevr.........................................................................................................8
II.2. Definiri ale principalelor funcii de adevr................................................................................................10
II.2.1. NEGAIA .......................................................................................................................................................10
II.2.2. TAUTOLOGIE, CONTRADICIE, FORMULE SINTETICE ......................................................................................10
II.2.3.IMPLICAIA ....................................................................................................................................................11
II.2.4. ECHIVALENA ...............................................................................................................................................12
II.2.5. CONJUNCIA .................................................................................................................................................13
II.2.6. DISJUNCIA NEEXCLUSIV ............................................................................................................................14
II.2.7. DISJUNCIA EXCLUSIV ................................................................................................................................14
II.3. Metoda tabelelor de adevr........................................................................................................................16
II.4. Propoziii compuse care exprim legi logice .............................................................................................18
II.4.1. LEGI LOGICE CU VALOARE DE PRINCIPII N LOGICA CLASIC .........................................................................19
II.4.1.1. LEGEA IDENTITII ....................................................................................................................................19
II.4.1.2. LEGEA NECONTRADICIEI ..........................................................................................................................20
II.4.1.3. LEGEA TERULUI EXCLUS ..........................................................................................................................21
II.4.1.4. LEGEA BIVALENEI ....................................................................................................................................21
II.4.1.5. LEGEA DUBLEI NEGAII ..............................................................................................................................21
II.4.1.6. LEGEA NTEMEIERII SAU A RAIUNII SUFICIENTE SAU A CONDIIONRII .....................................................22
II.4.2. PROPOZIII COMPUSE CARE EXPRIM ARGUMENTRI INFERENIALE ............................................................23
II.4.2.1. CARACTERIZARE GENERAL; STRUCTURA INFERENEI ..............................................................................23
II.4.2.2. INFERENE DISJUNCTIVE ............................................................................................................................23
II.4.2.3. INFERENE IPOTETICE ................................................................................................................................25
II.4.2.4. INFERENE IPOTETICO-DISJUNCTIVE (DILEME) ...........................................................................................28
III. STRUCTURA PROPOZIIEI SIMPLE ........................................................................................................31
III.1. Precizri introductive................................................................................................................................31
III.2. Caracterizare general a propoziiei simple.............................................................................................31
III.3. Termenii ....................................................................................................................................................32
III.3.1. CARACTERIZARE GENERAL I STRUCTUR.................................................................................................32
III.3.2. CLASIFICAREA TERMENILOR ........................................................................................................................35
III.3.3. RAPORTURI NTRE TERMENI .........................................................................................................................36
III.3.3.1. RAPORTURI DE CONCORDAN .................................................................................................................37
III.3.3.2. RAPORTURI DE OPOZIIE ...........................................................................................................................38
IV. OPERAII CU NOIUNI (TERMENI): ........................................................................................................41
DEFINIIA I CLASIFICAREA ............................................................................................................................41
IV.1. Caracterizarea general a definiiei .........................................................................................................41
IV.2. Procedee de definire..................................................................................................................................42
IV.2.1. DEFINIII DENOTATIVE: ...............................................................................................................................42
IV.2.2. DEFINIII CONOTATIVE ................................................................................................................................42
IV.3. Tipuri de definiie ......................................................................................................................................45
IV.4. Operaii care nlocuiesc definirea.............................................................................................................46
IV.5. Caracterizare general a clasificrii ........................................................................................................47
IV.6. Corectitudinea n clasificare .....................................................................................................................48
V. PROPOZIII CATEGORICE ..........................................................................................................................51
V.1. Caracterizare general...............................................................................................................................51
V.2. Clasificarea propoziiilor categorice..........................................................................................................52
Obiective:
Familiarizarea studenilor cu specificul demersului logic ca act de gndire conexat cu
limbajul, aciunea i realitatea, prin prezentarea sistematic a principalelor teme ale logicii
clasice i moderne, precum i a modului n care logica intervine n organizarea sistemului
ierarhizat de norme al dreptului.
I. Introducere
Consideraiile lui Aristotel au fost adunate n ase cri: Categoriile, Despre interpretare,
Analitica prima, Analitica secunda, Topica, Respingerile sofistice. Acestea au primit ulterior
numele de Organon, adic "instrument", recunoscndui-se lui Andronicos din Rhodos (sec. I
i.Hr.) meritul de a fi ordonat si de a fi editat operele marelui gnditor grec.
Denumirea de logica pentru tiina logicii a aprut in colile de logica de mai trziu. La
Roma, in vremea lui Cicero (sec. I i.Hr.), termenul de logica era adesea folosit, dar abia in
secolul al II-lea al erei noastre i s-a fixat nelesul de astzi, aa cum vom vedea intr-un
paragraful ulterior.
(1)
Din punct de vedere logic, nu ne intereseaz daca este adevrata concluzia acestui
raionament. Calatorul nostru poate stabili adevrul conc1uziei sale, fie confruntndu-si ceasul
cu alte ceasuri, fie ntrebnd conductorul etc.
Logica ne nva doua chestiuni importante,dependente intre ele:
1. cum stabilim corectitudinea acestui tip de raionament;
2. daca premisele sunt adevrate, atunci concluzia este adevrata.
3
Acest tip de raionament, pe care-l vom studia ntr-un alt capitol, este corect, dac
respect anumite condiii impuse de logic; deci, pentru a considera corect un raionament, nu se
efectueaz aceleai operaii concrete ca acelea pe care le poate face cltorul, ci operaii care se
desfoar la nivelul gndirii, aa cum verificam o operaie matematica. Dac stabilim ca
raionamentul este corect, atunci tim c, dac premisele sunt adevrate, atunci i concluzia
trebuie sa fie adevrat. Ne bazm pe o regul stabilit, de asemenea, n cadrul logicii: din
adevr rezulta numai adevr, bineneles dac se gndete corect.
Raionamentul cltorului este corect, chiar dac n realitate trenul nu are ntrziere. Cci,
n cazul in care concluzia unui raionament se dovedete fals, aceasta nu se datoreaz neaprat
unei erori in raionare. Prin urmare, a porni de la o premisa falsa nu nseamn a comite o eroare
logic. Astfel, n exemplul (1), daca falsitatea concluziei ar proveni din falsitatea celei de-a doua
premise, raionamentul calatorului nu ar fi incorect:
(1)
propoziiilor componente.
De exemplu,
Dac, aflnd de la conductor c trenul are ntrziere, calatorul ar raiona acum astfel:
(2)
raionamentul sau nu este corect; concluzia este adevrata, dar poate fi si falsa (ne putem
imagina, de exemplu, ca trenul are o ntrziere de 30 minute, iar ceasul calatorului are o abatere
de 10 minute - in plus sau in minus - fata de ora exacta).De ce este incorect raionamentul (2),
vom afla de asemenea intr-un capitol ulterior.
Pe scurt, intr-un raionament corect sau valid, adevrul premiselor garanteaz adevrul
concluziei. Validitatea raionamentelor trebuie foarte bine neleasa: ea nu spune ca un
raionament, pentru a fi valid, trebuie sa aib premisele i conc1uzia adevrate, ci spune ca, intrun raionament valid, daca premisele sunt adevrate, atunci si concluzia sa va fi adevrat.
4
(2)
(3)
(3)
Dac p, atunci q
(4)
Dac p, atunci q
:. q
:. p
(5)
Toi A sunt B
Toi C sunt A
:. Toi C sunt B.
Altfel spus, literele propoziionale si literele termeni se numesc variabile logice. Aceasta
denumire evideniaz faptul ca aceste simboluri nlocuiesc unele cuvinte sau expresii din
limbajul natural. Ele sunt un fel de tipare in care intra coninuturi diferite. Folosirea variabilelor
este foarte importanta pentru logica, deoarece acestea ajuta la recunoaterea cu precizie a
structurilor logice.
De asemenea, pot fi simbolizate si alte expresii ale limbajului natural, precum daca ...,
atunci ... , toi , sau etc.
Simbolurile respective, spre deosebire de variabilele logice, sunt numite uneori constante
logice. Ele determina fie relaii, fie operaii cu termeni i propoziii. Astfel, logica poate construi
limbaje artificiale, caracterizate ca fiind simple, riguroase, clare i precise. Pe aceasta cale, s-au
constituit logici simbolice, apropiate ca forma de matematica. n logica actuala, constantele
logice sunt exprimate cu ajutorul unor simboluri speciale, iar alctuirea expresiilor logice se
6
realizeaz pe baza unor reguli precise. Exista sisteme de logica din care au fost eliminate
elementele limbajului natural; ele mbrac forma unor calcule.
cate ori o variabila propoziionala nu este nsoita de un simbol care sa nsemne afirmarea sa, se
subnelege ca ea este afirmata.
Prin negarea unei propoziii adevrate se obine o propoziie falsa. Prin negarea unei
propoziii false se obine o propoziie adevrata.
Pentru n = 2 se obin
tabel:
p
10
11
12
13
14
15
16
8 = conjuncie
9 = negarea conjunciei (incompatibilitate)
10 = disjuncie exclusiva
11 = negarea lui q
12 = negarea implicaiei
13 = negarea lui p
14 = negarea replicaiei
15 = negarea disjunciei neexclusive (rejecia)
16 = negarea tautologiei (contradicie)
II.2.1. Negaia
Dat fiind o propoziie oarecare, p, putem construi din ea o propoziie fals, dac p este
adevrat, i o propoziie adevrat, dac p este fals.
De fiecare data obinem negaia unei propoziii p; vom simboliza negaia lui p prin ~p si vom
citi ,,non-p".
n limbajul cotidian, pentru a nega o propoziie, recurgem de obicei la cuvntul "nu", plasat
fie la nceputul propoziiei, fie in interior: Nu este adevrat c ceasul meu arat ora exacta;
Ceasul meu nu arat ora exact; alteori este nevoie de o transformare a propoziiei supusa
negrii; de exemplu, propoziia Uneori ninge in aprilie nu are ca negaie Uneori nu ninge in
aprilie, pentru ca ambele propoziii pot fi adevrate; negaia propoziiei Uneori ninge in aprilie
este Niciodat nu ninge in aprilie sau Nu este adevrat ca uneori ninge in aprilie.
10
II.2.3.Implicaia
Implicaia este exprimata in tabelul anterior pe coloana a cincea; exista mai multe simboluri pentru
exprimarea sa formala; vom scrie "p q", vom citi dac p atunci q, i o vom defini prin urmtorul
tabel de adevr:
p q
1 1 1
1 0 0
1 1 0
0 1 0
n relaia implicaional, variabila care se afla la stnga sgeii se numete antecedent, iar variabila
din dreapta se numete secvent: cunoscnd aceste denumiri, vom putea nelege semnificaia tabelului,
definind astfel implicaia:
Ea este fals cnd antecedentul este adevrat i secventul este fals; n celelalte cazuri, ea este
adevrat.
Din definiia implicaiei vom nelege specificul inferenelor deductive, pe care l-am studiat in primul
capitol; daca vom considera ca p, antecedentul, simbolizeaz premisele, iar q, secventul (conc1uzia),
atunci prima linie a tabelului arata faptul ca, intr-o inferena corecta, daca premisele sunt adevrate,
conc1uzia trebuie sa fie adevrata, a doua linie, ca numai daca inferena este incorecta, din premise
adevrate, rezulta
concluzie falsa, iar liniile 3 i 4 ca, din premise false, pot sa rezulte conc1uzii fie
De exemplu:
De treci codrii de aram, de departe vezi ...
(M. Eminescu)
Ai carte, ai parte.
Pe de alta parte, exista propoziii introduse prin "daca..., atunci" care nu sunt ipotetice; ele
pot fi propoziii concesive, optative etc.
Sa ne ntoarcem la funcia propoziionala numita mai sus implicaie. nelegem acum ca
implicaia: "p q" face abstracie de nelesuri, pentru ca ea realizeaz o conexiune intre
valorile logice adevrat i fals. Ea a fost numita implicaie materiala si este definita prin tabela de
adevr respectiva unde au importanta numai combinaiile dintre valorile de adevr (adevrat si
fals). De aceea nu trebuie sa surprind astfel de implicaii:
(2 + 2 = 4) (zpada este alba),
(2 + 2 = 5) (zpada este alba),
(2 + 2 = 5) (zpada este neagr.
Astfel de relaii sunt posibile, deoarece implicaia materiala nu leag nelesuri, ci valori
logice atribuite propoziiilor, Mai mult, o propoziie implicativ nu aserteaz nici adevrul
antecedentului, nici adevrul secventului. Ea arata faptul ca, daca antecedentul este adevrat,
atunci si secventul este adevrat, iar daca antecedentul este fals, atunci secventul poate fi
adevrat.
II.2.4. Echivalena
Echivalena este redata in tabe1ul anterior al funciilor propoziionale pe coloana a aptea;
simbolul functorului echivalentei este , se citete "dac i numai dac..., atunci" i se
definete prin urmtoarea tabel:
p q
11 1
10 0
00 1
01 0
Conform acestei definiii formale, observm c echivalena este adevrat cnd cele dou
variabile au aceeai valoare de adevr, adic sunt fie amndou adevrate, fie amndou false.
n limba romana, echivalena este redata prin propoziii bicondiionale sau prin judecai
ipotetice exclusive, care redau relaii dintre o condiie necesar si suficient, i o consecina
suficient si necesar.
12
De exemplu,
Dac si numai dac astzi iau nota 9, atunci voi avea media 8 la Logic.
Echivalena este o condiionare reciproc din care rmne numai raportul dintre valorile
logice ale variabilelor propoziionale: dou propoziii sunt echivalente, dac au ntotdeauna
aceeai valoare logic - sunt mpreuna adevrate sau false - aa cum rezult din tabel. Este vorba
tot despre o echivalent material care nu are n vedere relaiile dintre nelesurile propoziiilor
componente. n acest caz, formula p q se citete "p este echivalent cu q".
n ceea ce privete formulrile verbale ale propoziiilor bicondiionale, in care se folosesc
si unele formulri mai scurte "numai daca ...", "daca ..., atunci ..." sau "cu condiia ca ...", se
enuna explicit numai condiia necesara sau numai aceea suficienta, cealalt condiie fiind
sugerata de context: Numai daca astzi iau nota 9, atunci voi avea media 8 la Logica. La fel,
despre o echipa sportiva creia i-ar fi necesara i suficienta o victorie pentru a ocupa primul loc
in clasament se spune: Va ocupa primul loc, cu condiia sa nving in ultima etap.
Desigur, atunci cnd se cere acuratee logica, aa cum este cazul, de exemplu,
propoziiilor matematice, se folosesc formulri complete si exacte.
II.2.5. Conjuncia
Conjuncia este o funcie definita conform coloanei a opta din tabelul funciilor de
adevr.
Numim conjuncie a dou propoziii p i q propoziia notat p & q, adevrat numai
dac p i q sunt amndou adevrate.
Simbolul ,,& se numete "semnul conjunciei" sau conectorul conjunciei, iar variabilele
p si q se numesc conjuncte:
Expresia se citete ,,p i q". De exemplu, 906 se divide cu 3 i cu 11. De multe ori
conjuncia a dou propoziii poate fi redat prin p iar q" p, pe cnd q", p dar q".
De exemplu,
Ceasul meu arat ora exact, iar al lui Ion (pe cnd al lui Ion", dar al lui Ion") a rmas n
urm.
13
De exemplu,
Literaii scriu n versuri sau n proz (nu este exclus situaia ca unii scriitori s se
exprime i n versuri, i n proz).
De exemplu:
Aceste mrimi sunt egale sau inegale.
Am vzut care sunt principalii conectori din tabelul celor 16 funcii propoziionale. Vom
nelege mai bine specificul i importana lor pentru determinarea valorii de adevr a
propoziiilor compuse, dac vom proceda astfel:
Fie dou propoziii oarecare p i q, considerate adevrate; s stabilim relaii ntre ele cu
ajutorul conectorilor nvai i s aflm valoarea de adevr a propoziiilor astfel compuse:
(l)p q;
(2)p q;
(5)p/q;
(6) p w q.
Prin urmare, implicaia, echivalena i incompatibilitatea dintre dou propoziii false sunt
adevrate, iar conjuncia, disjuncia inclusiv i disjuncia exclusiv sunt false. Exerciiu:
Continuai, dnd valori de adevr diferite lui p i q.
n aceast formul, parantezele arat n primul rnd c functorul &" leag moleculara p
q" cu atomar p", apoi c functorul " leag formula
16
S mai notm c, n cadrul unei formule, un conector poate s aib mai multe apariii, aa
cum s-a ntmplat cu n formula anterioar. Parantezele arat la ce se aplic fiecare
conector, n una sau n alta din apariiile lui, n cadrul formulei.
Conectorul care, ntr-o formul, i acoper pe toi ceilali conectori (inclusiv celelalte
eventuale apariii ale sale), se numete conectorul principal al respectivei formule.
Astfel, n formula anterioar, n a doua sa apariie, conectorul este conector
principal.
S studiem acum utilizarea metodei tabelelor de adevr. Logica propoziiilor este o teorie
decidabil, adic exist diverse procedee cu ajutorul crora se poate decide, printr-un numr finit
de pai, dac o formul a calculului propoziional este o tautologie, o contradicie sau o formul
sintetic.
Un astfel de procedeu de decizie, foarte simplu, este metoda tabelelor de adevr sau
metoda matricial.
Am vzut c propoziiile compuse sunt funcii de adevr, adic valoarea logic a
propoziiei compuse depinde numai de valorile de adevr ale propoziiilor componente. Prin
urmare, date fiind valorile logice ale fiecrei propoziii i definiiile operatorilor logici, putem
afla valoarea logic de adevr a propoziiei compuse.
Se procedeaz astfel:
se atribuie variabilelor propoziionale valorile 1 (adevrat) i 0 (fals), conform formulei 2" (unde
2 este numrul valorilor de adevr, iar n este numrul variabilelor propoziionale) i se fac toate
combinaiile posibile dintre 1 i 0; apoi, folosindu-se definiiile operatorilor logici utilizai n
formul, se afl valoarea logic a propoziiei compuse.
Recomandm o formul simplificat a metodei tabelei de adevr:
Verificm mai nti unele formule cu o singur variabil: 21 = 2 combinaii.
17
Legile logicii trebuie respectate n orice tiin. Nu se poate face tiin n nici un
domeniu fr aplicarea corect a legilor logicii. Un argument important al acestei aseriuni l
ofer analiza limbii. Aa cum am vzut, propoziiile se leag ntre ele cu ajutorul unor conjuncii
care redau constante logice (i, sau, dac... atunci...). Toate tiinele folosesc aceste conjuncii;
prin urmare, toate tiinele folosesc aceleai legturi logice, iar legturile logice impun aceleai
legi.
Legile logicii se deosebesc astfel de legile celorlalte tiine prin faptul c ele sunt etern
valabile", pentru orice act de gndire, pe cnd legile celorlalte tiine sunt adevrate numai
pentru domeniul unde acioneaz.
Teoretic, se poate construi o infinitate de formule ntotdeauna adevrate, dar numai unele,
care sunt n numr restrns, au semnificaie n cadrul logicii i au aplicaii importante pentru
construirea de argumente corecte.
adevr (ambele sunt adevrate i ambele false), aa cu am vzut n paragraful 2.4. Nici o
consideraie de coninut nu intr n discuie.
G. W. Leibniz definea aceast lege astfel: Fiecare lucru este ceea ce este. i n attea
exemple cte vrei A este A i B este B. Voi fi ceea ce voi fi. Am scris ceea ce am scris [...]
Legea identitii este ns util pentru c permite substituii ntre variabile i ntre
formule. Caracteristica sa principal este nlocuirea ei cu operaia logic a afirmaiei, n sensul c
aceasta este exprimat fr folosirea negaiei (o variabil, o formul este ceea ce este"). Aceast
lege are i alte ntrebuinri n logic: sunt argumente care se bazeaz pe ea; tehnica definiiei o
presupune; de asemenea, ea trebuie respectat n orice context pentru ca oamenii s se neleag
ntre ei. Asupra acesteia vom mai reveni.
19
In calculele logice, aceast lege este strns legat de operaia logic a negaiei. Aceast
operaie stabilete relaiile logice dintre propoziiile care sunt opuse din punct de vedere al valorii
lor de adevr.
Aristotel a formulat astfel principiul necontradiciei: ... este peste putin ca unuia i
aceluiai subiect s i se potriveasc i totodat s nu i se potriveasc sub acelai raport unul i
acelai predicat..."
Aa cum am vzut n paragraful 2.1 din capitolul II, functorul negaiei se definete prin
tabela valorilor de adevr, dup cum urmeaz:
Aceast lege exprim o condiie necesar a gndirii logice: nu este admis afirmarea
concomitent a unei propoziii i a negaiei sale. Dac este nclcat exigena necontradiciei,
posibilitatea limbajului logic este anihilat. De fapt, legea este respectat n mod spontan. Dar se
ntmpl ca, n timpul argumentrilor, indivizii s-i contrazic propriile opinii exprimate
anterior. In acest sens, se spune c cerina necontradiciei asigur consecvena logic a
argumentrii. Logica formal este dominat de legea necontradiciei. A argumenta corect
nseamn n primul rnd a nu te contrazice. Legea identitii este mai greu nclcat n
argumentarea individului normal i adult. Dar se ntmpl deseori ca indivizii s se contrazic n
propriile lor preri, atunci cnd se nfrunt tendine i interese contrarii.
Legea necontradiciei ntemeiaz anumite inferene; pentru a argumenta falsitatea unei
propoziii, este suficient s argumentm adevrul propoziiei opuse, aa cum vom vedea ntr-un
alt paragraf.
20
Operaia negaiei nu este complet exprimat prin legea necontradiciei. Ea arat, aa cum
am vzut, c dou propoziii opuse, p i ~ p, nu pot fi n acelai timp adevrate. Dar pot fi ambele
false? Rspunsul l ofer legea terului exclus:
Propoziiile p i ~ p nu pot fi ambele false (n acelai timp i sub acelai raport), una
trebuie s fie adevrat.
Dar nu este cu putin nici ca s existe un termen mijlociu ntre cele dou extreme ale
unei contradicii...(Aristotel)
n logica relaiilor dintre propoziii, aceast lege arat c este necesar ca o formul
alctuit din una sau mai multe variabile s fie sau s nu fie acceptat.
nelegem acum mai bine deosebirea important dintre cele dou legi ale negaiei. Legea
necontradiciei afirm o imposibilitate: nu se poate p i ~ p, de unde se deduce c, una dintre
propoziii fiind adevrat, cealalt trebuie s fie fals. Legea terului exclus (tertium non datur)
exprim o necesitate: trebuie s fie p sau ~p, ceea ce duce la concluzia c, una dintre propoziii
fiind fals, cealalt este adevrat.
Legile negaiei se regsesc ntr-o singur lege, cea a bivalenei, care ntemeiaz ntreaga
logic clasic i n care se admit numai dou valori de adevr - legea bivalenei sau legea care
combin legea necontradiciei cu legea terului exclus.
Formal, legea se exprim cu ajutorul disjunciei exclusive: sau p sau ~ p
Un corolar al celor dou legi ale negaiei este legea dublei negaii:
Negarea negaiei este o afirmaie indirect.
21
iar, dac q este adevrat i p este adevrat, atunci falsitatea lui p se asociaz cu
falsitatea lui q:
22
Inferenele disjunctive sunt acelea n care apar cu rol de premise propoziii disjunctive.
23
Cel mai des ntlnite n argumentare sunt inferenele disjunctive mixte, la care o premis
este propoziie disjunctiv, iar cealalt premis i concluzia sunt propoziii simple, enuniative.
n funcie de felul disjunciei apar mai multe moduri", tipuri de inferene disjunctive:
Cnd disjuncia este exclusiv i obinut prin negarea conjunciei (incompatibilitatea),
apare modus ponendo-tollens, care, la rndul su, are dou forme:
n acest caz, afirmm n premise una din propoziiile incompatibile pentru a o nega n
concluzie pe cealalt.
De exemplu,
Acest metal este sodiu sau potasiu
Acest metal este sodiu
:. Acest metal nu este potasiu.
Modus ponendo-tollens i bazeaz corectitudinea pe legea necontradiciei, studiat n
paragraful 4.1.2. din acest capitol.
Cnd disjuncia este inclusiv, apare modus tollendo-ponens, care, la rndul su, are
dou forme:
24
Cnd disjuncia este exclusiv i obinut prin negarea echivalenei, sunt posibile ambele
moduri:
modus ponendo-tollens
Exerciiu: Construii cele patru forme, avnd ca premis propoziia compus: Propoziiile sunt
sau adevrate, sau false".
S ne reamintim legea bivalentei, deoarece aceasta reglementeaz corectitudinea acestor moduri
realizate cu non-echivalena.
Denumirile acestor moduri provin din latin, de la verbul ponere, care nseamn a pune" (deci
punem", afirmm) i de la verbul tollere, care nseamn a suprima", a lua".
Inferenele disjunctive joac un rol important n viaa practic i n activitatea tiinific, deoarece
recunoaterea i identificarea obiectelor se face cu ajutorul lor. De asemenea, unele demonstraii, dup
cum vom vedea, au la baz inferene disjunctive.
25
negarea antecedentului
Exerciiu: Verificai cu ajutorul tabelelor de adevr! Revenii la exemplele (1) i (2) din
paragraful 3, capitolul I i analizai-le pe baza noilor cunotine.
n cazul raportului de condiionare suficient i necesar, raport exprimat prin conectorul
(echivalen) putem raiona corect n patru moduri:
modus ponens de la condiie
27
Modus ponens ofer mijlocul principal prin care putem susine adevrul unei propoziii.
Acest mod arat c adevrul unei aseriuni trebuie ntemeiat pe adevrul unei propoziii
antecedente din care deriv.
Modus tollens servete la demonstrarea falsitii unei teze. n acest scop, se cere s artm
c din teza respectiv deriv consecine false.
Exerciiu. Construii exemple pentru cele dou raionamente incorecte i pentru cele
patru moduri ale echivalenei.
De exemplu,
Dac citesc lecia, nseamn c nv
Dac-mi fac temele, nseamn c nv
Citesc lecia sau mi fac temele
:. nv.
n cazul acestei dileme, afirmm n premisa disjunctiv cei doi antecedeni ai premiselor
condiionale, pentru a afirma n concluzie secventul prezent n ambele premise condiionale.
Dilema constructiv complex
28
De exemplu,
Dac citesc lecia, nseamn c nv
Dac citesc ziarul, nseamn c m relaxez
Citesc lecia sau citesc ziarul
:. nv sau m relaxez.
De exemplu,
Dac nv, obin note mari
Dac nv, am cunotine solide
Nu obin note mari sau nu am cunotine solide
:. Nu nv.
n cazul acestei dileme, negm n premisa disjunctiv ambii secveni din premisele
ipotetice, pentru a nega n concluzie antecedentul din premisele ipotetice.
Dilema distructiv complex
De exemplu,
Dac nv logic, atunci raionez corect
Dac nv gramatic, atunci tiu s scriu corect
Nu raionez corect sau nu scriu corect
29
n cazul acestei dileme, unim n premisa disjunctiv negaiile celor doi secveni din
premisele condiionale, pentru a uni n concluzie prin disjuncie negaiile celor doi antecedeni
din premisele condiionale.
Dilema, n forme simple sau complexe, este o arm puternic de combatere. Teza
adversarului este analizat n toate interpretrile posibile, artndu-se c fiecare dintre ele este
inacceptabil.
EXERCIII
1.Notnd cu p, q, r... propoziiile atomice, reprezentai prin formule prepoziionale
urmtoarele propoziii compuse (atunci cnd formularea verbal se preteaz la dou interpretri
logic diferite, reprezentai-le pe amndou i comparai formulele obinute): (a) Dac examenele
sunt programate vineri sau smbt, nu se vor ine n sala 10, ci n 15 sau 16; (b) Nu va fi
nscris dect dac a depus dosarul pn la termenul anunat.
2.Dac p reprezint propoziia: Democrit s-a nscut n jurul anului 460 . Hr., iar q
propoziia Socrate a trit mai puin dect Democrit, ce propoziii reprezint formulele:
(a) (p & q) r; (b) (p & s) (q l); (c) 1& (p r;) i ce valoare de adevr are fiecare?
Cutai formulri ct mai fireti, innd seama de faptul ca un conector nu are un unic
corespondent verbal i c o propoziie, cnd devine component a unei alte propoziii, sufer de
obicei ajustri verbale n funcie de celelalte componente, de pild, prin nlocuirea unui nume
printr-un pronume etc.
3. (a) Dac p q reprezint o propoziie adevrat, iar q r una fals, care este valoarea
de adevr a propoziiei reprezentate de p?
(b) Dac p ~q este o propoziie adevrat, ce putem spune despre p q, dar despre
(p q) r?
(c) Artai c dac p q este fals, q r are valoarea de adevr a lui r.
30
31
Dac relaia exprimat n propoziie corespunde realitii, atunci propoziia este adevrat
- propoziiile (a) i (c), iar dac relaia nu exist n realitate, propoziia este fals - propoziia (b).
n propoziiile simple sunt exprimate diferite tipuri de relaii (de incluziune ntre clase de
obiecte, de apartenen a unui element la o clas sau la o proprietate, de mrime, temporal,
spaial, cauzal, condiional etc.), nct se poate spune c o propoziie este un model logic al
reproducerii unei relaii ca relaie, adic n mod concret, ceea ce se poate simboliza astfel:
R(x,y,z...)
unde R" este simbolul pentru expresia ce denumete relaia (variabil relaional), iar x, y, z"
sunt simboluri pentru expresiile ce denumesc elemente concrete, unite prin relaia respectiv
(variabile individuale).
Analiznd exemplele date, constatm c n propoziia (a) este exprimat un raport ntre o
clas de obiecte, anume romnii", i o caracteristic, o proprietate(aceea de a fii europeni");n
propoziia (b) este exprimat un raport, o relaie de mrime relativ ntre dou obiecte distinct
(cateta i ipotenuza"), iar n propoziia (c) este exprimat o relaie spaial ntre trei obiecte"
distincte (Iai, Vaslui, Suceava). Pentru a vedea n ce fel de raporturi pot intra aceste propoziii
cu altele, trebuie s efectum o analiz atomar, intrapropoziional, i s le descompunem n
elementele lor componente: relaii i termeni.
Nu acelai lucru se ntmpl cu propoziiile compuse, unde am vzut c elemente
componente sunt alte propoziii, i nu termeni. Aici efectum o analiz molecular,
interpropoziional, deoarece valoarea de adevr a propoziiei compuse depinde doar de valorile
de adevr ale propoziiilor j componente, ele fiind funcii de adevr.
III.3. Termenii
III.3.1. Caracterizare general i structur
Dup cum am vzut, termenii sunt acele pri ale propoziiei simple ce denumesc,
desemneaz diferitele obiecte ntre care se instituie anumite relaii. Aceste obiecte sunt redate n
mintea noastr sub form de noiuni.
De exemplu:
a avea noiunea de triunghi" nseamn a avea n minte proprieti precum trei laturi",
trei unghiuri", trei vrfuri".
A 'avea noiunea unui obiect nseamn aadar,
32
a putea reda o sum de nsuiri ale aceluzi obiect, a cunoate o seam de determinri ale
acelui obiect, numite note.
La rndul lor, aceste reflectri mentale ale obiectelor, aceste noiuni sunt exprimate n
limba prin diferite cuvinte sau grupuri de cuvinte. Nu toate cuvintele exprim noiuni, pentru c
nu toate cuvintele posed un neles propriu, o noiune. De exemplu, conjunciile, prepoziiile nu
exprima noiuni.
Prin termen se nelege o parte a unei propoziii care exprima o noiune ce se refer la
unul sau la mai multe obiecte i la anumite proprieti care le aparin.
Dup cum observm, termenul are o structur complex. Exist dou dimensiuni
principale ale semnificaiei termenilor: intensiunea i extensiunea.
Intensiunea unui termen este format din ansamblul proprietilor cuprinse n noiunea
exprimat de acel termen. Ea reprezint deci nelesul termenului. Se mai numete i coninut.
Extensiunea unui termen este format din ansamblul obiectelor la care se refer
termenul la care termenul se poate aplica cu sens. Se mai numete i sfer.
Intensiunea se refer deci la mulimea proprietilor comune unei clase de obiecte, iar
extensiunea, la mulimea obiectelor, la clasa de obiecte ca atare, obiecte care sunt desemnate sau
denotate de termenul respectiv. Proprietile sunt conotate de termen i sunt grupate n noiunea
pe care o exprim termenul.
Fundamental pentru termen este dimensiunea intensional, deoarece intensiunea
determin extensiunea, i nu invers.. Pot exista termeni cu intensiuni diferite i eu aceeai
extensiune.
De exemplu,
termenul triunghi echilateral are n intensiune notele: poligon, trei laturi egale, trei
unghiuri,
iar termenul triunghi echiunghiular are n intensiune notele: poligon, trei laturi, trei
unghiuri egale";
observm c intensiunile difer dei cei doi termeni au aceeai extensiune, denotnd un
acelai tip de triunghiuri.
ntre extensiunile unor termeni pot exista relaii de incluziune; s-a convenit s se
numeasc gen noiunea care include cel puin o alt noiune n extensiunea sa i s se numeasc
specie noiunea inclus. n logic, spre deosebire de tiinele naturii, expresiile gen i specie au
nelesuri relative: o noiune poate fi gen n relaie cu alta, de exemplu: arbore - conifer, i
totodat specie n raport cu alta: arbore - plant.
33
Observm c sferele noiunilor incluse unele n altele se pot compara ntre ele din punct
de vedere al mrimii lor relative. Sfera unei noiuni este mai mare (respectiv mai mic) dect
sfera altei noiuni, dac are mai multe (respectiv mai puine) elemente. Astfel, genul fiind alctuit
din cel puin dou specii are sfera mai mare dect specia.
Dac ntre sferele speciei i genului este o relaie de incluziune, ntre un element i sfer
este o relaie de apartenen. O proprietate important a relaiei de incluziune tranzitivitatea i
ea poate fi observat pe reprezentarea grafic anterioar: dac plantele" includ arborii", iar
arborii" includ coniferele", atunci plantele" includ coniferele".
Relaia de apartenen se stabilete ntre o noiune individual i specie i nu se mai
caracterizeaz prin tranzitivitate: dac Luna" aparine clasei sateliilor", aceasta nu mai
aparine clasei corpurilor cereti", ci se include n ea.
Notele care alctuiesc intensiunea sau coninutul unei noiuni sunt de mai multe tipuri.
Astfel, fiecare noiune are n coninutul su mai multe note caracteristice prin care ea se
deosebete de alte noiuni; acestea se numesc note proprii sau Propriul noiunii
De exemplu,
Triunghiul este singurul poligon cu trei laturi, cu trei unghiuri, lipsit de diagonale, cu
suma unghiurilor egal cu 180.
O singur not proprie poate fi suficient pentru determinarea unei clase de obiecte, chiar
atunci cnd Hotele proprii sunt mai multe - de exemplu, nota trilater pentru triunghiuri.
Determinarea Propriului unei noiuni este o sarcin foarte important a cercetrii tiinifice;
aceast operaie este implicat n metoda definirii noiunilor. De aceea, exist mai multe definiii
pentru aceeai noiune, n funcie de nota proprie aleas pentru caracterizarea noiunii dintr-un
anumit punct de vedere.
34
In coninutul unei noiuni, n afar de notele proprii, mai fac parte i notele pe care
noiunea le primete de la genul care o include. Acestea se numesc note generice i formeaz
Genul noiunii.
De exemplu, triunghiul are n coninutul su notele proprii de poligoanelor, acestea
devenind note generice: Triunghiul este o linie frnt nchis, posed laturi i unghiuri, divide
planul n dou pri etc.
Cunoaterea proprietilor generale ale claselor de obiecte este important, deoarece, cu
ajutorul lor sunt redate legi tiinifice.
Notele proprii ale speciei sunt, pentru genul includent, note pe care nu le posed toate
obiectele din sfera genului. Specia fiind inclus n gen, Obiectele din sfera ei alctuiesc numai o
parte din obiectele genului. Deci numai o parte din elementele genului posed notele proprii
speciei. Acestea se numesc note-accident, accidentale sau Accident.
De exemplu, numai unele triunghiuri sunt dreptunghice, altele sunt echilaterale etc.
vecini. Clasa de obiecte poate fi considerat ca o simpl alturare de obiecte. n acest caz,
proprietile atribuite clase aparin i fiecrui obiect al clasei. Termenii ai cror sfere sunt
considerate nsumri de obiecte se numesc distributivi: om, plant, elev (n sensul: Unii oameni
au ochii albatri, Toate plantele au nevoie de oxigen, Elevii clasei a VIII-a B sunt absolveni).
Pe de alt parte, a considera un termen n sens colectiv nseamn a aborda sfera sa ca
totalitate: omenire, flor, clasa a VIII-a B. Acestor termeni le corespund proprieti colective
care nu pot fi atribuite fiecrui element n parte.
De exemplu,
Omenirea a cucerit Cosmosul; Flora Munilor Carpai este bogat; Clasa a VIII-a B
este aezat pe trei rnduri de bnci.
Termenul colectiv nu denot deci fiecare obiect n parte din sfera sa, ci pe toate la un loc.
Raportul dintre aceste obiecte i clasa de obiecte este ca cel de la parte la ntreg, nu de la specie
la gen. ntregul are anumite determinri specifice, proprii numai lui, i nu fiecrui element n
parte.
Termenii distributivi se refer, trimit, la fiecare element n parte al unei mulimi formate
dintr-un numr oarecare de obiecte individuale, pe cnd termenii colectivi se refer la mulimea
de obiecte individuale ca la un ntreg, ca la un grup ce are nsuiri specifice.
III.3.3. Raporturi ntre termeni
Termenii exprim, dup cum am vzut, prin intermediul expresiilor lingvistice, noiuni
care se refer la un obiect sau la o clas de obiecte. Aa cum, n realitate, obiectele intr n
anumite relaii unele cu altele, stabilesc anumite raporturi, la fel i termenii stabilesc anumite
raporturi ntre ei, att n ceea ce privete intensiunea, ct i extensiunea.
Vom studia raporturile ce se stabilesc ntre sferele a doi termeni generali, X i Y, termeni
care au cel puin dou elemente distincte n sfer. n continuare, prin sfera unui termen vom
nelege mulimea format din obiectele la care acel termen se refer, iar prin raporturile dintre
sferele a doi termeni generali X i Y, raporturi dintre dou mulimi, respectiv incluziune sau
excluziune.
Sunt posibile dou tipuri principale de raporturi:
Raportul de concordan - doi termeni ale cror Sfere au cel puin un element n comun,
adic X I Y 0, se numesc termeni concordani.
Raportul de opoziie - doi termeni care nu au nici un element comun n sfer, adic X I Y
=0, se numesc termeni opui.
36
Fiecare dintre aceste dou tipuri principale de raporturi cuprinde, la rndul su, noi tipuri
de raporturi.
Deoarece raporturile extensionale dintre doi termeni sunt raporturi de incluziune sau
excluziune dintre mulimi, putem apela la metoda matematicianului elveian Leonhard Euler
(1707-1783) de a reprezenta grafic aceste raporturi prin relaii ntre cercuri.
III.3.3.1. Raporturi de concordan
(a) Raportul de identitate - doi termeni ale cror sfere se includ reciproc, adic au toate
elementele comune, se numesc termeni identici.
X Y i
Y X
(c) Raportul de subordonare un termen este subordonat altui termen, dac sfera sa se
include integral n sfera acestuia, dar nu i invers.
De exemplu,
pasre vertebrat; atletsportiv; arbore-plant.
Raportul de subordonare se reprezint la fel ca raportul de supraordonare, mpreun cu
care formeaz raportul de ordonare.
Acest raport de ordonare exprim de fapt relaiile care se stabilesc ntre termenii-gen i
termenii-specie:
37
ncruciare
(a) Raportul de contradicie - doi termeni ale cror sfere nu au nici un element comun i,
fiind dat un element oarecare din universul de discurs, acesta aparine fie doar unui termen, fie
doar celuilalt, se numesc termeni contradictorii.
contradicie
Acest raport se stabilete ntre doi termeni care reprezint singurele dou specii ale unei
noiuni-gen.
De exemplu,
vertebrat" i nevertebrat" ca specii ale noiunii animal"; organic i anorganic" ca
specii ale noiunii substan".
38
Putem obine contradictoriul unui termen X i prin negarea lui, non-X. Fiind dat un
element oarecare, el aparine fie sferei lui X, fie sferei lui non-X . Spunem c extensiunea lui X
este complementara nelimitat a extensiunii lui non-X i reprezentm grafic astfel:
De exemplu,
om i non-om, pasre i non-pasre; cas i non-cas etc.
(b) Raportul de contrarietate - doi termeni care nu au nici un element comun n sfer i,
fiind dat un element oarecare din universul de discurs, acesta aparine fie unui termen, fie
celuilalt, fie nici unuia dintre ei, se numesc termeni contrari.
Termenii contrari sunt deci specii ale aceluiai gen, dar nu sunt singurele sale dou
specii.
Un element care nu aparine nici unui termen, nici celuilalt, poate s aparin unui al
treilea termen.
De exemplu,
mamifer" i pasre" n clasa vertebratelor; romn" i polonez" n clasa europenilor;
tigru" i leu" n clasa felinelor etc.
EXERCIII
1. Caracterizai urmtorii termeni din punct de vedere al extensiunii:
accent, aciune, alienare, calendar, individ, lege, Neptun, cel mai mare numr natural,
biped, planet, Napoleon, filosof, bibliotec, victorie.
2. nuntrul fiecreia din mulimile de termeni date mai jos:
39
- gsii termeni care se afl n raporturi de (a) identitate, (b) ordonare, (c) ncruciare, (d)
contrarietate, (e) contradicie;
- cnd este posibil, construii iruri de trei sau mai muli termeni, astfel nct fiecare
dintre ei, n afar de primul, s fie un gen pentru cei anteriori i fiecare, n afar de ultimul, s fie
o specie a oricruia dintre cei urmtori.
- n cazul raporturilor de ncruciare, indicai cel puin cte un individ care face parte din
extensiunile ambilor termeni i cte un individ care face parte din extensiunea a numai unuia
dintre ei.
- indicai cazurile n care obiectele desemnate de doi termeni se afl n raport de partentreg, care se cere deosebit de raportul specie-gen.
(Pentru cuvintele i impresiile cu mai multe nelesuri, acestea vor fi deosebite n
prealabil.)
(a) localitate, sat, municipiu, cartier, trg, ora, reedin de jude, capital, localitate
rural, centru industrial, aezare uman, port la Dunre.
(b) instrument, produs al muncii, strung, marf, ustensil medical, produs al muncii
destinat schimbului, produs al muncii destinai exportului, bisturiu, sering, tub de sticl,
eprubet.
(c) ptrat, figur plan, dreptunghi, paralelogram cu laturile egale, patrulater, poligon,
poligon CU patru laturi, poligon regulat, triunghi.
(d) persoana din cmpul muncii, lucrtor n construcii, muncitor industrial, muncitor
metalurgist, sudor, fierar-betonist, muncitor agricol, lucrtor n transporturi, mecanic de
locomotiv, ofer, taximetrist, pilot, legumicultor.
3. Determinai n care din propoziiile de mai jos termenii subliniai sunt folosii n sens
colectiv sau n sens distributiv:
(a) Merii sunt pomi fructiferi.
(b) Merii reprezint 20% din pomii fructiferi ai acestei regiuni.
(c) Crile din biblioteca sunt editate toate dup 1900.
(d) Crile din biblioteca X sunt mai bine conservate dect cele din biblioteca Y.
40
41
Definiia operaional are anumite limite, n primul rnd ea red doar o parte din nelesul
termenului definit. Astfel, acid" nseamn mai mult dect substan care nroete hrtia de
turnesol. n al doilea rnd, ea nu poate fi folosit pentru a defini orice fel de termeni.
c) Definiia genetic: se indic prin definitor modul n care obiectul definit poate fi
produs (generat).
De exemplu,
Se numete conica figura geometric obinut prin secionarea unui con circular cu un
plan;
Se numete delt acea form de relief aflat n zona de vrsare a unei ape curgtoare
ntr-un lac, mare sau ocean, aprut n urma procesului de acumulare a aluviunilor.
d) Definiia prin gen proxim i diferen specific
ntr-o astfel de definiie, o noiune este pus n raport cu i celelalte noiuni vecine.
Un termen este definit plecnd de la un gen proxim al su, adic de la o clas mai larg de
obiecte din care i definitul face parte, indicnd apoi o proprietate pe care o are doar subclasa
obiectelor cutate de noi. Aceast proprietate este diferena specific ce permite s separm
specia denumit de definitor de alte specii ale genului.
De exemplu, pentru a defini, pentru a spune ce este triunghiul dreptunghic" se procedeaz
astfel:
- se introduce obiectul ntr-o clas (gen), innd seama de asemnrile cu alte obiecte:
triunghiul dreptunghic este un triunghi;
- se difereniaz obiectul de celelalte specii ale genului, stabilind deosebirile fa de acele
obiecte (diferena specific): Triunghiul dreptunghic este un triunghi care are un unghi drept (de
90).
Definiia prin gen i diferen trebuie s satisfac urmtoarele condiii:
1. Genul s fie proxim, adic supraordonat imediat.
2. Diferena s fie specific, o not proprie din intensiunea definitului.
3. Un termen poate fi inclus, succesiv, n genuri proxime diferite i poate poseda mai
multe diferene specifice. De aici rezult c:
4. Un termen poate fi definit n mod corect n mai multe feluri.
De exemplu,
cercul = df seciune ntr-un cilindru sau con
cercul =
df
44
B. Definiii nominale, care se refer la cuvintele prin care sunt redate noiunile sau
termenii; rolul acestor definiii este de a explicita sensurile termenilor, sensuri care rezult din
expresiile verbale ntrebuinate.
a) Este definit numele prin care este redat o noiune:
De exemplu,
Eforie este denumirea dat unui grup de persoane care alctuiete conducerea colectiv a
unei instituii de cultur sau de binefacere.
b) Sunt redate principalele sensuri ale unei cx presii lingvistice dintr-o anumit limb:
Efemeride, substantiv feminin, plural, care denumete (1) insecte care, n stare adult,
triesc o singur zi; (2) tabele astronomice n care suni nscrise poziiile zilnice ale atrilor; (3)
notie din ziar sau calendar care indic evenimente petrecute n epoci diferite n aceeai zi; (4)
gnduri, idei trectoare.
(c) Introducerea unei expresii lingvistice noi ntr-un vocabular, pentru a reda o invenie
sau o descoperire:
Radar este numele dat dispozitivului de detectare i localizare a unor obstacole, construit
pe baza principiului reflectrii undelor radioelectrice scurte i ultrascurte de obstacolele
respective.
(d) Acordarea unui sens nou unei expresii lingvistice existente:
Labirint, construcia lui Dedal din insula Creta, nume mprumutat n mai multe domenii;
de exemplu: dispozitivul folosit n diverse instalaii pentru a face ca un fluid s parcurg un dram
lung cu scopul de a-i micora viteza.
(e)
46
regiune de mai multe circuri glaciare" (George Vlsan. Descrieri geografice, Editura tiinific,
Bucureti, 1964, p. 151)
Aceasta este o descriere tiinific.
n literatura beletristic ntlnim descrieri literare. Acestea evideniaz aspecte
emoionante, cu valoare estetic:
Bucegii. Ct de uriai sunt! Nici verzi, nici albatri, nici cenuii, ci mbinarea acestor
culori - un brocart vechi cusut foarte delicat, cruia soarele i vntul i-au smuls tonurile vii,
lsndu-i nuane att de fine nct este o adevrat mngiere a ochilor" (Ibidem, p. 183).
47
pe baza faptului c florul, clorul, bromul i iodul se combin direct cu metale formnd
sruri, aceste elemente formeaz clasa halogenilor (ger. hals = sare, gennan = a produce).
Rezult c exist trei elemente ale unei clasificri: noiunile date, diferenele specifice i
noiunile construite.
EXERCIII
1. Analizai urmtoarele propoziii i stabilii:
- dac ele sunt definiii;
- n cazul n care sunt, ce fel de definiii avem n fiecare caz.
(a) Repetiia este mama nvturii.
(b) Sincopa este o lips.
(c) Filosoful este un om de cultur precum Aristotel, Marx, Husserl.
(d) Substana este ceea ce se nelege prin acest termen n Metafizica lui Aristotel.
(e) Frumos este ceea ce nu are ntindere spaial.
(f) Rotaia este micarea n jurul axei.
(g) Zero este numrul care, nmulit cu oricare alt numr, d tot zero.
(h) Se numete sistem iniial orice sistem de coordonate care prezint proprietatea c, n
raport cu el, traiectoriile a trei puncte materiale, lansate din acelai punct al spaiului i sustrase
apoi tuturor influenelor exterioare, rmn toate rectilinii (ele nu trebui s fie ns colineare).
(i) Numim energie a unui sistem material ntr-o stare determinat, contribuia msurat
n uniti de lucru a tuturor aciunilor produse n exteriorul sistemului, dac acesta trece,
indiferent n ce mod, din starea sa ntr-o stare fixat arbitrar" (William Thomson).
(j) Genotipul este ansamblul informaiilor" ereditare care, prin interaciune cu mediul,
realizeaz fenotipul.
(k) Limbajul este sistemul i activitatea de comunicare cu ajutorul limbii.
2. Care este criteriul (fundamentul) clasificrii din urmtoarele serii de noiuni:
(a) vertebrate, nevertebrate;
(b) mamifere, psri, batracieni, peti, reptile;
(c) lichida, solid, gazoas, plasma;
49
50
V. PROPOZIII CATEGORICE
contrarietate).
De exemplu:
1. Ecofobii sunt oameni crora le este team s stea singuri n cas.
(gr. oikos - cas, phobos - team)
2. Unii oameni suferinzi sunt ecofobi.
3. Toi ecofobii sunt oameni suferinzi.
4. Unii ecofobi sunt tineri.
5. Nici un ecofob nu este neecofob.
6. Nici o ecofobie nu este ecografic
(gr. echo - sunet, graphein - a scrie)
In aceste propoziii:
Termenul care reprezint obiectul, acel ceva despre care se afirm sau se neag se
numete subiect logic. In exemplele de mai sus sunt subiecte logice termenii ecofobii", oameni
suferinzi", ecofobie".
Termenul care reprezint proprietatea, acel ceva care se afirm sau se neag, se
numete predicat logic. In exemplele sunt predicate logice termenii: oamenii crora le este
team s stea singuri n cas, ecofobi, tineri, neecofob", ecografie.
Exprimarea faptului c proprietatea aparine sau nu obiectului se face prin copul (lat.
copula ..legtur"). n exemplele date este copul verbul a fi", dar exprimarea legturii dintre
subiect i predicat se poate realiza i altfel.
Formula care exprim structura general a judecii categorice este:
51
S este P
Cele trei elemente structurale ale propoziiei sunt: subiectul logic, predicatul logic i
copula.
Din modul cum am definit subiectul i predicatul logic rezult deosebirile dintre aceste
concepte i conceptele de predicat i subiect din gramatic, cu care nu trebuie confundate. n
special, trebuie observat deosebirea dintre predicatul gramatical i predicatul logic.
52
Combinnd cele dou criterii, al cantitii i al calitii, obinem patru tipuri de propoziii
categorice, exprimate astfel n citirea-standard:
(a) propoziii universal-afirmative: Toi S sunt P.
(b) propoziii universal-negative: Nici un S nu este P.
(c) propoziii particular-afirmative: Unii S sunt P.
(d) propoziii particula -negative: Unii S nu sunt P.
nc din Evul Mediu timpuriu, acestor propoziii le-au fost asociate ca simboluri primele
patru vocale ale alfabetului latin: A, E, I, O. Aceste vocale sunt simboluri pentru operatorii
intrapoziionali ce determin cantitatea i calitatea legturii de predicaie dintre S i P. Structura
logic a acestor propoziii poate fi redat prin urmtoarele formule:
(a) propoziia universal-afirmativ: SaP (A)
(b) propoziia universal-negativ: SeP (E)
(c) propoziia particular-afirmativ: SiP (I)
(d) propoziia particular-negativ: (SoP) (O)
Tradiia spune c aceste simboluri au fost atribuite celor patru propoziii categorice dup
primele dou vocale din cuvintele latine affirmo i nego.
53
n cazul universalei afirmative (SaP) se afirm c Toi S sunt P", ceea ce nseamn c
orice element din S este, de asemenea, element al lui P.
Se precizeaz deci ceva despre toate elementele din S i de aceea spunem c subiectul
este distribuit. Nu acelai lucru se ntmpl cu predicatul. tim c unele elemente din P sunt i
elemente din S, dar propoziia nu precizeaz dac nu cumva mai sunt i alte elemente din P care
s nu fie i n S. Predicatul este deci nedistribuit.
De exemplu,
n propoziia Toate mamiferele sunt vertebrate se precizeaz c fiecare mamifer este
vertebrat, dar nu rezult c toate vertebratele sunt mamifere.
54
In cazul particularei-afirmative (SiP) spunem c Unii S sunt P", ceea ce nseamn c cel
puin un element al lui S este i element al lui P, deci i cel puin un element al lui P este element
al lui S.
In cazul particularei-negative (SoP) se spune c Unii S nu sunt P", adic exist cel puin
un element al lui S care nu aparine i lui P.
Propoziia nu precizeaz nimic despre toate clementele lui S, deci subiectul este
nedistribuit. n cazul predicatului ns, propoziia precizeaz c toate elementele din P au
proprietatea de a nu fi identice, de a nu coincide cu unul sau mai multe elemente din S.
Predicatul este deci distribuit.
De exemplu,
n propoziia Unii elevi nu sunt sportivi se spune c cel puin un elev nu este sportiv.
Putem sintetiza cele afirmate pn acum n urmtorul tabel, n care +" nseamn
distribuit, iar -" nseamn nedistribuit:
55
EXERCIII
1. Determinai relaiile logice dintre urmtoarele propoziii considerate dou cte dou:
(a) Toate cristalele sunt solide.
(b) Unele solide nu sunt cristale.
(c) Unele substane ce nu sunt cristale nu sunt solide.
(d) Nici un cristal nu este solid.
(e) Unele cristale sunt solide.
(f) Unele substane ce nu sunt solide nu sunt cristale.
(g) Toate solidele sunt cristale.
2. Ce decurge:
a) din adevrul propoziiei Mei una din scrierile lui Crisip nu s-a pstrat, pentru fiecare
din urmtoarele propoziii: Unele scrieri ale lui Crisip s-au pstrat; Unele din scrierile lui Crisip
nu s-au pstrat; Toate scrierile lui Crisip s-au pstrat.
b) din falsitatea propoziiei: Toate metalele sunt solide, pentru fiecare din propoziiile:
Unele metale sunt solide; Nici un metal nu este solid; Unele metale nu sunt solidei
3. Chiar la o sumar reflecie, ne dm seama c cele patru raporturi cuprinse n ptratul
lui Boethius" nu sunt independente ntre ele: c admind pe unele dintre ele, altele rezult cu
necesitate (prin consideraii ce in de logica prepoziional). Exemplu: admind c raporturile
dintre SaP i SoP, dintre SeP i SiP, ca i dintre SaP i SeP sunt cele descrise mai sus n text, se
poate arta c ntre SoP i SiP nu poate exista alt raport dect cel descris la rubrica
subcontrarietate". Putem raiona prin reducere la absurd: s admitem ca SoP i SiP ar putea fi
mpreun false; atunci, n temeiul raporturilor lui SoP cu SaP i a lui SiP cu SeP, cele dou
56
universale ar fi ambele adevrate, ceea ce contravine raportului admis dintre ele. Artai prin
raionamente potrivite c:
(a) din raportul de contradicie i din cel de contrarietate decurge raportul de subalternare;
(b)
subcontrarietate
n fine, formalizai raionamentul nostru prin reducere la absurd i raionamentele dvs. de
la (a) i (b), folosind legile silogistice din tabelul de mai nainte i cunotinele dvs. de logic
prepoziional.
Dac propoziia universal-afirmativ este adevrat, atunci propoziia particularafirmativ este adevrat; propoziia universal-afirmativ este adevrat, deci propoziia
particular-afirmativ este adevrat".
De obicei, oamenii gndesc cu economie (parcimonie); de aceea, ei consider c sunt
subnelei unii pai" raionali. Astfel, considernd subneles prima premis a inferenei
anterioare, se obine o inferen imediat:
58
Opoziia subcontrar se bazeaz pe legea terului exclus care, aplicat propoziii lor
particulare de calitate opus le interzice acestora s fie negate mpreun, dar le permite s fie
afirmate mpreun. Rezult dou inferene imediate prin opoziie:
Dac este negat judecata Unele corpuri se dilat prin nclzire, atunci este afirmat
judecata Unele corpuri nu se dilat prin nclzire; dar este posibil ca ambele judeci s fie
afirmate.
Pe scurt, negarea propoziiei particulare implic afirmarea propoziiei particulare de
calitate opus.
Acestea sunt inferene imediate prin subcontrarietate, premisa i concluzia fiind
propoziii subcontrare. Forma prescurtat sau eliptic a acestor inferene provine dintr-un mod
tollendo-ponens, redat cu ajutorul disjunciei inclusive:
60
De exemplu, Dac se neag c Unele corpuri sunt imobile, atunci se neag c Toate corpurile
sunt imobile i dac se neag c Unele corpuri nu sunt imobile, atunci se neag c Nici un corp
nu este imobil.
Inferenele imediate (7) i (8) sunt forme eliptice ale modului tollendo-tollens:
61
Rezult
opt
inferene
imediate
prin
opoziie
contradictorie:
Structurile infereniale (9) - (12) sunt prescurtri ale modului ponendo-tollens realizat cu
ajutorul disjunciei exclusive; de exemplu:
Structurile infereniale (13) - (16) sunt forme eliptice ale modului tollendo-ponens,
format cu acelai fel de disjuncie:
62
Cele patru relaii de opoziie au fost redate grafic n ptratul lui Boethius" sau ptratul
opoziiei propoziiilor categorice".
Cu ajutorul acestui ptrat putem reconstitui toate cele 16 inferene imediate prin opoziie.
Ele pot fi deduse din urmtoarele reguli:
1. Dac se afirm premisa, atunci rezult: a) afirmarea subalternei; b) negarea
contradictoriei; c) negarea contrarei.
2. Dac se neag premisa, atunci rezult: a) negarea supraalternei; b) afirmarea
contradictoriei; c) afirmarea subcontrarei.
63
VI.2.1. Obversiunea
Obversiunea este operaia logica prin care dintr-o propoziie data este derivat o
propoziie de calitate opus avnd acelai subiect, dar predicatul contradictoriu:
_
de la S-P trecem la S-P
Cantitatea propoziiei obvertite nu se schimb.
Prin obvertirea celor patru propoziii categorice construim urmtoarele inferene:
_
SaP SeP
_
SeP SaP
_
SiP SoP
_
SoP SiP
64
65
De exemplu,
Toi acizii sunt substane care nroesc hrtia de turnesol.
Unele substane care nroesc hrtia de turnesol sunt acizi.
Unele substane care nroesc hrtia de turnesol nu sunt neacizi. Formele
_
_ _
P - S (contrapusa parial) i P - S (contrapusa total) au urmtoarele ase
structuri propoziionale, inferene imediate prin echivalare sau implicare:
_
_
__
_
SaP SeP (obv.) PeS(conv.) PaS
SaP PeS
__
SaP PaS
_
_
_ _
_
SeP SaP (obv.) P iS (conv.) P oS
SeP P iS
SeP P oS
Rezult reguli generale ale inferenelor imediate prin echivalare sau implicare.
1. Propoziiile E i I sunt convertibile (simplu), propoziiile A i O sunt contraponibile
(simplu).
2. Propoziia O nu se poate converti, iar propoziia I nu se poate contrapune.
3. Prin contrapoziie, propoziiile afirmative (A) devin negative (), iar propoziiile
negative (E, O) devin afirmative (i).
4. Numai propoziiile universale se pot inversa, iar inversele lor sunt particulare.
5. Obversiunea, contrapoziia parial i inversiunea parial transform calitatea
propoziiei.
Echivalenele se bazeaz pe legea identitii, iar implicrile pe legile distribuiei
termenilor n propoziiile categorice. Uneori este solicitat i legea negrii negaiei.
66
n logica tradiional se consider c principiul care exprim n mod sintetic aceste relaii,
numit i axioma silogismului, este urmtorul:
Ceea ce se predic afirmativ (de omni) sau negativ (de nullo) despre o ntreag clas se
predic i despre fiecare element din clas.
Sau,
Dictum de omni, dictum de nullo.
Rezult c, n silogism, termenii care intr n relaii de incluziune sau de excluziune sunt
formai din clase de obiecte care i transmit o anumit nsuire sau proprietate. Clasele ntre care
se opereaz transferul sunt genul i specia (sau specia i noiunea individual), iar notele
transmisibile sunt ale genului i ale speciei (sau ale speciei i ale noiunii individuale).
1. Orice silogism trebuie s conin trei termeni; acetia se numesc, dup mrimea
relativ a sferei lor: major, mediu i minor. Majorul i minorul se numesc mpreun extremi.
2. Silogismul conine trei propoziii: dou premise i o concluzie; premisa care conine
termenul major se numete major, premisa care conine termenul minor se numete minor.
3. Termenul mediu (simbolizat prin M) este prezent n ambele premise i este absent din
concluzie.
4. Termenii extremi figureaz fiecare n cte o premis i mpreun se afl n concluzie;
termenul major este predicatul concluziei i de aceea se noteaz cu litera P; termenul minor este
subiectul concluziei i se noteaz cu S.
Cu ajutorul acestei notaii, cele dou reprezentri grafice se transpun n urmtoarele dou
scheme silogistice, numite de Aristotel perfecte:
Toi M sunt P
Nici un M nu este P
Toi S sunt M
Toi S sunt M
:.Toi S sunt P.
:. Nici un S nu este R
68
Figurile silogistice pot fi difereniate dup criteriul pur formal al poziiei relative a
termenului mediu n premise; sunt posibile patru poziii diferite, existnd aadar patru figuri.
Figura I
Figura a II-a
M-P
P-M
S-M
S-M
:.S-P
:.S-P
Figura a III-a
Figura a IV-a
M-P
P-M
M-S
M-S
:.S-P
:.S-P
In cadrul fiecrei figuri sunt cuprinse mai multe moduri silogistice care rezult din
combinarea a cte trei propoziii (dou premise i o concluzie).
Pentru c exist patru tipuri de propoziii categorice, iar un mod silogistic are trei
propoziii, ar trebui ca n fiecare figur s se constituie 4 x 4 x 4 = 64 moduri silogistice. Fiind
patru figuri, n total ar trebui s fie 4 x 64 = 256 forme silogistice.
Numrul lor este ns foarte mic, pentru c fiecare figur trebuie s respecte legile
generale i legile sale specifice. Rezult 24 de moduri silogistice corecte (19 moduri tari" i 5
moduri slabe").
Figura I are urmtoarea structur general: M-P
S-M
69
:.S - P.
Modurile acestei figuri se structureaz prin respectarea urmtoarelor legi:
Premisa minor trebuie s fie afirmativ.
Premisa major trebuie s fie universal.
Combinnd posibilitile permise de aceste dou legi, rezult patru moduri silogistice
valide:
(l)MaP
(2)MeP
(3) MaP
(4) MeP
SaM
SaM
SiM
SiM
:. SaP
:.SeP
:.SiP
:. SoP
Acestor moduri principale li se adaug dou moduri slabe sau subalterne, numite astfel
pentru c dau concluzii particulare din premise universale:
(5) MaP
(6) MeP
SaM
SaM
:.SiP
:.SoP.
(8)PeM
(9) PaM
(10)PeM
SeM
SaM
SoM
SiM
:.SeP
:. SeP
:.SoP
:.SoP
(12)PeM
SeM
SaM
:.SoP
:.SoP
Observm c n figura a II-a, concluzia este negativ, pentru c una dintre premise este
negativ.
Figura a III-a are urmtoarea structur general:
70
M-P
M-S
:. S - P.
Modurile sunt determinate de urmtoarele legi:
Premisa minor trebuie s fie afirmativ.
Concluzia trebuie s fie particular.
Rmn valide urmtoarele moduri:
(13) MaP
(16)MeP
(17)MeP
(18)MoP
MaS
MiS
MaS
MaS
MiS
MaS
:.SiP
:.SiP
:.SiP
:.SoP
:.SoP
:.SoP
Nu exist moduri slabe (subalterne), pentru c, de fapt, concluzia este, prin lege,
particular.
Figura a IV-a are urmtoarea structur general:
P-M
M-S
:.S - P.
Legile acesteia sunt combinaii ntre legile celorlalte figuri anterioare:
Dac premisa major este afirmativ, atunci minora trebuie s fie universal.
Dac una dintre premise este negativ, atunci majora este universal.
Dac minora este afirmativ, atunci concluzia este particular.
Rmn corecte modurile:
(19) PaM
(20)PaM
(21)PiM
(22)PeM
(23)PeM
MaS
MeS
MaS
MaS
MiS
:. SiP
:.SoP
:. SiP
:.SoP
:.SoP.
Astfel, figura I este considerat demonstrativ prin excelen. Majora fiind numai
universal, ea poate formula legi, uniformiti naturale sau reguli.
De exemplu, Petii respir prin branhii, Acizii nroesc hrtia de turnesol, Toate
propoziiile universal-negative se convertesc simplu, Nici un autoturism nu are voie s
depeasc n localiti viteza de 50 Km/h.
Minora, fiind afirmativ i avnd ca predicat termenul M, care n major este subiect,
nseamn c ea l prezint pe S ca fiind inclus (total sau parial) n M, ctignd astfel
proprietile acestuia. Altfel spus, printr-o argumentare silogistic n figura I dovedim c o clas
de obiecte sau o parte, sau un element al clasei are sau nu are o anumit proprietate.
De exemplu, modul silogistic AII:
Toi candidaii cu medii peste 8 au fost admii n clasa a IX-a
Unii candidai de la Liceul X au obinut medii peste 8
:. Unii candidai de la Liceul X au fost admii n clasa a IX-a.
VI.3.2.1. Entimema
Este un silogism eliptic, neformulat complet, una din cele trei propoziii fiind
subneleas.
De aceea, exist trei tipuri de entimeme:
73
a) Entimema de ordinul nti: nu este exprimat premisa major; acesta este un caz
frecvent, deoarece premisa major exprim de obicei o generalizare cunoscut.
De exemplu,
Unii oameni i recunosc greeala fiindc sunt oameni principiali.
Premisa major, care lipsete, este: Oamenii principiali i recunosc
greelile. n form standard, silogismul se constituie astfel:
Oamenii principiali i recunosc greelile
Unii oameni sunt principiali
:.Unii oameni i recunosc greelile. (Modul AII- figura I).
b) Entimema de ordinul doi: nu este exprimat premisa minor, atunci cnd este
evident.
De exemplu,
Plantele din aceast specie au nevoie de mult lumin, deci ele nu s-au putut dezvolta
deoarece cresc la umbr.
Forma standard:
Plantele din aceast specie au nevoie de mult lumin
Plantele care nu s-au dezvoltat fac parte din aceast specie
:. Plantele care nu s-au dezvoltat au nevoie de mult lumin.
c) Entimema de ordinul trei: nu este exprimat concluzia, atunci cnd vrem ca ea s fie
dedus de interlocutor:
De exemplu,
Toi elevii care au mprumutat cri de la bibliotec nainte de 1 februarie, trebuie s le
restituie
Unii dintre elevii clasei noastre au mprumutat cri de la bibliotec nainte de 1
februarie
Concluzia este subneleas:
Unii dintre elevii clasei noastre trebuiau s restituie crile la bibliotec.
Din punct de vedere logic, entimema nu este diferit de silogism; ea este doar o form
particular. aleas n funcie de situaiile particulara n caic se desfoar argumentarea.
VI.3.2.2. Polisilogismul i soritul
Polisilogismul este o inferen compus, alctuit din mai multe silogisme, n care
concluzia primului silogism (prosilogism) deine i funcia de premis a silogismului urmtor
(episilogism).
74
Dac polisilogismul este format din trei sau mai multe silogisme, atunci fiecare, cu
excepia primului i ultimului, funcioneaz ca prosilogism i ca episilogism.
Polisilogismul poate fi construit n dou moduri:
a) Polisilogismul progresiv, cnd concluzia prosilogismului devine premisa major a
episilogismului:
De exemplu:Toi M sunt P
MaP
Toi Nsunt M
NaM
:.Toi N sunt P
:.NaP
Toi S sunt N
SaN
:. Toi S sunt P.
:. SaP.
SaN
Toi N sunt M
NaM
:.Toi S sunt M
:.SaM
Toii M sunt P
MaP
:. Toi S sunt P.
:.SaP.
MaP
Toi N sunt M
NaM
Toi S sunt N
SaN
:. Toi S sunt P.
:. SaP.
SaN
Toi N sunt M
NaM
Toi Msunt P
MaP
:. Toi S sunt P.
:. SaP.
Respectarea legilor generale sau a legilor specifice figurilor sunt condiii sigure ale
validitii modurilor silogistice. Efectuarea acestor operaii nu este simpl, deoarece expresia
verbal a silogismului poate s conin simplificri, inversiuni i alte modificri, determinate de
economia (parcimonia) limbajului. De aceea, verificarea unui silogism trebuie s parcurg
urmtoarele etape:
a) Reconstituirea silogismului prin completarea i ordonarea propoziiilor; pentru aceasta
sunt determinai cei trei termeni; cele mai bune informaii n aceast privin le ofer concluzia
unde ntotdeauna termenul minor este subiect, iar termenul major este predicat.
b) Dup ce ne-am convins c raionamentul dat este un silogism n care cei trei termeni
redau clase de obiecte ntre care se stabilesc raporturi gen-specie sau specie-noiune individual,
se trece la verificarea lui.
Exist mai multe metode de verificare a silogismului. Vom studia doar trei, dou fiind
anunate anterior.
76
Am artat c exist opt legi generale, dar nu toate sunt independente. Pentru ca un
silogism s fie corect, este suficient s respecte urmtoarele cinci legi generale; dac acesta
ncalc cel puin una, atunci silogismul este incorect (nevalid):
(1) Termenul mediu trebuie s fie distribuit (luat n totalitatea sferei sale) cel puin n una
din premise;
(2) Un termen nu poate fi distribuit n concluzie, dac nu a fost distribuit n premise;
(3) Dac ambele premise sunt negative, atunci nu poate fi derivat o concluzie;
(4) Dac o premis este negativ, atunci concluzia va fi negativ;
(5) Dac nici o premis nu este negativ, atunci concluzia va fi afirmativ.
S analizm un exemplu dat de Petre Botezatu i anume argumentarea lui Aristofan din
comedia Broatele (v. 1061-1065):
Poetul e dator, n toate cele,
S nu aduc-n scen pilde rele!
Copiilor le nflorete mintea
Prin dascli iscusii; iar cei maturi
i furesc virtuile prin arte!"
Argumentarea debuteaz cu concluzia: Poetul este dator s nu aduc pilde rele.
Cunoscnd concluzia, n mod implicit cunoatem termenul minor (subiectul concluziei) - poetul i termenul major (predicatul concluziei) - a nu aduce pilde rele. Pentru a afla termenul mediu,
ne ntrebm pe ce se sprijin concluzia. Poetul este dator s nu aduc pilde rele, fiindc cei
maturi i furesc virtuile prin arte, altfel spus, fiindc poetul este un educator. Aceasta este
premisa minor, deoarece conine termenul minor. Cellalt termen, educator, este termenul
mediu. Putem astfel reconstitui i premisa major: Educatorul este dator s nu aduc pilde rele.
Aceast premis nefiind exprimat n cele cinci versuri ale argumentrii, rezult c raionamentul
este o entimem de ordinul nti.
S scriem acum silogismul n forma standard:
Educatorul e dator s nu aduc pilde rele
Poetul este un educator
:.Poetul e dator s nu aduc pilde rele.
formal:
Toi Msunt P
MaP
Toi S sunt M
SaM
77
:. Toi S sunt P.
:. SaP.
Se procedeaz astfel:
(a) Se determin figura silogistic dup poziia termenului mediu.
(b) Sunt controlate legile figurii respective i, dac sunt respectate, se determina modul
silogistic.
De exemplu,
Unele exerciii interesante nu sunt uoare
MoP
SaM
exerciii interesante
:. Unele exerciii de anul acesta de la Olimpiad nu au
:.SoP
fost uoare.
Dup poziia termenului mediu, acest silogism este de figura I; el ncalc legea acestei
figuri care cere ca premisa major s fie universal; deci el nu este corect.
Alt exemplu,
Toate numerele divizibile prin 4 sunt pare
PaM
SoM
.: SoP
Acest silogism este de figura a II-a; el respect legile acestei figuri: (1) Una dintre
premise (SoM) este negativ; (2) Majora este universal. Deci acest silogism este valid, i anume
este modul AOO.
78
Pentru a reprezenta un silogism, vom folosi trei cercuri care se intersecteaz fiecare cu
fiecare, cercuri ce reprezint cei trei termeni ai silogismului S, P i M. Vor rezulta astfel apte
zone:
80
Se gsete mai nti figura i modul silogismului asupra cruia vrem s decidem i
reprezentm cele apte zone. Dup ce am reprezentat aceste zone, notm n diagram
informaiile oferite de premise, n acord cu instruciunile de reprezentare a propoziiilor
categorice A, E, I, O prezentate mai sus.
S remarcm c, dac una din premise este particular, iar cealalt universal, trebuie
reprezentat mai nti premisa universal.
Inspectm n final diagrama care se obine i ncercm s observm dac prin
reprezentarea premiselor apare automat n diagram i reprezentarea concluziei silogismului.
Dac, dup reprezentarea premiselor n diagram, apare automat i coninutul
concluziei, atunci forma logic a silogismului este valid i, drept urmare, este valid i silogismul
care are acea form.
Dac, dup ce au fost reprezentate premisele n diagram, nu apare i concluzia, atunci
aceasta nseamn c premisele nu implic logic concluzia, deci silogismul ne care-l testm este
nevalid.
De exemplu, s verificm dac silogismul urmtor este un silogism valid.
Toate paralelogramele au laturile opuse egale
Toate dreptunghiurile sunt paralelograme
:.Toate dreptunghiurile au laturile opuse egale.
Degajm forma logic notnd paralelograme" cu M, dreptunghiuri" cu S, laturi opuse
egale" cu P.
MaP
Toi M sunt P
SaM
Toi S sunt M
:.SaP
:. Toi S sunt P.
Reprezentm faptul c Toi M sunt P" prin haurarea acelor M care nu sunt P.
81
Reprezentm apoi faptul c Toi S sunt M" prin haurarea acelor S care nu sunt M.
Verificm dac reprezentarea concluziei, a propoziiei Toi S sunt P" apare n diagram,
adic dac toate zonele unde S nu sunt P sunt haurate. Reprezentarea apare, deci silogismul este
valid.
S stabilim acum dac urmtoarea schem silogistic este corect:
MeP
SiM
:.SoP.
Legtura semnelor * se anuleaz, deoarece partea haurat este vid i atunci partea
nehaurat nu este vida. Rezult concluzia SoP, deci modul este valid:
Alt exemplu,
PaM
SiM
:.SiP.
Dac am aeza semnul * n una sau n ambele sectoare nelegat, atunci am introduce n
diagram mai mult informaie dect conin premisele, ceea ce argumentrile deductive nu
permit. Din premisa minor (SiM) rezult c exist elemente care aparin unuia dintre sectoare,
dar nu se tie cruia. Diagrama nu valideaz concluzia SiP; semnul *, fiind legat, nu arat n mod
sigur existena obiectelor n acest sector. Concluzia poate fi adevrat, dar poate fi i fals, ceea
ce nseamn c nu rezult cu necesitate din premise. Deci, modul AII nu este valid.
82
83
EXERCIII
PaM
MaP
MiP
SeM
MiS
MaS
SoM
:. SoP
:.SiP
:. SaP
:. SoP
Construii pentru fiecare dintre ele cte un contraexemplu, punnd n locul lui S, M i P
termenii specifici, n aa fel nct ambele premise s fie adevrate, iar concluzia fals.
6. Artai c, dac concluzia unui silogism valid este o propoziie universal, termenul
mediu nu poate fi distribuit n premise dect o dat.
84
SaP
:. SiP.
Dac dorim s inferm adevrul propoziiei universale din adevrul propoziiei
particulare de aceeai calitate, se procedeaz prin reducie, obinndu-se o concluzie probabil:
SiP
.: M(SaP)
unde M simbolizeaz expresia probabil", cu sensul: S-ar putea s fie adevrat, dar s-ar
putea s fie i fals".
De exemplu, dac este adevrat propoziia: Toi erpii se nmulesc prin ou, atunci este
adevrat i subalterna: Unii erpi se nmulesc prin ou, dar dac este adevrat propoziia: Unii
erpi se nmulesc prin ou, atunci putem spune: Probabil toi erpii se nmulesc prin ou. Dac
s-ar enuna concluzia cu certitudine, atunci s-ar produce o eroare logic.
De exemplu,
Fluorul, clorul, bromul i iodul se gsesc n natur sub form de compui Fluorul, clorul,
bromul i iodul, i numai ei, sunt halogeni
:. Halogenii se gsesc n natur sub form de compui.
Inducia complet este deci o inferen care face trecerea de la deducie la inducie i este
folosit n tiin pentru determinarea legilor intermediare, care unesc cteva specii ntr-un gen,
ca n exemplul halogenilor.
2.2. Inducia incomplet (amplifiant)
Spre deosebire de inducia complet, n care generalizarea cuprinde toate cazurile
enunate n premise, generalizarea prin inducie incomplet se efectueaz pe baza cercetrii
numai a unei pri din obiectele unei clase.
Inducia incomplet poate fi reprezentat formal prin modul silogistic AAA-1 n care se
schimb locul premisei majore cu cel al concluziei. Concluzia va decurge n acest caz cu
probabilitate din premise, operaia logic fiind o reducie:
S1 S2, S3... posed P
S1 S2 S3... aparin lui M
.: M posed probabil P
Aici este nclcat legea figurii a III-a silogistice: Concluzia trebuie s fie particular;
deci, din punct de vedere logic, inducia incomplet nu se bazeaz pe o structur inferenial
corect.
Premisele acestei inferene sunt conjuncii de enunuri singulare care afirm despre
fiecare S c posed P i c aparine lui M. Numrul S-urilor fiind foarte mare (chiar infinit), nu
se poate stabili valoarea de adevr a fiecrei propoziii particulare. De aceea, inducia de acest fel
se numete incomplet (nu epuizeaz toate cazurile), amplifiant (extinde constatarea din
premise de la unii la toi) sau baconian, teoretizat de Francis Bacon (1561-1626).
Am stabilit c inferena prin inducie incomplet are concluzie probabil. Ceea ce ne
preocup acum este s facem s creasc gradul de probabilitate al concluziei. Acest lucra se
poate realiza pe dou ci.
2.2.1. Inducia prin simpl enumerare
Acest tip de inducie conduce la generalizare prin acumularea de enunuri care exprim
apartenena unei nsuiri la un numr mereu crescnd de elemente ale unei clase.
Inducia prin enumerare este o inferen n care concluzia este o generalizare universal
obinut pe baza creterii numrului enunurilor despre cazurile particulare.
87
Fiecare element care posed nsuirea, aduce un spor de probabilitate, dar fr a se atinge
certitudinea.
Ceea ce trebuie s se evite este coincidena fortuit (ntmpltoare): mai multe elemente
ale unei clase pot poseda aceeai nsuire din ntmplare. Dar, cu ct sunt mai multe elemente
care posed nsuirea, cu att posibilitatea ntmplrii scade.
Se cer ndeplinite dou condiii:
1. Toi S cunoscui - i ct mai muli - trebuie s posede P.
2. Nici un S cunoscut nu trebuie s exclud P.
n matematic, mai multe teoreme au fost formulate cu ajutorul induciei prin enumerare.
De exemplu, Bachet de Meziriac (1581-1638), verificnd pn la 325 presupunea c Orice
numr ntreg pozitiv este suma a cei mult patru ptrate a enunat aceast descoperire ca pe o
teorem, care ulterior a fost demonstrat, adic a fost obinut pe o cale deductiv. Altfel,
concluzia lui Meziriac ar fi rmas probabil, deoarece oricnd s-ar fi putut ivi un S care s nu
posede P. Mult timp s-a crezut c toate metalele sunt mai grele dect apa, pn ce au fost
descoperite metale uoare ce plutesc pe ap.
2.2.2. Inducia tiinific
Atunci cnd inferena se constituie pe baza unei proprieti necesare, a unei note proprii,
premisa major devine o propoziie apodictic, o propoziie ce exprim aceast necesitate.
S1 posed n mod necesar P
S1 aparine lui M
.: M posed probabil P.
Concluzia rmne probabil, deoarece nota poate s aparin n mod necesar unui obiect
sau unei clase de obiecte i totui s nu aparin cu necesitate clasei includente, dac aceast
clas are o extensiune mai mare.
De exemplu.
Aceast bucat de metal examinat este conductoare de electricitate
Aceast bucat de metal examinat este cupru
:. Cuprul este probabil conductor de electricitate.
Faptul c o bucat de cupru este conductoare de electricitate sporete ncrederea n
enunurile care afirm c i alte buci de cupru sunt conductoare de electricitate, contribuind la
confirmarea enunului general: Cuprul este conductor de electricitate
Inducia tiinific este superioar induciei prin simpl enumerare, pentru c ea
presupune descoperirea legturilor necesare dintre obiecte i proprietile lor. De exemplu, din
88
propoziia Acest obiect de pe banc este bun conductor nu se poate induce concluzia general:
Toate obiectele de pe banc sunt bune conductoare, deoarece clasa obiectele de pe banc este
constituit ad-hoc i nu suport inducii tiinifice.
Descoperirea acestor legturi necesare s-a realizat prin anumite metode de cercetare
inductiv, bazate pe observaie i experiment.
89
exprim adeverirea consecinelor derivate din ipoteza: Aerul are presiune. Astfel, se ajunge la
constituirea prin reducie a unui modus ponens cu concluzie probabil:
Dac aerul are presiune, atunci ntr-un tub de sticl scufundat ntr-un vas cu mercur
nlimea coloanei de mercur este variabil n funcie de altitudine
S-a constatat experimental acest lucru
:. Aerul are probabil presiune.
Se poate schematiza astfel: H (CI, C2)
(CI, C2)
:. M (H)
M (H) nseamn c H este probabil, deoarece este obinut pe o cale reductiv, prin
nclcarea legii raiunii suficiente care nu permite trecerea de la adeverirea consecinelor la
adeverirea condiiei sau o permite, dar cu probabilitate.
nsuirea transferabil face parte din grupul notelor comune ale celor dou obiecte. Nu este
exclus ca nsuirea respectiv s aparin grupului de note difereniale i, n aceast mprejurare,
se ajunge la o concluzie fals.
De exemplu,
425 este divizibil cu 5
805 seamn cu 425 (ultima cifr identic)
:.821 este divizibil cu 5.
Premisele sunt adevrate n ambele cazuri, dar concluzia este adevrat la prima inferen
i fals la a doua. n primul caz, nsuirea divizibilitii este transferat de la un numr (425) la
altul (805) pe baza posedrii n comun a proprietii de a avea cifra terminal identic (5), acesta
ncadrndu-se n regula din aritmetic conform creia toate numerele a cror cifr terminal este
0 " sau 5" sunt divizibile prin 5. In al doilea caz, nsuirea divizibilitii este transferat de la
425 la 821 pe baza asemnrii celei de-a doua cifre, ceea ce este nespecific pentru ca cele dou
numere s fie divizibile cu 5, concluzia fiind fals. S ne amintim c atunci cnd din premise
adevrate - operaia logic fiind corect - deriv i concluzii adevrate, i concluzii
false,concluzia este o propoziie probabil.
Analogia este, prin urmare, o inferen nedeductiv probabil. Probabilitatea concluziei
depinde i de necesitatea legturii care unete nsuirea transferabil cu grupul notelor comune.
n timpul inferrii nu se tie dac legtura este necesar; de aici deriv probabilitatea concluziei.
n raport cu necesitatea legatarii, analogiile pot fi superficiale sau profunde, adic mai puin sau
mai mult ntemeiate.
n geometrie, teoria asemnrii figurilor deine un loc foarte important. Se tie c
asemnarea figurilor geometrice pstreaz mrimea unghiurilor i proporionalitatea laturilor.
Acestea constituie deci proprieti care se transfer n mod cert ntre figuri asemenea.
n alte domenii tiinifice, multe descoperiri s-au fcut cu ajutorul inferenelor prin
analogie. Astfel, Newton a folosit analogia dintre traiectoria unei pietre aruncate la distan i
traiectoria Lunii; L. de Broglie a comparat structura luminii cu structura substanei.
Cercetarea tiinific actual folosete din ce n ce mai mult procedeul modelrii, adic al
construirii de modele, de structuri analoge, pe care proprietile i relaiile obiectului apar mai
clar, descoperindu-se totodat c fenomene foarte diferite se supun acelorai legi.
92
Se compar dou cazuri: unul n care fenomenul este prezent i altul n care fenomenul
este absent; atunci i cauza (efectul) trebuie s apar i s dispar.
Metoda are la baz urmtoarea inferen de probabilitate:
Dac este raport cauzal, este coapariie sau codispariie
Este coapariie sau codispariie
.: Este probabil raport cauzal.
Are la baz tabela de absen a lui Francis Bacon
Metoda concordanei impunea cazuri diferite cu o singur circumstan comun, aici se
cer cazuri asemntoare cu o singur diferen ntre ele: s dispar sau s apar un fenomen.
Fiindc ceea ce este diferit apare prin contrast cu ceea ce este asemntor i, deoarece se caut un
singur factor (cauza sau efectul), se cere o singur diferen ntre cazuri.
De exemplu,
95
sau
BCD...
ABCD... a
BCD...
A este cauza lui a, constituind singura diferen dintre cele dou cazuri; B,C,D nu pot fi
cauza lui a deoarece sunt prezente, cnd a este absent.
Antecedentul (secventul) care prin apariia sau dispariia sa, n mprejurri neschimbate,
face s apar sau s dispar fenomenul, este cauza (efectul) fenomenului.
VII.4.2.3. Metoda combinat a concordanei i diferenei
Metoda const n trecerea de la o serie de cazuri la alt serie de cazuri, care, dei
asemntoare cu primele, pot s difere n anumite privine.
De exemplu, se caut efectul perdelelor de pduri asupra ogoarelor. Se constat c
anumite ogoare cu recolte bogate sunt protejate de pduri. Se examineaz apoi alte ogoare,
asemntoare cu primele, dar care nu posed perdele de protecie, i se constat c recoltele
sufer n timp de secet. Concluzia este urmtoarea: perdelele de protecie ajut culturile atunci
cnd este secet.
Schematic:
ABC... a
BC.......
AMN... a
MN......
AST......a
ST........
:.A.......a
A este cauza lui a, deoarece este singurul antecedent prezent i absent o dat cu prezena
i absena fenomenului efect.
Se obine prin reducie urmtorul modus ponens:
Data este legtur cauzal, atunci este coprezen i coabsen
Este coprezen i coabsen
:.Este probabil raport cauzal.
Spre deosebire de metoda diferenei, n metoda combinat cercetarea nu const n
suprimarea mprejurrii comune, presupus a fi cauza fenomenului dat, ci n alegerea unor cazuri
negative, adic a cazurilor n care mprejurarea, presupus cauz, lipsete.
96
A3BCD.........a3
A2BCD.......a2
A2BCD.........a2
A3BCD........a3
:. A.............a
sau
A,BCD.........a,
:. A..............a
A este cauza lui a, pentru c acestea sunt singurele fenomene variabile concomitent; B, C,
D nu pot fi cauza lui a; ele rmn constante, cnd a este variabil. Prin urmare, antecedentul
(secventul) care crete sau descrete o dat cu fenomenul dat este cauza (efectul) fenomenului.
Metoda are la baz tot o inferen ipotetic, obinut prin reducia modului ponendoponens:
Dac este raport cauzal, atunci este covariaie
Este covariaie
:. Este probabil raport cauzal.
Istoria tiinei a consemnat nenumrate descoperiri ale relaiilor cauzale cu ajutorul
metodei variaiilor concomitente: efectele atraciei gravitaionale, ale magnetismului terestru, ale
nclzirii corpurilor etc.
VII.4.2.5. Metoda rmielor (a reziduurilor)
John Stuart Mill a adugat aceast metod celor patru prezentate pn aici, considernd-o
un caz particular al metodei concordanei. Dar noua legtur nu este observat, ci dedus dintrun raport cauzal mai complex. De aceea, metoda reziduurilor poate conduce la o concluzie cert.
De exemplu, din datele care consemnau perturbaiile constatate la orbita planetei Uranus,
s-a calculat cu certitudine orbita i locul la un moment dat ale unei noi planete; aceasta a fost
descoperit mai trziu i a fost numit Neptun.
97
VIII. DEMONSTRAIA
VIII.1. Structura demonstraiei
Principiul raiunii suficiente care reglementeaz toate demersurile argumentative a
condus la cerina ca noiunile s fie definite i propoziiile s fie demonstrate ca adevrate sau
false. Aceast cerin nu poate fi realizat n totalitate; mereu va rmne un mic grup de noiuni
nedefinite i de propoziii nedemonstrate cu ajutorul crora ncepe demonstraia.
Cercetarea deductiv folosete deci dou operaii importante: definiia i demonstraia.
Definiia a fost studiat ntr-un capitol anterior.
Demonstraia este o nlnuire de inferene care, sprijinindu-se pe anumite propoziii
date, stabilete adevrul sau falsitatea altei propoziii.
Chiar din definiie rezult c demonstraia este constituit din trei elemente:
teza demonstraiei - propoziia care constituie scopul demonstraiei;
fundamentul demonstraiei - propoziiile i noiunile pe care se sprijin
demonstraia: definiii, axiome, alte teoreme;
procedeul demonstraiei (argumentarea, demonstraia propriu-zis) inferenele care deriv teza din fundament.
Cnd, de exemplu, la geometrie se cere: s se demonstreze teorema...", atunci este
exprimat teza; apoi este dat fundamentul spunndu-se: prin ipotez se tie c..." (este vorba de
ipotez" n sensul de enun (enunuri) considerat adevrat (sau demonstrat ca adevrat) sfrit,
se trece la de monstraie, adic se deduce teza din fundament cu ajutorul inferenelor adecvate
domeniului respectiv.
Euclid din Alexandria a fost cel care, n secolul al III-lea .Hr., a pus accent pe ordinea
propoziiilor i pe faptul c acestea se implic unele pe altele, dovedind astfel valoarea i
necesitatea deduciei, singurul demers raional care asigur trecerea de la propoziii adevrate la
propoziii adevrate, n cazul nostru, de la fundament la tez.
Pe scurt, demonstraia, informa ei clasic, impus de Euclid, este o inferen deductiv
multiplicat.
98
S= 1 + 2 + 3
l= 4
2 = 5
deci S = 3 + 4 + z5
S' = 3 + 4 + 5 = 2 dr.
S = S' = 2 dr.
Demonstraia se bazeaz pe mai multe teoreme:
T : teorema sumei unghiurilor formate ntr-un punct de aceeai parte
a unei drepte;
T2: teorema unghiurilor alterne interne;
T3: teorema unghiurilor corespondente;
T4: teorema lui Legendre (suma unghiurilor este aceeai n toate
triunghiurile).
Demonstraia se bazeaz i pe axiome:
A1: axioma paralelelor (postulatul lui Euclid);
A2: dou puncte determin o dreapt i numai una.
Intervin i definiii
99
:. 1 i 4 sunt egale.
101
103
Bibliografie selectiv
1.
Bucureti, 1998.
2.
Bucureti, 1983.
3. Botezatu, Petre: Introducere n logic, voi. 1 i 2, ediie ngrijit, prefa i note de
Teodor Dima, Editura Graphix, Iai, 1994; ediia a II-a, Editura Polirom, lai, 1997.
4. Didilescu, I., Pavelcu, V.: Logica, Manual pentru licee pedagogice i institute
pedagogice de educatoare, ediia a II-a, Editura Didactic l Pedagogic, Bucureti, 1973.
5. Didilescu, Ion, Botezatu, Petre: Silogistica. Teoria clasic i interpretrile moderne,
Editura Didactic i Pedagogic, Bucureti, 1975.
6. Dima, Teodor: Metodele inductive, Editura tiinific, Bucureti, 1975.
7. Dumitriu, Anton: Istoria logicii, ediia a II-a, Editura Didactic i Pedagogic,
Bucureti, 1975.
8. Enescu, Gh.: Dicionar de logic, Editura tiinific i Enciclopedic, Bucureti, 1985.
9. Ioan, Petru: Axiomatica, Editura tiinific i Enciclopedic, Bucureti, 1980.
10. Ioan, Petru: Logica integral, voi. 1, Editura tefan Lupacu, Iai, 1999.
11. Marga, Andrei: Exerciii de logic, Partea I, 1983, Partea II, 1988, Universitatea din
Cluj-Napoca.
12. Popa, Cornel: Teoria definiiei, Editura tiinific, Bucureti, 1972.
13. Stoianovici, Drgan: Logica modern, Partea I, Universitatea din Bucureti, 1975.
14. Stoianovici, Drgan, Dima, Teodor (coord.), Marga, Andrei: Logica general, Editura
Didactic i Pedagogic, Bucureti, 1991.
104
105