Documente Academic
Documente Profesional
Documente Cultură
MARIUS EI
MECANISME
LOGIC - RAIONALE
ALE
GNDIRII
Suceava, 2009
2
ISBN:
Tehnoredactare computerizat: Science - Logicos
Coperta: Lazr Radu
3
CUPRINS
CUVNT NAINTE
4
Capitolul 3: LOGICA PRINCIPIILOR
3.1 PRINCIPIUL IDENTITII
6
Capitolul 6: LOGICA PROPOZIIILOR COMPUSE
6.1 CARACTERIZARE GENERAL
6.2 OPERAII LOGICE IMPORTANTE
6.2.1 Afirmaia
6.2.2 Negaia
6.2.3 Conjuncia
6.2.4 Incompatibilitatea (sau negarea conjunciei, sau excluziunea)
6.2.5 Disjuncia inclusiv
6.2.6 Disjuncia exclusiv
6.2.7 Raportul dintre conjuncie i disjuncie
6.2.8 Rejecia (negarea disjunciei inclusive)
6.2.9 Implicaia
6.2.10 Replicaia (implicaia convers)
6.2.11 Echivalena (implicaia reciproc)
6.3 RAPORTURI SPECIFICE PTRATULUI LOGIC
6.4 INFERENE IPOTETICE
6.4.1 Modus (ponendo) ponens
6.4.2 Modus (tollendo) tollens
misericordiam)
(B) 11.2.4.6 Argumentul relativ la consecine (argumentul de
respingere a unor date cu probabile efecte negative argumentum
ad consequentiam)
(B) 11.2.4.7 Argumentul relativ la baston (argumentul relativ la
team-argumentum ad baculum)
(B) 11.2.4.8 Argumentul relativ la ranchiun (argumentum ad
odium)
(B) 11.2.4.9 Argumentul relativ la ridicol
(B) 11.2.4.10 Argumentul relativ la tradiie
(B) 11.2.4.11 Argumentul relativ la noutate
(B) 11.2.4.12 Argumentul relativ la distragerea (abaterea) ateniei
(B) 11.2.4.13 Argumentul relativ la orgoliu
(B) 11.2.4.14 Argumentul din tcere (argumentum ex silentio)
(B)11.2.4.15 Argumentul ,,omului de paie (argumentul
adversarului fictiv)
(B) 11.2.4.16 Argumentul obieciunilor
(B) 11.2.5 Erori (sofisme) ale dovezilor insuficiente
(B) 11.2.5.1 Eroarea (sofismul) generalizrii pripite
(a) Eroarea (sofismul) exemplelor insuficiente
(b) Eroarea (sofismul) exemplelor nereprezentative
(B) 11.2.5.2 Eroarea (sofismul) cauza fals
(a) Post hoc ergo propter hoc (dup aceasta, deci, din cauza
aceasta)
(b) Efecte comune
(c) Efecte reciproce
(d) Confundarea cauzei i a condiiei
(e) Confundarea cauzei i a efectului
(B) 11.2.6 Erori (sofisme) aluzive (care au concluzia subneleas)
(B) 11.2.6.1 Insinuarea
(B) 11.2.6.2 Sloganul publicitar
BIBLIOGRAFIE
15
16
MOTTO
O logic poate crete ca un arbore majestuos,
dominnd pdurea logic prin frumuseea i
grandoarea sa, dar dac un astfel de arbore nu produce
fructe, se poate transforma ntr-un cadavru monstruos
al pdurii, care va disprea curnd.
Jean Yves BZIAU
17
CUVNT NAINTE
de aceast
contradicie, refuznd-o fr niciun fel de scrupule (aa cum a fcut-o logica non-tradiiona
pentru c te-a trdat nu cu gnd ru, ci cu sperana c undeva, cndva, pe un nivel de realit
te
total diferit de cel pe care te afli acum, vei evolua) nu face dect
s-i ofere certitudinea
incertitudinii i ideea c o lume imposibil devine posibil numai n msura n
are ai avut
curajul s o strbai aa cum propria ta raiune a decis.
18
Prin logic lumea te oblig s taci, s fii mai prudent n asumarea unei ide
i, dar te
oblig n acelai timp s iei atitudine n faa neputinei, s i asumi un risc i o idee, s
altfel dect cei de lng tine (unii ar cataloga aceast atitudine drept ciu
denie, iar alii ar
numi-o nebunie). Eu prefer s spun c logica te face s devii tu aa cum
eti n sinea ta, n
interiorul tu, pentru c ea aparine i afectivitii. Logica aparine n fond i tririlor
e.
Acesta nu este dect un destin pe care oricine i-l poate asuma prin acceptare, pent
ru c nsi
aceast dimensiune a logicii, care transcende uneori lumea nsi creia i-a da
t natere, s-a
nscut sub semnul unei stele norocoase.
i dac logicii i este scris un destin minunat, atunci probabil c i aceast lucrare face
parte din destinul acesta. Este o lucrare prin care se urmrete, pe de o parte, ex
ersarea unor
deprinderi intelectuale de care este nevoie n practica argumentativ, iar
pe de alt parte,
nelegerea dimensiunii raional-discursive a logicii n genere. n aceste condiii
, consider, c
aceast lucrare poate s vin n sprijinul tuturor celor care vor s se iniiez
e i chiar s se
perfecioneze (ct de relativ este acest termen!) n domeniul logicii, n msur
a n care
utilitarismul aspectelor tiinifice este relevat printr-un act de trire specific spi
ritului n genere.
Prin urmare, lucrarea de fa este conceput n aa fel nct s poat constitui
suport util
celor interesai de lumea fascinant a logicii.
Se impun ns anumite precizri cu privire la modalitatea de expunere i de redactare a
unor coninuturi teoretico-tiinifice. Astfel, din punctul de vedere al moda
litii de scriere am
preferat toate variantele considerate a fi corecte regsite n lucrrile de
specialitate aflate n
concordan cu forma (formele) din DEX (principiul noncontradiciei / princip
iul noncontradiciei; niciun / nici un nicio / nici o, etc.). Am preferat s merg n acest co
ntext pe fora
argumentativ a tezei n cauz, dar i pe argumentul autoritii, tocmai pentru
a evidenia
anumite aspecte legate de mecansimele specifice unei gndiri raionale. Mai
mult, pentru
deprinderea calculelor am preferat introducerea diversitii simbolurilor pen
tru operatorii
logici (de pild, pentru ,,conjuncie: ,,&, ,,,, .; pentru negaie: ,, , ,,~
pentru
implicaie: ,, , ,, etc. De asemenea, unele metode de verificare au fost adaptate (fr
s
a se schimba ideea esenial a algoritmului de argumentare / demonstrare)
tocmai pentru a
uura modalitile de nelegere i de rezolvare specifice exerciiilor (aplicaiilo
,,Pcatul
asumat, totui, n acest context, este acela al unei formalizri explicite (care uneor
i face legtura
ntre dou lumi total diferite), formalizare pe care, ns, o consider totui necesar n ca
ul de
fa. Dar, poate c, prin acest demers se evideniaz complementaritatea ntre fo
rmalismul
logico-matematic i argumentarea n sine. i ndrznesc s afirm c aa i este.
aceea, am
ales acest drum, pe de o parte, de a sublinia faptul c mecanismul gnd
irii presupune un
formalism logic (n sensul matematic), iar pe de alt parte, de a evidenia rolul majo
r pe care l
are argumentarea n tot acest proces.
n ceea ce privete exemplele menite s susin garania celor afirmate n capito
ele
acestei cri precizez c le-am preferat n unele locuri pe cele clasice (de
venite tradiionale).
Sunt aceleai i aceleai exemple ntlnite de-a lungul timpului n diferite lucrri de speci
litate.
Sunt exemple care i dovedesc eficacitatea tocmai prin faptul c sunt prezentate ca e
lemente de
baz pe care se pot susine cele mai multe aseriuni. Garania lor ntr-un astfel de deme
rs este
vizibil tocmai prin multitudinea de aplicaii pe care acestea le genereaz.
Mai mult, avnd n
vedere metamorfoza pe care logica a cunoscut-o pe parcursul timpului a
m preferat titluri
specifice pentru capitolele care alctuiesc aceast lucrare. Astfel, nu am mai respe
ctat criteriile
clasificrii, respectiv diviziunii (considerate de unii autori drept absol
ute) n ceea ce privete
modalitatea de abordare a coninuturilor (tematice).
Am preferat mai degrab o perspectiv proprie (subiectiv) de abordare susinut de un
demers pragmatic. n plus, problematicile aprute n aceast lucrare transpun
o reevaluare
metodologic a teoriei logicii. De altfel, cred c aceste aspecte se just
ific tocmai prin
raportarea contiinei umane la spiritul tiinific. Manifestarea noului spirit
tiinific asupra
19
contiinei umane a fcut ca pe parcursul timpului tot ceea ce ine de gndir
e s se
,,metamorfozeze i s (re)descopere propriile sale mecanisme. O dovad n acest sens cons
t n
nsui faptul c astzi gndirea apeleaz tot mai mult la o logic non-aristotelic. Altfel s
, n
condiiile n care n tiin se problematizeaz tot mai mult asupra unor problem
care in de
gndirea uman, realitatea fizic este descris i explicitat prin intermediul un
ui aparat
conceptual specific.
Aceast situaie evideniaz faptul c analiza formal s-a axat i asupra explica
tiinifice. n acest sens, am avut n vedere procesul raional prin care explicaia tiinif
ste
conceput ca o structur logico-lingvistic. Totodat, cred c justeea explicaiilo
logice
reflect la nivelul nelegerii raionale trsturi fundamentale ale gndirii, menite s ofer
un
alt tip de sistematizare a coninutului abordat. Aadar, obiectivitatea log
ico-tiinific este
vizibil n msura n care dimensiunea sistematizatoare se raporteaz la un lim
baj specific
formal(izat), dar i la problematici de actualitate.
n acest sens, de un mare folos mi-au fost lucrrile valoroase de specialitate menion
ate
la BIBLIOGRAFIE fr de care nu a fi putut duce la bun sfrit acest demers, menit s vin
sprijinul celor interesai de incitanta lume a logicii. Cu toate acestea, mi asum o
parte din vina
de a nu fi reuit s parcurg i alte lucrri de baz, care cu siguran i a
loarea lor
tiinific inestimabil n acest domeniu att de fascinant al formalismelor logice. Menione
, de
asemenea, c la baza realizrii acestei lucrri stau i unele cursuri de log
ic formal, logic
formalizat, metalogic i filosofia tiinei, care conin aspecte practico-teoretic
e cu care, de
altfel, m-am ntlnit nc din perioada studiilor universitare.
Nu pot s uit aceast perioad, plin, de altfel, de frenezie i entuziam,
cnd cele mai
multe cunotine i informaii pe care ncercam s le asimilez mi preau c fac parte i din
lumi pe care eu le consideram (im)posibile la acea vreme. Mi-am dat
seama c aceste stri de
fapt nu au fcut dect s-mi in activ i astzi interesul pentru anumite probl
me de natur
tiinific (fapt care, de altfel, nu-mi displace). Pentru aceasta nu pot d
ect s le mulumesc
acelor persoane care se fac ,,vinovate de aceste emoii (in)explicabile u
neori i anume,
prinilor mei, profesorilor mei, colegilor mei, celor pasionai de lumea me
canismelor logicraionale ale gndirii. Vreau totui s menionez i numele unor persoane crora le sunt prof
nd
recunosctor pentru sugestiile i observaiile pertinente i sincere fcute cu p
rivire la
coninuturile tiinifice i care au contribuit ntr-o anumit msur la apariia
ei lucrri:
Gabriel Hacman, Radu Lazr, Narcisa Posteuc, Ana-Maria Zamcu, Maria Habur.
De
asemenea, nu pot s nu mulumesc i celei care mi-a oferit posibilitatea d
e a mbina utilul cu
plcutul i anume, LOGICII, aceea care mereu a tiut i cum s explice c o lume posibil est
20
LOGICA LUMII
RAIONALE
21
Capitolul 1: LOGICA LUMII RAIONALE
1
Respingerile sofistice reprezint de fapt ultimul capitol din Topica.
2
22
calculului infinitezimal pus n eviden de Isaac Newton (1642-1727) i Gottfr
ied Wilhem
Leibniz (1646-1716). Apariia logicii moderne (sau a logicii simbolice sau a logic
ii matematice
cum mai este denumit aceasta) i gsete originea la gnditorul irlandez George Boole (18
151864) n lucrarea ,,The Mathematical Analysis of Logic (1847), moment n c
are logica este
analizat ca parte component a matematicii. Totodat, nu trebuie uitate, n acest sens,
cercetrile
lui Augustus de Morgan (1806-1871), P.S. Poreki (1846-1907) i John Venn (1834-1923
)
3
.
Noile paradigme au generat dezvoltarea unor sisteme logice formale. O situaie
de acest
gen n care este promovat un nou tip de logic se regsete la gnditori ca
Charles S. Peirce
(1839-1914), Gotlob Frege (1848-1925)
4
, Bertrand Russell (1872-1970) i Alfred North
Whitehead (1861-1947). Desigur, nu trebuie uitat i rolul pe care l-a a
vut la dezvoltarea logicii
i gnditorul John Stuart Mill (1806-1873) prin lucrarea ,,A System of Logic (1843).
Conform
acestui gnditor logica este conceput prin raportare la aspecte de natur psihologic.
Prin acest
psihologism s-a urmrit s se arate c logica se subordoneaz psihologiei.
Ca o reacie la acest curent a aprut logicismul (neles ca antipsihologism) prin care
s-a
ncercat s se arate c factorii psihologici nu au niciun fel de rol n argumentarea i de
monstrarea
unor teorii i probleme specifice logicii formale. Relevant n acest sens
este concepia
fenomenologic a lui Edmund Husserl (1859-1938) prin care se arat c teore
mele i
demonstraiile logicii formale nu presupun sub nicio form intervenia unor
factori psihici. De
altfel, aceast reacie a lui Edmund Husserl este ndreptat mpotriva lui Christoph von
Sigwart
(1830-1904), logician i filosof german, care considera c logica trebuie s aib o fund
amentare
psihologic. Totui, la Edmund Husserl se regsesc i anumite aspecte prin ca
re elemente de
natur psihologic sunt puse n corelaie cu elemente de natur logic (specifice matemat
icii de
la acea vreme), atunci cnd, de pild, se analizeaz procesul prin care se ajunge la c
onceptul de
,,numr.
Treptat, n domeniul cercetrii tiinifice este vizibil legtura dintre matematic i logic
prin modele de raionare specifice
5
. Un exemplu n acest sens l constituie formalismele logicomatematice prin intermediul crora teoria tiinific poate fi explicat i explic
itat ntr-un
anumit mediu de cercetare (context justificativ). n acest sens, s-au ncercat difer
ite extinderi ale
logicii printr-o arhitectonic total diferit de cea clasic. ,,Pe vremuri s
e credea c exist legi
fundamentale ale logicii, precum principiul noncontradiciei, principiul te
rului exclus i
principiul identitii. Astzi se construiesc logici diferite care se abat d
e la aceste principii.
Logica intuiionist se abate de la principiul terului exclus
6
, logica paraconsistent de la
principiul contradiciei, iar logica lui Schrdinger de la principiul ident
itii
7
. Astfel, s-a
constatat c logica propoziiilor se poate ntrebuina la cercetarea creierului (la baza
acestei idei
3
Acesti gnditori sunt considerai drept ntemeietorii algebrei logicii.
4
Gotlob Frege a ncercat s construiasc o aritmetic n mod axiomatic; de asemene
a, el a reuit s pun la punct
primul sistem tiinific de logic propoziional.
5
Un argument care se poate aduce n sprijinul acestei idei este faptul c n urma cerc
etrilor moderne s-a constatat
c operaiile logice se ncadreaz n anumite structuri matematice. n acest sens
, s-a demonstrat c logica
propoziional reprezint, datorit structurii sale algebrice, o algebr boolean.
6
n logica trivalent nu mai este valabil principiul terului exclus i se admite existe
na principiului quartului exclus,
care se poate formula prin p p v v p = 2 (,,2 reprezint valoarea de a
devrat i face parte, alturi de valorile de
,,0- fals i de ,,1- nedefinit, din sistemul logicii trivalente), n Nicolae Both
, Algebra logicii cu aplicaii, Editura
Dacia, Cluj-Napoca, 1984; de altfel, principiul quartului exclus (quartu
m non datur) a fost formulat cu ajutorul
functorului ,,dubitativ (notat cu D) de ctre Clarence Irwing Lewis i C.H
. Langford cnd s-au ocupat de analiza
modalitilor lui Jan Lukasiewicz (a se vedea Capitolul 12: Logica modal); de asemene
a, n contextul apariiei i
dezvoltrii logicilor n-valente s-a demonstrat i existena principiului quintului exc
lus (format din principiul terului
exclus pentru propoziiile false i principiul terului exclus pentru propoziiile adevra
te), care n L
4
are urmtoarea
form:
1
x
2
x
3
x
4
23
se pare c stau ,,anumite ipoteze obinute prin abstractizare din datele neurofiziol
ogice
8
) sau n
tehnic (,,n acest fel, cu ajutorul logicii propoziiilor se poate stabili
pentru orice ir de
conexiuni n derivaie n ce condiii el este permeabil, deoarece pentru toat
e expresiile logicpropoziionale se poate ajunge la decizie. ncercrile pot fi deci nlocuite printr-un
calcul logic.
Prin aceasta, problema analizei logice a circuitelor cu relee i contact
e este rezolvat
9
). Prin
urmare, o serie de analize teoretico-abstracte i gsesc o larg aplicabilita
te ntr-o serie de
domenii tiinifice.
Sunt cunoscute cu privire la aceast problem aplicaiile logicilor polivalente n mecan
ica
cuantic. Un exemplu n acest sens l constituie aplicaiile lui Paulette Fvrier n cazul r
elaiilor
de incertitudine ale lui W. Heisenberg prin construcia unei logici trivalente. Ac
east relevan a
aplicabilitii logice este vizibil i n cazul logicii paraconsistente. Aceasta i-a dove
dit nc de
la bun nceput caracterul util n robotic, sisteme inteligente, medicin, controlul tra
ficului aerian
i urban etc. Un alt exemplu de utilizare eficient a unei ,,noi logici este cel n car
e accidentele
pot fi analizate prin intermediul formalizrii logicii temporale, utilizndu
-se operatorul logic
,,since
10
. Mai mult, n acest sens, este de remarcat introducerea logicii temporale i n domen
iul
informaticii
11
atunci cnd se urmrete verificarea unor programe i a unor sisteme.
Tot n contextul pragmatismului de care d dovad logica, se pot aminti n
acest sens
aplicaiile acesteia n domeniul economiei. Astfel, printr-o atitudine coere
nt, logic, teoria
economic poate fi organizat i sistematizat la un nivel optim de funcionare i de nele
e.
Aplicaiile acesteia se regsesc n diferite domenii ale economiei. n acest
mod, prin logic se
poate susine ideea de funcionalitate a sistemului economic. Aa cum se tie
, conform
principiului raiunii suficiente, pentru a accepta sau pentru a respinge
o propoziie trebuie s
dispunem de un temei suficient (satisfctor). Mai mult, enunarea anumitor
teorii economice
Ger Kaus, Lica mdern, Editura tiinific i Enciclopedic, Bucureti, 1977, p.136.
Ibidem, 148.
10
http://profs.info.uaic.ro/~alaiba/club-i/index.php?title=Descoperirea_cauzei_ero
rilor_cu_logica_temporal%C4%83
i http://www.rvs.uni-bielefeld.de/publications/Reports/FailTemLog.html, accesate n
29 august 2009.
11
De aceast problem s-a ocupat Amir Pnueli (n. 1941), informatician isra
elian, laureat al Premiului Turing n
1996.
12
Preul reprezint cantitatea de moned cedat de cumprtor vnztorului n schim
unui bun sau serviciu.
Altfel spus, acesta reprezint forma valoric de msurare a unui bun sau a unui servic
iu.
13
Cererea reprezint cantitatea dintr-o marf pe care un consumator o poate a
chiziiona ntr-o perioad de timp n
funcie de pre.
14
Formula
propoziional ,,(p q) (~ q ~ p) se citete ,,dac p, atunc
q este echivalent cu dac non-q,
atunci non-p.
15
Formula propoziional ,,(p q ) ( ~ p ~ q) se citete ,,numai dac p, atunci q este e
valent cu dac nonp, atunci non-q.
16
Formula propoziional ,,(q p ) (~ p ~ q) se citete
,,dac q, atu
p este echivalent cu dac non-p,
atunci non-q.
24
i ,,(q p) (~q ~p)
17
, se pate bserva cu uurin c ipoteza fcut n baza economic se
susine (deoarece temeiurile suficiente, dar nu i cele necesare sunt admi
se ca fiind corecte din
punct de vedere logic). Aadar, este evident mbinarea pragmatic dintre logi
ca principiilor,
logica propoziiilor compuse i logica relaiilor.
Toate aceste descoperiri i aplicaii i-au determinat pe cercettori s ncerce clasificr
i i
diviziuni cu privire la domeniul logicii.
O prim distincie care se realizeaz este aceea dup numrul valorilor logice:
logica
bivalent (care opereaz doar cu dou valori, adevrat i fals) logica polivalent / multiv
lent
/ plurivalent (care introduce i alte valori cum ar fi: absurd, indeterm
inat etc.). Se admite c
exist dou forme de logic polivalent i anume logica standard logica non-standard.
O a doua distincie care se face, astfel, n acest sens, este logica standard logi
ca nonstandard. Astfel, s-a admis c logica matematic este alctuit dintr-o logic standard i o
logic
non-standard. La rndul su, logica non-standard are n structura sa domeniul logicilo
r modale i
domeniul logicilor polivalente. n acest sens, existena unor noi tipuri de logic baz
at pe sisteme
axiomatice a determinat abandonarea ideii unei logici unitare bazat pe
bivalen (aa cum
procedeaz logica standard).
O alt distincie este logica tradiional i logica non-tradiional (deviant, aplicativ).
Din rndul logicilor tradiionale fac parte logica propoziiilor i logica pre
dicatelor. n cadrul
logicilor non-tradiionale se ncadreaz logicile multivalente (logica fuzzy
18
, logica intuiionist),
logicile modale (logica deontic, logica epistemologic, logica temporal etc.
), logica
preferinelor, logica operaional, logicile paraconsistente (sau ,,dialectice), logica
topologic
19
.
O a patra distincie este logica monoton - logica nemonoton (sau logica
nonmonoton
20
). Logicile monotone (logica tradiional, logicile multivalente, logicile modale) s
unt
acelea prin care se formalizeaz un raionament valid. Logica nemonoton est
e aceea care se
ocup de raionamentul nemonoton, adic acel raionament care presupune derivar
ea unor
concluzii din premise incomplete. Robert C. Moore
21
a identificat n cadrul raionamentului
nemonoton (1983) raionamentul implicit (prin care se deduce din premise
incomplete sau
concludente o concluzie plauzibil
22
) i raionamentul autoepistemic (care este analizat de logica
epistemic).
Chiar dac aceste distincii nu sunt uneori suficient de bine stabilite n
lucrrile de
specialitate, este de reinut, totui, caracterul raional pe care logica l
imprim cunoaterii
tiinifice n genere. Cu toate acestea, apariia unor astfel de distincii au
generat demersuri
tiinifice mai mult sau mai puin independente de cele anterioare prin int
ermediul crora
performanele formalismelor logice s-au concretizat n aplicaiile de natur (i
nter-)disciplinar.
Este vorba despre o reflecie logico-filosofic pe baza cruia s-a nscut o
logic a cercetrii
tiinifice. n acest sens, sunt abordate structuri caracteristice limbajului
logico-tiintific dar i
modaliti specifice de construcie ale respectivelor structuri. Prin urmare,
dezvoltarea unei noi
17
Formula propoziional ,,(q p) (~ q ~ p) se citete ,,numai dac q, atunci p este ech
lent cu dac non-q,
atunci non-p.
18
Logica fuzzy (sau logica vag), definit de Lotfi A. Zadeh (1965) i axi
omatizat de Bas C. Van Fraasen, este
aceea care folosete un domeniu de valori logice cuprinse n intervalul [0, 1
], spre deosebire de logica tradiional
care utilizeaz doar dou valori numerice (0-pentru fals i 1-pentru adevrat)
(exemplu: clasa numerelor mari
reprezint o mulime fuzzy, deoarece funcia sa de apartenen tinde spre 1 pe
msur ce numerele sunt tot mai
mari).
19
Logica topologic reprezint un sistem construit de Hempel (1936) n cadul
cruia se utilizeaz anumite valori
comparative ca ,,mai adevrat, ,,mai puin adevrat, ,,la fel de adevrat etc.
20
Logica nonmonoton este aceea care nu se bucur de proprietatea monotoni
ei, conform creia dac o concluzie
rezult dintr-un grup de premise, atunci, dintr-un motiv mult mai ntemeia
t dect primul, aceasta rezult dintr-un
grup mai larg de premise.
21
Robert C. Moore, ,,Semantical considerations on non-monotonic logics, i
n Artificial Intelligence, Volume 25,
Issue 1, publisher: Elsevier Science Publisher Ltd.Essex, Uk, (January) 1985, pp
. 75-94.
22
Un astfel de exemplu poate fi urmtorul enun: ,,n absena evidenei contrariului presup
unem c un pete poate s
noate.
25
logici (a ,,noilor logici) a determinat apariia unui nou model de construcie tiinific
prin care
teoriile tiinifice au cunoscut abordri i explicitri din perspective total diferite.
Metodologia
23
logicii se regsete tocmai n caracterul pragmatic pe care aceasta l poate
oferi. Astfel, logica transpune (prin standardizare) limbajul natural ntr-un limb
aj formal. Un rol
important n acest proces l au expresiile, care sunt nlocuite de variabile. n acest f
el, limbajul se
transform, iar aceast formalizare evideniaz o distincie clar ntre forma ling
istic
(gramatical) i forma logic a propoziiilor. Aceast situaie nu exprim o denat
rare a
nelesului, ci relev, mai degrab, o uurin n maniera de a nelege i de a aplica infor
deinute (obinute). Relevant cu privire la acest fapt este c relaiile logice exist ntre
propoziii
(judeci) i nu depind de particulariti specifice ale expresiilor lingvistice.
n aceste condiii, comunicarea ca activitate intenional presupune un caracte
r
convenional la nivelul relaiilor interpersonale, n sensul c aceasta este aproape de
fiecare dat
orientat spre interlocutor. Astfel, discursul argumentativ este construit cu scop
ul de a persuada
i uneori chiar de a manipula. De aceea, importante n acest sens sunt tocmai inform
aia care se
transmite i structura lingvistic a enunurilor care alctuiesc informaia respe
ctiv. Aadar, un
discurs argumentativ vizeaz modificarea, transformarea anumitor stri interi
oare ale
receptorului (receptorilor).
Discursivitatea n procesul argumentrii (logice) trebuie s aib n vedere o s
erie de
aspecte legate de conceptele utilizate, definiiile rezultate cu ajutorul
acestor concepte, teoriile
analizate (prin asemnare i deosebire), exemplele, citatele (care uneori t
rimit la argumentul
autoritii) etc. De altfel, argumentarea discursiv este o form specific de fundamentar
e. Acest
aspect se exprim prin faptul c enunurile argumentative de cele mai multe ori sunt d
eterminate
de anumite interese i nevoi.
Performana argumentativ are ca punct de plecare i un anumit mecanism log
ic al
discursului transmis. Or, mecanismul logic al acestui tip de discurs d
epinde i de expresiile
discursive dintr-un proces argumentativ. n acest sens, actul argumentrii
se raporteaz la
modalitatea de pronunare a unei expresii. Or, n momentul pronunrii unei e
xpresii,
subiectivitatea (omul) ndeplinete trei acte: ,,(1) un act locuionar (indic un sens i
o referin),
(2) un act ilocuionar (transmit for caracteristic, act ce determin ca expr
26
semnificaie. n msura n care exist, totui, o schematizare discursiv general, atunci me
ul
transmis dobndete o semnificaie suficient pentru receptor.
Performana se bazeaz pe comunicare, iar o comunicare optim are n vede
re un canal
de comunicare prin intermediul cruia mesajul transmis se raporteaz i la
strile afective ale
receptorilor. Altfel spus, trebuie avute n vedere la nivelul comunicrii
interpersonale empatia,
persuadarea i consensul. Acest consens presupune o decizie comun la nivelul unui g
rup, dar nu
nseamn i majoritatea. Mai degrab, consensul evideniaz acceptarea diferenierilo
de orice
natur existente la nivelul grupului social. n acest sens, performana pres
upune un proces de
interaciune social prin care cel puin dou pri interdependente, dar cu nivel
social diferit,
accept prin consens reciproc ndeplinirea unui scop concretizat prin interese comun
e.
Performana argumentativ reprezint, n fond, la nivel educaional o tranzacie, n urma
creia actorii implicai n demers au de ctigat. Un aspect important n acest proces este
de a ti
cum s accepi compromisul, astfel nct s-l transformi n avantaj. Astfel, o p
erforman se
realizeaz la diferite nivele. n momentul n care se urmrete obinerea performanei, cel c
re i
propune s ctige ceva n urma acestui demers se ncadreaz de obicei ntre anu
ite limite:
maximul de performan i minimul de performan. Acest lucru nu se poate concretiza dect n
msura n care logica nu numai c devine necesar, ,,dar este i singurul cri
teriu pe care ne
putem i trebuie s ne sprijinim pentru a ne susine ideile
26
.
Desigur, o performan argumentativ trebuie s aib n vedere i acele aspecte legate de
gndirea critic. n acest sens, a studia o argumentare prin raportare la
aspectul ei practic
presupune cultivarea priceperii i deprinderii de a gndi critic
27
. Mai mult, ntr-o abordare critic
problema care se pune este aceea a discernmntului. Astfel, acesta reprez
int o trstur a
gndirii critice trimite la toleran i contiin de sine. Poate nu ntmpltor,
rmana
argumentativ a unui discurs se raporteaz i la problematica limbajului.
Astfel, neles ca un sistem complex de semne, limbajul presupune n struct
ura sa
existena a dou componente: lexicul / vocabularul (care reprezint totalitatea semnel
or specifice
limbajului respectiv i are un caracter dinamic) i gramatica (adic, ansamb
lul regulilor
referitoare la modul n care se utilizeaz semnele; gramatica are n genera
l un caracter stabil).
Dac se respect anumite criterii, atunci exist:
(1) limbaj natural (limba vorbit de o anumit naiune, limbajul comportamen
tal) i limbaj
artificial (limbajul logic, limbajul matematic, limbajul specific regulilor de c
irculaie etc.);
(2) limbaj verbal i limbaj non-verbal (criteriul fizic);
(3) limbaj de ordinul I / limbaj obiect i limbaj de ordinul al II-le
a / metalimbaj (criteriul
sensului);
Mai mult, din punct de vedere sintactic, structura limbajului este dat
de categoreme
28
(categorii de baz) i sin-categoreme (categorii auxiliare). ,,Diferena dintr
e categoreme i sincategoreme este urmtoarea: semnele cu rol de categoreme pot fi utilizat
e de sine stttor,
independent unul de altul; sin-categoremele nu au valoare prin ele nsele, ci num
ai prin legarea
lor de categoreme
29
. De asemenea, limbajul trebuie s reflecte la nivelul discursivitii un
anumit sens (neles), care particip la rndul su la formarea semnului.
26
Gheorghe Enescu, Tratat de logic, Editura LIDER, Bucureti, 1997, p. 5.
27
Drgan Stoianovici / Ion Stepnescu, Logic i argumentare (manual), Editura Sigma, Buc
ureti, 2001, p. 135.
28
Din categoria categoremelor fac parte: termenii i propoziiile.
29
http://www.scribd.com/doc/12730904/Curs-Complet-Logica, accesat 28 septembrie 2
009.
27
28
LOGICA
ARGUMENTRII
29
Capitolul 2: LOGICA ARGUMENTRII
2.1 ARGUMENTAREA I CONTRAARGUMENTAREA.
2.1.1 CARACTERIZARE GENERAL
Argumentarea reprezint un demers prin care se justific o anumit informaie. Conform
gndirii lui Aristotel argumentarea const n ,,a gsi o metod, prin care putem argumenta
despre
orice problem pus, pornind de la premise probabile, i prin care putem e
vita de a cdea n
contradicie, cnd trebuie s aprm o argumentare
30
.
Argumentarea presupune o dimensiune logic (formal), care presupune corecti
tudinea
procesului n sine, dar i o dimensiune psihologic, prin care se urmrete in
fluenarea unei
persoane cu privire la o anumit opinie pe care aceasta o presupune.
Persoana care argumenteaz se numete locutor.
Persoana pentru care se argumenteaz se numete interlocutor.
n unele lucrri de specialitate se distinge ntre raionament i argumentare. Astfel, da
c
raionamentul ntemeiaz teza pentru a dovedi caracterul acesteia (adevrat sau
fals),
argumentarea ntemeiaz i ea teza, dar pentru a arta interlocutorului c aceasta este ad
evrat
sau fals.
32
De fapt, atunci cnd derminm valoarea de adevr a unei propoziii, admitem c avem de a
face cu un raionament
sau cu o inferen.
33
Propoziiile cognitive pot fi considerate adevrate sau false dac informaiile pe care
le redau sunt conforme cu o
anumit stare de fapt.
30
din biblioteca colii este par pot fi adevrate sau false, prin urmare, a
cestea sunt propoziii
cognitive.
Dac nu are sens ca o ntrebare s fie adresat despre adevrul sau falsitat
ea unei
propoziii, atunci propoziia respectiv nu este cognitiv (exemplu: propoziia ,,n ce peri
oad a
domnit Alexandru cel Bun? i propoziia ,,Aprinde lumina! pot fi adevrate sa
u false, astfel
nct aceste propoziii nu sunt cognitive.
De asemenea, n literatura de specialitate se vorbete despre propoziii co
gnitivaxiologice
34
, care pot fi calificate sau adevrate sau false.
ntr-o argumentare se regsesc mai multe tipuri de propoziii:
(a) propoziii vagi i propoziii ambigue
-propoziiile vagi sunt acelea care mpiedic nelegerea unui anumit enun; arg
mentele care
rezult din astfel de propoziii se numesc argumente vagi;
Exemplu de propozitie vag:
Poi ctiga mai multe dac participi la aceast competiie.
-propoziiile ambigue sunt acelea care redau cel puin dou modaliti de a nelege un anu
enun; argumentele care rezult din astfel de propoziii se numesc argumente ambigue;
Exemplu:
Deinuilor le plac torturile.
Aceast propoziie poate fi interpretat n funcie de accentul care cade pe o liter (,,o)
au alta
(,,u):
(i) Deinuilor le plac trturile.
(ii) Deinuilor le plac tortrile.
(b) propoziii obiective i propoziii subiective
-propoziiile obiective sunt acelea n care valoarea de adevr (adevrat sau
fals) se stabilete
independent de tririle i credinele interioare ale unei persoane; propoziiil
e tiinifice se
ncadreaz n categoria propoziiilor obiective.
Exemplu:
Teorema lui Pitagora: n orice triunghi dreptunghic suma ptratelor catet
elor este egal
cu ptratul ipotenuzei.
-propoziiile subiective sunt acelea n care valoarea de adevr (adevrat sau fals) se s
tabilete n
funcie de tririle i credinele interioare ale unei persoane; propoziiile eti
ce se ncadreaz n
categoria propoziiilor suiective.
Exemplu:
Este bine s oferi bani unui ceretor.
(c) propoziii interogative i propoziii moral-pragmatice
-propoziiile interogative
35
sunt acelea care exprim o lips a cunotinelor cu privire la
obiectul asupra cruia se ndreapt analiza; aceste propoziii au valoare de
adevr numai n
msura n care ntrebarea este adresat n mod corect (valid); pentru a avea
valoare de premise
34
Propoziiile cognitiv-axiologice sunt considerate adevrate sau false dac p
roprietile unui anumit obiect sunt
apropiate de standardul acceptat pentru obiecte de acelai tip.
35
Problema propoziiilor interogative ine de logica interogativ (erotetica).
31
ntr-o argumentare, propoziiile interogative care nu au valoare de adevr t
rebuie reformulate,
adic trebuie transformate n propoziii cognitive.
Exemplu:
(1) ntrebarea ,,Cnd au fost gonii incaii din Romnia? este incorect
(nevalid), deoarece presupoziia ,,existena incailor n Romnia este fals.
(2) ntrebarea ,,Mircea, vei fi prezent la concert n seara aceasta? nu are valoare
de adevr; aceast propoziie poate fi transformat, n funcie de situaie, de
pild, ntr-o propoziie de forma: ,,Grigore a ntrebat dac Mircea va fi
prezent la concert n seara aceasta.
-propoziiile moral-pragmatice - sunt acelea care exprim anumite aprecieri
(,,nu este bine
s...), un ordin (,,terge scaunul!)
36
, o rugminte (,,D-mi te rog...), o norm (,,Trebuie s fim
coreci), o permisiune (,,Este permis s fumezi n locurile special amenajate)
, o interdicie
(,,Este interzis s treci strada la culoarea roie a semaforului)
37
. Astfel de propoziii nu pot fi
considerate adevrate sau false. Ca i n cazul propoziiilor interogative tre
buie depistate
eventualele premise care stau la baza acestora, dar i contextul n care ele sunt fo
rmulate. Unele
propoziii moral-pragmatice fac parte din categoria propoziiilor modale.
(d) propoziii compuse i propoziii categorice
-propoziii compuse sunt acele propoziii alctuite din propoziii simple (simbolizate p
rin litere
p, q, r, s numite variabile propoziionale), din operatori propoziionali
38
(care reprezint
propoziiile categorice.
Exemplu:
Dac toi elevii sunt silitori, atunci unii dintre ei sunt silitori.
Din acest argument se poate desprinde urmtoarea concluzie: dac este adevr
at c ,,toi elevii
sunt silitori, atunci este adevrat c ,,unii elevi sunt silitori. Aceast formulare se
exprim prin
formula SaPSiP, adic (SaP=1) (SiP=1), care corespunde formulei p q,
unde:
SaP
este
,,toi elevii sunt silitori;
SiP
este
,,unii elevi sunt silitori;
,,
se
citeste
,,dac..., atunci... sau ,,implic;
(SaP=1) (SiP=1)
se
citeste
,,dac este adevrat c toi elevii sunt silitori, atunci este
adevrat c unii elevi sunt silitori.
(e) propoziii complexe i propoziii modale
-propoziiile complexe
41
sunt forme logice ireductibile la propoziii categorice sau la propoziii
compuse.
Exemplu:
Orice om are un drum al su n via.
Exist cel puin un elev n aceast sal care tie logic.
-propoziiile modale sunt acelea care sunt analizate n cadrul unei logici
modale
42
; propoziiile
modale sunt de forma: ,,Este necesar s..., ,,este posibil ca..., ,,este
interzis s..., ,,mai
trziu....
Exemple:
Este necesar s citeti aceast carte.
Este posbil s iei un calificativ foarte bun la aceast competiie.
Este interzis s traversezi strada la culoarea roie a semaforului pentru pieton
i.
Mai trziu vom merge n vizit la directorul nostru.
41
Propoziiile complexe sunt analizate n cadrul unei logici speciale, numit logica pr
edicatelor.
42
Se impune o distincie cu privire la interpretarea logic a modalitilor.
Astfel, dac se combin calculul
propoziiilor cu logica modal, atunci se obine o logic modal propoziional. D
c se combin calculul
predicatelor cu logica modal, atunci se obine logica modal a predicatelor.
33
Aadar, se observ c propoziiile cognitive pot fi: categorice (care afirm sa
u neag
predicatul despre subiect), ipotetice, disjunctive, complexe, modale (pos
ibil, necesar,
ntmpltor).
2.1.3 Forme de argumentare
Argumentarea presupune urmtoarele forme (tipuri) fundamentale:
(a) argumentarea subiectiv (argumentarea nedemonstrativ) - se realizeaz din
convingere
pur i are un caracter nedemonstrativ;
(b) argumentarea obiectiv (argumentarea demonstrativ) - nu se realizeaz nto
tdeauna din
convingere pur i are un caracter demonstrativ.
Trebuie precizat faptul c n unele lucrri de specialitate se face o dist
incie net ntre
argumentare i demonstraie. Propoziiile argumentative sunt acuzate de faptul
c nu se pot
supune relaiei bipolare adevrat-fals. ,,Teza potrivit creia adeziunea, plauzibilul,
probabilitatea
sau alte forme prin care se exprim raionamentul argumentativ nu permit
s se alctuiasc
premise axate pe adevr i nici pe legturi care s duc la concluzii lipsite
de ndoial sau
compromis, este frecvent. Nici normele de drept, imperativele i normele
juridice nu pot fi
cuprinse sub denumirea de adevrate sau false i, ca atare, trebuie exclu
se din categoria
formalizrilor logice
43
. Se observ c argumentarea are fa de demonstraie o semnificaie ceva
mai larg, n sensul c poate fi luat i n sens retoric raportat la un proces persuasiv. A
stfel, ntro argumentare accentul se direcioneaz pe aciunea de a convinge receptorul
, n timp ce ntr-o
demonstraie acest accent se direcioneaz pe ncercarea de a dovedi c o anumit propoziie
ste
adevrat. Mai mult, ntr-o argumentare, se admite c premisele sunt propoziii
despre care se
presupune c ar fi adevrate, iar ntr-o demonstraie premisele sunt propoziii despre car
e se tie
c sunt adevrate.
2.1.4 Strategii de argumentare
(a) Argumentarea direct (1) const n construirea unui argument corect din punct de
vedere
logic, argument care, de altfel, are premise
44
adevrate i relevante pentru concluzie i al cror
adevr poate fi acceptat independent de concluzie; (2) Dac din adevrul pr
emiselor gsite
rezult cu necesitate concluzia (adevrat), atunci se spune c s-a argumentat
n mod direct n
favoarea propoziiei respective. Argumentarea direct este posibil prin inter
mediul unui
argument direct. Prin argument direct se nelege acela care stabilete n mo
d direct adevrul
propoziiei n favoarea creia se argumenteaz.
Exemplu:
S se argumenteze direct n favoarea propoziiei c ,,Nici un bebelu nu este btrn.
Argumentare direct:
(2) Se observ c din adevrul premiselor gsite (,,Toi btrnii tiu s spun poveti i ,
bebelu nu tie s spun poveti) rezult cu necesitate concluzia adevrat (,,Nici un bebel
este btrn). n aceast situaie, se spune c s-a argumentat n mod direct n favoarea prop
,,Nici un bebelu nu este btrn.
(b) Argumentarea indirect (argumentarea prin reducere la absurd)
45
const n: (1) A
presupune c propoziia n favoarea creia se argumenteaz este fals (altfel spu
s, aceast
propoziie care este de fapt concluzia se consider a fi fals); (2) A art
a c dac propoziia n
favoarea creia se argumenteaz este fals, contradictoria sa este adevrat; (3
) A construi un
argument valid lund-se drept premise contradictoria respectiv i o alt propoziie accep
tat ca
adevrat; (4) A arta c aceast construcie a respectivului argument valid cond
uce la o
concluzie (consecin) absurd; (5) A respinge presupunerea fcut iniial (avnd
vedere c
propoziia care deine rol de concluzie consecin - este absurd), ceea ce echivaleaz cu
aptul
c, propoziia n favoarea creia se argumenteaz este adevrat; n aceast situa
accept
faptul c s-a argumentat n mod indirect n favoarea propoziiei respective.
Exemplu:
- S se argumenteze indirect n favoarea propoziiei ,,Unii copii sunt biei.
Argumentare indirect:
1. Se presupune c propoziia ,,Unii copii sunt biei este fals;
2. Dac propoziia ,,Unii copii sunt biei (SiP) este fals, contradictoria sa
,,Niciun copil nu
este biat (SeP) este adevrat;
3. Se construiete un argument valid
46
lundu-se drept premise contradictoria respectiv i o alt
propoziie acceptat ca adevrat:
Niciun copil nu este biat
Toi bebeluii sunt copii.
Niciun bebelu nu este biat.
4. Se observ c din construcia silogismului, considerndu-se drept adevrat pre
misa ,,Toi
bebeluii sunt copii, rezult concluzia ,,Niciun bebelu nu este biat drept incorect.
e acela de a realiza
exigenele principiului raiunii suficiente, prin intermediul cruia se poate
preciza validitatea
unui anumit enun. Totui, chiar dac ntr-o argumentare se urmrete satisfacerea
anumitor
condiii de validitate (prin aplicarea unor reguli specifice demonstraiei), trebuie
specificat faptul
c nu se poate vorbi despre completitudinea acesteia n
adevratul sens a
l cuvntului. n acest
sens, se vorbete n literatura de specialitate despre argumentare conclude
nt. Cu alte cuvinte,
argumentarea este procesul prin care se urmrete concretizarea unui argume
nt. Prin urmare,
argumentarea se bazeaz pe un argument specific.
Exemplu:
Argumentarea Directorul a ntrziat la serviciu, deoarece s-a trezit trziu, iar pe dr
um a
rmas cu maina n pan de benzin se sprijin pe urmtorul argument
47
:
Directorul s-a trezit trziu.
(probabil a avut treab cu o sear nainte i a fost o
bosit )
Maina a rmas n pan de benzin.
(directorul nu a avut grija mainii)
____________________________
Directorul a ntrziat la serviciu.
Observaie: n aceast situaie nu ne intereseaz validitatea sau non-validitatea
structurii
argumentative. Vrem doar s subliniem importana argumentului n procesul argumentrii.
c trebui
elevii s-i
bal,
un lucru be
47
Linia orizontal care desparte premisele (,,Directorul s-a trezit trziu i ,,Maina a rm
as n pan de benzin) de
concluzie (,,Directorul a ntrziat la serviciu) este echivalent cuvntului ,,aa
dar (,,deci) sau expresiei ,,prin
urmare (,,urmeaz c). Uneori, n locul liniei orizontale care desparte premisele de con
cluzie se folosete simbolul
,, care reprezint la fel simbolul indicatorului de concluzie (se citete
la fel: ,,aadar, ,,deci, ,,prin urmare
etc.).
36
Profesorul Ion Mihai (rspunde ideii colegului su i contraargumenteaz): Nu sunt de ac
ord cu
ideea pe care o susinei. Consider c nu trebuie s se organizeze Balul Bo
bocilor la coala
noastr, deoarece un astfel de spectacol ar putea duna procesului de nvare. n plus, nai
te de
organizarea acestui specatcol, cu cteva zile i, uneori, cteva sptmni, unii
elevi nu se pot
concentra asupra procesului de nvare, n acest caz, profesorii care predau la clase
trebuind s
consume mai mult timp din momentul destinat desfurrii leciilor. Acest fapt
, duce la o
ncetinire a procesului de nvare n coala noastr, iar performanele colare s
r lsa
ateptate. Avnd n vedere c organizarea unui astfel de bal presupune, mai
degrab, capaciti
artistice dect capaciti intelectuale din partea elevilor, iar tradiia colii noastre
este construit
pe un profil real (unde se pune accent pe aptitudinile intelectuale),
consider c trebuie s fim
prudeni n ceea ce privete organizarea acestui spectacol i, deocamdat s nu ne gndim la
ceva.
2.1.6 Argumentarea i contraargumentarea ntre persuasiune i manipulare
nr.
crt.
valoarea de adevr
a premiselor
concluzia
validitatea raionamentului
(inferenei)
conclusivitatea
raionamentului
(inferenei)
1. adevrate adevrat valid() conclusiv()
2. adevrate nesigur nevalid() neconclusiv()
3. false nesigur valid() neconclusiv()
4. false nesigur nevalid() neconclusiv()
el este
conform cu o regul (un ansamblu de reguli) care-l prescrie (...). Dac actul nu est
e conform cu o
lege (respectiv, cu regula corespunztoare), atunci el nu este corect
53
. Aadar, prin corectitudine
logic se nelege acel proces raional care se concretizeaz n conformitate cu
legile, regulile
formale. Altfel spus, corectitudinea logic este un temei necesar al adevrului.
Cu toate acestea, ntre validitate (corectitudine logic) i adevr exist urmtoarele relai
:
(1) validitatea (corectitudinea logic) nu depinde de adevr;
(2) adevrul depinde cu necesitate de validitate (corectitudinea logic).
52
Cu toate acestea, exist o situaie specific n care se poate admite o c
oncluzie din zero premise. Exemplul
sugestiv n acest caz este axioma, adic acea propoziie din cadrul unui si
stem de propoziii care este admis fr
niciun fel de demnstraie.
53
Gheorghe Enescu, op.cit., pp. 12-13.
38
Prin argument (raionament)
54
se nelege operaia logic prin care din anumite propoziii
date (numite premise) rezult o alt propoziie (numit concluzie).
Exemple:
Premisa 1: mi este frig
Concluzia: (prin urmare) m mbrac mai gros.
Premisa 1: Toi oamenii sunt muritori.
Premisa 2: Profesorul de logic este om.
Concluzia: (aadar) profesorul de logic este muritor.
Observaie:
Argumentul reprezint o mulime de propoziii cu anumite caracteristici (premisele rep
rezint un
temei necesar pentru concluzie);
Argumentarea reprezint procesul prin care se trece de la premise la concluzie.
54
n logica tradiional i chiar n lucrri de istoria filosofiei raionamentul era identific
t cu argumentul (exemple:
argumentul ontologic, argumentul ndoielii, argumentul grmezii, cunoscut i s
ub denumirea de aporie). De
asemenea, termenul de ,,raionament mai este identic i cu termenul de ,,i
nferen. Totui, n lucrrile de
specialitate, termenul ,,inferen se utilizeaz ntr-un sens mai larg (pentru
raionamente i pentru derivarea unei
propoziii dintr-o alt propoziie).
55
Eugen Nstel / Ioana Ursu, Argumentul sau despre cuvntul bine gndit, Edit
ura tiinific i Enciclopedic,
Bucureti, 1980, p.178.
39
diagram cuplat
diagram divergent
diagram convergent
56
Monroe C. Beardsley, Thinking straight, Prentice-Hall, Inc., Englewood Cliffs,
New Jersey, 1975.
p
q
p
q r
p q
r
p q
r
40
diagram mixt
Exerciiu:
- S se analizeze din punct de vedere logic urmtorul argument, reprezentnd
u-se prin
diagramele lui lui Monroe C. Beardsley:
Sherlock Holmes este cel mai bun detectiv, ntruct a rezolvat toate cazurile pn ac
um. i
de aceast dat, el a dat dovada de iscusin; de aceea, a obinut indiciile
necesare. Mai mult,
Sherlock Holmes a interogat cu atenie martorii-cheie. Prin urmare, detec
tivul va afla cine este
vinovatul.
Rezolvare:
Analiza argumentului respectiv din punct de vedere logic presupune urmtoarele
etape:
-se identific indicatorii logici din cadrul argumentului;
-se marcheaz i se numeroteaz fiecare propoziie care intr n componena argumentului;
-se identific propoziia care exprim concluzia;
-se identific propoziiile care exprim concluziile intermediare i apoi propo
ziiile care le
justific pe acestea;
-se identific premisele libere;
-se prezint structura logic a argumentului (diagrama corespunztoare structurii argu
mentative).
(1) Indicatorii logici din argument sunt:
- indicatorii de premis: ,,ntruct ;
- indicatorii de concluzie: ,,de aceea, ,,prin urmare.
(2) Numerotarea i marcarea propoziiilor care intr n componena argumentului
este
urmtoarea:
- ,,Sherlock Holmes este cel mai bun detectiv (1);
- ,,(detectivul) a rezolvat toate cazurile pn acum (2);
- ,,acesta a dat dovada de iscusin - (3);
- ,,(detectivul) a obinut indiciile necesare (4);
- ,,Sherlock a interogat cu atenie martorii-cheie (5);
- ,,detectivul va afla cine este vinovatul (6).
(3) Concluzia final a argumentului este propoziia (6) ,,detectivul va afla cine e
ste vinovatul.
p
r
q
s m
u
v
n z
41
(4) Concluziile intermediare ale argumentului sunt propoziiile (1) ,,She
rlock Holmes este cel
mai bun detectiv i propoziia (4) ,,(detectivul) a obinut indiciile necesare.
(5) Premisa liber este propoziia (5) ,,Sherlock a interogat cu atenie martorii-chei
e.
(6) Propoziiile care justific concluziile intermediare sunt propoziia (2) (detectivu
l) a rezolvat
toate cazurile pn acum i propoziia (3) acesta a dat dovada de iscusin. Avnd n vede
c ntr-un argument concluzia rezult logic din premise, aceast relaie de imp
licaie dintre
premise i concluzie se poate reprezenta grafic prin urmtoarea diagram:
Aceast bibliotec are peste 1000 de cri de logic. 890 de cri de logic, alese
la ntmplare din aceast bibliotec, au fost scrise dup anul 1990. Prin urmare, probabil
c toate crile de logic din aceast bibliotec au fost scrise dup anul 1990.
57
n unele lucrri de specialitate aceast distincie mai este cunoscut i sub forma
inferene deductive inferene
inductive; inferenele deductive sunt acelea n care concluzia nu ofer mai mult inform
aie dect premisele din care
a rezultat; inferenele inductive sunt acelea n care concluzia ofer mai mult informaie
dect premisele din care a
fost obinut.
2 3 5
1 4
6
42
-argumente nedeductive slabe sunt acelea n care dac premisele sunt adevr
ate, atunci
concluzia este cu o probabilitate mic adevrat
Exemplu:
Aceast bibliotec are peste 1000 de cri de logic. 15 cri de logic, alese
ntmplare din aceast bibliotec, au fost scrise dup anul 1990. Prin urmare, probabil, c
toate crile din aceast bibliotec au fost scrise dup anul 1990.
(c) Argumente confirmatoare i argumente neconfirmatoare
-argumente confirmatoare sunt argumentele nedeductive tari i care au pr
emise adevrate;
concluzia unui argument confirmator este probabil adevrat;
-argumente neconfirmatoare sunt argumentele nedeductive slabe care nu ndeplinesc
mcar cel
puin o condiie dintre acestea: (1) s fie nedeductiv tare sau (1) s aib premise adevrat
e.
(d) Argumente deductive valide i argumente deductive nevalide
-argumente deductive valide sunt acelea n care concluzia rezult (decurge
) cu necesitate din
premise
Exemplu:
Toate florile sunt plante, iar toate lalelele sunt flori. Prin urmare,
toate lalelele
sunt plante.
Observaie:
Un argument valid poate avea:
-premise adevrate i concluzie adevrat (dac premisele sunt adevrate, atunci r
ezult
concluzia cu necesitate adevrat);
-cel puin o premis fals i o concluzie fals (dac un argument valid are concluzia fals,
tunci
cel puin o premis este fals).
-argumente deductive nevalide sunt acelea n care concluzia nu rezult (n
u decurge) cu
necesitate din premise
Exemplu:
Vasile este fiul juristului Ionescu. Prin urmare, juristul Ionescu este tatl lui
Vasile.
Acest argument deductiv nu este valid: concluzia nu rezult cu necesitat
e din premis (este
posibil ca juristul Ionescu s fie femeie, situaie care duce la concluzi
a c juristul Ionescu este,
de fapt, mama lui Vasile).
(e) Argumente concludente i argumente neconcludente
-argumente concludente argumentele care sunt valide i care au premisele adevrate;
concluzia
unui argument concludent este cu necesitate adevrat;
-argumente neconcludente argumentele care nu ndeplinesc cel puin una din
aceste dou
condiii: (1) s fie valide i (2) s aib premisele adevrate.
(f) Argumente directe i argumente indirecte
-argumente directe acelea care stabilesc n mod direct adevrul propoziiei
n favoarea creia
se argumenteaz;
-argumente indirecte acelea care stabilesc n mod indirect adevrul propoz
iiei n favoarea
creia se argumenteaz.
43
(g) Argumente relevante i argumente irelevante
-argument relevant ntre informaia redat de premise i informaia redat de concluzie exi
t o
legtur;
-argument irelevant - ntre informaia redat de premise i informaia redat de
concluzie nu
exist o legtur.
Observaie:
Argumentele deductive valide
argumente logic-corecte
Argumentele nedeductive tari
Argumentele deductive nevalide
argumente logic-incorecte
Argumentele nedeductive slabe
Un argument din care lipsete cel puin o premis sau chiar concluzia se
numete
argument eliptic (sau entimem).
Exemplu:
Deoarece toi oamenii trebuie s fie sufletiti, atunci toi profesorii de lo
gic
trebuie s fie sufletiti (lipsete premisa ,,Toi profesorii de logic sunt oameni)
Observaie:
Structura logic a propoziiei logice i a raionamentului (inferenei) se num
ete form
44
LOGICA
PRINCIPIILOR
45
Capitolul 3: LOGICA PRINCIPIILOR
rmare, la
baza gndirii se afl anumite condiii formale generale cunoscute i sub denu
mirea de principii
logice.
Principiile logice reprezint legi fundamentale
58
prin intermediul crora se poate asigura
corectitudinea i certitudinea gndirii. Logica tradiional distinge la nivel
teoretic urmtoarele
principii logice fundamentale, care, de altfel, reprezint condiii necesare
ale gndirii abstracte:
principiul identitii, principiul noncontradiciei, principiul terului exclus i
principiul raiunii
suficiente. Aceste principii sunt formale, n sensul c ele nu ofer inform
aii despre un anumit
coninut al obiectului gnduirii, ci mai degrab, ncearc s determine structura gndirii n
Cu toate acestea, o gndire prefect logic nu trebuie s se bucure doar d
e suficiena
principiilor logice tradiionale. Altfel spus, n teoria contemporan a tiinei
s-a ncercat o
reevaluare a principiilor logice
59
, astfel nct s existe o anumit coresponden ntre diferitele
niveluri de logicitate. Toate acestea au fost posibile numai n urma unui proces d
e transformare
pe care a suferit-o logica formal la nivelul limbajului utilizat, dar i la nivelul
modalitilor de
abordare specifice acestui domeniu. n acest mod, se trece de la o log
ic formal la o logic
formalizat, unde atenia se concentreaz i pe o semantic a lumilor posibile,
o lume
(re)descoperit de natura uman
60
. Aadar, din punct de vedere tradiional, principiile logice au
fost analizate ca legi ale gndirii. Aceast perspectiv de abordare nu se
mai susine ns n
cadrul logicilor moderne cnd apare ideea relativitii legilor gndirii.
3.1 PRINCIPIUL IDENTITII
Perspectiva asupra ideii de identitate n genere trimite la acceptare (p
rin caracterul su
pragmatic), dar i la limit (prin neputina de a fi aplicat n anumite domenii). De acee
a, analiza
unei astfel de idei presupune recunoaterea distinciei identitate personal identitat
e tiinific.
,,Ideea identitii i are originea n logic: A=A. Aceasta este o afirmare a
identitii i o
afirmare a diferenei. Un obiect este identic cu toate obiectele care sunt ca el i
e diferit de toate
obiectele care nu sunt ca el
61
. Astfel, ideea identitii poate fi analizat i fcnd referire la
existena legilor naturii care, de fapt, reprezint o idee metafizic. n ace
st mod, problematica
58
Trebuie precizat c acest neles nu evideniaz faptul c principiile logice sunt aceleai
u legile logice. n acest
sens, n logic se distinge ntre legi logice i principii logice. Astfel, legile logice
Exemplu:
Peretele este rece.
Rece este adjectiv.
__________________
Peretele este adjectiv.
Amfibolia este o o eroare care apare cnd o expresie sau o propoziie dintr-un arg
ument
este ambigu din punct de vedere sintactic.
Exemplu:
Prinii spun copiii sunt obraznici.
Acest enun poate fi interpretat astfel:
Prinii spun: copiii sunt obraznici. (a se vedea cele dou puncte ,, : )
Prinii, spun copiii, sunt obraznici. (a se vedea amplasarea celor do
u virgule
,,prinii, spun copiii, )
Accentuarea greit este o eroare care apare n urma sublinierii improprii a unui c
uvnt
sau expresii din argument.
Exemplu:
Profesorilor i elevilor le plac torturile.
48
Aceast propoziie poate fi interpretat neunivoc, n dependen de accentuarea cu
vntului
torturi: trturi au tortri.
unde:
1 valoarea de adevrat;
0 valoarea de fals.
crmid.
Cu toate acestea, n formularea principiului non-contradiciei apar dou re
stricii (1) n
acelai timp i (2) sub acelai raport:
(1) n acelai timp arat c unele nsuiri care nu par a fi compatibile, po
fi, totui atribuite
aceluiai obiect, dar n perioade de timp diferite (exemplu: tinereea unei persoane e
ste specific
unei anumite vrste, iar btrneea aceleeai persoane este specific unei alte v
ste; de
asemenea, aceeai persoan poate fi n diferite etape ale vieii sale: celiba
tar, cstorit,
divorat, vduv);
(2) sub acelai raport arat, de fapt, o restricie a principiului identitii cu privire
la cuvintele
ce exprim nsuirile. Acestea trebuie nelese univoc (de exemplu, aceeai persoa
n poate fi
tnr ca vrst dar btrn ca nfiare).
Principiul noncontradiciei nu trebuie confundat cu principiul terului ex
clus. Aceast
confuzie se poate evita astfel:
-principiul non-contradiciei afirm o imposibilitate, nu se poate s fie i
p i non-p, de unde
rezult c una dintre alternative fiind adevrat, cealalt este fals;
-principiul terului exclus afirm o necesitate, trebuie s fie sau p, sau non-p, de u
nde rezult c
una dintre alternative fiind fals, cealalt este adevrat.
Principiul noncontradiciei mpreun cu principiul terului exclus fundamenteaz
demonstraia prin reducere la absurd.
nclcarea principiului noncontradiciei duce la apariia contradiciei formale. O astfe
l de
contradicie formal se produce numai atunci cnd se afirm i se neag, n acel
timp i sub
acelai raport, un predicat pentru un subiect. De asemenea, n timp difer
ii i sub raporturi
diferite, se poate afirma i nega acelai predicat pentru un subiect. De
exemplu, propoziiile:
,,Aciunea preedintelui a avut un caracter social i ,,Aciunea preedintelui nu
a avut un
caracter social sunt adevrate n timpi diferii
69
.
n literatura de specialitate se admite, n funcie de complexitatea lor, e
xistena mai
multor forme de contradicie formal
70
. Astfel, se vorbete despre:
(a) contradicii simple;
(b) contradicii provenite din nedeterminarea limbajului (un exemplu n acest sens e
ste aparenta
contradicie ntre geometria euclidian i geometriile neeuclidiene);
(c) autocontradicii (exemplu: ,,Toate propoziiile sunt false);
(d) antinomii.
68
Efim Mohorea, Introducere n logic, Editura Arc, Chiinu, 2003, p. 39.
69
n literatura de specialitate contemporan principiul noncontradiciei mai e
ste cunoscut i sub denumirea de
principiul consistenei, care n cazul logicilor bivalente are urmtoarea formulare
:
(p)
(p)=. De seme e,
pi cipiul c siste ei poate fi nclcat n cadrul altor sisteme logice (n ca
zul logicilor paraconsistente sau
suprasaturate), avnd urmtoarea formulare: v
i
(p) v
j
(p) = ( C el Pp, Lic i metalogic, Editura
Fundaiei ,,Romnia de Mine, Bucureti, 2000, pp. 12-13).
70
Gheorghe Enescu, Dicionar de logic, Editura tiinific i Enciclopedic, Bucureti, 1985,
55.
50
Cu privire la contradicia formal trebuie specificat faptul c ea trebuie distins de
o alt
form a opoziiei formale i anume de contrarietatea formal. Contradicia formal este impl
icat
de contrarietate, dar reciproca nu este, n general adevrat.
Observaii:
Exemplu:
(1) Alexandru este student la filosofie.
(2) Alexandru nu este student la filosofie.
Se observ c propoziiile (1) i (2) nu pot fi mpreun (simultan) adevrate. D
spre dou
propoziii care nu pot fi mpreun (simultan) adevrate se admite c sunt reciproc incons
istente.
Mai mult, propoziiile (1) i (2) nu pot fi nici mpreun false. Prin urmare, cele dou
propoziii
(1) i (2) nu pot fi mpreun (simultan) nici adevrate, nici false, adic ac
estea sunt reciproc
propoziii contradictorii (mai mult dect reciproc inconsistente). ntre cele dou propo
ziii exist
un raport de opoziie i anume, raportul de contradicie. n acest caz, este vorba despr
e opoziia
contrar.
Exemplu:
(1) Profesorul de logic are 1,78 m.
(2) Profesorul de logic are cel puin 1,80 m.
Se observ c propoziiile (1) i (2) sunt ambele consistente (reciproc), adic nu pot fi m
preun
(simultan) adevrate, dar pot fi simultan false. ntre cele dou propoziii e
xist un raport de
opoziie i anume, raportul de contrarietate (i nu de contradicie). n acest caz, este v
orba despre
opoziia contradictorie.
NOT: Opoziia contrar este mai slab dect opoziia contradictorie.
3.3 PRINCIPIUL TERULUI EXCLUS
Principiul terului exclus presupune c dintr-un sistem de propoziii sau este accepta
t o
propoziie p, sau este respins, a treia posibilitate fiind exclus. Cu alt
e cuvinte, principiul
terului exclus stipuleaz c una din cele dou propoziii (p i ~p) este cu n
ecesitate adevrat.
De asemenea, acest principiu se aplic n situaiile n care exist doar dou v
alori (adevrat i
fals), excluznd existena celei de a treia valori (tertium non datur).
Principiul terului exclus precizeaz c dou propoziii contradictorii nu pot f
i (n
acelai timp i sub acelai raport) ambele false.
Formula corespunztoare principiului terului exclus este:
p V ~p (p w ~p) se citete ,,p sau non-p (,,sau p, sau non-p)
O alt formulare simbolic specific principiului non-contradiciei ar fi urmtoarea:
unde:
1 valoarea de adevrat;
0 valoarea de fals.
Respectarea principiului terului exclus ofer gndirii consecven, capacitate de
decizie
riguroas.
p ~ p
0 1
51
Principiul terului exclus nu trebuie confundat cu principiul bivalenei, conform cru
ia o
propoziie este sau adevrat sau fals, a treia posibilitate fiind exclus.
Principiul terului exclus mpreun cu principiul noncontradiciei fundamenteaz
demonstraia prin reducere la absurd.
Principiul terului exclus nu trebuie confundat cu principiul noncontradici
ei. Aceast
confuzie se poate evita astfel:
- principiul terului exclus afirm o necesitate, trebuie s fie sau p, sau non-p, de
unde rezult c
una dintre alternative fiind fals, cealalt este adevrat;
-principiul non-contradiciei afirm o imposibilitate, nu se poate s fie i
p i non-p, de unde
rezult c una dintre alternative fiind adevrat, cealalt este fals.
Aristotel a explicat n lucrarea ,,Metafizica principiul terului exclus astfel: ,,Da
r nu e cu
putin s existe un termen mijlociu ntre cele dou membre extreme ale unei contradicii; d
espre
orice obiect trebuie neaprat sau s fie afirmat, sau negat fiecare predicat. Lucrul
e evident, dac
ncercm s clarificm mai nti ce nelegem prin adevrat i fals
71
. Mai trziu, Leibniz red
legtura dintre principiul terului exclus i principiul noncontradiciei
72
(mai nti cuprinde n
sfera principiului noncontradiciei i principiul terului exclus, dup care, mai apoi,
le distinge n
mod clar): ,,Principiul contradiciei, este, n general, o propoziie este s
au adevrat sau fals,
ceea ce conine dou enunuri adevrate: unul, c adevrul i falsul nu sunt com
atibile n
aceeai propoziie, sau c o propoziie nu ar putea s fie adevrat i fals
ai timp;
cellalt, c opusul sau negaia adevratului i falsului nu sunt compatibile, s
au c nu exist
mijlociu ntre adevrat i fals, sau c nu se poate ca o propoziie s nu fie
nici adevrat nici
fals.
73
Acest principiu poate fi formulat inndu-se cont de condiia ,,n acelai timp
i sub
acelai raport):
-ontologic: este necesar ca un lucru s posede sau s nu posede o anumit proprietate;
p. 46).
73
Gottfried Wilhem Leibniz, Nouveaux essays sur lntendement humain, IV, II, 1, Fla
mmarion, Paris, 1935.
74
Ibidem, p. 48
75
Basarab Nicolescu, ,,Gdelian Aspects of Nature and Knowledge, n Bulletin
16, fvrier, 2002, adres web:
http://perso.club-internet.fr/nicol/ciret/.
52
celei de-a treia axiome din logica clasic bivalent (legea terului exclus)
i nlocuirea sa cu
axioma terului inclus (care spune c exist un al treilea termen T care
este i A i non-A). Cu
toate acestea, Basarab Nicolescu precizeaz c logica terului inclus nu sup
rim logica terului
exclus, ci doar i restrnge domeniul de activitate. Logica terului inclus
ofer o explicaie
raional, inducnd o structur deschis, gdelian a nivelurilor de realitate. Tot
dat, aceast
logic este formalizabil, multivalent (are trei valori: A, non-A, T), noncontradicto
rie (n sensul
c axioma non-contradiciei este respectat).
Exerciiu
76
:
- Una dintre afirmaiile urmtoare este inacceptabil. Principiul terului excl
us precizeaz c,
n acelai timp i sub acelai raport:
(a) un lucru exist sau nu exist, a treia posibilitate este exclus;
(b) un lucru sau are o proprietate, sau n-o are, a treia posibilitate este exclu
s;
(c) o propoziie are sau nu are o valoare logic, a treia posibilitate este exclus;
(d) orice propoziie este sau adevrat sau fals, a treia posibilitate este exclus;
(e) o propoziie este adevrat sau nu, contradicia este exclus.
Rspuns:
Conform definiiei principiului terului exclus rspunsul corect este (d),
adic, orice
propoziie este sau adevrat sau fals, a treia posibilitate este exclus.
determin ele singure consecina. Acestea se exprim prin formula: ,,dac i numai dac (,,D
c
i numai dac p, atunci q / ,,Dac i numai dac un triunghi are un unghi d
rept, atunci acesta
este dreptunghic).
n cazul condiiei necesare i suficiente se respect urmtoarea formul:
(p q) ( p q )
OBSERVAIE: Logica admite ca fiind logic-corecte doar ultimele dou forme
de temeiuri
(temeiuri suficiente, dar nu i necesare / temeiuri necesare i suficiente), primele
dou forme de
temeiuri fiind respinse ca insuficiente (temeiuri nici necesare i nici
suficiente / temeiuri
necesare, dar nu i suficiente).
-----
Exemple de aplicaii:
- S se identifice tipurile de temeiuri din exemplele urmtoare:
Exerciiul nr. 1
1. Eminescu i Creang au fost contemporani.
2. Eminescu l-a ndemnat pe Creang s scrie Amintiri din copilrie.
Rezolvare:
- notm propoziiile date cu variabile propoziionale astfel:
A: pentru a verifica dac propoziia 1 (,,Eminescu i Creang au
zint
un temei pentru propoziia 2 (,,Eminescu l-a ndemnat pe
intiri din
copilrie):
p - ,,Eminescu i Creang au fost contemporani;
q - ,,Eminescu l-a ndemnat pe Creang s scrie Amintiri din
p - ,,Eminescu i Creang nu au fost contemporani;
q - ,,Eminescu nu l-a ndemnat pe Creang s scrie Amintiri
copilrie;
din copilrie.
B. pentru a verifica dac propoziia 2 (,,Eminescu l-a ndemnat pe Creang s scrie Amint
iri din
copilrie) reprezint un temei pentru propoziia 1 (,,Eminescu i Creang au fos
t
contemporani):
p - ,,Eminescu l-a ndemnat pe Creang s scrie Amintiri din copilrie.
q - ,,Eminescu i Creang au fost contemporani;
54
p - ,,Eminescu nu l-a ndemnat pe Creang s scrie Amintiri din copilrie;
q - ,,Eminescu i Creang nu au fost contemporani.
-pentru A verificm condiia suficient (verificm dac propoziia p este raiune suficient
tru
propoziia q)
(pq) ( q p )
Aceast formul se traduce n limbaj natural astfel:
,,Dac Eminescu i Creang au fost contemporani (p), atunci Eminescu l-a ndemnat pe Cre
ang
s scrie Amintiri din copilrie(q) ,,Dac Eminescu nu l-a ndemnat pe Creang
s scrie
Amintiri din copilrie (
).
Se observ c enunul
poziia p
(,,Eminescu i Creang
tru propoziia q
(,,Eminescu l-a ndemnat
57
58
LOGICA TERMENILOR
(LOGICA NOIUNILOR)
59
79
Literatura de specialitate este destul de divers n ceea ce privete uti
lizarea acestor sintagme (sau logica
termenilor sau logica noiunilor); de aceea, am preferat n aceast lucrare
titlul Capitolul 4: Logica termenilor
(Logica noiunilor); de asemenea, n acest context, diferenele de natur conceptual sunt
dezbtute prin raportare la
,,nelesurile (sensurile) specifice ,,termenului i ,,noiunii.
80
Prin ,,obiect nu trebuie neles ca fiind ntotdeauna un lucru real i concret, ci i un o
biect abstract sau ideal.
60
Rezolvare:
Nume simple = studeni, bibliotec, maina
Nume compuse = prietenii ti, fratele tu, cartea de pe mas, iubita ta
Exemplu:
- S se precizeze care din urmtoarele cuvinte i grupuri de cuvinte reprezint termeni
i care
nu reprezint termeni:
i, brnz, un, autoturism, ceva despre, reuim, plcint, deci, propoziie compus
Rezolvare:
Reprezint termeni: brnz, autoturism, plcint, propoziie compus;
Nu reprezint termeni: i, un, ceva despre, reuim, deci.
4.2 RAPORTUL DINTRE CONINUTUL (INTENSIUNEA) I SFERA
(EXTENSIUNEA) UNUI TERMEN (NOIUNI)
Intensiunea unui termen (noiuni) este format din ansamblul de proprieti ca
re
alctuiesc noiunea exprimat de termenul respectiv.
Extensiunea unui termen (noiuni) reprezint mulimea obiectelor care conin se
mnele
termenilor dai.
Intensiunea: conotaie, coninut, sens
Extensiunea: denotaie, sfer, referin
Exemplu:
Fie urmtorul termen (noiune) ,,om. Care este intensiunea (coninutul)
i
extensiunea (sfera) acestuia?
Rezolvare:
- intensiunea (coninutul): nsuiri naturale (vertebrat, animal, mamifer, bip
ed, creier dezvoltat,
aparat fonator dezvoltat etc.) i nsuiri sociale (gndire raional, limbaj arti
culat, furitor de
unelte, fiin care poate aduce transformri mediului nconjurtor);
- extensiunea (sfera): totalitatea fiinelor care aparin clasei oamenilor
Intensiunea i extensiunea unui termen (unei noiuni) sunt elemente corel
ative care se
afl ntr-un raport de dualitate. Dac un termen A include din punct de vedere intensi
onal un alt
termen B, atunci din punct de vedere extensional termenul A este inclus n termenu
l B, reciproca
fiind, de asemenea, adevrat. Altfel spus, genul include specia n extensiune, iar sp
ecia include
caracteristicile genului n intensiunea sa
81
.
Rezolvare:
Termenul A este termenul cu extensiunea cea mai mare i cu intensiunea cea mai mic.
Termenul E este termenul cu intensiunea cea mai mare i cu extensiunea cea mai mic.
82
83
O proprietate important a relaiei de incluziune este tranzitivitatea.
84
Relaia de apartenen se stabilete ntre o noiune individual i specie i nu se caracter
prin tranzitivitate.
85
Desigur, nu trebuie omis din aceast explicaie noiunea de ,,romb; astfel,
se tie c rombul este patrulaterul
convex cu laturile opuse paralele; de asemenea, fiind un paralelogram,
rombul are toate proprietile acestuia i
anume: (1) diagonalele ntr-un romb sunt perpendiculare; (2) diagonalele
unui romb sunt bisectoarele unghiurilor
din care pornesc.
63
exist notele-accident (note accidentale sau Accident) care sunt acele no
te ce posed notele
proprii ale speciei (exemplu:doar unele triunghiuri sunt dreptunghice, a
ltele sunt echilaterale
etc.);
Petre Botezatu
86
realizeaz cu privire la aceast problem o ,,diviziune perfect a notelor:
note
aparin numai
acestor elemente
PROPRIUL
aparin i
altor elemente
GENUL
ACCIDENTUL
ale n funcie
de care distingem tipurile de termeni (noiuni):
A: Din punct de vedere intensional (al coninutului):
(a) termeni absolui (noiuni absolute) / termeni relativi (noiuni relative)
86
Petre Botezatu, Introducere n logic, Volumul 2, Editura GRAPHIX, Iai, 1994, p. 35.
64
-termeni absolui (noiuni absolute) sunt aceia care se aplic obiectelor d
in extensiunilor lor
considerate izolat (exemple: carte, culoare, lucru, hrtie);
-termeni relativi (noiuni relative) sunt aceia care desemneaz o relaie care se st
abilete ntre
dou sau mai multe obiecte (exemple: maina mea, mai mic dect);
(b) termeni abstraci (noiuni abstracte) / termeni concrei (noiuni concrete)
-termeni abstraci (noiuni abstracte) sunt aceia care desemneaz nsuiri, proprieti sau
laii
considerate n sine (izolat) : (exemple: buntate, frumusee, roea);
-termeni concrei (noiuni concrete) sunt aceia care desemneaz obiecte, nsuiri sau prop
rieti
care aparin unui singur obiect : (exemple: galben, verde, cifr, animal).
Observaie:
-Altruismul este o trstur de caracter. ,,altruism este un termen (noiune)
abstract
(se red altruismul n general);
-Altruismul soldailor romni este remarcabil ,,altruism este un termen (noi
une)
concret (se red un anume tip de altruism i nu altruismul n general).
(c) termeni simpli (noiuni simple) / termeni compui (noiuni compuse)
-termeni simpli aceia care dein rolul de termen (noiune) primar: (exemp
le: inferen, linie,
propoziie);
-termeni compui aceia care sunt derivai din termeni primari (exemple: propoziie axi
ologic,
autoturism de teren, manual de chimie).
(d) termeni pozitivi (noiuni pozitive) / termeni negativi (noiuni negative)
-termeni pozitivi (noiuni pozitive) aceia care reflect prezena unei nsuiri
sau a mai multor
nsuiri la un obiect (clas de obiecte): (exemple: moral, rou, vertebrat);
-termeni negativi (noiuni negative) aceia n care se indic absena unor proprieti: (exe
ple:
orb, nesimetric, incorect, chiop, imoral).
Observaii:
(i) Cuvinte precum ,,anticorp, ,,antimaterie, ,,antiparticul sunt lingvisticnegative, dar
comunic noiuni logic-pozitive;
(ii) Exist termeni pozitivi (noiuni pozitive) i termeni negativi (noiuni negative) d
in punct de
vedere valoric (juridic, moral). Astfel, ,,delict, ,,crim, ,,minciun, ,,infraciune sun
termeni
pozitivi (noiuni pozitive) din punct de vedere logic i termeni negativi
(noiuni pozitive) din
punct de vedere valoric (juridic, moral).
Observaie:
n unele lucrri de specialitate apare o distincie aparte (care trimite,
de fapt, la analiza
distinciei (termeni absolui (noiuni absolute) / termeni relativi (noiuni re
lative)) i anume:
termeni independeni (noiuni independente) / termeni corelativi (noiuni corelative)
-termeni independeni (noiuni independente) aceia care pot fi gndii n mod
separat:
(exemple: cerc i patrulater, greutate i culoare);
-termeni corelativi (noiuni corelative) aceia care nu pot fi gndii n mod
separat: (exemple:
pozitiv-negativ, cauz-efect, absolut-relativ).
B: Din punct de vedere extensional (al sferei):
(a) termeni vizi (noiuni vide) / termeni nevizi (noiuni nevide)
-termeni vizi (noiuni vide) sunt aceia a cror extensiune nu conine niciun obiect; d
in aceast
categorie fac parte: (1) termenii logic-vizi (exemple: cerc-ptrat, ptrat-r
otund, infractor
nevinovat, cel mai mare numr prim) i termenii factual vizi (exemple: si
ren, balaur cu 9
capete, centaur, himer, libertate nelimitat);
-termeni nevizi (noiuni nevide) aceia a cror extensiune conine cel puin un obiect (e
xemple:
carte, urt, onest, frumos).
(b) termeni singulari sau individuali (noiuni singulare sau individuale)
/ termeni generali
(noiuni generale)
65
-termeni singulari sau individuali (noiuni singulare sau individuale) su
nt aceia care se refer
doar la un singur obiect (dac reflect n plan logic o clas cu un singur
element): (exemple:
Capitala Romniei, numrul prim divizibil cu 2, Colegiul Naional ,,Mihai Eminescu Suce
ava,
Liviu Rebreanu);
-termeni generali (noiuni generale) sunt aceia a cror extensiune conine
cel puin dou
obiecte (elemente): (exemple: capital, numr, telefon, copac, pdure).
(c) termeni colectivi (noiuni colective) / termeni distributivi (noiuni distributi
ve)
-termeni colectivi (noiuni colective)
87
sunt aceia a cror obiecte din extensiunea lor sunt, de
fapt, colecii de obiecte, astfel nct proprietile ce revin coleciei nu revin i fiecrui
mbru al
coleciei; din aceast categorie fac parte termenii individual-colectivi (aceia care
reflect n plan
logic o singur colecie de obiecte (exemple: Pdurea Bneasa , Muntele Ouoru)
i termenii
general-colectivi (aceia care reflect n plan logic o clas de colecii): (e
xemple: armat,
bibliotec, pdure);
-termeni distributivi sau divizivi (noiuni distributive sau divizive)
88
sunt aceia care apar n
plan logic ca expresie a ceea ce este general (comun) n obiectele ind
ividuale specifice unei
clase: (exemple: creion, pom, figur geometric, pahar, numr prim).
Observaie:
Cnd un termen (noiune) colectiv() este tratat ca un termen (noiune)
distributiv(a)/diviziv(), atunci se ncalc principiul identitii.
Exemplu: Zilele sptmnii sunt 7, iar miercuri este o zi a sptmnii. Prin urmare, miercur
i este
7.
(d) termeni vagi (noiuni vagi) / termeni precii (noiuni precise)
-termeni vagi (noiuni vagi) sunt aceia despre al cror obiect nu se poate preciza c
u exactitate
dac face parte sau nu din extensiunea termenului n sine: (exemple: bogat, detept, f
rumos, bun,
tnr). Extensiunea (sfera) unei noiuni vagi este alctuit din dou pri: un n
eu (care
reprezint partea precis) i o margine (parte n care nu mai este valabil c
ondiia de existen
specific obiectului termenului, adic acea parte nedeterminat, imprecis).
Exemple:
- Precizai tipul termenului (noiunii) ,,reedina judeului Suceava dup intensiune i du
extensiune:
Rezolvare:
,,reedina judeului Suceava dup intensiune: absolut, compus, concret, independent, poz
itiv;
- dup extensiune : nevid, singular, distributiv, pre
cis.
87
n cazul termenilor colectivi (noiuni colective) nu tot ce se spune despre ntreg (c
olecie sau clas de colecii) se
poate spune i despre fiecare element din componena sa. Altfel spus, raportul de la
ntrg la parte este partitiv.
88
n cazul termenilor divizivi (noiuni divizive) tot ce este adevrat despr
e ntreaga clas este adevrat i despre
fiecare element al ei.
margine
nucleu
Dac se consider c o anumit persoan
este tnr ntre 17-29 ani, atunci cnd e
vorba despre o persoan care are o vrst
de 30-31 ani se poate admite c se
ncadreaz undeva n limitele marginii
noiunii.
66
- Precizai tipul termenului (noiunii) ,,scund dup intensiune i dup extensiune.
Rezolvare:
,,scund dup intensiune: absolut, abstract, simplu, negativ;
dup extensiune: nevid, general, distributiv, vag.
1:
2:
3:
4:
A
B
A
67
A = triunghi
B = cerc
C = dreptunghi
(b) raportul de contradicie care exist ntre termenii (noiunile) A i
B
dac i numai dac
acetia (acestea) se exclud reciproc, iar universul de discurs
90
dat le cuprinde numai pe ambele.
Raportul de contradicie dintre termeni (noiuni) este fundamentat, mpreun de
principiul
noncontradiciei i principiul terului exclus.
Raportul de contradicie are urmtoarele forme:
-n acelai univers de discurs
A = legal
B = ilegal
-n afara universului de discurs
B (non-A)
A = om
B = non-om
Observaie:
n logic raportul gen-specie se deosebete de raportul parte - ntreg
91
, prin aceea c, n primul
caz, distincia se face ntre noiuni luate ca i clase (pasre - animal), n timp ce, n al
oilea caz,
avem de-a face cu o dezmembrare ntre fragmente ale obiectului desemnat (pagini carte, volan
- main, picior - trup).
Deosebirea dintre raportul gen-specie i raportul parte-ntreg sub aspectul
sferei i al
coninutului const n urmtoarele:
(1) raportul gen specie
- genul sub aspectul sferei cuprinde integral specia (la fel ca i ,,n
tregul), iar sub aspectul
coninutului se cuprinde total n coninutul speciei (contrar ,,ntregului);
- specia sub aspectul coninutului cuprinde integral genul (contrar ,,prii)
, iar sub aspectul
sferei se cuprinde total n sfera genului (ca i ,,partea).
(2) raportul parte ntreg
- partea sub aspectul coninutului nu cuprinde integral ,,ntregul (contrar
,,speciei), iar sub
aspectul sferei se cuprinde total ca ntre (la fel ca ,,specia).
- ntregul sub aspectul sferei cuprinde integral partea (ca i,,genul), ia
r sub aspectul
coninutului nu se cuprinde n coninutul prii (contrar ,,genului).
Exerciii:
90
Universul de discurs reprezint un cadru de referin, respectiv o categorie de
obiecte de un anumit gen, un gen
epuizat de una sau mai multe specii.
91
Sistemul de logic bazat pe relaia parte-ntreg se numete mereologie i a
fost elaborat de logicianul polonez
Lesniewski.
A
B
C
A B C
A
B
A
68
- Fie noiunile A, B, C astfel nct ntre A i B exist un raport de ncruciare, iar C, de
este n raport de opoziie cu A, este subordonat fa de B. S se formuleze
toate
propoziiile adevrate care au n componena lor exclusiv aceste noiuni.
Rezolvare
- se reprezint cele trei noiuni ntr-o diagram comun pentru a observa mai
uor propoziiile
adevrate care au n componena lor respectivele noiuni
A
B
C
- se observ
(1) Unii A
(2) Unii B
(3) Unii A
(4) Unii B
(5) Niciun
(6) Niciun
(7) Toi C
(8) Unii B
(9) Unii B
69
D
B
A
D
A
E
B
C
70
LOGICA OPERAIILOR
N CARE SUNT UTILIZAI
TERMENII (NOIUNILE)
71
5.1 DEFINIIA
5.1.1 Caracterizare general
Definiia reprezint o asociere a operailor logice de generalizare i de spe
cificare
(determinare). n literatura de specialitate se distinge ntre definire i d
efiniie. De obicei, prin
definire se nelege operaia logic prin intermediul creia este redat intensiun
ea unui termen.
n aceast situaie se impune o precizare menit s lmureasc oarecum rolul unei
astfel de
operaii. Astfel, pe de o parte, cnd respectiva intensiune este exprimat ca neles al u
nui cuvnt
sau al unui grup de cuvinte, atunci admitem c se definete un termen.
Pe de alt parte, cnd
respectiva intensiune este exprimat ca totalitate a determinrilor specific
e unui anumit obiect,
atunci admitem c se definete o noiune. Prin definiie se nelege propoziia c
re fixeaz
rezultatul operaiei de definire.
Prin urmare, putem aprecia c definiia este operaia logic prin care se in
troduce un
raport de identitate ntre dou obiecte (termeni-noiuni; expresii) i, prin c
are, de asemenea, se
exprim un proces de comunicare. Cu alte cuvinte, se poate admite c o
definiie este corect
dac sfera definitului coincide cu sfera definitorului, adic dac ntre cei doi termeni
ai definiiei
se stabilete un raport de identitate. Deoarece procesul de comunicare s
e refer la o form de
cunoatere specific, se poate preciza faptul c nicio definiie nu poate fi
acceptat n mod
absolut. n acest mod, se poate admite caracterul relativ al definiiei.
Este cunoscut, n acest
sens, disputa ntre punctul de vedere cognitiv (care admite c definiia se
refer la o anumit
experien de cunoatere) i punctul de vedere lingvistic (care consider c definiia trimit
la un
mod specific de folosire a limbajului).
.
5.1.2 Structura definiiei
Structura oricrei definiii trebuie s fie exprimat prin formulele:
A=
df.
B (1) i/sau A=
df.
BC (2)
unde:
A-definitul (definiendum sau obiectul definiiei) care constituie cee
a ce trebuie
definit;
B sau BC-definitorul (definiens) care constituie acele caracterisitici u
tilizate n procesul de
precizare a obiectului definiiei; se observ c n formula (2) definitorul e
ste
compus din doi termeni, B (care exprim genul proxim) i C (care exprim
diferena specific), prin intermediul crora se definete A (definitul);
,,=
df.
- relaia de definire (se citete ,,este identic prin definiie, ,,este prin definiie).
Exemplu: Memoria se definete ca procesul psihic de stocare i reactualiza
re selectiv a
informaiei.
72
unde:
definitul - memoria;
relaia de definire -,,se definete ca;
definitorul - ,,procesul psihic de stocare i reactualizare selectiv a in
formaiei;
se
observ c definitorul se descompune n gen proxim (,,proces psihic) i difere
n
specific (,,de stocare i reactualizare selectiv a informaiei).
B
A
73
(b) definiia este prea ngust dac termenul definitor (B) este subordonat t
ermenului definit
(A). Altfel spus, definitorul se refer doar la o parte a definitului i
nu la totalitatea lui
(extensiunea definitorului este mai mic dect cea a definitului).
Exemplu:
Psihologia este tiina care studiaz gndirea.
Aceast definiie este prea ngust deoarece mai exist cel puin o diciplin car
se ocup cu
studiul gndirii, de pild logica.
Aceast definiie este simultan prea larg, deoarece exist i persoane care citesc cri fr
e
elevi i, prea ngust, deoarece exist persoane care nu citesc cri de astrono
mie i cu toate
acestea sunt elevi.
(2) Regula ireflexivitii i asimetriei - definiia trebuie s previn viciul ci
rcularitii
(definiia nu trebuie s fie circular), adic termenul definitor (B) nu treb
uie s conin n
alctuirea sa definitul (A). Aceast regul se mai numete regula ireflexivitii (prin inte
rmediul
creia se cere ca A s nu fie definit prin A) sau regula asimetriei (prin intermediu
l creia se cere
ca A s nu fie definit prin B, iar B prin A).
Exemplu: Logica=
df.
activitatea logicianului.
acelai lucru cu
termenul ,,economist (plural: ,,economitii).
Cazurile speciale sunt
- noiunile corelative
c.), care nu
pot constitui obiect
t excepii n
virtutea relaiei care
date de:
(nord-sud, negativ-pozitiv, ntreg-parte, so-soie, cauz-efect et
al definiiei dect luate mpreun; aceste noiuni reprezin
le unete.
Este de remarcat, ns, situaia n care i n cazul noiunilor, dar i n cazul propoziii
negaia lingvistic nu coincide cu negaia logic, ci cu un mod mai convenab
il de a evidenia
prezena unei nsuiri a definitului (a obiectului definiiei).
Exemplu: ntunericul este absena de lumin.
Totodat, mai este de remarcat i situaia n care o definiie negativ poate fi circular.
Exemplu: Omul harnic este omul care nu este lene.
n aceast situaie se observ c termenul ,,lene se definete ca negaie a
,,harnic
(,,non-harnic).
De asemenea, trebuie menionat c nici definiiile prin propriu (acelea care arat doar
ce
note aparin exclusiv, dar fr a fi necesare, definiendum-ului i, care, tot
odat, nu enumer
notele necesare ale noiunii de definit) nu se subordoneaz acestei reguli.
Exemplu: Omul este un animal care construiete avioane.
75
(5) Regula consistenei - definiia trebuie s fie consistent, adic definiia nu trebuie s
intre
n raport de opoziie (contradicie) cu alte definiii deja acceptate ca fiind corecte n
cadrul unui
sistem. Spre deosebirile de regulile anterioare care trimit att la extensiunea, ct
i la intensiunea
termenilor, regula consistenei se refer la relaiile existente ntre propoziiile din in
teriorul unui
anumit sistem.
OBSERVAIE:
n literatura de specialitate se vorbete despre EROAREA DEFINIIEI ABUNDENTE
(definitio abundans) definiia respectiv cuprinde n definitor definiens note neesenia
le.
Exemplu:
Paralelele sunt acele linii care au aceeai direcie i aceeasi distan ntre ele pretuti
ndeni.
5.1.4 Tipuri de definiii
Problema realizrii unor criterii optime prin care s poat fi clasificate
definiiile este
destul de vast. Astfel, n lucrri de specialitate au fost propuse diverse modaliti de
clasificare
n funcie de anumite criterii mai mult sau mai puin pragmatice. n continu
are redm cteva
criterii care s-au ,,ncetenit oarecum n cele mai multe lucrri de logic.
(a) Dup valoarea lor gnoseologic se disting:
a.1. Definiii tiinifice (care au valoare intrinsec) sunt acelea prin care
este relevat un grad
ridicat de tiinificitate i care prezint caracteristici eseniale a ceea ce este prezen
tat
Exemplu: Izotopii sunt specii de atomi cu acelai numr atomic (acelai numr de protoni
) i cu
un numr de mas diferit (numr diferit de neutroni).
at n mod
direct (n sensul c proprietile definitorii sunt redate direct astfel nct obiectul defi
nit poate fi
recunoscut i prin alte mijloace).
Exemplu: Ptratul este rombul cu toate unghiurile egale.
de modul n care se analizeaz tipul de definiie la care aceasta se refer (lexical, sti
pulativ, de
precizare). De pild, definiiile lexicale pot fi adevrate sau false, definiiile stipu
lative nu pot fi
adevrate sau false (deoarece sunt simple convenii), definiiile de precizar
e dau natere la
problematizri n ceea ce privete adevrul i falsitatea lor.
Exemplu: Minunat =
df
adjectiv prin care se nelege calitatea de a fi magnific, ncnttor,
splendid, excepional, extraordinar.
Definiiile nominale pot fi:
c.2.1 Definiii lexicale (sau definiii explicative sau definiii de nregistra
re) acelea
care exprim toate sensurile unui cuvnt:
Exemplu: Prin ,,broasc se nelege 1. nume dat mai multor animale amfibii
din clasa
batracienilor, fr coad, cu picioarele dinapoi mai lungi, adaptate pentru srit cu gur
a larg i cu
ochii bulbucai; 2. plant arborescent exotic avnd flori mari, galbene i frun
ze groase,
cultivat ca plant de ornament; 3. mecanism montat la o u, la un sertar etc. pentru a
le ncuia
cu ajutorul unei chei.
c.2.2 Definiii stipulative (sau definiii de introducere) acelea care int
roduc termeni,
prescurtri,simboluri i sensuri noi n vocabularul unei limbi sau chiar pentru un cuvn
t
deja existent; aceste definiii nu sunt nici adevrate, nici false deoarec
e ele exprim o
anumit convenie de a (re)formula sensurile unui cuvnt sau grup de cuvinte; n cazul
definiiilor stipulative relaia de definiie poate fi redat i prin expresii
cum ar fi ,,se
nelege, ,,numim etc.
Acestea pot fi:
c.2.2.1 definiii stipulative de introducere a unui nume nou n vocabularul unei lim
bi
Exemplu: Prin ,,software se nelege un sistem de programe pentru computere i procedur
ile de
aplicare a lor furnizate o dat cu computerul sau alctuite de utilizator.
c.2.2.2 definiii stipulative de introducere a unui sens nou pentru un nume deja e
xistent
77
Exemplu: Prin ,,singularitate se nelege calitatea de a fi singular, iar n
alte situaii ciudenie
sau bizarerie. Tot prin ,,singularitate se nelege (un termen din fizic) un punct n sp
aiu-timp la
care curbura spaiu-timpului devine infinit.
c.2.2.3 definiii stipulative de precizare a unui sens special
Exemplu: Prin stea neutronic se nelege o stea rece, susinut de respingerea
ntre neutroni
datorat principiului de excluziune.
c.2.2.4 definiii stipulative de precizare a unei prescurtri
Exemplu: APSU reprezint Asociaia Profesorilor de Socio-Umane (care s-a nfiinat la Su
ceava)
specializat n probleme de educaie i cultur.
c.2.3 Definiii de precizare acelea care stabilesc nelesul unui termen vag i care, pe
de o parte, se disting de definiiile stipulative, iar pe de alt parte,
se aseamn cu
definiiile lexicale prin existena termenului aflat deja n circulaie; altfel spus, n c
azul
definiiilor de precizare, este vorba despre un termen aflat deja n circulaie.
Exemplu: n acest text, prin ,,departe se nelege o aciune cu sens temporal
ce poate fi
localizat n trecut (sau n viitor).
78
Totodat, definiiile generice (sau definiiile prin gen proxim i diferen speci
fic) nu
sunt aplicabile noiunilor universale (univers, realitate, existen, Dumnezeu)
, de pild,
categoriilor filosofice (care nu au gen) sau noiunilor individuale (care nu au sp
ecii). Altfel spus,
noiunea este alctuit din genul n care este cuprins respectiva noiune (genus
proximum) i
diferena specific (differentia specifica).
Prin urmare, definiia prin gen (proxim) i diferen (specific) trebuie s nd
plineasc
urmtoarele condiii:
(a) genul trebuie s fie proxim, adic supraordonat imediat;
(b) diferena s fie specific, adic s reprezinte o not proprie din intensi
unea
(coninutul) definitului care s-l diferenieze de celelalte specii incluse n genul pro
xim;
(c) un termen poate fi inclus, succesiv, n genuri proxime diferite; cu
alte cuvinte, un
termen poate fi definit corect n mai multe moduri;
(d) genul proxim nu trebuie exprimat ntotdeauna n mod explicit (ar asiati
c=
df
China, Vietnam etc., deoarece n acest caz genul este subneles prin expresia ,,orica
re
dintre rile).
d.1.2 Definiii genetice (sau definiii constructive) sunt acelea prin car
e se arat geneza
obiectului la care se refer definitorul.
Exemple: Cercul este figura obinut prin secionarea unui cilindru drept pe
un plan paralel cu
baza.
Cercul reprezint prin definiie o figur geometric plan rezultat prin rotirea cu 360
0
a unui punct n jurul altui punct fix (numit centru) la o distan egal de acesta.
Definiia genetic are i gen proxim i diferen specific i, prin urmare, ea
e o definiie
corect. Definiia genetic (care arat cum se construiete un obiect) se deose
bete de definiia
descriptiv care arat ce este un obiect (definiiile reale) sau care este sensul unui
anumit cuvnt
(definiiile nominale). n definiiile genetice, definitul (obiectul de definit) este
un obiect natural,
iar definitorul reprezint unicitatea procesului natural n care, de altfel
, nu este nevoie de
intervenia omului; altfel spus, prin aceste definiii este indicat naterea
definitului (geneza
acestuia).
d.1.3 Definiii constructive sunt acelea prin care se arat modul de formare a obie
ctului la care
se refer definitorul. n definiiile constructive, definitul (obiectul de de
finit) este un obiect
provocat de intervenia omului, iar definitorul prezint entitile prin interm
ediul crora sunt
evideniate metodele i ntregul proces de ,,construcie .
Exemplu: Sfera este locul geometric obinut prin rotirea cu 180
0
a unui cerc n jurul diametrului
su.
d.1.4 Definiii operaionale sunt acelea redate prin intermediul operaiilor
sau proceselor de
identificare a entitii respective.
Exemplu: Acizii sunt substane care nroesc hrtia de turnesol.
d.1.5 Definiii prin simpl sinonimie sunt acelea n care definitul este exprimat prin
intermediul
unui cuvnt, iar definitorul este redat printr-un cuvnt sau un grup de cuvinte, dar
care are acelai
neles cu definitul. Definiiile prin simpl sinonimie se dovedesc a fi util
e n procedeul de
construire a definiiilor lexicale. Inconvenientul unei astfel de propoziii
const n faptul c nu
79
ntotdeauna se gsete pentru explicarea unui cuvnt un sinonim adecvat. Mai
mult, n cazul
definiiilor prin simpl sinonimie se poate produce eroarea cunoscut sub nu
mele de ,,viciul
circularitii.
Exemplu: ,,Pripit nseamn necumpnit.
d.2 Definiii extensionale (denotative) sunt acelea care prin precizarea
n definitor a unor
obiecte din extensiunea definitului redau, de fapt, intensiunea definitu
lui; altfel spus, este
precizat extensiunea unui termen (mulimea de obiecte) caracteristic acestuia.
Exemple:
Prin flori se nelege oricare dintre trandafir, crin, lalea, n
arcis etc. definiie
prin
enumerare (parial)
Aceast floare reprezint o lalea. definiie prin indicare
Definiiile extensionale pot fi:
d.2.1 Definiii prin enumerare sunt acelea prin care se numesc obiecte
din sfera noiunii. n
acest sens, se disting:
d.2.1.1.definiii prin enumerare complet:
Exemplu: Prin continent se nelege oricare dintre urmtoarele: Europa, Asia,
Africa, Australia,
d.2.2 Definiii prin indicare (sau definiii ostensive sau definiii demonstrative) su
nt acelea care
arat obiectul prin indicare, fcndu-se apel la expresii de forma ,,acesta
(aceasta) este
(reprezint) un (o) ..., ,,n imaginea respectiv se afl (exist, se observ)..., ,,iat..
Exemple: Fructul acesta reprezint un mr.
n imaginea respectiv exist un mr.
speciile
componente. Cu alte cuvinte, clasificarea este o operaie raional prin car
e o anumit mulime
de noiuni cu un oarecare grad de generalitate este grupat n noiuni cu un grad de gen
eralitate
mai ridicat. ,,Clasificarea este operaia logic prin care obiectele din alctuirea un
ei mulimi sunt
ordonate n submulimi disjuncte, adic n submulimi care nu au niciun element comun
93
. Prin
urmare, clasificarea reprezint rezultatul procesului de abstractizare. Cu
toate acestea, procesul
de abstractizare este n sine arbitrar, deoarece constituirea claselor de
obiecte se realizeaz n
funcie de o anumit proprietate (care este comun obiectelor), n acest sens
, existena altor
proprieti nefiind luat n considerare.
Clasificarea se deosebete:
(a) de generalizare (cu care nu trebuie confundat), dei n ambele operaii se ajunge l
a noiuni
din ce n ce mai generale.
(b) de diviziune (creia, din punct de vedere logic, i se opune), care
reprezint operaia logic
prin care genul este descompus n speciile sale.
n clasificare se admite c se trece de la specie la gen, spre deosebire de diviziun
e unde se
trece de la specii la gen. Aceast situaie se poate exprima prin ideea c n clasifica
re obiectele
individuale sunt grupate n clase indivizi, pe cnd n diviziune se divid ntotdeauna do
ar noiuni.
Totodat trebuie precizat c o clasificare riguroas i corect se poate concretiza numai
dac este
respectat condiia conform creia se cunosc temeinic att obiectul clasificrii,
ct i
particularitile logice specifice acestei operaii.
Una dintre problemele cu care se confrunt gndirea referitor la operaia
logic de
clasificare este aceea prin care se ncearc s se evite confuzia ntre clas
a obiectelor i clasa
noiunilor.
5.2.1.2 Structura clasificarii
Structura clasificrii este dat de urmtoarele componente:
(a) elementele clasificrii, adic lucrurile (noiunile-acestea pot fi noiuni individua
le sau noiuni
cu un grad redus de generalitate), care umeaz a fi clasificate i care
formeaz obiectul
clasificrii;
(b) clasele obinute, adic noiunile (acestea pot fi noiuni generale sau noi
uni cu un grad de
generalitate mai ridicat) rezultate n urma concretizrii operaiei de clasificare;
(c) fundamentul (criteriul) clasificrii, adic proprietatea (nota, diferena
specific) pe baza
creia se realizeaz gruparea elementelor (universului) clasificrii n clase;
criteriul unei
clasificri poate fi dat sau de o proprietate sau de o categorie de proprieti; de pi
ld, dac vom
clasifica elevii unei coli n elevi foarte buni, elevi medii i elevi slabi, atunci s
e observ c ei au
fost astfel clasificai dup criteriul performanei colare. n acest sens, n literatura de
specialitate
se apreciaz c proprietile sunt criterii de tip I (elevi foarte buni, elevi medii i el
evi slabi), iar
categoriile de proprieti sunt criterii de tip II (performan colar).
93
Gheorghe-Ilie Frte, ,,Repere ale tiinei comunicrii, n tefan Celmare / Constantin Sl
(coordonatori),
Existen, cunoatere, comunicare, Editura Universitii ,,Alexandru Ioan Cuza Iai, 2002, p
194.
81
Exemplu de clasificare:
elementele clasificrii: numere pare i numere impare
clasa obinut: numere ntregi
fundamentul clasificrii: divizibilitatea cu 2
5.2.1.3 Tipuri de clasificare
I. Dup utilitatea pe care o reprezint
(a) Clasificare natural (cognitiv) prin care clasele sunt descrise aa cum sunt ele
n realitate;
Exemple: Clasificarea elementelor chimice n funcie de masa lor atomic.
Clasificarea fiinelor umane dup temperament: colerici, sangvinici, melancol
ici,
flegmatici.
(b) Clasificare artificial (pragmatic, convenional) prin care clasele sunt
formate dup
criterii convenionale.
Exemplu: Clasificarea crilor dintr-o bibliotec poate fi realizat n funcie de mai multe
criterii:
numele autorului, domeniul tiinific, anul apariiei etc.
Observaie: n literatura de specialitate criteriul utilitii (clasificare natu
ral i clasificare
artificial) mai este cunoscut i sub denumirea de criteriul tiinific (clasi
ficare teoretic i
clasificare artificial)
Dup valoarea tinific:
(a) Clasificare teoretic unde clasele obinute pot fi att reale, ct i posibile;
(b) Clasificare empiric unde clasele obinute pot fi doar clase reale.
Not: ntre clasificarea teoretic i clasificarea empiric nu exist o demarcaie absolut.
stea
se completeaz reciproc.
II. Dup natura obiectelor:
(a) Clasificare exact - care admite c pentru orice obiect din universul
supus clasificrii se
poate preciza cu exactitate crei clase aparine;
(b) Clasificare inexact care admite c pentru orice obiect din universul supus clas
ificrii nu se
poate preciza cu exactitate crei clase aparine.
III. Dup operaiile care se aplic obiectelor din clasele obinute:
(a) Clasificare nominal (cardinal) reprezint rezultatul operaiei de numrare a element
elor
clasificrii;
Exemplu: Clasificarea populaiei unei ri n funcie de bolile profesionale.
(b) Clasificare ordinal reprezint rezultatul operaiei de numrare, de compa
rare i de
ierarhizare a elementelor n funcie de gradul realizrii unui anumit criteriu.
Exemplu: Gruparea unor elevi n funcie de performanele lor colare.
IV. Dup numrul claselor obinute:
(a) Clasificare dihotomic clasificarea elementelor clasificrii se realizeaz doar n d
ou clase.
82
Exemplu: n funcie de domeniul eticii, clasificarea faptelor umane se grupeaz n fapte
morale i
imorale.
(b) Clasificare politomic (trihotomic, tetratomic etc.) clasificarea elementelor se
realizeaz
n mai mult de dou clase.
Exemplu: Este firesc s regsim n cadrul aceleiai clase drept specii liliec
ii i oarecii (dei
oarecii nu pot zbura), ambele specii fiind mamifere.
n cazul n care nu se respect aceast regul apare eroarea conform creia pro
prietile
comune (asemnrile) sunt cel puin la fel de importante ca i deosebirile.
Exemplu: Nu este firesc s se regseasc n cadrul aceleiai clase lstunii i liliecii (i l
ii i
liliecii sunt capabili s zboare, dar aceast proprietate nu este mai important dect f
aptul c att
lstunii, ct i liliecii au o structur intern diferit, sau c liliecii sunt mamifere, iar
lstunii nu
sunt mamifere).
5.2.2 DIVIZIUNEA
5.2.2.1 Caracterizare general
Diviziunea (numit i clasificare analitic) este operaia logic prin intermed
iul creia
genul este descompus n speciile sale (dup un anumit criteriu). Diviziunea descompu
ne o clas
n subclase. Aadar, diviziunea mparte un gen n speciile sale i nu un ntreg
n prile sale
componente (de exemplu, delimitarea corpului insectelor n cap, torace i abdomen nu
reprezint
o diviziune, ci o mprire a unui ntreg n pri). Mai mult, diviziunea se bazeaz pe opera
e
A
B C
84
specificare (determinare) care este opus operaiei de generalizare (abstractizare) i
se realizeaz
asupra sferei noiunilor.
Exemplu de diviziune: n extensiunea noiunii definiiei extensionale (denotat
ive) se disting
subspeciile definiie prin indicare i definiie prin enumerare. Schematic, aceast divi
ziune poate
fi redat astfel (se citete de la stnga la dreapta):
OBERVAIE:
-n cazul diviziunii schema se citete de la stnga spre dreapta;
-n cazul clasificrii schema trebuie citit de la dreapta spre stnga.
Diviziunea presupune anumite caracteristici :
- se deosebete de clasificare (fa de care, din punct de vedere logic, se opune), ca
re reprezint
operaia logic prin care genul se construiete din speciile sale; spre deosebire de c
lasificare unde
se urc de la specie la gen, n diviziune se coboar de la specii la gen; aceast situaie
presupune
ideea conform creia n operaia raional de diviziune ntotdeauna se divid doar noiuni, pe
cnd
n operaia raional a clasificrii obiectele individuale sunt grupate n clase indivizi.
-nu trebuie confundat cu analiza cunoscut i sub numele de partiiune; prin diviziune
se obin
specii, care posed toate notele (nsuirile) genului (genul triunghi se div
ide n speciile
triunghiuri scalene, triunghiuri isoscele i triunghiuri echilaterale), n t
imp ce prin analiz
(partiiune) se obin pri, care nu posed toate notele (nsuirile) ntregului (triunghi, c
reg,
este alctuit din laturi i unghiuri).
Observaie: n diferite lucrri de specialitate analiza este neleas drept dezme
mbrare i, de
aceea, unii autori atrag atenia i asupra acestui concept. Firete, aici este vorba,
mai degrab, de
o problem de natur conceptual. Altfel spus, se admite c diviziunea se de
osebete de
dezmembrare, n sensul c prima (diviziunea) presupune o distribuire a spe
ciilor n cadrul unui
gen, iar cea de a doua (dezmembrarea) relev faptul c prile unui ntreg sunt luate drep
t specii
ale acestuia (a se vedea subcapitolul DEZMEMBRAREA).
86
(3) Regula (criteriului) fundamentului unic pe aceeai treapt a diviziuni
i fundamentul
trebuie s fie unic
Noiunea de ,,definiie poate fi divizat dup criteriul care intereseaz (dup valoarea l
r
gnoseologic, dup modalitatea de exprimare, dup natura obiectului de defini
t), n sensul c
delimitarea speciilor trebuie concretizat n funcie de criteriul respectiv.
Exemplu: noiunea ,,definiie nu poate fi divizat (pe aceeai treapt a diviziu
nii) n definiii
explicite, definiii implicite, definiii tiinifice, definiii netiinifice, deoare
e s-ar folosi att
criteriul modalitii de exprimare, ct i criteriul gnoseologic.
Dac nu se respect aceast regul apare eroarea diviziunii cu mai mult de un fundamen
t
(o diviziune care aplic tacit dou sau mai multe fundamente).
Exemplu de diviziune incorect: Soldaii sunt artileriti, infanteriti, aviatori, geniti
, vntori de
munte i voluntari.
(4) Regula continuitii (diviziunea nu trebuie s fac salturi), adic dup grad
ul lor de
generalitate, speciile la care se ajunge prin diviziune nu trebuie s fie ndeprtate
de noiunea de
divizat (obiectul diviziunii). Altfel spus, nu trebuie admis trecerea (s
altul) de la gen la
subspecie. Dac nu se respect aceast regul diviziunea nu mai este complet.
Exemplu: Diviziunea animalelor n mamifere i nevertebrate (din punct de v
edere biologic) nu
este corect, deoarece apare un salt de la gen (animal) la subspecie (
nevertebrate), srindu-se
peste specia vertebratelor.
5.3 DEZMEMBRAREA
5.3.1 Caracterizare general
Dezmembrarea nu trebuie confundat cu diviziunea, aceast distincie urmnd distincia
dintre gen i specie, respectiv distincia dintre ntreg i parte.
n cazul diviziunii distribuirea speciilor n cadrul unui gen;
Exemplu de diviziune: mprirea anilor n biseci i nebiseci (dup numrul zilelor).
n cazul dezmembrrii prile unui ntreg sunt luate drept specii ale acestuia;
Exemplu de dezmembrare: mprirea anului n luni sau anotimpuri.(Luna poate f
i, de pild, o
specie, alturi de an ori de zi, n diviziunea unitilor de msur ale timpului, deci gradu
l su de
generalitate este teoretic acelai cu cel al anului).
5.5.1 ANALIZA
88
5.5.2 SINTEZA
Exerciiul 2
Corelai regulile clasificrii cu explicaiile specifice acestora:
(1) Regula completitudinii
ai
clasificrii, clasele
oinute i criteriul clasificrii
(3) Regula omogenitii
(c) Pe aceeai treapt a clasificrii, ntre clasele obinute
trebuie s existe doa
r raporturi de opoziie (contradicie
sau contrarietate
(4) Regula celor trei entiti logice (d) Fiecare element din universul clasificrii
s fie
distribuit ntr-o anum
it clas
Rezolvare:
(1) - (d); (2) (c); (3) (a); (4) (b)
Exerciiul 3
S se analizeze urmtoarele clasificri i s se precizeze dac sunt sau nu sunt corecte. n
cazul celor incorecte s se precizeze ce reguli s-au nclcat.
Triunghiurile se clasific n:
curbiliniu
dreptunghi
triunghi
echilateral
triunghi obtuzunghic
triunghi oarecare
triunghi oarecare
Rezolvare: Clasificarea dat nu este corect (nu e complet). Aceast situaie
se justific prin
faptul c s-au utilizat mai multe criterii (de clasificare). S-a nclcat r
egula conform creia
criteriul clasificrii trebuie s fie unic ntr-o operaie.
91
92
LOGICA
PROPOZIIILOR
COMPUSE
93
p operaii logice
1 1 1 0 0
0 1 0 1 0
Cele 16 operaii de ordinul doi (binare) sunt urmtoarele:
1
2
3
4
5
6
7
8
9
10
11
12
p
1
1
0
0
q
1
0
1
0
tautologie;
disjuncia inclusiv;
replicaia (implicaia convers);
afirmarea lui p;
implicaia;
afirmarea lui q;
echivalena;
conjuncia;
incompatibilitatea (conjuncia negat);
disjuncia exclusiv;
negaia lui q;
implicaia negat;
1 2 3 4 5 6 7 8 9 10 11 12 13
1 1 1 1 1 1 1 1 0 0 0 0 0 0
1 1 1 1 0 0 0 0 1 1 1 1 0 0
1 1 0 0 1 1 0 0 1 1 0 0 1 1
1 0 1 0 1 0 1 0 1 0 1 0 1 0
94
13
14
15
16
negaia lui p;
replicaia negat;
rejecia (disjuncia inclusiv negat);
tautologia negat (contradicia logic).
14 15 16
0
0
0
0
0
0
0
1
Aceste operaii logice se definesc i se reprezint prin tabele de adevr (matrice, sche
me).
De asemenea, pentru a se construi o matrice n care s existe numr maxim de combinaii
trebuie
s se in cont de formula:
N=2
n
, unde N-numrul de combinaii;
n-numrul de variabile propoziionale (numrul de propoziii);
2-numrul de valori de adevr.
O formul logic este o expresie de forma: (p vp) p, (pq)&q; (p&q ) (q&r), p&q,
p& p etc. Prin urmare, o formul propoziional constituie o expresie ce a
re n structura sa
variabile propoziionale i conectori logici. Respectndu-se criteriul valorii
de adevr, exist
urmtoarele formule logice:
(1) Tautologii (sau legi logice) se obin cnd indiferent de valorile pe care le au
componentele
formulei rezult n final valoarea adevrat (1).
Exemplu: (pvp) p
p (pvp) (pvp) p
1 1
1
0 0
1
n logic sunt cunoscute foarte multe astfel de tautologii. Orice tautol
ogie reprezint o
formul valid.
Exemple de tautologii :
(p p ) p - principiul reducerii la absurd
pp - principiul identitii
p p v
- principiul terului exclus
) ( p p . - principiul noncontradiciei
p p - legea dublei negaii
(p .p) p - idempotena conjunciei
( ) | | r q p . . ( ) | | r q p . .
- asociativitatea conjunciei
) |
r
r
r
p
q
q
| r p q p r q p
q r q p
p r q p
p r q p
- legea
v v - distributivitatea impli
q p v ( )
. ( p v q )
q p . ( )
v ( ) q p .
q p&q
0
0
1
0
1
1
0
0
p
p p& p
1 0
0
0 1
0
Prin urmare, aceste formule se pot clasifica:
(a) Formule consistente
- Tautologii, legi logice, formule valide;
- Formule contingente;
(b) Formule nevalide
- Formule contingente;
- Formule inconsistente (sau contradicii logice).
6.2 OPERAII LOGICE IMPORTANTE
Operaiile logice importante sunt: afirmaia, negaia, conjuncia, incompatibil
itatea
(negarea conjunciei), disjuncia inclusiv, implicaia, echivalena, disjuncia exclusiv.
6.2. 1 AFIRMAIA
Afirmaia este operaia logic prin care se susine o anumit stare a unui obiect logic.
Exemple: Afar plou.
Toi prinii sunt normali.
legile lui Auguste De Morgan (legile de dualitate)
96
6.2. 2 NEGAIA
Negaia este operaia logic prin care din adevrat se obine fals, iar din
fals se obine
adevrat.
n limbajul natural, negaia se recunoate dup ,,este fals c, ,,se neag c
nu este
adevrat c. Negaia se simbolizeaz prin ,,~, ,, p, ..- p, ,, p ,,Np.
Propoziia negativ poate avea forma ,,non p .
Matricea specific negaiei este urmtoarea:
p
p
1
0
0
1
Exemple:
Este adevrat c afar plou. - afirmaia
Nu este adevrat c afar plou. - negaia
Proprietile negaiei sunt redate de urmtoarele formule:
(1) p = p - legea dublei negaii (sau legea involuiei)
(2) p = 1, cnd p = 0;
p = 0, cnd p = 1.
(3) p p v - principiul terului exclus
(4) p p & - principiul noncontradiciei
Observaie:
Utilizarea negaiei atrage de la sine stabilirea clar e tuturor entitilor
conceptuale
(noiuni, termeni) asupra crora se realizez aceast operaie logic. Altfel spus
, atenia trebuie
s se concentreze pe elementele argumentrii. De exemplu, urmtoarea propoziie
,,Nu este
adevrat c toate uile mari sunt nchise nu este echivalent cu nicuna dintre
urmtoarele
propoziii: ,,Toate uile mari sunt deschise sau ,,Toate uile mici sunt nchi
se. Prin urmare, a
aeza negaia pe ntreaga propoziie (,,nu este adevrat c...) nu nseamn c s
o
echivalen a acesteia (nu se ajunge la acelai rezultat) ca negarea unor
entiti ale respectivei
propoziii (negarea subiectului sau negarea predicatului).
q p&q
1
1
0
0
1
0
0
0
p
1
1
1
1
0
0
0
0
q
1
1
0
0
1
1
0
0
r
1
0
1
0
1
0
1
0
p&q&r
1
0
0
0
0
0
0
0
Exemple:
n ziua de luni ai un program ncrcat, iar n ziua de joi eti mai liber.
Dei afar este timp frumos, tu stai n cas.
Cu toate c am alergat foarte tare, am ajuns al doilea la linia de sosire.
Observaie:
Sensul logic nu coincide ntotdeauna cu sensul gramatical. Altfel spus, conjuncia
,,i nu
ndeplinete totdeauna rolul unei conjuncii logice.
(1) Formularea ,,Iulian este profesor i ministru se consider o relaie ntre
dou propoziii
diferite:
p - ,,Iulian este profesor;
q - ,,Iulian este ministru.
98
` 6.2. 4 INCOMPATIBILITATEA (negarea conjunciei, excluziunea)
Incompatibilitatea este operaia logic prin care se obine o propoziie compu
s fals
dac prile componente ale acesteia au valoarea de adevrat. Incompatibilitate
a mai este
cunoscut i sub denumirea de ,,functorul lui Sheffer. Reprezentnd negaia con
junciei,
incompatibilitatea cere ca cel puin o propoziie s fie fals.
n limbajul natural, conjuncia poate fi recunoscut prin cuvintele: ,,incompatibil, ,,
nu i
unul i altul, ,,nu mpreun, ,,nu este cazul i unul i altul etc.. Incompat
litatea se
simbolizeaz prin ,, / , ,, | , ,,Dpq.
Propoziia incompatibil are forma ,,p incompatibil q.
Matricea incompatibilitii este urmtoarea:
p
1
0
1
q p / q
0
1
1
1
1
0
0 0
Exemple:
Nu poi s fii n clas i n curtea colii n acelai timp.
Este imposibil s fii pe Lun i pe Terra n acelai timp.
q
1
1
0
0
1
1
r
1
0
1
0
1
0
pvqvr
1
1
1
1
1
1
0 0 1 1
0 0 0 0
Exemple:
Fratele tu este elev sau student.
Mergem cu maina ori cu avionul.
Ai nvat la psihologie, fie la filosofie, fie la Logic i argumentare.
p
1
0
1
0
q
0
1
1
0
p w q
1
1
0
0
p
1
1
1
1
0
0
0
0
q
1
0
1
0
1
0
1
0
r
0
1
1
0
0
1
1
0
p w q w r
0
0
1
1
1
1
0
0
Exemple:
Sau m plimb, sau stau n cas.
Ori afli cine este vinovatul, ori i dai demisia.
Mine dimineaa voi pleca fie la stadion, fie la congres, fie la prietena mea.
n cazul disjunciei exclusive ntre dou propoziii, exist un raport de contradicie (adi
dou propoziii nu pot fi nici adevrate, nici false n acelai timp) i acione
z principiile
combinate ale terului exclus i noncontradiciei.
ATENIE!
Disjuncie inclusiv
Disjuncie exclusiv
M duc la cursuri sau stau acas
Sau m duc la cursuri, sau stau acas.
6.2.7 RAPORTUL DINTRE CONJUNCIE I DISJUNCIE
Raportul dintre conjuncie i disjuncie este unul de dualitate (conjuncia i
disjuncia
sunt operatori duali), adic n cazul n care n matricea unuia se schimb re
ciproc valorile
adevrat (1) i fals (0), atunci se obine matricea operatorului celuilalt.
Transformarea unui
operator n cellalt se realizeaz cu ajutorul legilor lui De Morgan.
Legile lui Auguste De Morgan sunt urmtoarele:
(1)
(2)
(3)
(4)
p&q q p v
pvq q p &
q p & p v q
q p v p &q
101
(5) p w q |
(6) | | |
conjunciei fa
(7) | | |
disjunciei fa
| ) & ( & ) ( q p q p v
| ) & ( ) & ( ) ( & r p q p r q p v v - distributivitatea
de disjuncie
| ) ( & ) ( ) & ( r p q p r q p v v v - distributivitatea
de conjuncie
q
|
0
1
1
0
q
0
0
0
1
Exemple:
Nici nu plnge, nici nu ip.
Definiie:
(1) (p| q) (
q p v
p &q
rezult 2
2
= 4 linii (combinaii).
102
n cazul implicaiei ntre dou propoziii adevrul primeia este asociat cu adevr
l,
falsitatea fiind asociat indeterminrii i acioneaz principiul condiionrii sufic
ente. Altfel
spus, ,,p constituie o condiie suficient pentru q, iar ,,q reprezint o condiie necesa
r pentru p.
Matricea implicaiei este urmtoarea:
p
1
0
1
0
q
0
1
1
0
p q
0
1
1
1
Exemple:
Dac mnnc mult, atunci m doare burta.
Matricea implicaiei se poate ilustra astfel:
Dac ai permis de conducere (1), atunci nu poi s cltoreti (0) fals
Dac nu ai permis de conducere (0), atunci poi s cltoreti (1) - adevrat
Dac ai permis de conducere (1), atunci poi s cltoreti (1) adevrat
Dac nu ai permis de conducere (0), atunci nu poi s cltoreti (0) - adevrat.
Definiii:
(1) pq p vq (
q p & )
Observaii:
n logic se distinge ntre implicaia formal (strict, necesar) i implicaia material:
- implicaia formal (strict, necesar), n cazul creia este imposibil ca antec
edentul s fie
adevrat i consecventul fals:
Exemple:
(a) Dac plou, atunci stau n cas.
(b) Dac nv, voi obine rezultate foarte bune.
- implicaia formal (strict, necesar)
se
citeste
,,p implic n mod necesar q(,,pq); n
concepia lui Clarence Irwing Lewis, implicaia strict se mai scrie ,,p q n loc de ,,p
q
94
.
- implicaia material, care nu ine cont de sensurile propoziiilor, ci doar de valoare
a lor :
Exemple:
(a) (1+1=2) (Sarmalele sunt foarte gustoase)
(b) p(qr).
- implicaia material
se
citeste
,,dac p, atunci q (,,p q);
103
(2) | | ) ( ) ( & ) ( r p r q q p - tranzitivitatea dac o propoziie
implic o a doua
propoziie, iar aceasta implic, la rndul ei, o a treia propoziie, atunci prima propoz
iie o implic
pe cea de a treia;
(3) (pq) ( q p )
(qp) ( p q )
q
0
1
1
0
p q
1
0
1
1
Exemple:
Vei mnca prjitura (p), numai dac vei fi un copil cuminte (q).
s.
n limbajul natural, echivalena poate fi recunoscut prin cuvintele: ,,dac
i numai
dac, atunci, ,,atunci i numai atuncicnd. De altfel, propoziia p q se mai citete:
- ,,p este echivalent cu q;
- ,,p dac i numai dac q;
-p este o condiie necesar i suficient pentru q.
Echivalena se simbolizeaz prin ,, , ,, , ,,Epq.
Propoziia implicativ reciproc are forma ,,p echivalent q.
Matricea specific echivalenei este urmtoarea:
p
1
0
1
0
q
0
1
1
0
p q
0
0
1
1
Exemple:
Dac i numai dac vei bea ap, atunci i vei potoli setea.
Numai dac citesc, m voi informa.
Definiii:
Pentru 2 variabile propoziionale: p, q
rezult 2
2
= 4 linii (combinaii).
Pentru 2 variabile propoziionale: p, q
rezult 2
2
= 4 linii (combinaii).
105
(1) p q | | ) ( & ) ( p q q p
Observaii:
n logic se distinge ntre:
- echivalena logic (formal);
- echivalena material, care nu ine cont de sensurile propoziiilor, ci doar de valoar
ea lor.
urmtoarele:
(7) (p 1)= p dac una din componentele echivalenei este adevrat, echivalena se reduce
a
valoarea de adevr a celeilalte componente;
(8) (p 0) = p - dac una din componentele echivalenei este fals, atunci echivalena se
reduce
la valoarea de adevr a celeilalte componente.
6.3 RAPORTURI SPECIFICE PTRATULUI LOGIC
106
- de ordonare sau implicaie (ntre conjuncie i disjuncia inclusiv; ntre reje
e i
incompatibilitate): dou propoziii compuse se afl n relaie de ordonare (implicaie) dac
ot fi
mpreun i adevrate i false;
- de echivalen: dou propoziii compuse se afl n relaie de echivalen cnd
eeai
valoare de adevr.
Exemplu:
Precizai raporturile logice existente ntre urmtoarele propoziii:
(1) Mihai este profesor, iar Mihaela este medic.
(2)
(3)
(4)
(5)
Rezolvare:
- Se noteaz cu variabile propoziionale propoziiile existente:
p - ,,Mihai este profesor;
p - ,,Mihai nu este profesor;
q - ,,Mihaela este medic;
q - ,,Mihaela nu este medic.
- Se stabilesc formulele corespunztoare propoziiilor date:
(1) p&q; (2) p v q; (3) p q; (4) p & q ; (5) p q gresitr
- Se construiesc tabele de adevr corespunztoare formulelor obinute:
(1)
(2)
(3)
(4)
(5)
p
1
0
1
0
p
1
0
1
0
p
p
1
0
1
0
p
p
1
q p&q
0
1
1
0
1
0
0
0
q p v q
0
1
1
1
1
1
0
0
q
q p &q
0 0 1 0
1 1 0 0
1 0 0 0
0 1 1 1
q
q
0
1
0
1
0
p
p
1
0
1
0
1
1
0
q
1
1
0
q
0
1
1
0
p
1
0
0
1
0
1
0
1
q
0
0
1
1
107
- Se compar rezultatele finale ale celor cinci formule:
Prima situaie:
(1) cu (2);
(1) cu (3);
(1) cu (4);
(1) cu (5).
p
1
0
1
0
1
0
0
0
1
0
0
0
1
0
0
0
1
0
0
0
situaie:
(3);
(4);
(5).
1
1
0
1
1
1
0
1
1
1
0
1
1
0
0
0
0
1
0
0
1
1
108
Se observ c exist urmatoarele relaii:
- relaie de contradicie ntre (3) i (4);
- relaie de subocntrarietate ntre (3) i (5).
(4) cu (5).
p
1
0
1
0
0
0
0
1
q (4) cu (5)
0
1
1
0
0
0
1
1
relaie
relaie
relaie
relaie
relaie
de
de
de
de
de
6. 4 INFERENE IPOTETICE
Inferenele ipotetice sunt acelea n care prima premis este o implicaie,
iar a doua
premis este dat sau de antecedentul (sau negaia acestuia) sau de consecventul (sau
de negaia
acestuia) implicaiei respective.
6.4.1 Modus (ponendo) ponens (sau formula de eliminare a condiionalului)
modul
afirmativ
Modus (ponendo) ponens (sau formula de eliminare a condiionalului) modul afirmati
v
- precizeaz c fiind dat o implicaie adevrat ntre dou propoziii, i dac
ntul
acesteia este adevrat, atunci i consecventul respectivei implicaii va fi adevrat:
pq
p
q
Modus ponens este ntlnit frecvent n demonstraii.
6.4.2 Modus (tollendo) tollens modul negativ
Modus (tollendo) tollens modul negativ precizeaz c fiind dat o implicai
e
adevrat dintre dou propoziii, iar consecventul acesteia este fals, atunci i
antecedentul
implicaiei respective este fals.
|
q p q p & ) (
Dac citesc, atunci neleg.
Citesc.
neleg.
Dac citesc, atunci neleg.
Nu neleg.
Nu citesc.
109
pq
q
p
Modus tollens este ntlnit frecvent n combatere.
Observaie: Modus ponens i modus tollens sunt scheme de inferen valide. Ele mai sunt
numite
i silogisme ipotetice mixte. Silogismul ipotetic mixt se distinge de silogismul i
potetic pur.
Silogismul ipotetic pur are urmtoarea structur:
pq
Dac plou, atunci stau n cas.
q r
Dac stau n cas, atunci lucrez la matematic.
pr
Dac plou, atunci lucrez la matematic.
n sens larg, prin silogism se nelege un argument deductiv format din dou premise.
n sens restrns, prin silogism se nelege un argument valid, care are o form special (n
ensul
c este alctuit din propoziii categorice) i care, este, de asemenea, format din dou pr
emise.
6.4.3 ERORI N INFERENELE IPOTETICE
De multe ori n analiza propoziiilor compuse se comit erori din cauz c acestea nu sun
t
nelese pe deplin. Rezult urmtoarele erori:
(i) Eroarea afirmrii consecventului
p
q
q
p
(ii) Eroarea negrii antecedentului
pq
p
q
Observaie: Schemele care rezult din eroarea afirmrii consecventului i din
eroarea negrii
antecedentului nu sunt valide.
(iii) Eroarea non sequitur (eroarea concluziei non-logice)
Exemple:
pq
q
p
pq
Dac sunt
Dac citesc, atunci
neleg.
Citesc.
Dac citesc, atunci
Nu citesc.
Nu neleg.
| | p q q p
& ) (
110
~ p
~ q
Nu sunt n Atena.
Nu sunt n Grecia.
q v
q
p
q v
q
Acest profesor este sau sever sau blnd.
Acest profesor este sever.
Acest profesor nu este sever.
pvq
q
p
(Sau) acest profesor este sever sau blnd
Acest profesor nu este blnd
Acest profesor este sever
(( q p & )&p) q
((
q p & )&q) p
((pvq)& p ) q
((pvq)&q ) p
111
p r q r p q p
) ( ) ( ) ( ) (
s q r p s r q p
v . .
) ( ) ( ) ( ) (
( ) ( ) ( , adic:
v v .
) ( ) ( ) ( , adic
r p s q s r q p
v . .
Structur
p q
r s
s q v
r p
Exemplu
Dac am bani, atunci merg la mare.
Dac mi cumpr bocanci, atunci merg la munte.
Nu merg la mare sau nu merg la munte.
Nu am bani sau nu mi cumpr papuci.
113
(i) fie ,,scpnd printre coarnele dilemei (artndu-se c disjuncia nu este complet); a s
printre coarnele dilemei nseamn a nega premisa disjunctiv, artnd c, ntruct
epuizeaz
toate alternativele posibile, atunci aceasta este fals.
Exemplu:
Se prea poate c (eu) s mnnc sau s fiu sedentar, i totui s nu m ngra, deoarece exis
ali factori care pot influena concluzia (,,m ngra): o boal, o medicamentai
mai mult sau
mai puin adecvat etc.
Concluzia este nentemeiat, deoarece nu exist o conexiune necesar ntre aciunea de ,,a c
iti i
,,a ti, nici ntre ,,a fi curios i ,,a se informa; e foarte posibil ca r
ealitatea zilnic
(imprevizibil uneori) s mi ofere i alte variante (n afar de ,,a citi sau de ,,a fi cur
os) pentru
,,a ti (ceva) sau ,,a m informa, astfel nct n oricare dintre variante eu pot s tiu,
t s
m informez sau, de ce nu, pot s promovez un examen sau pot s am o experien de via (mai
mult sau mai puin plcut).
6.7 METODE DE VERIFICARE A INFERENELOR CU PROPOZIII COMPUSE
6.7.1 Metoda matriceal (sau metoda tabelelor de adevr)
Metoda matriceal const n realizarea unui tabel (matrice) n care apar pr
opoziiile
(variabilele propoziionale) i valorile alethice (adevrat / fals). De asemenea, tr
ebuie s se in
cont de formula:
N=2
n
, unde N-numrul de combinaii;
n-numrul de variabile propoziionale (numrul de propoziii);
2-numrul valorilor de adevr.
pq
r q
pvr
q
Dac mnnc mult, atunci m ngra.
Dac sunt sedentar, atunci m ngra.
Mnnc mult sau sunt sedentar.
M ngra.
p
r
p
q
q
s
r
s
v
v
p
1
0
1
0
q
0
1
1
0
pq
0
1
1
1
(pq) vp
1
1
1
1
q
1
0
1
0
0
1
1
0
r p&q (p&q)&r
1
0
0
0
1
1
0
0
0
0
0
0
1
0
1
0
0
1
1
0
0
0
0
0
0
0
0
0
Se observ c nu este o formul valid deoarece se obin valorile adevrat (1) i fals (0).
Se obine o formul contingent.
- S se verifice dac formula (
Rspuns:
q p v
p
0
1
0
1
v )
1
0
0
1
1
1
0
1
p&q
0
0
1
0
0
0
0
0
115
Se observ c nu este o formul valid deoarece n toate situaiile se obin valori de fals
(0). n aceast situaie se spune c este o formul inconsistent (contradictorie).
q
0
1
1
0
p q
0
1
1
1
Exemple:
- S se verifice urmtoarea schem inferenial prin metoda reducerii la absurd:
pq
q
p
Rspuns:
Formula corespunztoare
[(pq)&q]
0 1 1
ordinea pailor:
6 4
q
0
1
1
0
1
0
1
1
linia
linia
linia
linia
1
2
3
4
reprezint eroarea
negrii antecedentului care, aa cum se tie, nu este valid ceea ce constit
uie un motiv n plus
pentru obinerea nevaliditii.
- S se verifice urmtoarea schem inferenial prin metoda reducerii la absurd
i prin
metoda matriceal:
pq
p
q
Rspuns:
Formula corespunztoare acestei structuri este urmtoarea:
[(pq)&p] q
0 1 1 1 1 0 0
ordinea pailor:
6 4 7 2 5 1 3
Se observ c aceast formul conduce la o contradicie (q=1 i q=0), deci ea reprezint
o lege logic.
Verificare prin metoda matriceal.
p
1
0
1
0
q
0
1
1
0
1
1
1
1
linia
linia
linia
linia
1
2
3
4
NOT
metoda
matriceal
metoda reducerii la absurd
metoda
matriceal
117
(a) n situaia n care antecedentul implicaiei este mai simplu dect consecve
ntul (secventul)
acesteia, atunci se aleg acele combinaii de adevrat (1) i fals (0) pent
ru care antecedentul ia
valoarea adevrat (1).
Exemplu:
- S se verifice: (p&q) [(p&q) (qr)] prin metoda reducerii la absurd:
Rezolvare: (p&q) [(p&q) (q r)]
1 1 1 0 1 1 1 0 1 0 0
2 1 3
7 5 8 4 9 6 10
Deoarece nu exist nici o contradicie, spunem c formula nu este o lege logic.
(b) n situaia n care consecventul implicaiei este mai simplu dect antecede
ntul (secventul)
acesteia, atunci se aleg acele combinaii de adevrat (1) i fals (0) pent
ru care consecventul ia
valoarea fals (0).
Exemplu:
- S se verifice: [(p&q)&(p&q)] ~ p prin metoda reducerii la absurd
Rezolvare:
[(p & q)&(p & q)] ~ p
1 1 1 1 1 1 1
0 0 1
6 4 7 1 8 5 9
2 3
Deoarece nu exist nici o contradicie, spunem c formula nu este o lege logic.
6.7.3 Metoda deciziei polinomiale
Aceast metod presupune:
- tratarea formulelor cu nite polinoame simple, fapt ce genereaz adunri i scderi arit
meticoalgebrice;
- respectarea urmtoarelor omologri:
(1) p = 1 p
(2) p & q = pq
(3) p vq = p + q pq
(4) pq = 1 p + pq
(5) p| q = 1 pq
- repectarea condiiei logice care este diferit de condiia matematic n sine:
Condiia logic:
Condiia matematic
p
2
= p
3
= p
p
2
= p x p; p
3
= p x p x p
p + p = p
p + p = 2p
Dac n final se obine valoarea 1, atunci formula dat reprezint o tautologie.
Exemple:
- S se verifice prin metoda deciziei polinomiale urmtoarea formul propoziional:
(pq) ( q p )
Rezolvare:
pq = 1 p + pq
118
(pq) ( q p ) (1p + pq) (1 ( q )+( q p )) (1 p + pq) (1(1q)+(1 q)(1 p)
(1 p + pq) (11 + q) + (1 p q + pq) (1 p + pq) (q + 1 p q + pq)
(1 p + pq) (1 p + pq)
p(pq)
Rezolvare:
p(pq) p(1 q + q p) 1 p + p (1 q + q p) 1 p + p p q + q p
2
dar p
2
= p (condiia logic); n aceste condiii formula propoziional 1 p + p
q + q p
2
devine 1 p q + q p = 1
Prin urmare, formula propoziional dat (p(pq)) este tautologic.
6.7.4 Metoda deciziei automate
Aceast metod const n faptul c:
(i) se verific o anumit formul pentru a stabili adevrul sau falsitatea c
are apare cu privire la
coninut:
(i) n decizie se trece la nivelul coninutului;
(ii) n demonstraie se trece la nivelul formei.
(ii) se accept singura axiom pp valid
unde ,, st pentru deducie i se citete ,,secvena
n cazul n care n formula dat apar i ali conectori n afara celor princi
ali, atunci se
urmrete s se realizeze echivalenele acestora. Conectorii principali sunt ne
gaia
95
(,,~),
conjuncia (,,&), disjuncia (,, v), implicaia (,, ).
Metoda deciziei automate presupune respectarea urmtoarelor reguli:
(1) se elimin conectorii i se pune semnul ,, n faa formulei respective
(n cadrul acestei
metode este important s nu se realizeze confuzia ntre semnul ,, care se citete ,,sec
vena i
semnul ,, care se citete ,,implic ;
(2) se realizeaz demonstraia propriu-zis.
Pentru a se demonstra o anumit formul trebuie s se porneasc de la secve
nele
elementare, iar prin intermediul regulilor de introducere a conectorilor se urmret
e s se ajung
la formula dat; o secven elementar este aceea care nu mai are conectori;
O secven elementar este valid dac i numai dac un constituent se afl n
e
pri alesecvenei.
95
Nu este potrivit ca negaia s fie considerat drept un conector logic, deoarece acea
sta nu face legtura propriu-zis
(nu ,,conecteaz) ntre propoziii. Negaia se aplic doar unei propoziii sau unui singur e
un luat n general (care
poate fi alctuit din mai multe propoziii).
119
O formul este valid atunci cnd toate secvenele elementare n care se descompune sunt
valide.
Exemplu:
- S se verifice prin metoda deciziei automate validitatea formulei ,,(p & q) p.
Rezolvare:
(3) p p
(4) q
(5) p
amental
(6) p
d
(7) q
d
(8) q
amental
& q
p & q
p
valid
q
din (2)
din (2)
din (3) - se observ c se obine secvena fund
din (3) se observ c se obine secvena nevali
q
valid
Deoarece s-au obinut secvene nevalide, atunci formula propoziional dat nu este valid.
- S se verifice prin metoda deciziei automate validitatea urmtoarei scheme infere
niale:
p| q
p
q
(1) se transform conectorul ,, | n funcie de conectorii principali, stabi
lindu-se echivalenele
de rigoare.
p| q p v q & p q
120
(2) se obine urmtoarea schem inferenial:
p v q
p
q
(3) p v q ; p q
poziioneaz n
(4) p v q ; p; q
mn schimbat,
adic fr negaie
din (4)
din (4)
din (5) se trece p n partea dreapt a secvenei
(5) p ; p; q
(6) q ; p; q
(7) p, q p
cu semn schimbat,
adic fr negaie
din (6) se trece q n partea dreapt a secvenei c
(8) p, qq
u semn schimbat,
adic fr negaie
Prin urmare, formula propoziional este valid.
q.e.d.
6.7.5 Metoda lui Charles S. Peirce (sau metoda nlocuirii succesive a v
ariabilelor
prin valori)
Aceast metod const n nlocuirea succesiv a variabilelor prin valori de 1 (adevrat) i
0 (fals), ntr-o variant cvasitabelar, inndu-se cont de urmtoarele omologri:
1 q = q; q 1 = 1;
q & 0 = 0
q v ~ q = 1;
q v 1 = 1;
q & 1= q;
0q = 1
q0 = ~ q;
q v 0 = q;
q & ~ q = 0
[ 1
(r v q)]
1
[ r
q
121
dac q = 1, atunci
(r v q)]
r v q
dac q = 0, atunci
dac q = 1, atunci
dac q = 0, atunci
1 r v 1
1 1
1
1
1
0 r v 0
0 r
1
1
1
1 [r (r v 1)]
1 [r (r v 0)]
1 [r 1] 1 [r r]
1
1
dac q = 1,
1 v 1 0 1 v 0 0
1
0
0
0
dac q = 1, atunci
(p w 1) & p 0
& p 0
- dac valoarea fals (0) apare ntr-o conjuncie, atunci respectiva conjuncie
se nlocuiete prin
valoarea fals (0);
(b) pentru disjuncie
- dac valoarea adevrat (1) apare ntr-o disjuncie, atunci disjuncia respecti
v se nlocuiete
prin valoarea adevrat (1);
- dac valoarea fals (0) apare ntr-o disjuncie, atunci se elimin aceast valoare (0);
(c) pentru implicaie
- dac valoarea adevrat (1) apare ca antecedent al unei implicaii, atunci se reine co
nsecventul
(secventul) implicaiei respective;
- dac valoarea fals (0) apare ca antecedent al unei implicaii, atunci
implicaia respectiv se
nlocuiete cu valoarea adevrat (1);
- dac valoarea fals (0) apare n consecventul unei implicaii, atunci se reine negaia i
mplicaiei
respective
(d) pentru negaie
- se ine cont de regula dublei negaii (p = p )
IV. Dac se obin n toate cazurile valorile adevrat (1), atunci se spune
c formula respectiv
este o tautologie.
Exemple:
- S se verifice dac formula [(pvq) v(p&r)] (p& p ) este sau nu valid prin
metoda lui
W. O. Quine.
Rspuns:
Variabila cu numrul cel mai mare de apariii este p;
Verificm F1 pentru p=1 i F2 pentru p=0;
Verificm F1
F1 = [(1v0) v(1 & r)] ( 1 & 1)
F1 = [1vr] 1
F1 = 11
F1 = 1
Verificm F2
F2 = [(0vq) v(0&r)] (0&0)
F2 = [qv0] 0
F2 = q0
F2 = q
Verificm F2.1 (q = 1)i F2.2(q = 0)
Verificm F2.1
F2.1 = 1
F2.1 = 0
Verificm F2.2
F2.2 = 0
F2.2 = 1
Deoarece se obin valorile 1, 0, 1 formula propoziional nu este valid.
- S se verifice formula [(pvq)&p] v(ps) prin metoda lui W. O. Quine.
123
Rspuns:
Variabila cu numrul cel mai mare de apariii este p;
124
Exemple:
- S se verifice dac formula (p&q) (p
izrii
a lui Fred Sommers:
Rezolvare:
~p
p v q
p q
p&q
pq
p w q
p| q
96
Metdoda lui Ferdinand Gonseth face parte alturi de Metoda diagramelor lui Lewis
Caroll i Metoda diagramelor
Marquand (ultimele dou fiind utilizate n cazul silogismelor, polisilogisme
lor i soriilor) din rndul metodelor
rectangulare.
pq
1
p ~q
2
3
~pq
4
~p~q
pq
1
p ~q
2
pq
1
p ~q
2
3
~pq
pq
1
3
~pq
4
~p~q
3
~pq
4
~p~q
p q
1
pq
1
4
~p~q
p ~q
2
3
~pq
pq
4
125
(3) dac exist aa ceva, atunci se pune un asterisc (*), concluzia fiind
propoziia a crei
reprezentare include cu zona marcat; de aici rezult validitatea raionamentului
Exemplu:
- S se verifice validitatea urmtoarei formule logice utiliznd metoda lui
Ferdinand
Gonseth : [(p w q) & p] ~q
Rezolvare:
- se descompune formula logic ntr-un raionament (inferen)
p w q
p
~q
- se reprezint n diagram prima premis (p w q)
(5) o form inferenial este valid dac i numai dac se obin attea contradicii cte var
sunt
Exemple:
- S se verifice prin metoda lui Evert W. Beth dac forma inferenial urmtoare este sau
nu
valid:
p v q
~ p
q
Rezolvare:
Formula propoziional [(p v q )&~p ] q se presupune fals
Adevrat
Fals
[(p v q )&~p ] q
1. p v q
2. ~ p
3. q
4. p (2)
Fals
Adevrat
5. p (1)
6. q (1)
* (5,4)
* (6, 3)
Rezolvare:
Formula propoziional [(p v q )& ~p ] ~q se presupune fals
Adevrat
Fals
[(p v q )& ~p ] ~ q (formul)
1. (p v q)& ~ p
3. p v q (1)
4. ~ p (1)
Adevrat
2. q (din formul)
5. p (4)
Fals
6. p (3)
7. q (3)
* (6,5,)
* (7, 2)
(&F)
_____
_____
( vA)
( vF)
______
___
___
p & q
p & q
p v q
p v q
p (A)
p (F)
q (A)
p (F)
q (F)
p (A)
q (A)
(F)
( A)
( F)
______
______
pq
p q
______
( A)
( F)
______
pq
p q
p (A)
p (F)
(A)
q (A)
q (F)
q (F)
p (A)
q (A)
p (F)
p (F)
(wA)
( | F)
_______
______
p w q
p| q
q (A)
(wF)
______
p w q
( | A)
______
p| q
p
q (F)
p (A)
q (F)
q (A)
p (F)
q (A)
p (A)
p (A)
p (F)
q (A)
p (F)
q (F)
q (F)
Exemplu:
128
- S se verifice prin metoda grafurilor dac urmtoarea formul propoziional es
te sau nu
valid:
{[(p&q) r]&(p&q)} r
Rezolvare:
1. {[(p&q) r]&(p&q)} r
(F)
2. r
(F)
3. [(p&q) r]&(p&q)
(A)
4. (p&q) r
5. (p&q)
6. p
7. q
_____________________________
8. (p&q) r
9. (p&q)
(F)
10. r
______________________________
10. p&q
(F)
(A)
(A)
(A)
(A)
(A)
(A)
11. p (F)
12. q
(F)
n acest moment, dup descompunerea formulei propoziionale pn la propoziiile elementare
se
trece la realizarea urmtoarelor combinaii:
(i) ( r & p & q & r & p )
(ii) ( r & p & q & r & q )
Se observ c n fiecare combinaie exist cel puin un cuplu de forma (p; p ) dup cum urmea
-n (i) exist (r i r ); (p i p );
-n (ii) exist (r i r ); (q i q ).
Deoarece rezult respectivele contradicii i avnd n vedere faptul c s-a presupus la ncep
t c
formula propoziional dat este fals, atunci se poate admite c aceasta este corect. Altf
el spus,
formula dat este valid.
6.7.11 Metoda tabelelor analitice
Aceast metod seamn foarte bine cu metoda tabelelor semantice cu unele pre
cizri.
Astfel, aceast metod const n urmtoarele etape:
(1) se consider formula propoziionala fals (se scriu ipotezele una sub a
lta i apoi, sub ele se
scrie concluzia)
(2) se consider premisele adevrate (A) i concluzia fals (F)
(3) se trece apoi la analiza fiecrei miniformul propoziional, respectiv a
variabilei
propoziionale (sub form tabelar), n funcie de valoarea de adevr (adevrat-A sau fals-F)
(4) o form inferenial este valid dac i numai dac se obin attea contradicii cte var
sunt
Exemplu:
129
- S se verifice prin metoda tabelelor analitice dac forma inferenial urmtoare este s
au nu
valid:
p(q v r)
q | r
~ p
Rezolvare:
1. F.
{[p(q v r)]& (q | r)}~ p
2. A
p(q v r)
3. A
q | r
4. F ~ p
unde A adevrat i F fals
5. A
p
6. F
q (2)
7. F
r (2)
8. F
9. A
* (5, 8)
10. A
q v r (2)
q (9)
* (6,10)
11. A
r (8)
* (7, 11)
8. F
130
(4)
Adevrat
9. A
(4)
* (6,8)
Fals
11. F q
(10)
* (9, 11)
10. A
q r
12. A
r (10)
(iterare)
* (7, 12)
[(p v q) & ~ p ] q
(p v q) & ~ p
(1)
q (1)
p v q (2)
unde A adevrat i F fals
~ p
(2)
p
(5)
p v q
p
9. F (q)
8)
* (3,9)
Exemplu:
S se verifice prin metoda arborilor dac forma inferenial urmtoare este sau nu va
lid:
p q
(r v p) (r v q)
Rezolvare:
2.
3.
4.
5.
6.
7.
8.
1. F (p q) [(r v p) (r v q)]
(p q) (1)
(r v p) (r v q)
r v p (3)
r v q (3)
r (5)
q (5)
pq (2) iterare
A
F
A
F
F
F
A
9. F p
(8)
10. A q
(8)
* (7, 10)
11. A r v p (4) iterare (iterarea se face pe ramura din stnga, rmas
deschis)
- proliferarea (separarea) trebuie s stea sub conector
12. A r
(11)
13. A p
(11)
* (6, 12)
* (9, 13)
Se observ c nu s-au nchis toate ramurile (nu s-a nchis la pasul 9) i,
prin urmare,
formula nu este tautologic (nevalid).
- S se verifice prin metoda arborilor dac formula propoziional urmtoare es
te sau nu
valid:
[(pr) ((qr) ((p v q) r))]
1.
2.
3.
4.
5.
6.
7.
F
A
F
A
F
A
F
8. F
9. A
r
* (7, 9)
132
10. F q
* (7, 11)
11. A
12.
13. A
A p
* (8, 12)
* (10, 13)
Se observ c s-au nchis toate ramurile i, prin urmare, formula este tautologic (valid).
6.7.13 Metoda lui J. Hintikka (sau metoda tabelelor bloc)
Aceast metod const n realizarea unor tabele-bloc (inndu-se cont de proprie
tile
principalilor operatori logici) pe baza crora se ajunge sau nu la cont
radicie logic. Dac se
ajunge la contradicie, atunci formula dat este valid. Dac nu se ajunge l
a niciun fel de
contradicie, atunci formula dat nu este valid.
Exemple:
- S se verifice prin metoda tabelelor bloc formula [p w q ) & p] q
Rezolvare:
F [p w q ) & p] q
A p w q; A p; Fq
A p w q; A p; A q
Ap; Fq ; Ap; Aq
Fp ; A q; Ap ; Aq
NOT:
(i) O formul propoziional este valid dac nu exprim o contradicie; altfel s
us, o
formul propoziional este tautologic i exprim o lege n logica propoziional dac i nu
dac forma sa normal-conjunctiv conine n fiecare factor-disjuncie cel puin un
termen sub
semne diferite (adic cel puin o propoziie oarecare mpreun cu negaia sa);
(ii) Dac formula obinut exprim o contradicie (adic are valoarea fals (0) pentru ori
ce
alegere a variabilelor), atunci aceasta nu este valid.
(iii) Dac se cere echivalena a dou formule o i | , atunci se arat c | o reprezin
o tautologie (expresie logic-corect sau valid)
Exemple:
- S se aduc la o form normal disjunctiv urmtoarea formul propoziional:
(pq) r
Rezolvare:
(
)
q
(
r
) ( ) (
v
) p q r p q
v v . v
r
.
p
v
) ( ) (
p q q p
Rezolvare:
) ( ) ( p q q p
) ( q p v .
) ( ) (
) ( p q v
p q q p
) ( ) (
p q q p
v v v
( p v q) . ( q . p ) ( p v q) . ( q . p) ( q . p. p ) v( q . p. q)
Se observ c ultima expresie obinut ( q . p. p ) v( q . p . q) reprezint o
form normal
disjunctiv.
(b) Forma normal conjunctiv (FNC)
135
Forma normal conjunctiv este aceea n care apare ca functor principal ,, ., aflat nt
re
paranteze:
Exemplu:
(p vq) . (qvr) .(pvr)
Aceast formul normal conjunctiv se mai poate scrie i n forma (p v q)(q v r)(pv r)
Observaie:
Dac ntr-o form normal conjunctiv apare un membru de forma p
ci acesta
poate fi redus n baza proprietii (p p v ) = 1
p v , atun
De asemenea, n
procesul de obinere a unei forme normale conjunctive
trebuie
respectate urmtoarele condiii:
(i) Dac ntr-o form normal conjunctiv, unul dintre elemente (o variabil propoziional)
e
valoarea de fals, atunci formula obinut (expresia logic) este o contradicie.
(ii) Dac ntr-o form normal conjunctiv, toate elementele (variabilele propozii
onale) au
valoarea de adevrat, atunci formula obinut (expresia logic) este o tautolo
gie (lege logic;
valid).
Exemple:
- S se aduc la o form normal conjunctiv urmtoarea formul propoziional
q p v . q p v
Rezolvare:
q p v
. q p v
( p . q ) .( p . q )
p q q p
) (
p p .
Rezolvare:
(q v )) ( ) (( p q q p
) ( p p .
( q . )) ( ) ((
v( q v p ))) v( p v p )
) (
p q q p
p p .
) ) ( ) ( (
v v ) v( p v p ) ( q .
p q q p q
) ((
q p v
p v ), (q q v ), (r
r v ) vpr(q q v ) vqr(p
p v )
q q p
. v
) (
v p
q p v
vqv p (p . q ) vq v p
Rezolvare:
-se adaug literele care lipsesc:
(i) la p . q se adaug r;
(ii) la q . r se adaug p;
(iii) la p se adaug q i r.
138
- rezult urmtoarea formul
[p.q .(r v r )] v[q.r .(pv p )] v[p.(r v r )]
(p .q .r) v(p .q . r ) v(q .r .p) v(q .r . p ) v[(p.r) v(pv r )]
Se realizeaz notaia: o = (p .q .r) v(p .q . r ) v(q .r .p) v(q .r . p ) i se obin
e:
o v[(p .r) .(q v q )] v[(p . r ) .(qv q )]
o v(p .r .q) v(p .r . q ) v(p . r . q ) v(p . r . q ) F.N.D.P.
- Fie urmtoarea form
S se aduc:
(a) la o form normal
(b) la o form normal
(c) la o form normal
normal disjunctiv: ( p . q ) v p v q
disjunctiv (FNDP);
conjunctiv (FNC);
conjunctiv perfect (FNCP).
Rezolvare:
(a) se expandeaz, adugndu-se la p variabila q i la q se adaug variabila p
; se obine astfel
urmtoarea formul:
( p . q ) v[ p .(qv q )] v[ q .(pv p )]
( p . q ) v[( p .q) v( p . q )] v[( q .p) v( q . p )]
- se reali
zeaz distribuia
( p . q ) v( p .q) v( p . q ) v( q .p) v( q . p )
( p . q ) v( p .q) v( q .p) form normal disjunctiv (FNDP)
(b)
( p
(
(
.
p
p
p
q
v
v
v
)
q
q
q
v( p .q) v( q .p)
v p ) .( p v q v q )
) .( p v q )
- form normal conjunctiv (FNC)
(c) nu exist form normal conjunctiv perfect (FNCP), deoarece exist FNDP.
6.7. 15 Metoda limbajului electric
Aceast metod const n stabilirea urmtoarelor omologri, cu precizarea c
trebuie evitate semnele de punctuaie (parntezele), tocmai pentru a nltura confuziil
e.
(1) ~ p = (p)
(2) p & q = p \ q
(3) p v q =
q
p
Dac n final se obine contradicie, atunci formula dat este o tautologie (valid)
139
Exemple:
- S se verifice prin metoda limbajului electric dac formula propoziional
urmtoare este
sau nu valid (p v q ) (q v p):
Rezolvare:
-se aplic echivalena pentru formul
~ (p v q ) v (q v p)
(q v p)
(p v q ) (q v p) ~ (p v q ) v
\
|
q
p
i
p
q
, situaie care exprim faptul c formula dat
este tautologic (valid).
- S se verifice prin metoda limbajului electric dac formula propoziional
urmtoare este
sau nu valid p (q p)
Rezolvare:
-se aplic echivalena pentru formul i se obine :
~ p v (~q v p)
p (q p) ~ p v (~q v p)
- se rezolv ce este ntre paranteze i apoi se urmrete eliminarea chiar a parantezelor:
~p v (q) v p
-se aplic formula (3), adic p v q =
q
p
i se obine:
140
(p) v
( )
p
q
- aplicm n continuare aceeai formul (3) i se obine n final:
( )
( )
p
q
p
- se observ ca s-a obinut o contradicie (p) i p, situaie care exprim faptul c formula
at este
tautologic (valid).
- S se verifice prin metoda limbajului electric dac formula propoziional (p & q) &
p este
sau nu valid:
Rezolvare:
. q) r]
1 1 0
0 0 1
1 1 1
0 0 1
0 1 1
0 0 1
0 1 1
0 0 1
.(q
0
1
1
0
0
1
1
0
. p)}r
1 1
0 0
1 1
0 0
1 0
0 0
1 0
0 0
0
0
1
0
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
1
1
1
1
0
1
1
0
0
1
1
0