Bibliografie

1. Aristotel: Metafizica, Ed. Acad. RSR, Bucureti, 1965

2. Aristotel: Organon, vol. II!, Ed. "tii#$ific%, Bucureti, 195&196'
'. Biel(, ).: Logica, *a#ual cl.a I+, Ed. ,id. "i )ed., Bucureti, 1992
-. Bielt(, ).: Logic i gndire critic , Editura .#iversit% ii /0itu 1aiorescu2,
Bucure ti, 2334
5. Bote(atu, ).: Adevaruri despre adevar, ed. 5u#i*ea, Iasi, 1941
6. Bote(atu, ).: Valoarea deduciei, Ed. "tii#$ific%, Bucureti, 1969
&. Bote(atu, ).: Introducere in logica, ed. )oliro*, Iasi, 199&
4. ,idilescu, I., Bote(atu, ).: Silogistica, Ed. ,id. "i )ed., Bucureti, 19&6
9. ,i*a, 0: Metodele inductive, ed. St. si )ed., Bucuresti, 19&5
13. ,u*itriu, A.: Istoria logicii, Ed. ,id. "i )ed., Bucureti, 19&5
11. E#escu, 67.: Logic i adevr, Ed. )olitic%, Bucureti, 196&
12. E#escu, 67.: Dicionar de logic, Ed. "t. "i E#cicl., Bucureti, 1945
1'. E#escu, 67.: unda!entele logice ale gndirii, Ed. "t. "i E#cicl., Bucureti,
1943
1-. 6avriliu, 8.: Mic tratat de sofistic, Ed. IRI, Bucureti, 1996
15. 9egel, 6.:.;.: Logica, Ed. Acad. R)R, Bucureti, 1962
16. Io#escu, <.: "urs de logic, Ed. 9u*a#itas, Bucureti, 199'
1&. Io#escu, <.: "urs de istorie a logicii, Ed. 9u*a#itas, Bucureti, 199'
14. 8eib#i(, 6.:.: Monadologia, Ed. 9u*a#itas, Bucureti, 199-
19. 1aiorescu, 0.: Scrieri de logic, Ed. "t. "i E#cicl., Bucureti, 1944
23. )etrovici, I.: #ro$le!e de logica, ed. Agora, Iasi, 1996
21. Surdu, Al.: Logica clasica si logica !ate!atica, Ed. Stii#tifica, Bucuresti, 19&1
22. S%vulescu, S.: %etoric i teoria argu!entrii, Ed. S<S)A, Bucureti, 2331
23. Stoianovici, D., Dima, T., Marga, A.: Logica general, Ed.
Didactic i Pedagogic, Bucureti, 199
=urs 1
8>6I=A. >BIE=0 "I 5.S0I;I=?RI )R>)E,E.0I=E
=u#oti#$ele, co#vi#gerile, o@i#iile i @resu@u#erile #oastre, ale tuturor, su#t
for*ulate A# Bsau caC @ro@o(i$ii. )ro@o(i$iile @ot fi adev%rate sau false. Adevrat i
!a"# su#t A# logic% va"ori de adevr, sau valori a"et$ice.
!alorile de adev%r @ot fi atribuite @ri# co#fru#tarea direct% a co#$i#utului
@ro@o(i$io#al cu starea de lucruri, atu#ci cD#d lucrul acesta este @osibil, sau @ri#
ra@ortare B*ediatoareC la alte @ro@o(i$ii. ;iecare di#tre aceste varia#te cores@u#de
cDte u#ei teorii a adev%rului Bteoria adev%rului cores@o#de#$%, res@ectiv teoria
adev%rului coere#$%C de *are i*@orta#$% A# g#oseologie, dar asta e alt% @oveste.
)rocesul de deter*i#are a valorii de adev%r a u#ei @ro@o(i$ii cu aEutorul altor
@ro@o(i$ii se #u*ete in!eren%.
> i#fere#$% are &remi#e B@ro@o(i$ii oferite dre@t te*eiC i conc"u'ie B@ro@o(i$ia
A#te*eiat% @ri# i#fere#$%C. Ea Bi#fere#$aC este va"id di# @u#ct de vedere logic dac%
adev%rul @re*iselor sale gara#tea(% adev%rul co#clu(iei.
)roble*a validit%$ii i#fere#$elor este disti#ct% de @roble*a valorii de adev%r a
@ro@o(i$iilor co*@o#e#te. !aliditatea @resu@u#e eFiste#$a u#or rela$ii s@ecifice, de
decurgere logic% Bsau co#seci#$%C, A#tre @re*isele i co#clu(ia i#fere#$ei:
dac% @re*isele su#t adev%rate, co#clu(ia este adev%rat%G
dac% e fals% co#clu(ia, cel @u$i# u#a di#tre @re*ise e fals%.
Astfel, cu @rivire la deter*i#area valorii de adev%r a u#ei @ro@o(i$ii @ri# ra@ortare
la alte @ro@o(i$ii, a vrea s% re$i#e$i:
( in!eren% are conc"u'ie adevrat dac are &remi#e adevrate i e#te
va"id.
,i# aceast% @ers@ectiv%,
)ogica e#te teoria in!eren%ei va"ide.
Sau, @e#tru a *e#$io#a o alt% defi#i$ie,
)ogica e#te tiin%a "egi"or i !orme"or g*ndirii corecte.
)%ri#tele logicii este socotit, A# s@a$iul cultural occide#tal, Aristotel B'4-'22
A.=7.C. Scrierile lui logice, "ategoriile& Despre interpretare& Analiticile pri!e& Analiticile
secunde& 'opicele i %espingerile sofistice au fost gru@ate *ai tDr(iu sub titlul de
Organon.
Organon A#sea*#% i#stru*e#t. 0itlul sur@ri#de di*e#siu#ea @ro@edeutic% a
eFerci$iului logic. Acesta @reg%tete i#telectul A# vederea a#gaE%rii coere#te, clare i
riguroase A#tru# BoriceC de*ers de i#vestigare.
8ogic% i li*baE
Aadar, legile i for*ele gD#dirii corecte se co#stituie A# obiect de studiu al logicii.
,ar gD#direa, arat% u#ii filosofi co#te*@ora#i B#e afl%*, @otrivit acestora, A#
@aradig*a co*u#ica$io#al%, adic% face* di# co*u#icare @ri#ci@alul #ostru obiect de
i#teres teoreticC, este i#se@arabil% de li*baE. 8i*baEul este *ediul de for*are a
gD#dirii. 8i*baEul eF@ri*% co#$i#uturi de gD#dire. <u este @osibil% gD#direa A# afara
li*baEului. <u este @osibil, de ase*e#ea, u# li*baE vid de orice co#$i#ut de gD#dire.
E A#dre@t%$it, A# acest co#teFt, i#teresul logicii @e#tru li*baE.
=Dteva @reci(%ri ter*i#ologice, acu*:
)im+a este u# siste* de se*#e care servesc co*u#ic%rii. 8i*ba are leFis i
gra*atic%. )e,icu" este totalitatea se*#elor Bcuvi#telorC li*bii. -ramatica este
totalitatea regulilor de folosire a leFicului.
)im+a.u" este li*ba *a#ifest%. Aceleiai li*bi Ai cores@u#d *ai *ulte li*baEe
Bdiverse feluri de argou, Eargo#, dialecteC. !orbi* o li*b% i utili(%* u# li*baE.
)im+a.u" curent este li*baEul utili(at A# co*u#icarea u*a#% cotidia#%. 8i*baEul
cure#t @u#e @e#tru logic% @roble*a reducerii i*@reci(iei ter*e#ilor. )im+a.u"
arti!icia", ca solu$ie a @roble*ei i*@reci(iei ter*e#ilor, re@re(i#t% o sta#dardi(are a
li*baEului #atural. 0e#di#$a de sta#dardi(are, *a#ifest% de la A#ce@uturile logicii, a
fost a*@lificat% de de(voltarea logicii *ate*atice, si*bolice i a i#teresului *a#ifest
A# i#teriorul acestei disci@li#e @e#tru solu$io#area @roble*ei @aradoFurilor logico
*ate*atice, la A#ce@utul secolului ++.
B!% aduce$i a*i#te, cred, de (pi!enide& cretanul& spune c toi cretanii !int.
Bertra#d Russell, u# filosof des@re vo* *ai @ovesti, a folosit o for*ulare alter#ativ%
@e#tru acelai ti@ de @aradoF ca su@ort al te#tativei de re(olvare a @roble*ei: Bca*
aaC )r$ierul satului& adic steanul care *i $r$ierete pe cei care nu se $r$ieresc
singuri& se $r$ierete sau nu se $r$ierete singur+C
)e fo#dul acestor de(volt%ri, sa co#turat A# filosofia co#te*@ora#% i#teresul
@e#tru a#ali(a logic% a li*baEului. ;acilitD#d A#l%turarea erorilor date de li*baE A#
cu#oatere, aceasta sus$i#ea reco#struc$ia logic% a li*baEului @lecD#d de la e#u#$uri
ele*e#tare.
Rela$ia di#tre referi#$%, se*#ifica$ie i se#s sa aflat A# ce#trul acestei
reco#struc$ii.
Referi#$%, se*#ifica$ie, se#s
H# logic%, termenu" este u# cuvD#t sau u# a#sa*blu de cuvi#te care eF@ri*% o
#o$iu#e i se refer% la u#ul sau *ai *ulte obiecte, reale sau ideale. 0er*e#ul are,
astfel, trei co*@o#e#te:
li#gvistic%, re@re(e#tat% de cuvD#t Bsau eF@resieC
cog#itiv%, re@re(e#tat% de #o$iu#e Bsau co#ce@tC
o#tologic%, re@re(e#tat% de obiect Bsau referi#$%C
;a@tul c% o eF@resie se refer% la u# obiect Badic% eF@resia are u# refere#tC Ai
co#fer% eF@resiei se*#ifica$ie. 1odul A# care eF@resia se refer% la obiectul se*#ificat
Ai co#fer% eF@resiei se#s.
Rela$ia de se*#ificare, adic% de asociere a eF@resiei cu obiectul, se co#stituie la
#ivel i#dividual. Se#sul este co#ferit la #ivel co*u#itar.
Se*#ifica$ia este, aa cu* desigur b%#ui$i deEa, altceva decDt referi#$a. Ave*
ter*e#i cu aceeai se*#ifica$ie i referi#$e diferite, ca, de eFe*@lu, ter*e#ul
cores@u#(%tor cuvD#tului (u. Ave* ter*e#i cu se*#ifica$ii diferite i aceeai
referi#$%, ca de eFe*@lu, triung,i cu laturi egale- triung,i cu ung,iuri egale. "i ave*,
cirea% @e tort, ter*e#i cu se*#ifica$ie i f%r% referi#$%, ca perpetuu! !o$ile.
,ar des@re referi#$%, se*#ifica$ie i se#s va *ai fi de *ulte ori vorba A# a#ii
acetia de coal%. 0eoriile co*u#ic%rii i cu#oaterea tii#$ific% datorea(% *ult
a#ali(ei logice a li*baEului.
=urs 2
)RI<=I)II8E 8>6I=II
)ri#ci@iile logicii su#t legi logice de *aFi*% ge#eralitate di# care deriv% celelalte
legi i reguli logice. Res@ectarea lor este co#di$ie #ecesar% @e#tru validitatea
o@era$iilor logice.
8ogica ge#eral% ad*ite eFiste#$a a @atru @ri#ci@ii:

1. Princi&iu" identit%ii: A# for*ulare aristotelia#%, origi#ar%: /Ide#tic A#
si#e se s@u#e des@re lucrurile a c%ror *aterie e u#a, fie ca s@ecie, fie ca
#u*%r, cDt i des@re acelea a c%ror substa#$% e u#a.2, i A# for*ularea lui
8eib#i(, clarificatoare, /;iecare lucru este ceea ce este i A# atDtea i#sta#$e
cDte su#t, A este A , B este B.2
2. Princi&iu" noncontradic%iei: BA# for*ularea lui AristotelC IEste @este
@uti#$% ca u#uia i aceluiai subiect s% i se @otriveasc% i totodat% s% #u i se
@otriveasc% u#ul i acelai @redicatJ2
'. Princi&iu" ter%u"ui e,c"u#: IJ,ar #u este cu @uti#$% #ici s% eFiste u#
ter*e# *iElociu A#tre cele dou% *e*bre eFtre*e ale u#ei co#tradic$ii i des@re
orice subiect trebuie s% fie afir*at ori #egat fiecare @redicat.2
-. Princi&iu" ra%iunii #u!iciente Bad%ugat celorlalte de c%tre 8eib#i(C:
I<iciu# fa@t #u @oate fi adev%rat sau real, #icio @ro@o(i$ie #u @oate fi veridic%,
f%r% s% eFiste u# te*ei, o ra$iu#e suficie#t% @e#tru care lucrurile su#t aa i #u
altfel, dei de cele *ai *ulte ori te*eiurile acestea #u #e su#t cu#oscute.2
Bapud. Stoianovici .a.& .//0C
BH#tro A#cercare foarte rudi*e#tar% de eFe*@lificare a o@er%rii cu @ri#ci@iile,
(u sunt eu. M1a! nscut *n )raov& aadar nu !1a! nscut *n afara )raovului.
Dac n1ar fi adevrat c !1a! nscut *n )raov& ar fi adevrat c !1a! nscut *n
afara )raovului& nu e2ist alt variant. M1a! nscut *n )raov pentru c !a!a
!ea se afla *n )raov *n perioada naterii !ele.C
)ri#ci@iile logicii su#t:
for*ale, A#trucDt regi(ea(% @rocesele de ra$io#are f%r% a se referi la
caracteristicile @articulare, co#crete ale obiectelorG
co#stitutive gD#dirii, A#trucDt redau *odalitatea cog#itiv% de abordare a
lu*iiG
A#te*eiate o#tic, A#trucDt eF@ri*% tr%s%turile de *aFi*% ge#eralitate ale
lu*iiG
fu#da*e#tale, A#trucDt legile i regulile logicii le @resu@u# i le
@articulari(ea(% A# o@era$ii logice
Bde eFe*@lu, silogis*ul, i#fere#$% deductiv% cu dou% @re*ise, are cDteva reguli
ge#erale de validitate, A#tre care i ur*%toarele:
silogis*ul s% aib% trei i #u*ai trei ter*e#i, adic% ter*e#ul *ediu, cel
care leag% A#tre ele @re*isele, s% aib% aceeai se*#ifica$ie A# cele dou% @re*ise.
,ac% aceast% regul% #u este res@ectat% este A#c%lcat @ri#ci@iul ide#tit%$ii, ca A#
eFe*@lul de *ai Eos:
#isica !nnc oareci.
34oareci5 e cuvnt .
#isica !nnc un cuvnt.
A# co#clu(ia silogis*ului eFte#siu#ile ter*e#ilor #u @ot fi *ai *ari
decDt A# @re*ise, adic% #ivelul de ge#eralitate al co#clu(iei #u @oate fi *ai ridicat
decDt al oric%rei @re*ise.
,ac% aceast% regul% #u este res@ectat% este A#c%lcat @ri#ci@iul ra$iu#ii
suficie#te.CG
@ro@o(i$ii #ecesare, A#trucDt @ro@o(i$iile adev%rate @resu@u# adev%rul
acestora.
)ri#ci@iile orga#i(ea(% gD#direa, co#turD#d sc7e*a gradelor ei de libertate i
astfel, *ai s@ectaculos, *odelD#d realitatea.
Princi&iu" identit%ii, for*ulat AK
id
A, i#dic% @ersiste#$a @ro@riet%$ilor defi#itorii
ale u#ui obiect. )ri#ci@iul @reti#de ter*e#ilor i*@lica$i A#tru# ra$io#a*e#t s%i
@%stre(e A#$elesul @e @arcursul ra$io#a*e#tului. )ri#ci@iul ide#tit%$ii asigur% gD#dirii
c"aritatea.
>bserva$ii:
1. li*baEul #atural A#g%duie frecve#te A#c%lc%ri ale @ri#ci@ului ide#tit%$ii, A#
si#o#i*ie, o*o#i*ii .a.
2. ide#titatea @e care o cere @ri#ci@iul BAKAC este altceva decDt egalitatea,
ec7ivale#$a sau co#grue#$a BAKBC. H# ca(ul lor, ter*e#ii i*@lica$i A# rela$ie su#t
diferi$i.
Princi&iu" noncontradic$iei, for*ulat LBA M LAC, i#dic% i*@osibilitatea
coeFiste#$ei A#suirilor i#co*@atibile. Acesta este, @otrivit lui Aristotel, @ri#ci@iul
su@re* al cu#oaterii. )ri#ci@iul #o#co#tradic$iei asigur% gD#dirii coeren%a.
Princi&iu" ter%u"ui e,c"u#, for*ulat A v LA, i#dic% #ecesitatea ca u#a di#tre
@ro@riet%$ile co#tradictorii s% fie adev%rat%. )otrivit lui, o @ro@o(i$ie este sau
acce@tat% sau #eacce@tat% A#tru# siste* de @ro@o(i$ii, alt% varia#t% #eeFistD#d.
)ri#ci@iul ter$ului eFclus asigur% gD#dirii con#ecven%a.
>bserva$ie:
)ro@o(i$iile referitoare la eve#i*e#te viitoare, co#ti#ge#te, de ase*e#ea
@ro@o(i$iile referitoare la *ul$i*i i#fi#ite sus@e#d% i#teroga$iile des@re a@licarea
@ri#ci@iului ter$ului eFclus.
Princi&iu" ra%iunii #u!iciente i#dic% accesibilitatea i caracterul #ecesar al
cu#oaterii veritabile. ,u@% do*e#iul de a@lica$ie, @ri#ci@iul A#g%duie for*ul%ri
diferite: >rice stare este @recedat% de alta, di# care re(ult% cu #ecesitateG H# s@a$iu i
ti*@ obiectele se deter*i#% i se co#di$io#ea(%G >rice ac$iu#e are u# *otivG ,ac% se
for*ulea(% o Eudecat%, aceasta trebuie s% aib% u# te*ei.
)ri#ci@iul ra$iu#ii suficie#te are caracter *etodologic i asigur% gD#dirii
!undamentarea.
)ri#ci@iile su#t for*ulate ca Eudec%$i. H# A#te*eierea acestora Bca evide#$iere a
te*eiului lorC A#s%, #u @oate fi ig#orat statutul lor s@ecial:
@ri#ci@iile su#t @resu@use de @ro@o(i$iile logice, aadar #u @ot fi A#te*eieate
@ri# astfel de @ro@o(i$iiG
@ri#ci@iile su#t legi logice de *aFi*% ge#eralitate, aadar #u @ot fi deduse
di# alte legi logice.
,i# aceste *otive, A#te*eierea @ri#ci@iilor este indirect, adic% @ri# co#seci#$ele
co#sider%rii lor ca false.
Astfel,
1. falsitate @ri#ci@iului ide#tit%$ii are dre@t co#seci#$% i*@osibilitatea
disti#gerii obiectelor Bfiecare di#tre acestea @oate fi oriceC. BBu#%oar%, dac% vi
sar cere s% re(olva$i u# eFerci$iu a#u*e la eFa*e#, a$i @utea re(olva orice alt
eFerci$iu, sau a$i @utea co*@u#e o @oe(ie @e care s% le @re(e#ta$i cu succes
dre@t re(olv%rile ceruteCG
2. falsitatea @ri#ci@iului #o#co#tradic$iei are dre@t co#seci#$% caracterul
accide#tal al tuturor @ro@riet%$ilor obiectelor. B.# eFa*e# dat ar fi trecut i
@icat la aceeai @re(e#tare.CG
'. falsitatea @ri#ci@iului ter$ului eFclus are dre@t co#seci#$% i*@osibilitatea
disti#gerii adev%rului de fals BAr @utea s% #u fie adev%rat c% dac% a$i luat
eFa*e#ul #u la$i @icatC G
-. falsitatea @rici@iului ra$iu#ii suficie#te are dre@t co#seci#$%
i*@osibilitatea disti#gerii cu#oaterii veritabile de @reti#sa cu#oatere BA$i
@utea socoti c% e suficie#t s% v% @re(e#ta$i A# locul i la data la care e
@rogra*at eFa*e#ul @e#tru a ob$i#e o #ot% de trecereC.
,esigur, A#cerc%rile de eFe*@lificare @ot fi si*ulta# @rileEuri @e#tru A#treb%ri care
s% A#cDlceasc% *ai tare lucrurile. )ro@o(i$iile for*ulate A# li*baE cure#t A#g%duie
felurite t%l*%ciri i r%st%l*%ciri. H#c% de la Aristotel logicie#ii su#t griEulii cu @rivire la
acest as@ect.
)e#tru @reve#irea i*@reci(iilor, a@licarea @rici@iilor logicii este A#t%rit% @ri#
evide#$ierea su@o(i$iilor de validitate. Astfel,
/n ace"ai tim& i #u+ ace"ai ra&ort, AK
id
A,
/n ace"ai tim& i #u+ ace"ai ra&ort L BA M LAC,
/n ace"ai tim& i #u+ ace"ai ra&ort, A v LA,
/n ace"ai tim& i #u+ ace"ai ra&ort, dac% se for*ulea(% o Eudecat%, aceasta
trebuie s% aib% u# te*ei.
;or*ularea su@o(i$iilor de validitate #u restrD#ge utili(area @ri#ci@iilor, ci Ai d%
acesteia riguro(itate. Su@o(i$iile de validitate #u A*@iedic% sc7i*b%rile, ci A#g%duie o
defi#ire corect% a lor.
=urs '
8>6I=A 0ER1E<I8>R
B!% aduc a*i#te, A# logic%, termenu" este u# cuvD#t sau u# a#sa*blu de cuvi#te
care eF@ri*% o #o$iu#e i se refer% la u#ul sau *ai *ulte obiecte, reale sau ideale.C
=a teorie a @redica$iei, adic% a caracteri(%rii u#ui ter*e# cu aEutorul altui ter*e#,
logica ter*e#ilor este @arte a logicii ge#erale.
8i*ba are, aa cu* ti$i deEa, leFis i gra*atic%. =uvi#tele di# leFis au A#$eles
o#tic sau o@era$io#al. =uvi#tele cu A#$eles o#tic i#tr% A# alc%tuirea termeni"or
categorematici Bde la 6ategorein, a @redica, gr.C. =uvi#tele cu A#$eles o@era$io#al
i#tr% A# alc%tuirea termeni"or #incategorematici.
Acu*, ter*e#ii categore*atici @ot fi:
#atura%i Bsau categore*atici A# se#s strictC, cu A#$eles de si#e st%t%tor,
i#de@e#de#t de co#teFt. Aceti ter*e#i @ot fi eF@ri*a$i @ri# cuvi#te i(olate
Bsubsta#tive, @ro#u*eC, substa#tive deter*i#ate de adEective BeF. grupa !areC,
si#tag*e BeF. li!$a7 de le!nC, @ro@o(i$ii deter*i#ative BeF. "el ce SuntC, fra(e
deter*i#ative.
ne#atura%i Bsau co#sig#ificativiC, ter*e#i care dobD#desc A#$eles @ri#
ataare la ter*e#i satura$i. Aceti ter*e#i @ot fi eF@ri*a$i @ri# adEective, adverbe,
verbe.
0er*e#ii si#categore*atici @ot sta lD#g% subiect BeF. toi& unii& niciun& nu!ai&...C
sau lD#g% @redicat BeF. necesar& posi$il,JC, @ot lega subiectul de @redicat BeF. este&
nu esteJC sau @ot fi co#ectori logici BeF. i& dac8atunci& sauJC.
0er*e#ii categore*atici @ot fi clasifica$i A# *ulte feluri, utili(D#d diferite criterii.
,ar A#ai#tea @re(e#t%rii acestei clasific%ri, cDteva @reci(%ri:
E,ten#iunea u#ui ter*e# re@re(i#t% *ul$i*ea obiectelor la care cuvD#tul afere#t
ter*e#ului se refer%.
0nten#iunea u#ui ter*e# re@re(i#t% @ro@rietatea sau a#sa*blul de @ro@riet%$i
caracteristice *ul$i*ii de obiecte la care cuvD#tul afere#t ter*e#ului se refer%.
0er*e#ul Ai de#ot% Bi#dic%C eFte#siu#ea i Ai co#otea(% i#te#siu#ea. H#trucDt
eFist% ter*e#i cu i#te#siu#i diferite i aceeai eFte#siu#e Bde eFe*@lu triu#g7i
ec7ilateral i triu#g7i ec7iu#g7iularC, dar #u eFist% ter*e#i cu eFte#siu#i diferite care
s% aib% aceeai i#te#siu#e, i#te#siu#ea deter*i#% eFte#siu#ea.
1"a#i!icarea termeni"or categorematici, acu*:
A. din &unct de vedere e,ten#iona",
1. ter*e#ii su#t vi'i #au nevi'i. Este vid u# ter*e# a c%rei
eFte#siu#e #u co#$i#e #iciu# ele*e#t. 0er*e#ii de acest fel co#otea(%
@ro@riet%$i co#tradictorii. =aracterul co#tradictoriu al acestora @oate fi
eF@licit, ca, de eFe*@lu, A# ca(ul ter*e#ului cerc ptrat, sau i*@licit, ca
A# ca(ul ter*e#ului actualul preedinte al Marii )ritanii.
2. ter*e#ii su#t individua"i #au genera"i. Este i#dividual u#
ter*e# a c%rei eFte#siu#e co#$i#e u# si#gur ele*e#t. ,e eFe*@lu,
actuala capital a %o!niei, sau nu!r pri! divizi$il cu 9. Este ge#eral
u# ter*e# care are A# eFte#siu#e cel @u$i# dou% ele*e#te Bcapital&
nu!r pri!C.
'. ter*e#ii su#t co"ectiv #au divi'ivi. .# ter*e# este colectiv dac%
de#ot% o colec$ie de obiecte care au A*@reu#% @ro@riet%$i diferite de
cele ale fiec%ruia luat A# @arte. ,e eFe*@lu, pdure& ar!at& $i$liotec.
.# ter*e# este divi(iv dac% @ro@riet%$ile obiectelor @e care le de#ot%
se reg%sesc ca @ro@riet%$i ale fiec%rui obiect de#otat A# @arte. ,e
eFe*@lu, copac& soldat& carte.
-. ter*e#ii su#t &recii #au vagi. .# ter*e# este @recis dac%
des@re orice obiect se @oate afir*a cu certitudi#e c% a@ar$i#eN #u
a@ar$i#e eFte#siu#ii acelui ter*e#. 'riung,i sau ele!ent c,i!ic su#t
ter*e#i @recii. .# ter*e# este vag dac% des@re u# obiect #u se @oate
afir*a cu certitudi#e c% a@ar$i#eN #u a@ar$i#e eFte#siu#ii ter*e#ului.
0er*e#ii vagi au #ucleu i *argi#i ale eFte#siu#ii. H# (o#a de *argi#e,
A#de@li#irea criteriului de a@arte#e#$% este #esigur%. 'nr sau sntos
su#t ter*e#i vagi. BS@ecialistul, A# s@e$% *edicul, o@erea(% A# #ucleul
eFte#siu#ii ter*e#ilor. >*ul de rD#d o@erea(% A# *argi#ile acestora,
du@% criterii subiective.C
B. din &unct de vedere inten#iona",
1. ter*e#ii su#t a+#trac%i #au concre%i. .# ter*e# abstract
co#otea(% o A#suire co#siderat% A# si#e, #elegat% de u# obiect
deter*i#at. .# tere*e# abstract co#otea(% A#suiri ale u#ui obiect
deter*i#at. ,e eFe*@lu, al$astru e ter*e# abstract iar al$astru de
Vorone e ter*e# co#cret.
2. ter*e#ii su#t a+#o"u%i #au re"ativi. .# ter*e# absolut
co#otea(% A#suiri care @ot fi e#u#$ate des@re obiecte i#dividuale,
i(olate u#ele de altele. ,e eFe*@lu, o!& carte& nu!r par. .# ter*e#
relativ co#otea(% A#suiri care caracteri(ea(% obiectul de#otat #u*ai ca
re(ultat al rela$iei di#tre acel oboect i alte obiecte. ,e eFe*@lu,
sinoni!& *nsoitor& !a!.
'. ter*e#ii su#t inde&enden%i #au core"ativi. .# ter*e# este
i#de@e#de#t dac% A# co#ota$ia acestuia #u este #ecesar% referirea la alt
ter*e# sau la #ega$ia u#ui alt ter*e#. :reutate& culoare& triung,i su#t
ter*e#i i#de@e#de#$i. .# ter*e# este corelativ dac% A# co#ota$ia
acestuia este a#tre#at% #ecesar referirea la alt ter*e# sau la #ega$ia
u#ui alt ter*e#. A$solut-relativ& cauz-efect& sfer-coninut su#t @erec7i
de ter*e#i corelativi.
-. ter*e#ii su#t &o'itivi #au negativi. .# ter*e# @o(itiv co#otea(%
@re(e#$a u#eia sau *ai *ultor @ro@riet%$i la u# obiect. .# ter*e#
#egativ co#otea(% @rivarea obiectului de u#a sau *ai *ulte @ro@riet%$i.
,e eFe*@lu, or$ sau neverte$rat su#t ter*e#i #egativi.
> observa$ie aici: ter*e#ii #egativi #u su#t eF@ri*a$i cu #ecesitate
@ri# for*ul%ri ligvistic #egative, adic% utili(D#d @refiFe @rivative: a1& ne1&
in1& anti1& etc. aa cu* a* *e#$io#at deEa, orb, adic% li@sit de vedere, e
ter*e# #egativ.
Aa cu* bi#e a$i observat la curs, clasificarea #u este absolut%. Revela$ia face
di# ter*e#ul abstract Du!nezeu u# ter*e# co#cret. Ma! este ter*e# relativ atu#ci
cD#d este @us A# rela$ie cu ter*e#ul copil B*a*a este *a*% A#trucDt este *a*a
cuivaC, dar este ter*e# absolut atu#ci cD#d co#otea(% nsctoare, sau ddtoare de
via. Ae(area ter*e#ilor A# u#a sau alta di#tre clase este de@e#de#t% de co#teFtul
discursului i de u#iversul acestuia. )reci(area lor di*i#uea(% i*@reci(iile de
utili(are a ter*e#ilor i le uurea(% clasificarea.
1onte,tu" di#cur#u"ui re@re(i#t% *ul$i*ea de @ro@o(i$ii i fra(e A# asocia$ie cu
care este folosit ter*e#ul Bcare deter*i#% A#$elesul asociat ter*e#uluiC. H#tru#
co#teFt bogat, ter*e#ul este co#turat @recis. H#tru# co#teFt s%rac se desc7id *ai
*ulte c%i de i#ter@retare a ter*e#ului.
2niver#u" di#cur#u"ui re@re(i#t% *ul$i*ea ter*e#ilor avu$i A# vedere A#tru#
a#u*it co#teFt.
A* *e#$io#at *ai sus sfer-coninut ca ter*e#i corelativi. =aracterul corelativ al
acestora este evide#$iat de defi#i$iile lor. Astfel,
S!era termenu"ui re@re(i#t% ele*e#tul di# structura #o$iu#ii care reflect%
eFte#siu#ea ter*e#ului a c%rui i#te#siu#e este reflectat% de co#$i#utul #o$iu#ii.
1on%inutu" termenu"ui re@re(i#t% ele*e#tul di# structura #o$iu#ii care reflect%
i#te#siu#ea ter*e#ului a c%rui eFte#siu#e este reflectat% de sfera #o$iu#ii.
!o* tot folosi aceti ter*e#i. Oi#e$i *i#te, *ai si*@lu, sfera reflect% *ul$i*ea de
obiecte i co#$i#utul *ul$i*ea de @ro@riet%$i co*u#e obiectelor afere#te u#ui ter*e#.
Structura termeni"or
,i# @u#ct de vedere e,ten#iona",
<o$iu#ile su#t genuri B#o$iu#i i#clude#teC sau #&ecii B#o$iu#i i#cluseC. 6e#uri sau
s@ecii fii#d, #o$iu#ile alc%tuiesc serii i siste*e de #o$iu#i.
Seria de no%iuni este u# la#$ fi#it de #o$iu#i eF7austiv ordo#ate @ri# rela$ia de
i#clu(iu#e a eFte#siu#ilor. ,e eFe*@lu, triung,i dreptung,ic isoscel;triung,i
dreptung,ic;triung,i;poligon conve2 re@re(i#t% o serie de #o$iu#i B"tiu c% #u v%
@lac eFe*@lele acestea. Su#t folositoare @e#tru c% su#t clare, #u A#g%duie
i#ter@ret%ri *ulti@le. Ad%uga$i, aa cu* a* co#ve#it, orice eFe*@lu corect i sugestiv
v% @laceC.
Si#temu" de no%iuni este o gru@are de #o$iu#i @ar$ial ordo#ate du@% rela$ia de
i#clu(iu#e a eFte#siulilor. ,e eFe*@lu,
triung,i dreptung,ic isoscel;triung,i dreptung,ic;triung,i;poligon conve2
patrulater cu
un ung,i drept i laturi egale;patrulater
cu un ung,i drept;patrulater
pentagon
re@re(i#t% u# siste* de #o$iu#i.
Seriile i siste*ele de #o$iu#i alc%tuiesc u#iversurile de discurs. H# i#teriorul
acestora, #o$iu#ile se ordo#ea(% de la #&ecii"e u"time B#o$iu#i cu sfera cea *ai
*ic%, #u su#t ge#uri @e#tru alte #o$iu#i A# res@ectivul u#ivers de discursC, @ri#
#o$iu#ile co#co*ite#t ge# i s@ecie, @D#% la genu" #u&rem B#o$iu#ea cu sfera cea
*ai *are, #u este s@ecie A# acel u#ivers de discursC.
-enu" inc"ude #&ecia 3n e,ten#iunea #a, iar #&ecia inc"ude genu" 3n
inten#iunea #a.
Rela$ia di#tre i#te#siu#ea i eFte#siu#ea u#ui ter*e# este guver#at% de legea
varia$iei i#verse: /n orice #erie de no%iuni, ordinii de cretere a e,ten#iunii 3i
core#&unde o ordine de de#cretere a inten#iunii i reci&roc.
,i# @u#ct de vedere inten#iona",
<o$iu#ile au #ote Badic% A#suiri, tr%s%turi, caracteristiciC. Acestea su#t de *ai
*ulte feluri:
#ote ce a@ar$i# tuturor ele*e#telor eFte#siu#ii s@ecifice: &ro&riu" #o$iu#ii
#es@ecifice: note"e4gen
#u a@ar$i# tuturor ele*e#telor eFte#siu#ii: accidentu" #o$iu#ii.
Pro&riu" #o$iu#ii re@re(i#t% clasa de #ote caracteristice ce i#tr% A# i#te#siu#ea
#o$iu#ii A# *od eFclusiv.
=u aEutorul lui se defi#esc i se descriu ter*e#ii.
5ote"e4gen re@re(i#t% clasa de #ote #es@ecifice u#ei s@ecii, dar s@ecifice ge#ului
acesteia.
=u aEutorul lor se deter*i#% @ro@riet%$ile ge#erale ale obiectelor.
Accidentu" u#ei #o$iu#i re@re(i#t% clasa de #ote #es@ecifice ale ge#ului
re@re(e#tD#d @ro@riul u#eia di#tre s@eciile sale.
=u aEutorul lui se o@erea(% divi(iu#ea #o$iu#ilor.
,e eFe*@lu, @e#tru seria de ter*e#i utili(at% ca eFe*@lu *ai sus, triung,i
dreptung,ic isoscel;triung,i dreptung,ic;triung,i;poligon conve2&

#ota poligon conve2 este #ot%ge# @e#tru #o$iu#ea triung,i Bi @e#tru #o$iu#ile
triung,i dreptung,ic i triung,i dreptung,ic isoscelC
#ota cu un ung,i drept este @ro@riu @e#tru #o$iu#ea triung,i dreptung,ic, #ot%
ge# @e#tru #o$iu#ea triung,i dreptung,ic isoscel i accide#t @e#tru #o$iu#ea triung,i
#ota cu dou laturi egale este @ro@riu @e#tru #o$iu#ea triung,i dreptung,ic
isoscel i accide#t @e#tru #o$iu#ea triung,i dreptung,ic Bi @e#tru #o$iu#ea triung,iC.
6ata.
=urs -
6a&orturi "ogice 3ntre termeni genera"i
,ac% ter*e#ii ge#erali a@ar$i# u#or u#iversuri de discurs diferite, ter*e#ii su#t
i#co*@arabili. ,ac% a@ar$i# aceluiai u#ivers de discurs, atu#ci su#t co*@arabili,
aflD#duse u#ii fa$% de al$ii A# ra@orturi de co#corda#$% sau A# ra@orturi de o@o(i$ie.
Ra@orturile de co#corda#$% @ot fi ra@orturi de:
ide#titate
subordo#areN su@raordo#are
A#cruciare B#eeF7austiv%C
subco#trarietate BA#cruciare eF7austiv%C.
Ra@orturile de o@o(i$ie @ot fi ra@orturi de:
co#trarietate
co#tradic$ie.
Ra@orturile acestea su#t evide#$iabile la #ivel eFte#sio#al i la #ivel i#te#sio#al.
Ra@orturi eFte#sio#ale A#tre ter*e#i ge#erali
)e#tru re@re(e#tarea grafic% o@era$io#al% a ra@orturilor di#tre ter*e#ii ge#erali
su#t utili(ate diagra*ele Euler i !e##.
Diagrame"e Eu"er re@re(i#t% rela$iile di#tre sferele ter*e#ilor ca rela$ii A#tre
*ul$i*i A# u#iversul de discurs.
Diagrame"e 7enn re@re(i#t% A#totdeau#a eFte#siu#ile ter*e#ilor afla$i A# rela$ie
ca cercuri care se i#tersectea(% A# u#iversul de discurs i *arc7ea(% su@li*e#tar,
@ri# F sau 7aur%, @%r$ile di# aceste eFte#siu#i des@re care eFist% i#for*a$ii cu @rivire
la caracterul vidN #evid al lor.
/n diagrame"e 7enn #e $aurea' 'ona vid de e"emente i #e marc$ea' cu
, 'ona 3n care e,i#t ce" &u%in un e"ement. ( 'on nemarcat e#te o 'on
indi!erent in!ormativ.
,iagra*e#le !e## A*@art u#iversul de discurs al rela$iei di#tre doi ter*e#i A#
@atru regiu#i:
1. ALB, adic% ele*e#tele care su#t A, dar #u su#t i BG
2. AB, adic% le*e#tele care su#t atDt A, cDt i BG
'. LAB, adic% ele*e#tele care su#t B,dar #u i AG
-. LALB, adic% ele*e#tele care #u su#t #ici A, dar #ici B.
"i acu*, re@re(e#tarea ra@orturilor Bde co#corda#$% i o@o(i$ieC *e#$io#ate
a#terior:
6a&ortu" de identitate, A# ca(ul c%ruia 'oi A sunt )& 'oi ) sunt A& 'oi <A sunt
<) i 'oi <) sunt <A, se re@re(i#t% grafic astfel Bdiagra*% Euler N diagra*% !e##C:
6a&ortu" de #u+ordonare, A# ca(ul c%ruia 'oi A sunt )& (2ist ) care nu sunt A
i (2ist <A care sunt <)& se re@re(i#t% grafic astfel:
6a&ortu" de #u&raordonare, A# ca(ul c%ruia 'oi ) sunt A& (2ist A care nu sunt
) i (2ist <A care sunt <)& se re@re(i#t% grafic astfel:
6a&ortu" de 3ncruciare 8nee,$au#tiv9, A# ca(ul c%ruia (2ist A care sunt )&
(2ist A care nu sunt )& (2ist ) care nu sunt A i (2ist <A care sunt <)& se
re@re(i#t% grafic astfel:
6a&ortu" de #u+contrarietate 83ncruciare e,$au#tiv9, A# ca(ul c%ruia (2ist
A care sunt )& (2ist A care nu sunt )& (2ist ) care nu sunt A i =u e2ist <A care
sunt <)& se re@re(i#t% grafic astfel:
6a&ortu" de contrarietate 8e,c"u'iune nee,$au#tiv9, A# ca(ul c%ruia (2ist A
care nu sunt )& (2ist ) care nu sunt A& =u e2ist A care sunt ) i (2ist <A care
sunt <)& se re@re(i#t% grafic astfel:
6a&ortu" de contradic%ie 8e,c"u'iune e,$au#tiv9, A# ca(ul c%ruia (2ist A care
nu sunt )& (2ist ) care nu sunt A& =u e2ist A care sunt ) i =u e2ist <A care sunt
<)& se re@re(i#t% grafic astfel:
Ra@orturi i#te#sio#ale A#tre tere*#i ge#erali
H# calitate de @redicabil, u# ter*e# devi#e #ot%. ,i# @u#ct de vedere i#te#sio#al,
ra@orturile A#tre doi ter*e#i su#t ra@orturi A#tre @osibile #ote ale u#ui al treilea
ter*e#. Astfel,
H# ra&orturi"e de concordan% Bide#titate, subordo#are, su@raordo#are,
A#cruciare, subco#tarietateC doi ter*e#i @ot figura si*ulta# ca #ote A# i#te#siu#ea
cel @u$i# u#ui alt ter*e#.
H# ra&orturi"e de o&o'i%ie Bco#trarietate i co#tradic$ieC doi ter*e#i #u @ot figura
si*ulta# ca #ote A# i#te#siu#ea u#ui alt ter*e#.
Termenii contrari se caracteri(ea(% @ri# abse#$a #otelor s@ecifice ter*e#ilor
o@ui i @ri# @re(e#$a u#or #ote @ro@rii. =a @redicate, ter*e#ii co#trari #u @ot fi
afir*a$i A# acelai ti*@ des@re acelai subiect, dar @ot fi #ega$i A# acelai ti*@
Bco#trarietatea @u#e A# evide#$% @ri#ci@iul #o#co#tradic$ieiC. 0er*e#ii co#trari divid
u#iversul de discurs A# *ai *ult de dou% regiu#i.
Termenii contradictorii se caracteri(ea(% @ri# fa@tul c% u#ul are ca #ot%
@ri#ci@al% abse#$a celuilalt ter*e#. 0er*e#ii co#tradictorii su#t fiecare #ega$ia
celuilalt. =a @redicate, #u @ot fi e#u#$a$i #ici ca a@ar$i#D#d, #ici ca #ea@ar$i#D#d
A*@reu#% A# acela$i ti*@ aceluiai subiect Bco#trarietatea @u#e A# evide#$%
co#Eugarea @ri#ci@iului #o#co#tradic$iei cu @ri#ci@iul ter$ului eFclusC. 0er*e#ii
co#tradictorii divid u#iversul discursului A# dou% regiu#i.
Ra@orturile eFiste#te A#tre ter*e#i A#g%duie derivarea u#or ter*e#i di# al$ii.
,eriv%rile acestea se #u*esc o&era%ii "ogice cu termeni i @ot fi de *ai *ulte feluri:
>@era$ii logice cu ter*e#i

Rela$ie
desce#de#t%
Rela$ie
asce#de#t%
Rela$ie
biu#ivoc%
B C
6e#s@ecie S@ecificare 6e#erali(are
H#treg@arte ,ifere#$iere I#tegrare
Rela$ie u#ivoc%
B C
6e#s@ecie ,ivi(iu#e =lasificare
H#treg@arte A#ali(% Si#te(%
S&eci!icarea este o@era$ia logic% @ri# care se co#struiete s@ecia di#tru# ge# al
s%u.
-enera"i'area este o@era$ia logic% @ri# care se co#struiete ge#ul di#tro s@ecie
a sa.
Divi'iunea este o@era$ia logic% de desco*@u#ere a ge#ului A# s@eciile sale.
6e#ul este ter*e#ul de divi(at, s@eciile su#t *e*brii divi(iu#ii. ,ifere#$a s@ecific%
Bdi#tre s@eciiC re@re(i#t% fu#da*e#tul divi(iu#ii. BDup relaia dintre !surile laturilor
i ung,iurilor lor& poligoanele pot fi regulate sau neregulate e u# eFe*@lu de
desco*@u#ere a ge#ului poligon A# s@eciile regulat i neregulat, du@% difere#$a
s@ecific% relaie dintre !surile laturilor i ung,iurilor lor.C
1"a#i!icarea este o@era$ia logic% de alc%tuire a ge#ului di# s@eciile dale.
,ifere#$a s@ecific% re@re(i#t% criteriul clasific%rii. Aceasta @oate fi #atural% sau, du@%
cu* criteriul este sau #u #ot% defi#itorie a ge#ului. BMerele& prunele i strugurii sunt
fructe e o clasificare #atural%. Merele& prunele i glo$urile de "rciun sunt o$iecte cu
suprafa lucioas i cur$ e o clasificare artificial%.C
Di!eren%ierea este o@era$ia logic% @ri# care di#tru# ter*e# care se refer% la u#
A#treg se co#struiete u# ter*e# care se refer% la u#a di#tre @%r$ile A#tregului.
0ntegrarea este o@era$ia logic% @ri# care di#tru# ter*e# care se refer% la u#a
di#tre @%r$ile A#tregului se co#struiete u# ter*e# care se refer% la A#treg.
Ana"i'a este o@era$ia logic% @ri# care di# ter*e#ul care se refer% la A#treg se
co#struiete *ul$i*ea ter*e#ilor care se refer% la @%r$ile sale.
Sinte'a este o@era$ia logic% @ri# care di# *ul$i*ea ter*e#ilor care se refer% la
@%r$ile u#ui A#treg se co#struiete ter*e#ul @e#tru A#treg.
B,ac% #u se @otrivete ceea ce a$i #otat la curs cu ceea ce toc*ai a$i citit,
corecta$i, v% rog fru*os, #oti$ele.C
)e#tru a fi corecte, o@era$iile logice cu ter*e#i trebuie s% res@ecte cDteva regu"i:
o@era$iile #ecesit% trei ter*e#i: ter*e#ul dat, ter*e#ul co#struit i difere#$a
s@ecific%CG
ter*e#ul dat i cel co#struit se afl% A# ra@ort de ordo#aG
#ota ad%ugat%N A#de@%rtat% @ri# o@era$ie re@re(i#t% o difere#$% s@ecific%G
fu#da*e#tul divi(iu#iiNcriteriul calsific%rii s% fie u#icG
divi(iu#eaN clasificarea s% e@ui(e(e eFte#siu#ea ge#ului BA# ca( co#trar,
o@era$iiloe su#t fie i#co*@lete, fie abu#de#teC.
=urs 5
De!ini%ia
,efi#i$ia este o@era$ia de @reci(are a eFte#siu#ii i i#te#siu#ii ter*e#ilor. Este o
o@era$ie co*@leF%, co#EugD#d A# *oduri diferite o@era$iile si*@le @re(e#tate a#terior.
,efi#i$ia are for*% @ro@o(i$io#al%. 0er*e#ii se defi#esc @ri# i#ter*ediul altor
ter*e#i.
AK
df
B
,efi#i$ia co#$i#e u# ter*e# de defi#it Bdefi#ie#du*C, u#ul sau *ai *ul$i ter*e#i
@ri# care se defi#ete Bdefi#ie#sC i rela$ia de ec7ivale#$% A#tre aceste dou% @%r$i.
,efi#i$ia red% se*#ifica$ia i se#sul ter*e#ilor. Acestea alc%tuiesc co#$i#utul
defi#i$iei.
,efi#i$ia deli*itea(% i ordo#ea(% obiectele, A#de@li#i#d *ai *ulte fu#c$ii
cog#itive. Astfel,
fiFea(% eF@erie#$ele de cu#oatere,
@reci(ea(% A#$elesul ter*e#ilor, @er*i$D#d i#troducerea de ter*e#i #oi i
facilitD#d traducerea eF@resiilor,
sus$i#e folosirea colectiv% a ter*e#ilor.
Du& &rocedeu" de de!inire, defi#i$iile @ot fi de#otative sau co#tative. ,efi#i$iile
de#otative evide#$ia(% eFte#siu#ea ter*e#ului de defi#it. ,efi#i$iile co#otative
evide#$ia(% i#te#siu#ea acestuia. ;iecare di#tre aceste ti@uri de defi#i$ii @ot fi, la
rD#dul lor, de *ai *ulte feluri:
,efi#i$ii de#otative
1. &rin e,em&"i!icare, adic% @ri# i#dicarea u#ui ele*e#t di# i#te#siu#ea
defi#itului. %o!an istoric este& de e2e!plu& 3raii >deri.5 e o defi#i$ie @ri#
eFe*@lificare.
2. &rin enumerare, adic% @ri# i#dicarea tutror ele*e#telor cu#oscute di#
eFte#siu#ea defi#itului. ,e eFe*@lu, Metal alcalin este oricare dintre
ur!toarele ele!ente? Li& @a& =a& %$& "s& r.
'. &rin indicare 8#au de!ini%ie o#ten#ivC, adic% @ri#tru# gest de ar%tare
A#so$it de o eF@resie de felul Acesta este....& Iat un.... ,e eFe*@lu, %egina1
nopii este aceast floare.
,efi#i$iile de#otative su#t utile dar i*@recise, A#locui#d ge#eralul @ri#
@articular sau si#gular.
,efi#i$ii co#otative
1. &rin #inonime, adic% @ri# i#dicarea u#ui ter*e# cu aceeai Bsau cDt
*ai a@ro@iat%, rareori eFist% si#o#i*ie absolut%C eFte#siu#e. Su#t defi#i$ii de
dic$io#ar.
2. &rin gen &ro,im i di!eren% #&eci!ic, adic% @ri# i#troducerea
ter*e#ului de defi#it A# ge#ul s%u i difere#$ierea acestuia de ceilal$i ter*e#i
i#clui A# ge#. )e#tru a fi corect%, o defi#i$ie de acest ti@ trebuie s%
A#de@li#easc% ur*%toarele co#di$ii:
ge#ul s% fie @roFi* Badic% i*ediat su@raordo#atC,
difere#$a s% fie s@ecific% Badic% o #ot% @ro@rie A# i#te#siu#ea
defi#itului care s% Al deosebeasc% de celelalte s@ecii ale ge#ului
@roFi*C,
u# ter*e# @oate fi i#clus succesiv A# ge#uri @roFi*e diferite
#u*ai @ri# i#dicarea u#or difere#$e s@ecifice afere#te.
> observa$ie:
Acelai ter*e# @oate fi defi#it A# *od corect A# *ai *ulte feluri, defi#i$iile astfel
ob$i#ute avD#d valori g#oseologice diferite. ,efi#irea @ri# ge# @roFi* i difere#$%
s@ecific% este co#siderat% A# logic% dre@t cea *ai riguroas%.
Du& !e"u" entit%i"or de!inite, defi#i$iile @ot fi #o*i#ale sau reale. H# ca(ul
defi#i$iilor #o*i#ale, defi#itul este o eF@resie Bu# #u*eC. Su#t defi#i$ii de dic$io#ar.
,efi#i$iile reale @reci(ea(% co#$i#utul ter*e#ilor. > defi#i$ie #o*i#al% men%ionea'
ter*e#ul de defi#it, ar%tD#d ce #e 3n%e"ege @ri# acesta. > defi#i$ie real% fo"o#ete
ter*e#ul de defi#it, ar%tD#d ce e#te Bre@re(i#t%C acesta. ;iecare di#tre aceste ti@uri
de defi#i$ii @ot fi, la rD#dul lor, de *ai *ulte feluri:
,efi#i$ii #o*i#ale
1. de 3nregi#trare, adic% de co#se*#are a A#$elesului eF@resiei A# li*baEG
2. de &reci'are, aducD#d o co*@letare la A#$elesul u#ei eF@resii sau
*odificD#dui A#$elesul A# fu#c$ie de cu#oti#$ele #oiG
'. #ti&u"ative, adic% de co#ferire a u#ei acce@$iu#i #oi u#ui ter*e#
eFiste#t deEa la i#troducerea lui A#tru# co#teFt #ou, sau de i#troducere a u#ei
co#struc$ii li#gvistice #oi.
> observa$ie:
,efi#i$iile sti@ulative se @ot tra#sfor*a A# ti*@, @ri# i#trarea ter*e#ilor defi#i$i A#
li*baEul cure#t, A# defi#i$ii de A#registrare.
,efi#i$ii reale
1. generice, adic% @ri# ge# @roFi* i difere#$% s@ecific%, a@licabile
ter*e#ilor ge#erali, cu@ri#i A#tre s@eciile ulti*e i ge#ul su@re* A# u#iversul
de discursG
2. genetice, A# care defi#itorul i#dic% *odul de for*are a obiectului. ,e
eFe*@lu, tot de la geo*etrie dar *ai @u$i# col$uros, "ercul este figura
geo!etric o$inut prin rotirea cu AB0C a unui punct *n 7urul altui punct fi2& la
o distan constant de acesta.G
'. !unc%iona"e, A# care defi#itorul arat% fu#c$ia defi#itului A# a#sa*blul
fu#c$io#al. ,e eFe*@lu, ondul de ten este produsul cos!etic care acoper
denivelrile pielii& conferindu1i acesteia un aspect plcut.
-. re"a%iona"e, A# care defi#itorul i#idic% rela$iile s@ecifice ale defi#itului.
,e eFe*@lu, Dnu E.F este nu!rul cu care *n!ulind orice alt nu!r se o$ine
tot acel nu!r.
5. o&era%iona"e, A# care defi#itorul i#dic% o@era$iile de ide#tificare a
defi#itului. ,e eFe*@lu, Acidul este su$stana c,i!ic ce *nroete ,rtia
al$astr de turnesol.
)e#tru a fi corecte, defi#i$iile trebuie, de ase*e#ea, s% res@ecte cDteva reguli:
A. 6egu"a de e,ten#iune: ,efi#i$ia trebuie s% fie adecvat. Asta
A#sea*#% c% defi#itorul i defi#itul trebuie s% fie eF@ri*a$i @ri# ter*e#i
cu aceeai sfer%. H# ca( co#trar, defi#i$ia Bi#corect%C este:
&rea "arg, A# ca(ul A# care defi#itorul este sur@raordo#at
defi#itului. #tratul este un patrulater ec,ilateral. este u#
eFe*@lu de astfel de defi#i$ie @rea larg%.
&rea 3ngu#t, A# ca(ul A# care defi#itorul este subordo#at
defi#itului. #aralelogra!ul este un patrulater ec,ilateral. este u#
eFe*@lu de astfel de defi#i$ie @rea A#gust%.
cu termeni 3ncrucia%i, adic% @rea A#gust% sau @rea larg%
A# fu#c$ie de direc$ia de abordare. #aralelogra!ul este un
patrulater cu diagonale congruente. este u# eFe*@lu de defi#i$ie
cu ter*e#i A#crucia$i Beste defi#i$ie @rea larg% A#trucDt tra@e(ul
isoscel este de ase*e#ea @atrulater cu diago#ale co#grue#te,
f%r% a fi @aralelogra*, i este defi#i$ie @rea A#gust% A#trucDt
eFist% @aralelogra*e care #u au diago#ale co#grue#te, ca
ro*bulC. "artea este instru!ent didacticG =aiunea este
co!unitatea vor$itorilor unei li!$i su#t alte eFe*@le de defi#i$ii
cu ter*e#i A#crucia$i.
B. 6egu"a de inten#iune: ,efi#i$ia trebuie s% fie c"ar. Asta
A#sea*#% c% defi#itorul trebuie s% fie *ai clar decDt defi#itul. H# ca(
co#trar, defi#i$ia Bi#corect%C este:
tauto"ogic, A# ca(ul A# care defi#itorul re@et% defi#itul. ,e
eFe*@lu, (2istena este ceea ce e2ist.
circu"ar, dac% defi#itorul se s@riEi#%, la rD#dul lui, @e
defi#it. ,e eFe*@lu, ru!osul este ceea ce suscit si!ul estetic
BcD#d Si!ul estetic este si!ul fru!osului.C.
> observa$ie aici: ,efi#irea ter*e#ilor corelativi @ri#
i#ter*ediul rela$iei care Ai u#ete #u este defi#i$ie circular% Bde
eFe*@lu, "auza este un o$iect sau un proces care precede i
produce cu necesitate un alt o$iect sau proces denu!it efect.C
ne4nece#ar negativ, A# ca(ul A# care defi#itorul i#dic%
ceea ce #u este defi#itul, #u ceea ce este acesta. ,e eFe*@lu,
Linia cur$ este linia care nu este nici dreapt nici frnt. e
defi#i$ie #e#ecesar #egativ%.
> observa$ie i aici: <ega$ia li#gvistic% #u eF@ri*% cu
#ecesitate o #ega$ie logic%. ,e eFe*@lu, #aralelele sunt drepte
din acelai plan care nu se *ntlnesc niciodat. #u este di# @u#ct
de vedere logic o defi#i$ie #egativ% B@redicatul logic afere#t ei
este distan constant *n plan *ntre cele dou drepteC.
ec$ivoc, A# ca(ul A# care defi#itorul cu@ri#de ter*e#i cu
se*#ifica$ie i se#s i*@recise. ,e eFe*@lu, %epetiia este
!a!a *nvturii.
=. 6egu"a de re"a%ie: ,efi#i$ia trebuie s% fie co#siste#t%. Asta A#sea*#%
c% defi#i$ia #u trebuie s% co#tra(ic% alte defi#i$ii sau @ro@o(i$ii acce@tate
A# u#iversul de discurs. ,e eF*@lu, "apul Horn este !arginea lu!ii #u
@oate fi A*@reu#% adev%rat% cu @ro@o(i$ia acce@tat% A# u#iversul de
discurs al tii#$ei co#te*@ora#e #!ntul e rotund.
=urs 6
8>6I=A )R>)>PIOII8>R
)R>)>PIOII8E =A0E6>RI=E
H# logic% &ro&o'i%ie categoric sau de &redica%ie B#u*it% aa de la 6ategorein, gr.,
a @redica, adic% a atribui o @ro@rietateC este orice @ro@o(i$ie A# care se e#u#$% ceva
des@re u# obiect deter*i#at sau des@re *e*brii u#ei clase de obiecte.
> astfel de @ro@o(i$ie are subiect i @redicat. Su+iectu" @ro@o(i$iei categorice este
ter*e#ul care dese*#ea(% ceva. Predicatu" este ter*e#ul @ri# care se e#u#$% ceva
des@re ceea ce dese*#ea(% subiectul.
Ra@ortul de @redica$ie este evide#$iat la #ivelul li*baEului co*u# @ri# co@ul% BesteC
sau @ri# for*a gra*atical% a ter*e#ului @redicat B"ursul este *ncnttor.- "ursul
*ncnt.& de eFe*@luC. ,esigur, o @ro@o(i$ie categoric% @oate fi eF@ri*at% A# for*e
gra*aticale diferite, u#ele de *are co*@leFitate.
Acu*, du@% ca"itatea lor, @ro@o(i$iile categorice @ot fi:
a!irmative, ca( A# care @ro@rietatea @redicat% este afir*at% des@re subiectG
negative, ca( A# care @ro@rietatea @redicat% este #egat% A# leg%tur% cu
subiectul.
,u@% cantitate Badic% du@% #u*%rul subiectuluiC, @ro@o(i$iile categorice @ot fi:
#ingu"are, ca( A# care subiectul este ter*e# si#gularG
genera"e, care la rD#dul lor @ot fi:
univer#a"e, ca( A# care @redicatul e#u#$% ceva des@re A#treaga
eFte#siu#e a subiectuluiG
&articu"are, ca( A# care @redicatul este e#u#$at des@re o @arte a
eFte#siu#ii subiectului.
=o*bi#D#d aceste criterii de clasificare i ad*i$D#d c% @ro@o(i$iile si#gulare @ot fi
tratate ca u#iversale A#trucDt @redicatul lor e#u#$% ceva des@re A#treaga eFte#siu#e a
subiectului care este ter*e# si#gular, se ob$i# - ti@uri de @ro@o(i$ii categorice cu
subiect ge#eral:
A: u#iversala afir*ativ%, 'oi S sunt #: Sa)
E: u#iversala #egativ%G =iciun S nu este #: Se)
I: @articulara afir*ativ%, Dnii S sunt #: Si)
>: @articulara #egativ%, Dnii S nu sunt #: So).
Se*#ele si#categore*atice Bv% *ai a*i#ti$i, desigur, ces asteaC toi i niciun
aco@er% A# for*ul%rile a#terioare i ca(ul li*it% al clasei S cu u# si#gur ele*e#t,
ca(ul @ro@o(i$iei si#gulare.
Subiectul i @redicatul u#ei @ro@o(i$ii categorice @artici@% la se*#ifica$ia acesteia cu
i#te#siu#ea i eFte#siu#ea lor. Astfel, di# @u#ct de vedere i#te#sio#al, o @ro@o(i$ie
Sa) co#se*#ea(% fa@tul c% @ro@rietatea S este A#so$it% totdeau#a de @ro@rietatea ),
di# @u#ct de vedere eFte#sio#al Sa) co#se*#D#d i#clu(iu#ea clasei S A# clasa ).
Re@re(e#tarea grafic% a @ro@o(i$iilor categorice evide#$ia(% ra@orturile di#tre ter*e#ii
BS, )C acestora:
,iagra*e
N@ro@o(i$ii
Sa) Se) Si) So)
Euler

!e##

H# re@re(e#tarea cu diagra*e Euler, a* utili(at li#ia co#ti#u% @e#tru a sugera
certitudi#ea i#for*a$iei re@re(e#tate grafic i li#ia A#treru@t% @e#tru a sugera
caracterul vag al res@ectivei i#for*a$ii. H# diagra*ele !e##, du@% cu* ti$i, este
*arcat% cu F (o#a #evid% BA# care, adic%, se tie c% eFist% cel @u$i# u# ele*e#tC, este
7aurat% (o#a vid% i este #e*arcat% (o#a des@re care li@sete i#for*a$ia.
H#tre @ro@o(i$iile categorice eFist% tot felul de rela$ii. =o#siderD#d S i ) Bsubiectul i
@redicatulC @ro@o(i$iei categorice dre@t argu*e#te ale ale acesteia, @ute* A*@%r$i
@ro@o(i$iile A#:
#im&"e B*ai #u*ite i ato*iceC, adic% @ro@o(i$ii ale c%ror argu*e#te su#t
ter*e#iG
com&u#e B*ai #u*ite i *oleculareC, adic% @ro@o(i$ii ale c%ror argu*e#te
su#t @ro@o(i$iiG @ro@o(i$iile co*@use @ot fi, la rD#dul lor:
cu o&eratori veri!unc%iona"i, adic% @ro@o(i$ii cu valoare de adev%r
deter*i#at% u#ivoc de valorile de adev%r ale argu*e#telor legate cu aEutorul
o@eratorilor logiciG
de moda"itate, adic% @ro@o(i$ii cu valoare de adev%r de@e#de#t% de
ti@ul o@eratorilor logici care leag% argu*e#tele.
Rela$iile di#tre @ro@o(i$iile si*@le su#t abordabile di# @ers@ectiva ra@orturilor
eFiste#te A#tre ter*e#ii lor. !o* reve#i la acestea. A vrea s% @ovesti* acu* des@re
@ro@o(i$iile co*@use cu o@eratori verifi#c$io#ali. 1otivul acestei abord%ri oarecu* @e
dos BA#tDi @ro@o(i$iile co*@use i a@oi @ro@o(i$iile si*@leC este didactic i, A#tru# ca(
fericit la care A#c% #%d%Eduiesc, se va dovedi A#te*eiat *ai tDr(iu.
Aadar,
8>6I=A )R>)>PIOII8>R =>1).SE =. >)ERA0>RI !ERI;.<=OI><A8I
!o* #u*i !unc%ie de adevr ra@ortul de cores@o#de#$% A#tre valorile de adev%r ale
@ro@o(i$iilor ele*e#tare Bsi*@le, ato*iceC i valoarea de adev%r a @ro@o(i$iei
co*@use di# acestea. !o* re@re(e#ta astfel fu#c$ia de adev%r:

Q
a
K 0
=
B@,RC 0
>
B@,RCG 0KS3,1T
)are *ai A#frico%tor decDt este. 0
=
B@,RC re@re(i#t% valorile de adev%r ale @ro@o(i$iilor
ele*e#tare ce alc%tuiesc @ro@o(i$ia co*@us%. 0
>
B@,RC re@re(i#t% valorile
o@era$ieiNo@era$iilor logice asu@ra @ro@o(i$iilor ele*e#tare. !alorile de adev%r @ot fi
fals B3C i adev%rat B1C.
8ogica ide#tific% i o@erea(% cu 16 fu#c$ii ele*e#tare de adev%r, fu#c$ii ce aco@er%
i#tervalul ra@orturilor de cores@o#te#$% @osibile A#tre valorile de adev%r de la
tautologie Bcare ia valoarea logic% adev%rat i#difere#t de valorile de adev%r ale
argu*e#telor saleC la co#tradic$ie Bcare ia valoarea logic% fals i#difere#t de valorile
de adev%r ale argu*e#telor saleC. !% voi @re(e#ta cDteva di#tre aceste fu#c$ii de
adev%r, a#u*e @e cele @e care le socotesc *ai folositoare A# evaluarea logic% a
argu*e#t%rilor di# de*ersurile de cercetare. ,oritorii sDrgui#cioi vor g%si tabelul
co*@let al fu#c$iilor ele*e#tare de adev%r A# 'ractatus logico1p,ilosop,icus, lucrarea
lui 8. :ittge#stei# des@re care ve$i *ai tot au(i.
Aadar....
5E-A:0A este fu#c$ia de adev%r *o#ar% Bcu u# si#gur argu*e#t, adic%C ce ia
valoarea logic% adev%rat B1C cD#d argu*e#tul ia valoarea logic% fals B3C i i#vers.
<ega$ia este si*boli(at% L@, se citete =u este adevrat p, are se*#ifica$ia i#tuitiv%
a co#test%rii valorii logice a @ro@o(i$iei date i se re@re(i#t% tabelar astfel:
@ L@
1 3
3 1
0abelele fu#c$iilor ele*e#tare de adev%r evide#$ia(% regulile s@ecifice de adev%r ale
acestor fu#c$ii. =u#oaterea regulilor de adev%r este util% A# evaluarea logic% a
@ro@o(i$iilor co*@use. H# ca(ul #ega$iei, regula de adev%r arat% aa:
7a"oarea de adevr a nega%iei e#te o&u# va"orii de adevr a
&ro&o'i%iei negate.
Adic%,
@e#tru @K1, L@K3
@e#tru @K3, L@K1,
sau, utili(D#d #ota$ia lui Uui#e BV @e#tru @ro@o(i$ie adev%rat% i W @e#tru @ro@o(i$ie
fals%C:
L@ K LB@C, dac% @K V, L@K W iar dac% @K W, L@K V.
1(5;251:0A este fu#c$ia de adev%r bi#ar% Bcu dou% argu*e#te, adic% legD#d dou%
@ro@o(i$iiC care ia valoarea logic% adev%rat B1C atu#ci i #u*ai atu#ci cD#d a*bele
argu*e#te su#t adev%rate. =o#Eu#c$ia este si*boli(at% @MR Bsau @XRC, se citete p i
I, are se*#ifica$ia i#tuitiv% a co#eFiu#ii si*@le a fa@telor eF@ri*ate A# @ro@o(i$iile @ i
R i se re@re(i#t% tablelar astfel:
@ R @MR
1 1 1
1 3 3
3 1 3
3 3 3
H# ca(ul co#Eu#c$iei @ot fi evide#$iate ur*%toarele reguli de adev%r:
Dac o com&onent a con.unc%iei e#te adevrat, va"oarea de adevr a
con.unc%iei e#te dat de va"oarea de adevr a ce"ei"a"te com&onente.
B@MV K @, dac% @K V, VMV K V, iar dac% @K W, WMV K WC
Dac o com&onent a con.unc%iei e#te !a"#, con.unc%ia e#te !a"#.
B@MW K WC
D0S;251:0A este fu#c$ia de adev%r bi#ar% care ia valoarea logic% fals B3C atu#ci i
#u*ai atu#ci cD#d a*bele argu*et#e su#t false B3C. ,isEu#c$ia este si*boli(at% @vR,
se citete p sau I, se*#ific% i#tuitiv fa@tul c% cel @u$i# u#a di#tre st%rile de fa@t
eF@ri*ate A# @ro@o(i$ii se reali(ea(% i este re@re(e#tat% tabelar astfel:
@ R @vR
1 1 1
1 3 1
3 1 1
3 3 3
H# ca(ul disEu#c$iei @ot fi evide#$iate ur*%toarele reguli de adev%r:
Dac o com&onent a di#.unc%iei e#te adevrat, di#.unc%ia e#te
adevrat.
B@vV K VC
Dac o com&onent a di#.unc%iei e#te !a"#, va"oarea de adevr a
di#.unc%iei e#te dat de va"oarea ce"ei"a"te com&onente.
B@vW K @, dac% @K V, V vW K V, iar dac% @K W, W vW K WC
E<1)2=025EA este fu#c$ia de adev%r bi#ar% care ia valaorea logic% fals B3C atu#ci
cD#d argu*e#tele ei au aceeai valaore logic% i valoarea logic% adev%rat B1C atu#ci
cD#d argu*e#tare au valori logice diferite. EFclu(iu#ea este si*boli(at% @YR Bsau
@ZRC, se citete sau p sau I, se*#ific% i#tuitiv fa@tul c% u#ul i #u*ai u#ul di#tre
fa@tele eF@ri*ate A# @ro@o(i$ii se reali(ea(% i este re@re(e#tat% tabelar astfel:
@ R @YR
1 1 3
1 3 1
3 1 1
3 3 3
H# ca(ul eFclu(iu#ii @ot fi evide#$iate ur*%toarele reguli de adev%r:
Dac o com&onent a e,c"u'iunii e#te adevrat, atunci va"oarea de
adevr a e,c"u'iunii e#te dat de va"oarea de adevr a nega%iei ce"ei"a"te
com&onente.
B@YV K L@, dac% @K V, V YV K W, iar dac% @K W, W YV K VC
Dac o com&onent a e,c"u'iunii e#te !a"#, va"oarea de adevr a
e,c"u'iunii e#te dat de va"oarea de adevr a ce"ei"a"te com&onente.
B@YW K @, dac% @K V, V YW K V, iar dac% @K W, W YW K WC
0MP)01A:0A este fu#c$ia de adev%r bi#ar% care ia valoarea logic% fals B3C atu#ci i
#u*ai atu#ci cD#d a#tecede#tul este adev%rat B1C i co#secve#tul este fals B3C.
I*@lica$ia este si*boli(at% @[R, se citete dac p atunci I, se*#ific% i#tuitiv c% este
i*@osibil ca fa@tul eF@ri*at A# a#tecede#t s% se reali(e(e iar fa@tul eF@ri*at A#
co#secve#t s% #u se reali(e(e i este re@re(e#tat% tabelar astfel:
@ R @[R
1 1 1
1 3 3
3 1 1
3 3 1
H# ca(ul i*@lica$iei @ot fi evide#$iate ur*%toarele reguli de adev%r:
Dac o com&onent a im&"ica%iei e#te adevrat, atunci va"oarea de
adevr a im&"ica%iei e#te dat de va"oarea de adevr a con#ecventu"ui.
BV[@ K @, dac% @K V, V [V K V, iar dac% @K W, V[WK WC
Dac o com&onent a im&"ica%iei e#te !a"#, va"oarea de adevr a
im&"ica%iei e#te dat de va"oarea de adevr a nega%iei antecedentu"ui.
B@[W K L@, dac% @K V, V[WK W, iar dac% @K W, W [WK VC
E1>07A)E5:A este fu#c$ia de adev%r bi#ar% care ia valoarea logic% adev%rat B1C
atu#ci cD#d a*bele argu*e#te au aceeai valaore logic% i valoarea logic% fals B3C
cD#d argu*e#tele au valori logice diferite. Ec7ivale#$a este si*boli(at% @\R, se
citete dac i nu!ai dac p atunci I, se*#ific% i#tuitiv c% a*bele fa@te eF@ri*ate A#
@ro@o(i$ii fie se reali(ea(% fie #u se reali(ea(% i este re@re(e#tat% tabelar astfel:
@ R @\R
1 1 1
1 3 3
3 1 3
3 3 1
H# ca(ul ec7ivale#$ei @ot fi evide#$iate ur*%toarele reguli de adev%r:
Dac o com&onent a ec$iva"en%ei e#te adevrat, atunci va"oarea de
adevr a ec$iva"en%ei e#te dat de va"oarea de adevr a ce"ei"a"te com&onente.
B@\V K @, dac% @K V, V \V K V, iar dac% @K W, W \V K WC
Dac o com&onent a ec$iva"en%ei e#te !a"#, va"oarea de adevr a
ec$iva"en%ei e#te dat de va"oarea de adevr a nega%iei ce"ei"a"te com&onente.
B@\W K L@, dac% @K V, V \WK W, iar dac% @K W, W \WK VC
051(MPAT0B0)0TATEA este fu#c$ia de adev%r bi#ar% care ia valoarea logic% fals B3C
atu#ci i #u*ai atu#ci cD#d a*bele argu*e#te su#t adev%rate. I#co*@atibilitatea
este si*boli(at% @NR Bsau @ RC, se citete nu p sau nu I, se*#ific% i#tuitiv c% cel *ult
u#ul di#tre fa@tele eF@ri*ate de cele dou% @ro@o(i$ii se reali(ea(% i este
re@re(e#tat% tabelar astfel:
@ R @NR
1 1 3
1 3 1
3 1 1
3 3 1
H# ca(ul i#co*@atibilit%$ii @ot fi evide#$iate ur*%toarele reguli de adev%r:
Dac o com&onent a incom&ati+i"it%ii e#te adevrat, atunci va"oarea
de adevr a incom&ati+i"it%ii e#te dat de va"oarea de adevr a nega%iei
ce"ei"a"te com&onente.
B@NV K L@, dac% @K V, V NV K W, iar dac% @K W, W NV K VC
Dac o com&onent a incom&ati+i"it%ii e#te !a"#, incom&ati+i"irtatea
e#te adevrat.
B@NWK VC
6E;E1:0A este fu#c$ia de adev%r bi#ar% care ia valoarea logic% adev%rat B1C atu#ci
i #u*ai atu#ci cD#d a*bele argu*e#te su#t false. ReEec$ia este si*boli(at% @ R, se
citete nici p nici I, se*#ific% i#tuitiv c% #iciu#ul di#tre fa@tele eF@ri*ate de cele dou%
@ro@o(i$ii #u se reali(ea(% i este re@re(e#tat% tabelar astfel:
@ R @ R
1 1 3
1 3 3
3 1 3
3 3 1
H# ca(ul reEec$iei @ot fi evide#$iate ur*%toarele reguli de adev%r:
Dac o com&onent a re.ec%iei e#te adevrat, re.ec%ia e#te !a"#.
B@ V K WC
Dac o com&onent a re.ec%iei e#te !a"#, atunci va"oarea de adevr a
re.ec%iei e#te dat de va"oarea de adevr a nega%iei ce"ei"a"te com&onente.
B@ W K L@, dac% @K V, V W K W, iar dac% @K W, W W K VC.
=urs &
Acu*, observa$i, v% rog, c% eFist%, de fa@t, trei feluri de fu#c$ii de adev%r:
- Q
a
reali(abile Bsau fu#c$ii de adev%r A# se#s strictC, a c%ror valoare de adev%r
de@i#de de valorile de adev%r ale co*@o#e#telor. Acestea iau valoarea logic%
1 Badev%ratC @e#tru cel @u$i# o co*bi#a$ie de argu*e#te.
- Q
a
tautologice Bsau legi logiceC care iau valoarea logic% 1 Badev%ratC i#difere#t
de valorile de adev%r ale argu*e#telor
- Q
a
de co#tradic$ie care iau valoarea logic% 3 BfalsC i#difere#t de valorile de
adev%r ale argu*e#telor.
)e#tru a evita A#curc%turile de i#ter@retare, v% rog s% ur*a$i A# #im+o"i'area
e,&re#ii"or &ro&o'i%iona"e com&u#e eta@ele algorit*ului de *ai Eos. ,ar, *ai A#tDi,
s% @reci(a* cD$iva ter*e#i.
Astfel, vo* #u*i tria unui operator sfera de a@licare a o@eratorului A# cadrul
eF@resiei date. Operatorul principal este o@eratorul cu t%ria cea *ai *are. !o* #u*i
ordonare logic a eF@resiei @ro@o(i$io#ale o@era$ia de stabilire a se#sului logic al
acesteia. >rdo#area logic% se face @e ba(a se*#ifica$iei i#tuitive i a co#ectorilor
BeF@resiile li#gvistice ale o@eratorilor logiciC eFiste#$i A# for*ularea li#gvistic% a
eF@resiei @ro@o(i$io#ale co*@use.
Acu*, A# sfDrit, algorit*ul:
1. stabili$i co#ectorul @ri#ci@al al @ro@o(i$ieiN fra(eiN gru@ului de fra(e i i(ola$i
subfra(ele cores@u#(%toareG
2. stabili$i co#ectorii di# subfra(e i, A# fu#c$ie de acetia, i(ola$i @ro@o(i$iile
ele*e#tarea co*@o#e#teG
'. ordo#a$i logic Bdac% este ca(ulC @ro@o(i$iaN fra(aN gru@ul de fra(eG
-. re@re(e#ta$i @ro@o(i$iile ele*e#tare disti#cte Bd.@.d.v. logic, desigurG ti$i deEa
c% li*baEul co*u# A#g%duie for*ul%ri diferite @e#tru aceeai @ro@o(i$ie logic%C
cu aEutorul variabilelor @ro@o(i$io#ale disti#cte B@, R, r, s...C i co#ectorii cu
aEutorul o@eratorilor logici afere#$iG
5. stabili$i t%ria fiec%rui o@erator cu aEutorul se*#elor auFiliare B@ara#te(e,
@u#cte, litereC.
!% @ro@u# varia#ta utili(%ri @ara#te(elor, varia#t% i*@us% de 6. )ea##o, @e#tru
ava#taEul fa*iliarit%$ii #oastre, a tuturor, cu ea. B>ricDt de su@%ra$i a$i fi @e
*ate*atic%, tot trebuie c% v% *ai a*i#ti$i cu* @ara#te(ele de feluri diferite i#dicau la
arit*etic% ce ave$i de f%cut cu #u*erele di# eF@resieC. <u A#sea*#% c% #ota$ia cu
@u#cte B@referat% de B. Russell i :.>. Uui#eC sau cea cu litere B8uc]asieYicsC #u Ai
au fa#ii i ava#taEele lor.
,ou% eFe*@le de si*boli(are:
A. Bf%r% leg%tur% cu eFa*e#ul la 8ogic%C
Dac pro!ovez e2a!enul& atunci ! duc *n vacan la "ostineti iar dac nu& atunci
*!i petrec vacana acas.
=o#ector @ri#ci@al: iar. =eilal$i co#ectori: dac...atunci& dac atunci& nu. )ro@o(i$ii
ele*e#tare: @: E(uF pro!ovez e2a!enulG R: M duc *n vacan la "ostinetiG r: J!i
petrec vacana acas. Si*boli(area eF@resiei:
B@[RC M BL@[rC
B. BeFe*@lu di#tru# *ai vec7i *a#ual de logic%C
Dac Ion ori Sandu ctig concursul de selecie& atunci prestigiul clu$ului colar va
fi salvat& iar oraul nostru va fi cu siguran reprezentat la ca!pionatul !ondial de
nataie. Prin urmare& sau Ion nu ctig concursul de slecie& sau prestigiul clu$ului
clu$ului colar va fi salvat.
=o#ector @ri#ci@al: #rin ur!are. =eilal$i co#ectori: dac...atunci& ori& iar& sau...sau&
nu. )ro@o(i$ii ele*e#tare: @: Ion ctig concursul de selecieG R: Sandu ctig
concursul de selecieG r: #restigiul clu$ului colar va fi salvatG s: Oraul nostru va fi cu
siguran reprezentat la ca!pionatul !ondial de nataie. Si*boli(area eF@resiei:
^B@vRC [ BrMsC_ [ B L@YrC
Si*boli(area u#ei eF@resii @ro@o(i$io#ale facilitea(% evaluarea logic% a acesteia,
adic% stabilirea ti@ului de fu#c$ie de adev%r ce Ai cores@u#de.
EFist% *ai *ulte *etode de evaluare. =ea *ai la A#de*D#%, A#trucDt este sus$i#ut%
de o re@re(e#tare grafic% sugestiv%, este *etoda *atricial%.
1etoda *atricial% de evaluare a eF@resiilor @ro@o(i$io#ale co*@use @resu@u#e
co#struirea u#ei *atrici cu u# #u*%r =KB#Z*C coloa#e i u# #u*%r 8K2
#
li#ii, #
re@re(e#tD#d #u*%rul de variabile @ro@o(i$io#ale i * #u*%rul de o@eratori logici di#
eF@resia @ro@o(i$io#al%.
)e#tru evaluare, v% rog s% ur*a$i eta@ele ur*%torului algorit*:
1. ordo#a$i du@% i*@orta#$% o@eratorii @ro@o(i$iilor co*@use
2. co#strui$i *atricea, ae(D#d o@eratorii A# ordi#ea creterii i*@orta#$ei lor
Bulti*a coloa#% va fi cea a o@eratorului @ri#ci@alC
'. stabili$i valorile de adev%r ale a@lic%rii o@eratorilor i#ter*ediari asu@ra
@ro@o(i$iilor afere#te
-. stabili$i valorile de adev%r @e#tru a@licarea o@eratorului @ri#ci@al asu@ra
@ro@o(i$iilor i#ter*ediare Bre(ultate @ri# a@licarea o@eratorilor i#ter*ediari
asu@ra @ro@o(i$iilor afere#teC
5. i#ter@reta$i re(ultatele a@lic%rii o@eratorului @ri#ci@al asu@ra @ro@o(i$iilor
i#ter*ediare:
dac% a$i ob$i#ut @e coloa#a o@eratorului @ri#ci@al A# eFcusivitate
valoarea logic% 1 Badev%ratC, eF@resia @ro@o(i$io#al% co*@us% evaluat%
este lege logic%G
dac% a$i ob$i#ut A# eFclusivitate valoarea logic% 3 BfalsC, eF@resia
@ro@o(i$io#al% este o co#tradic$ieG
dac% a$i ob$i#ut i valori 1 i valori 3, @ro@o(i$ia evaluat% este fu#c$ie
reali(abil%.
,e eFe*@lu:
1. EF@resia ^B@[
1
RC M
'
BR[
2
rC_ [
5
B@[
-
rC se dovedete a fi tautologie:
@ R r [
1
[
2
M
'
[
-
[
5
1 1 1 1 1 1 1 1
1 1 3 1 3 3 3 1
1 3 1 3 1 3 1 1
1 3 3 3 1 3 3 1
3 1 1 1 1 1 1 1
3 1 3 1 3 3 1 1
3 3 1 1 1 1 1 1
3 3 3 1 1 1 1 1
2. EF@resia B@M
1
RC M
'
B@N
2
RC se dovedete a fi co#tradic$ie:
@ R M
1
N
2
M
'
1 1 1 3 3
1 3 3 1 3
3 1 3 1 3
3 3 3 1 3
'. EF@resia ^B@N
1
RC M
'
BRN
2
rC_ [
5
B@N
-
rC este reali(abil%:
@ R r N
1
N
2
M
'
N
-
[
5
1 1 1 3 3 3 3 1
1 1 3 3 1 3 1 1
1 3 1 1 1 1 3 3
1 3 3 1 1 1 1 1
3 1 1 1 3 3 1 1
3 1 3 1 1 1 1 1
3 3 1 1 1 1 1 1
3 3 3 1 1 1 1 1
)e#tru eF@resiile @ro@o(i$io#ale cu *ai *ult de trei @ro@o(i$ii ele*e#tare, *etoda
*atricial% devi#e i#co*od de a@licat Bdu@% cu* a* ar%tat deEa, A# *atrice #u*%rul
de li#ii crete du@% fu#c$ia 8K2
#
C. H# ca(ul lor este *ai eficie#t% utili(area *etodei de
deci(ie @rescurtat% cu aEutorul regulilor de adev%r B*etoda Uui#eC.
!% su#t deEa cu#oscute regulile de adev%r afere#te fu#c$iilor ele*e#tare. A@licarea
*etodei Uui#e ur*%rete eta@ele algorit*ului de *ai Eos:
1. da$i celei *ai frecve#te @ro@o(i$ii di# eF@resia @ro@o(i$io#al% valoarea logic% 1
Badev%ratC A# @artea stD#g% a @agi#ii i valoarea logic% 3 BfalsC A# drea@ta
@agi#ii
2. a@lica$i regulile de adev%r cores@u#(%toare asu@ra sc7e*ei ob$i#ute
'. dac% A# ur*a a@lic%rii regulilor de adev%r ob$i#e$i #u*ai valori logice,
evaluarea sa A#c7eiatG dac% ob$i#e$i o #ou% sc7e*%, relua$i @rocesul de
evaluare de la @u#ctul 2 al algorit*ului
-. i#ter@reta$i re(ultatele a@lic%rii regulilor de adev%r:
dac% a$i ob$i#ut A# eFcusivitate valoarea logic% 1 Badev%ratC, eF@resia
@ro@o(i$io#al% co*@us% evaluat% este lege logic%G
dac% a$i ob$i#ut A# eFclusivitate valoarea logic% 3 BfalsC, eF@resia
@ro@o(i$io#al% este o co#tradic$ieG
dac% a$i ob$i#ut i valori 1 i valori 3, @ro@o(i$ia evaluat% este fu#c$ie
reali(abil%.
,e eFe*@lu, @e#tru eF@resia ^B@NRC M BRNrC_ [ B@NrC ve$i @roceda aa:
@K V
^BVNRC M BRNrC_ [ BVNrC
^LR M BRNrC_ [Lr
@K W
^BWNRC M BRNrC_ [ BWNrC
^VM BRNrC_ [ V
V
RK V
^W M BVNrC_ [Lr
W[Lr
V
RK W
^VM BWNrC_ [Lr
^V M V_ [Lr
V[Lr
Lr
rK V
LrK W
W
rK W
LrK V
V
V W V V
EF@resia este reali(abil%, luD#d valoarea logic% 3 BfalsC @e#tru co*bi#a$ia @K1, RK3 i
rK1 B,ar ti$i asta deEa, a$i i#ter@retat re(ultatele ob$i#ute @ri# *etoda *atricial%C.
H#ai#te s% 7ot%rD$i c% e co*@licat i i#util cDt% vre*e ave$i la A#de*D#% *etoda
*atricial%, A#cerca$i evaluarea u#ei eF@resii cu @atru variabile @ro@o(i$io#ale Bave$i
u#a *ai sus, ^B@vRC [ BrMsC_ [ B L@YrC, dar @ute$i g%si i varia#te *ai s@ectaculoaseC
i a@oi gD#di$iv% cDt ti*@ var fi luat s% co*@leta$i toate cele 16 B2
-
) li#ii ale *atricii.
,i#tre tautologii, u#ele su#t foarte utile ide#tificarea rela$iilor logice di#tre @ro@o(i$ii.
Acestea su#t legi logice fu#da*e#tale. Iat% cDteva di#tre ele B#u trebuie s% le
*e*ora$i, trebuie #u*ai s% ti$i c% eFist% i s% le c%uta$i cD#d o s% vi se @ar% c% var
fi de folosC:
a. legi care eF@ri*% @ri#ci@iile logicii:
legile ide#tit%$ii: @\@G @[@G LBL@C\@
legea #o#co#tradic$iei: LB@ML@C
legea ter$ului eFclus: @vL@
b. legi ale @ro@riet%$ilor fu#c$iilor de adev%r:
legile co*utativit%$ii: B@MRC\BRM@CG B@vRC\BRv@C
legile asociativit%$ii: ^B@MRCMrC_\^@MBRMrC_G ^B@vRCvrC_\^@vBRvrC_
legile distributivit%$ii: ^@MBRvrC_\^B@MRCvB@MrC_G ^@vBRMrC_\^B@vRCMB@vrC_
legile tra#(itivit%$ii: ^B@[RCMBR[rC_[B@[rCG ^B@\RCMBR\rC_[B@\rC
-legile ide*@ote#$ei: B@M@C\@G B@v@C\@
legile de coborDre a #ega$iei B,e 1orga#C: LB@MRC\BL@vLRCG LB@vRC\BL@MLRC
c. legile i*@lica$iei *ateriale:
legile co#tra@o(i$iei i*@lica$iei: B@[RC[B LR [L@CG B@[LRC[B R [L@C
legile @aradoFurilor i*@lica$iei: @[BR[@CG L@[B@[RC
legile reducerii la absurd: B@[L@C[L@G ^B@[RCMB@[LRC_[L@
d. alte legi:
legile eFcluderii: ^B@vRCMB@vL@C_\@G ^B@MRCvB@ML@C_\@
legile absorb$iei: ^@MB@vRC_\@G ^@vB@MRC_\@
legile eli*i#%rii co#Eu#c$iei: B@MRC[@G B@MRC[R
legile i#troducerii disEu#c$iei: @[B@vRCG R[ B@vRC.
H#ai#te s% iei* di# logica @ro@o(i$iilor co*@use cu o@eratori verifu#c$io#ali, a vrea
s% v% @re(i#t i cDteva sc7e*e logice ale u#or ra$io#a*e#te deductive Badic% de la
ge#eral la @articularC valide utili(ate A# @ractica argu*e#t%rii:
a. ra$io#a*e#te Bi#fere#$eC i@otetice:
*odus @o#e#do@o#e#es: ^B@[RCM@_[R
*odus tolle#dotolle#s: ^B@[RCM LR_[ L@
b. ra$io#a*e#te disEu#ctive:
*odus @o#e#dotolle#s: ^B@YRCM @_[ LR
*odus tolle#do@o#e#s: ^B@vRCM L@_[RG ^B@YRCM L@_[R
Bde#u*irile lati#e *arc7ea(% A# ca(ul acestor sc7e*e logice calitatea celei dea
doua @re*ise i, res@ectiv, a co#clu(iei: ponendo i#dic% asetarea @re*isei, tollendo
res@i#gerea acesteia, ponens i#dic% eFiste#$a co#clu(iei afir*ative, tollens i#dic% o
co#clu(ie #egativ%C
c. ra$io#a*e#te i@oteticodisEu#ctive Bdile*eC
dile*a co#structiv% si*@l%: ^B@[RCMBr[RCMB@vrC_[R
dile*a co#structiv% co*@leF%: ^B@[RCMBr[sCMB@vrC_[BRvsC
dile*a distructiv% si*@l%: ^B@[RCMB@[rCMB LRvLrC[L@
dile*a distructiv% co*@leF%: ^B@[RCMBr[sCMB LRvLsC[BL@vLrC.
=urs 4
0E>RIA I<;ERE<OE8>R
!% @ro@u# s% #e A#toarce* acu* la @ro@o(i$iile categorice si*@le @e#tru a evide#$ia
rela$iile ce eFist% A#tre acestea A# virtutea rela$iilor di#tre ter*e#ii lor.
!o* #u*i in!eren% o@era$ia logic% de derivare di# cel @u$i# o @ro@o(i$ie dat% a u#ei
#oi @ro@o(i$ii cu valoarea de adev%r a @ro@o(i$ieiN@ro@o(i$iilor date. )ro@o(i$iile date
re@re(i#t% &remi#e"e i#fere#$ei, @ro@o(i$ia derivat% re@re(i#t% conc"u'ia acesteia.
I#fere#$a @oate avea u# #u*%r variabil de @re*ise, du@% cu* sugerea(% defi#i$ia,
dar o si#gur% co#clu(ie. !o* #u*i i#fere#$a cu o si#gur% @re*is% in!eren%
imediat i i#fere#$a cu dou% sau *ai *ulte @re*ise in!eren% mediat.
> s% v% @ovestesc A# co#ti#uare cDte ceva des@re i#fere#$ele i*ediate.
H#ai#tea @ovetilor %stora, A#s%, @e#tru a uura utili(area cu#oti#$elor des@re
i#fere#$e A# evaluarea argu*e#ta$iilor cu care @rofesio#al v% ve$i A#tDl#i, a vrea s%
l%*uri* cDteva @roble*e de traducereN tra#sfor*are a @ro@o(i$iilor di# li*baEul
cure#t A# @ro@o(i$ii categorice:
a. ,es@re @ro@o(i$iile si#gulare a fost vorba deEa. A* ad*is c% @ot fi co#siderate
u#iversale. ',ales din Milet este filosof presocratic e o @ro@o(i$ie de felul 'oi
S sunt # BA# for*ularea 'oate persoanele identice cu ',ales din Milet sunt
filosofi presocratici.C
b. .#eori, destul de des, cua#tificatorii #u su#t eF@licit for*ula$i A# @ro@o(i$iile
li*baEului #atural i trebuie eF@licita$i @%strD#d #esc7i*bat A#$elesul
@ro@o(i$iei. (2ist studeni integraliti este o @ro@o(i$ie de felul Dnii S sunt #
BDnii studeni sunt integralitiC. )ursierii sunt integraliti este, A#s%, o @ro@o(i$ie
de ti@ul 'oi S sunt # B'oi $ursierii sunt integralitiC.
c. .#eori cua#tificatorii su#t eF@lici$i, dar de for*e diferite de cele sta#dard i
trebuie sta#dardi(a$i. =ua#tificatori ca !uli& !a7oritatea& civa& relativ puini,
u.s.K. dau @ro@o(i$ii de felul Dnii S sunt- nu sunt #. =ua#tificatori ca orice&
oricare& oricine& u.s.K. dau @ro@o(i$ii de felul 'oi S sunt # BOrice pasre pe
li!$a ei piere devi#e 'oate psrile pier pe li!$a lorC. =ua#tificatori ca
ni!eni& nu e2ist un dau @ro@o(i$ii de felul =iciun S nu este # B=i!eni nu se
supr devi#e =iciun o! nu se suprC. )ro@o(i$ia 'oi S nu sunt # se
tra#sfor*% A# =iciun S nu este # B'oi studenii nu sunt veseli devi#e =iciun
student nu e veselC.
d. ;or*ele de #egare a @ro@o(i$iilor u#iversale #ecesit%, de ase*e#ea,
tra#sfor*%ri ale @ro@o(i$iilor A# vederea sta#dardi(%rii. > @ro@o(i$ie de felul =u
toi S sunt # devi#e Dnii S nu sunt # B=u toi studenii sunt veseli devi#e Dnii
studeni nu sunt veseliC. > @ro@o(i$ie de felul =u este adevrat c niciun S nu
este # devi#e Dnii S sunt # B=u este adevrat c niciun student nu este de
nota .0 devi#e Dnii studeni sunt de nota .0C.
e. E#u#$urile co#di$io#ale A# care a#tecede#tul i co#secve#tul au acelai
refere#t @ot fi traduse A# @ro@o(i$ii de felul 'oi S sunt # sau =iciun S nu este
#. BDac e student *n anul I& atunci i1a luat $acalaureatul devi#e 'oi studenii
din anul I i1au luat $acalaureatul. Dac e student *n anul I& atunci nu e
precolar devi#e =iciun student din anul I nu e precolarF.
f. E#u#$urile eFclusive, co#$i#D#d cua#tificatori de felul doar& nu!ai& niciunul cu
e2cepia& u.s.K.& sufer% diverse tra#sfor*%ri @e#tru aducere la u#a di#tre
for*ele sta#dard ale @ro@o(i$iilor categorice:
> @ro@o(i$ie de felul =u!ai S sunt # devi#e 'oi # sunt S. B=u!ai integralitii
pri!esc $urs de !erit devi#e, i#versD#d fu#c$iile ter*e#ilor, 'oi cei ce pri!esc
$urs de !erit sunt integralitiF.
> @ro@o(i$ie de felul =u!ai S nu sunt # devi#e =iciun # nu este S E=u!ai cei
fericii nu sunt ri devi#e =iciun o! ru nu este fericitF.
> @ro@o(i$ie de felul =u!ai unii S sunt # devi#e Dnii S nu sunt # E=u!ai unele
pro$le!e sunt grele devi#e Dnele pro$le!e nu sunt greleF.
> @ro@o(i$ie de felul =u!ai unii S nu sunt # devi#e Dnii S sunt # E=u!ai unele
pro$le!e nu sunt grele devi#e Dnele pro$le!e sunt greleF.
> @ro@o(i$ie de felul =u nu!ai S sunt # devi#e Dnii # nu sunt S B=u nu!ai cei
$uni au noroc devi#e Dnii norocoi nu sunt oa!eni $uniC.
> @ro@o(i$ie de felul =iciunul& cu e2cepia S& nu este # B=i!eni& cu e2cepia
integralitilor& nu pri!ete $urs de !eritC devi#e =u!ai S sunt #.
g. E#u#$urile eFce@tive, co#$i#D#d cua#tificatori de felul toi cu e2cepia& toate *n
afar de& u.s.K. @ot fi tra#sfor*ate A# e#u#$uri eFclusive #egative.
> @ro@o(i$ie de felul 'oi& cu e2cepia S& sunt # B@e#tru a folosi eFe*@lul de la
e#u#$urile eFclusive, 'oi& cu e2cepia celor fericii& sunt riC devi#e =u!ai S nu
sunt #.
=red c% e bi#e s% l%*uri* tot acu*, A#ai#tea @re(e#t%rii i#fere#$elor i*ediate,
@roble*a distribuirii ter*e#ilor A# @ro@o(i$iile categorice. Iat% des@re ce e vorba:
.# ter*e# este di#tri+uit dac% @ro@o(i$ia A# care a@are ia A# co#siderare A#treaga
eFte#siu#e a res@ectivului ter*e#. H# ca( co#trar, ter*e#ul este nedi#tri+uit.
0er*e#ul este distribuitN #edistribuit relativ la @ro@o(i$ia categoric% A# care a@are
avD#d fu#c$ie de subiect sau @redicat.
H# ca(ul subiectului, distribuirea ter*e#ilor este legat% de ca#titatea acestora.
)ro@o(i$iile u#iversale B'oi S sunt # i =iciun S nu este #C iau A# co#siderare
A#treaga eFte#siu#e a subiectelor lor. )ro@o(i$iile @articulare BDnii S sunt # i Dnii S
nu sunt #C iau A# co#siderare cDte o @arte di# eFte#siu#ea subiectelor lor.
H# ca(ul @redicatului, distribuirea ter*e#ilor este legat% de calitatea acestora.
)ro@o(i$iile afir*ative B'oi S sunt # i Dnii S sunt #C iau A# co#siderare acea @arte
di# eFte#siu#ea @redicatului @e care acesta o are A# co*u# cu subiectul. )ro@o(i$iile
#egative B=iciun S nu este # i Dnii S nu sunt #C iau A# co#siderare A#treaga
eFte#siu#e a @redicatului, i#dicD#d eFcluderea eFte#siu#ii subiectului di# aceasta BA#
eFte#siu#ea lui ) #u eFist% #iciu# N acei SC.
Astfel, #otD#d cu IZ2 @ro@rietatea distri$uit i cu I`I @ro@rietatea nedistri$uit,
distribuirea ter*e#ilor A# cele @atru ti@uri de @ro@o(i$ii categorice arat% aa:
S )
Sa) Z `
Se) Z Z
Si) ` `
So) ` Z
Reve#i#d la re@re(e#tarea cu diagra*e Euler a @ro@o(i$iilor categorice, dac%
utili(D#d difere#$iat li#ia co#ti#u% i li#ia A#treru@t% a* ur*%ri evide#$ierea distribuirii
ter*e#ilor BA# locul i#for*a$iilor des@re *%ri*ea eFte#siu#ii acestoraC, a* @roceda
aa:
,iagra*e
N@ro@o(i$ii
Sa) Se) Si) So)
Euler

,istribuirea ter*e#ilor co#di$io#ea(% validitatea i#fere#$elor cu @ro@o(i$ii categorice.
Oi#e$i *i#te, v% rog:
ntr-o inferen valid niciun termen nu poate s apar distribuit n concluzie dac nu este
distribuit n premise.
!o* BtotC vedea ce A#sea*#% asta, @e *%sur% ce @ovesti* des@re ti@urile de
i#fere#$e.
H# sfDrit,
II<;ERE<OE I1E,IA0E =. )R>)>PIOII =A0E6>RI=E
I#fer%* Btiu cDt de ciudat su#%C A# sco@ul ob$i#erii de cu#oti#$e adev%rate. <e
@ute* ati#ge sco@ul dac% @or#i* de la @re*ise adev%rate i res@ect%* regulile de
i#ferare. Aceste reguli su#t adecvate ti@urilor de i#fere#$% @e care le folosi*. H# ca(ul
i#fere#$elor i*ediate Bcu o si#gur% @re*is%, v% aduc a*i#teC, asta @oate s% A#se*#e:
A. I#fere#$% @ri# o@o(i$ie
adic% o@era$ia logic% @ri# care, dat% fii#d u#a di#tre @ro@o(i$iile Sa), Se), Si), So)
cu valoare de adev%r stabilit%, se stabilete valoarea de adev%r a celorlalte @ro@o(i$ii
cu aceiai ter*e#i.
!% a*i#tesc, @ro@o(i$iile acestea difer% calitativ Bsu#t afir*ativeN #egativeC i
ca#titativ Bsu#t u#iversaleN @articulareC. Ele iau valoarea logic% adev%rat B1C sau fals
B3C A# fu#c$ie de ra@orturile eFiste#te A#tre ter*e#ii S i ).
ide#titate
subordo#are
su@raordo#are
A#cruciare
eFclu(iu#e
Sa) 1 1 3 3 3
Se) 3 3 3 3 1
Si) 1 1 1 1 3
So) 3 3 1 1 1
Ra@orturile di#tre @ro@o(i$ii, stabilite @e ba(a corela$iilor di#tre valorile lor de adev%r,
su#t re@re(e#tate si#tetic de foarte *ult% vre*e cu aEutorul &tratu"ui "ui Boet$iu#
Badic% al lui A#icius 1a#lius Severi#us Boet7ius, u# filosof ro*a# de la *iElocul
*ile#iului I d. =7.C:
6a&ortu" de contrarietate BA#tre @ro@o(i$iile Sa) i Se)C are ur*%toarele
caracteristici:
cele dou% @ro@o(i$ii #u @ot fi a*bele adev%rateG
@ro@o(i$iile @ot fi A*@reu#% Ba*bele, adic%C false.
=o#for* acestor caracteristici, i#fere#$a de co#trarietate res@ect% ur*%toarele reguli:
dac% Sa) este adev%rat% BK1C, atu#ci Se) este fals% BK3C
dac% Sa) este fals% BK3C, atu#ci #u se cu#oate valoarea de adev%r a Se)
BSe)KaC
dac% Se) este adev%rat% BK1C, atu#ci Sa) este fals% BK3C
dac% Se) este fals% BK3C, atu#ci #u se cu#oate valoarea de adev%r a Sa)
BSa)KaC
6a&ortu" de #u+contrarietate BA#tre @ro@o(i$iile Si) i So)G !% *ai a*i#ti$i de
A#cruciarea eF7austiv% a ter*e#ilora )ro@o(i$iile @articulare e@ui(ea(% A# acelai fel
u#iversul de discursC are ur*%toarele caracteristici:
cele dou% @ro@o(i$ii @ot fi a*bele adev%rateG
@ro@o(i$iile #u @ot fi A*@reu#% Ba*bele, adic%C false.
=o#for* acestor caracteristici, i#fere#$a de subco#trarietate res@ect% ur*%toarele
reguli:
dac% Si) este adev%rat% BK1C, atu#ci #u se cu#oate valoarea de adev%r a So)
BSo)KaC
dac% Si) este fals% BK3C, atu#ci Se) este adev%rat% BK1C
dac% So) este adev%rat% BK1C, atu#ci #u se cu#oate valoarea de adev%r a Si)
BSi)KaC
dac% So) este fals% BK3C, atu#ci Si) este adev%rat% BK1C
6a&orturi"e de contradic%ie BA#tre @ro@o(i$iile Sa) i So), Se) i Si)C are
ur*%toarele caracteristici:
cele dou% @ro@o(i$ii #u @ot fi a*bele adev%rateG
cele dou% @ro@o(i$ii #u @ot fi a*bele false.
=o#for* acestor caracteristici, i#fere#$a de co#tradic$ie res@ect% ur*%toarele reguli:
dac% Sa) este adev%rat% BK1C, atu#ci So) este fals% BK3C
dac% Sa) este fals% BK3C, atu#ci So) este adev%rat% BK1C
dac% So) este adev%rat% BK1C, atu#ci Sa) este fals% BK3C
dac% So) este fals% BK3C, atu#ci Sa) este adev%rat% BK1C
dac% Se) este adev%rat% BK1C, atu#ci Si) este fals% BK3C
dac% Se) este fals% BK3C, atu#ci Si) este adev%rat% BK1C
dac% Si) este adev%rat% BK1C, atu#ci Se) este fals% BK3C
dac% Si) este fals% BK3C, atu#ci Se) este adev%rat% BK1C
6a&orturi"e de #u+a"ternare BA#tre @ro@o(i$iile Sa) i Si), Se) i So)C este o rela$ie
asi*etric% i are ur*%toarele caracteristici:
cele dou% @ro@o(i$ii @ot fi a*bele adev%rateG
cele dou% @ro@o(i$ii @ot fi a*bele false.
=o#for* acestor caracteristici, i#fere#$a de subalter#are res@ect% ur*%toarele reguli:
dac% Sa) este adev%rat% BK1C, atu#ci Si) este adev%rat% BK1C
dac% Sa) este fals% BK3C, atu#ci #u se cu#oate valoarea de adev%r a Si) BSi)KaC
dac% Si) este adev%rat% BK1C, atu#ci #u se cu#oate valoarea de adev%r a Sa)
BSa)KaC
dac% Si) este fals% BK3C, atu#ci Sa) este fals% BK3C
dac% Se) este adev%rat% BK1C, atu#ci So) este adev%rat% BK1C
dac% Se) este fals% BK3C, atu#ci #u se cu#oate valoarea de adev%r a So)
BSo)KaC
dac% So) este adev%rat% BK1C, atu#ci #u se cu#oate valoarea de adev%r a Se)
BSe)KaC
dac% So) este fals% BK3C, atu#ci Se) este fals% BK3C.
=urs 9
I#fere#$a @ri# o@o(i$ie valorific% rela$iile logice eFiste#te A#tre @ro@o(i$iile categorice
Sa), Se), Si), So) cu acelai subiect i acelai @redicat. =u#oscD#d valoarea de
adev%r a u#eia di#tre aceste @ro@o(i$ii, se i#ferea(% cu @rivire la va"ori"e de adevr
a"e ce"or"a"te &ro&o'i%ii.
.r*%toarele ti@uri de i#fere#$% i*ediat% @roduc &ro&o'i%ii adevrate Bco#clu(iiC
@lecD#d de la o @ro@o(i$ie Sa), Se), Si), So) adevrat B@re*is%C.
B. I#fere#$a @ri# co#versiu#e
=o#versiu#ea este o@era$ia logic% @ri# care di#tro @ro@o(i$ie adev%rat% dat% se
derivea(% alt% @ro@o(i$ie adev%rat% de aceeai ca"itate sc7i*bD#d fu#c$iile logice
ale ter*e#ilor.
)re*isa co#versiu#ii se *ai #u*ete @ro@o(i$ie convertend. =o#clu(ia co#versiu#ii
se #u*ete convers.
,ac% @re*isa i co#clu(ia su#t @ro@o(i$ii de aceeai ca#titate, co#versiu#ea se
#u*ete si!pl. ,ac% cele dou% @ro@o(i$ii su#t de ca#tit%$i diferite B@re*is%
u#iversal% i co#clu(ie @articular%C, co#versiu#ea se #u*ete @ri# accident.
<u toate ti@urile de @ro@o(i$ii categorice su@ort% Ba*bele ti@uri deC co#versiu#i.
,ar s% vede* des@re ce e vorba:
> @ro@o(i$ie Sa) ar da @ri# co#versiu#e direct% @ro@o(i$ia )aS. ,ar Sa) i )aS su#t
@ro@o(i$ii logic i#de@e#de#te BeFe*@lu, tot de la *ate*atic%: 'oate ptratele sunt
figuri geo!etrice cu laturi egale. e @ro@o(i$ie adev%rat%, A# ti*@ ce 'oate figurile
geo!etrice cu laturi egale sunt ptrate. e @ro@o(i$ie fals% C ,i# acest *otiv, Sa) #u
se #u se @oate co#verti direct B Sa)
Bc C
C.
8ucrurile #u stau la fel @e#tru co#versiu#ea @ri# accide#t a lui Sa):
Sa)
Bc C
)iS B@e#tru eFe*@lul a#terior, 'oate ptratele sunt figuri geo!etrice cu
laturi egale.
Bc C
Dnele figuri geo!etrice cu laturi egale sunt ptrate.C. dac% Sa) este
adev%rat%, i )iS este adev%rat%. )ro@o(i$ia )iS este co#versa @ri# accide#t a
@ro@o(i$iei Sa).
)ro@o(i$ia Se) su@ort% atDt co#versiu#e si*@l% cDt i co#versiu#e @ri# accide#t:
Se)
Bc C
)eS B=iciun ptrat nu are laturi inegale.- =icio figur geo!etric ce are
laturi inegale nu este ptrat.C
Se)
Bc C
)oS B=iciun ptrat nu are laturi inegale.- Dnele figuri geo!etrice cu laturi
inegale nu sunt ptrate.C
)ro@o(i$ia Si) #u su@ort%, desigur, decDt co#versiu#ea si*@l%. BSi) are a*bii
ter*e#i #edistribui$i i, v% a*i#ti$i, A#tro i#fere#$% valid% u# ter*e# #u @oate a@%rea
ca distribuit A# co#clu(ie dac% #u a fost distribuit A# @re*iseC.
Si)
Bc C
)iS BDnele ptrate sunt figuri geo!etrice cu laturi egale.- Dnele figuri
geo!etrice cu laturi egale sunt ptrate.C
Ei, ase*e#i @ro@o(i$iilor Sa) i )aS, i @ro@o(i$iile So) i )oS su#t logic
i#de@e#de#te BDnele ptrate nu sunt figuri geo!etrice cu laturi inegale. e @ro@o(i$ie
adev%rat% i Dnele figuri geo!etrice cu laturi inegale nu sunt ptrate. e, de
ase*e#ea, adev%rat%, dar Dnele figuri geo!etrice nu sunt figuri geo!etrice cu laturi
inegale. e adev%rat% i Dnele figuri geo!etrice cu laturi inegale nu sunt figuri
geo!etrice. e @ro@o(i$ie fals%C.
So)
Bc C
Aadar,
Sa)
Bc C
Sa)
Bc C
)iS
Se)
Bc C
)eS
Se)
Bc C
)oS
So)
Bc C
,ac% si*$i$i #evoia verific%rii re(ultatelor i#fere#$elor @ri# co#versiu#e @e care
i#te#$io#a$i s% le utili(a$i A# argu*e#tare, utili(a$i distribuirea ter*e#ilor A# @ro@o(i$iile
categorice. ,aca u# ter*e# e distribuit A# co#clu(ie f%r% s% fi fost distribuit A#
@re*ise, i#fere#$a #u e corect%.
Sa) Se) Si) So) )aS )eS )iS )oS >bserva$ii
S Z Z Z Z S #edistribuit A# So) i
distribuit A# )oS
) Z Z Z Z ) #edistribuit A# Sa) i
distribuit A# )aS
=. I#fere#$a @ri# obversiu#e
>bversiu#ea este o@era$ia logic% @ri# care di#tro @ro@o(i$ie adev%rat% dat% se
ob$i#e o @ro@o(i$ie adev%rat% de ca"itate o&u# care are acelai subiect i ca
@redicat co#tradictoriul @redicatului @ro@o(i$iei i#i$iale.
)re*isa obversiu#ii se #u*ete @ro@o(i$ie o$vertend. =o#clu(ia obversiu#ii se
#u*ete @ro@o(i$ie o$vers.
0oate cele @atru ti@uri de @ro@o(i$ii categorice @ot fi obvertite, desigur cu restric$iilor
@rivi#d distribuirea ter*e#ilor. >bversiu#ea re@re(i#t% o dubl% #ega$ie Bsc7i*barea
calit%$ii @ro@o(i$iei i #egare a @redicatului acesteiaC. )redicatul obversei Ai
@%strea(% distribuirea di# obverte#d%. )%strD#dui fu#c$ia, subiectul obverte#dei Ai
@%strea(% i distribuirea A# obvers%.
Astfel,
Sa)
Bo C
SeL) B=iciun S nu este non1#C
Se)
Bo C
SaL) B'oi S sunt non1#C
Si)
Bo C
SoL) BDnii S nu sunt non1#C
So)
Bo C
SiL) BDnii S sunt non1#C.
;or*ul%rile obverselor #u su#t #ea@%rat @re$ioase, rigide A# li*baEul co*u#. Astfel,
'oate ptratele sunt figuri geo!etrice cu laturi egale. se obvertete A# =iciun ptrat
nu este non1figur geo!etric ce are laturi egale sau, *ult *ai si*@lu, =iciun ptrat
nu are laturi inegale.
,. I#fere#$a @ri# co#tra@o(i$ie
=o#tra@o(i$ia este o@era$ia logic% @ri# care de la o @ro@o(i$ie adev%rat% dat% se
aEu#ge la o @ro@o(i$ie adev%rat% ce are ca #u+iect contradictoriu" &redicatu"ui
&ro&o'i%iei ini%ia"e. 8SP?PS@ ?S9
=o#tra@o(i$ia este o o@era$ie logic% alc%tuit% di#tro succesiu#e de obversiu#i i
co#versiu#i.
Astfel,
Sa)
Bo C
SeL)
Bc 9
?PeS
Bo C
?Pa?S
Se)
Bo C
SaL)
Bc C
?PiS
Bo C
?Po?S
Si)
Bo C
SoL)
Bc C
So)
Bo C
SiL)
Bc C
?PiS
Bo C
?Po?S
,u@% cu* observa$i, @ro@o(i$ia Si) #u su@ort% co#tra@o(i$ie. BSi)
Bc C
)iS
Bo C
)oLS
Bc C
C.
=o#tra@usele care au ca @redicat subiectele @re*iselor lor su#t #u*ite co#tra@use
pariale. Ele au , aa cu* observa$i, calitate o@us% fa$% de @re*isele lor: L)eS, L)iS,
L)iS.
=o#tra@usele care au ca @redicat co#tradictoriul subiectelor @re*iselor lor su#t
#u*ite co#tra@use totale. Ele au calitatea @re*iselor lor: L)aLS, L)oLS, L)oLS.
1ai observa$i, v% rog, c% @ro@o(i$iile Sa) i So) dau co#tra@use de aceeai ca#titate
cu ele, A# ti*@ ce o @ro@o(i$ie Se) d% o co#tra@us% de ca#titate redus%.
E. I#fere#$a @ri# i#versiu#e
I#versiu#ea este o@era$ia logic% @ri# care di#tro @ro@o(i$ie adev%rat% dat% se ob$i#e
o @ro@o(i$ie adev%rat% care are ca subiect co#tradictoriul subiectului ei.
"i i#versiu#ea este o o@era$ie logic% alc%tuit% di#tro succesiu#e de obversiu#i i
co#versiu#i.
<u toate @ro@o(i$iile categorice su@ort% i#versiu#i.
Astfel,
Sa)
Bo C
SeL)
Bc 9
L)eS
Bo C
L)aLS
Bc C
?Si?P
Bo C
?SoP
Se)
Bo C
SaL)
Bc C
L)iS
Bo C
L)oLS
Bc C
,ar, A#ce@D#d cu o co#versiu#e,
Se)
Bc C
)eS
Bo C
)aLS
Bc C
?SiP
Bo C
?So?P
Si)
Bo C
SoL)
Bc C
Si)
Bc C
)iS
Bo C
)oLS
Bc C
So)
Bo C
SiL)
Bc C
L)iS
Bo C
L)oLS
Bc C
So)
Bc C
,u@% cu* observa$i, doar @ro@o(i$iile u#iversale su@ort% i#versiu#i. =o#clu(iile lor
@ot fi @ro@o(i$ii inverse pariale Bcare au @redicatul @re*iseiC sau @ro@o(i$ii inverse
totale Bcare au ca @redicat co#tradictoriul @redicatului @re*iseiC. 0oate @ro@o(i$iile
i#verse su#t @ro@o(i$ii @articulare.
Acu*, @u#D#d u#a lD#g% alta co#clu(iile i#fere#$elor i*ediate o@erate asu@ra
@ro@o(i$iilor categorice, situa$ia arat% aa:
i#fere#$eN
@ro@o(i$ii
co#versiu#e obversiu#e co#tra@o(i$ie i#versiu#e
@ar$ial% total% @ar$ial% total%
Sa) )iS SeL) L)eS L)aLS LSo)

LSiL)
Se) )eS B)oSC SaL) L)iS L)oLS LSi) LSoL)
Si) )iS SoL)
So) SiL) L)iS L)oLS
<u trebuie, desigur, s% *e*ora$i toate aceste re(ultate ale i#fere#$elor. AEu#ge s%
$i#e$i *i#te defi#i$iile i#fere#$elor i*ediate i s% le utili(a$i la #evoie sau s% ti$i u#de
s% le c%uta$i.
E vre*ea s% *ai co*@lic%* u# @ic lucrurile:
I<;ERE<OE 1E,IA0E =. )R>)>PIOII =A0E6>RI=E
Aa cu* a* *e#$io#at deEa, i#fere#$ele cu dou% sau *ai *ulte @re*ise se #u*esc
!ediate. I#fere#$ele cu dou% @re*ise se #u*esc silogis!e. ,ac% toate @ro@o(i$iile
Bcele dou% @re*ise i co#clu(iaC silogis*ului su#t @ro@o(i$ii categorice, ave* dea
face cu u# silogis! categoric.
,es@re silogis*ul categoric vo* @ovesti @e A#delete A# co#ti#uare.
.# eFe*@lu, *ai A#tDi, ales #u toc*ai la A#tD*@lare:
'oi oa!enii sunt !uritori.
'oi grecii sunt oa!eni.
'oi grecii sunt !uritori.
,u@% cu* observa$i, cele trei @ro@o(i$ii ale silogis*ului su#t alc%tuite cu aEutorul a
trei ter*e#i. H# eFe*@lul dat, oa!eni& !uritori i greci. .#ul di#tre aceti te*e#i
Boa!eniC este @re(e#t A# cele dou% @re*ise i #u este @re(e#t A# co#clu(ie. Acest
ter*e# leag% A#tre ele cele dou% @re*ise, f%cD#d logic @osibil% co#clu(ia. Aceasta
di# ur*%, alc%tuit% di# ter*e#ii #eco*u#i ai @re*iselor, #u decurge di# #iciu#a di#tre
@re*ise luate se@arat.
Rela$ia aceasta A#tre ter*e#ii @ro@o(i$iilor silogis*ului categoric #u este accide#tal%.
)ri# defi#i$ie,
Silogismul categoric este inferena mediat n care din dou propoziii categorice care au un termen comun se deduce o propoziie categoric
ai crei termeni sunt termenii necomuni ai premiselor.
H#c% de la Aristotel, ter*e#ul co*u# al @ro@o(i$iilor silogis*ului se #u*ete ter!en
!ediu. Hl vo* #ota cu 1. 0er*e#ii #eco*u#i se #u*esc ter!eni e2tre!i. .#ul di#tre
acetia, a#u*e cel care Eoac% rolul de @redicat al co#clu(iei se #u*ete ter!en
!a7or. )re*isa care Al co#$i#e se #u*ete pre!isa !a7or sau !a7ora silogis*ului. Hl
vo* #ota cu ). =el%lalt ter*e# eFtre*, cel care Eoac% rolul de subiect al co#clu(iei,
se #u*ete ter*e# *i#or. =ores@u#(%tor, @re*isa di# care @rovi#e se #u*ete
pre!isa !inor sau !inora silogis*ului. Hl vo* #ota cu S.
.tili(D#d #ota$iile toc*ai co#ve#ite, silogis*ul di# eFe*@lul a#terior va fi re@re(e#tat
astfel:
1a)
Sa1
Sa)
0er*e#ii silogis*ului @ot Euca A# @re*isele lui roluri diferite. ,efi#i$ia silogis*ului #u Ai
fiFea(% @e acetia A# ca(ul fericit @re(e#tat *ai sus, ca( A# care rolurile di# @re*ise
se reg%sesc A# co#clu(ie. ,i#tre co*bi#a$iile @osibile, #u*ai u#ele su#t valide.
,es@re ide#tificarea acestora a vrea s% vorbi* A# co#ti#uare.
,ar, *ai A#tDi, dou% observa$ii:
1. >rdi#ea e#u#$%rii celor trei @ro@o(i$ii ale silogis*ului de@i#de de co#teFtul
argu*e#t%rii i #u afectea(% validitatea silogis*ului.
2. Statutul @re*iselor B*aEor%N *i#or%C este dat de rolul ter*e#ilor lor eFtre*i A#
co#clu(ie.
)roble*a validit%$ii silogis*elor, acu*:
Silogis*ele categorice @ot avea @re*ise de oricare di#tre ti@urile A, E, I, >.
=o*bi#a$iile lor fur#i(ea(% -F-K16 @erec7i de @re*ise diferite calitativ i ca#titativ.
=o#clu(iile @ot fi, la rD#dul lor, @ro@o(i$ii A, E, I, >, ridicD#d la 16F-K6- #u*%rul
co*bi#a$iilor silogistice @osibile. Rolurile Eucate de ter*e#i A# @re*ise se @ot
co*bi#a, de ase*e#ea A# - sc7e*e Bsau figuriC silogistice. =o*bia#$iile @osibile
aEu#g astfel la 6-F-K256. ,u@% cu* a* *e#$io#at deEa, #u*ai u#ele di#tre aceste
co*bi#a$ii su#t valide. A#u*e, cele care res@ect% legile silogis!ului.
8egile silogis*ului re@re(i#t% for*ul%ri ale ceri#$elor de ide#titate i distribuire a
ter*e#ilor A# silogis*. Res@ectarea lor e co#di$ie #ecesar% B#u se @oate f%r%...Ci
suficie#t% BaEu#ge dac%...C @e#tru validitatea silogis*ului.
.#ele di#tre aceste legi su#t ge#erale. Altele su#t s@ecifice fiec%rei figuri silogistice.
8egi ge#erale ale silogis*ului:
I. 2n #i"ogi#m va"id are trei i numai trei termeni. H# ca( co#trar este
A#c%lcat @ri#ci@iul ide#tit%$ii, @roducD#duse eroarea logic% de A*@%trire a
ter*e#ilor. ,ac% @re*isele co#$i# *ai *ult de trei ter*e#i, #u se *ai
reali(ea(% *edierea ^,ac% v% aduce$i a*i#te, *ai la A#ce@utul cursului
@isica *D#ca oareci...
#isica !nnc oareci.
34oareci5 e cuvnt .
#isica !nnc un cuvnt.
e u# eFe*@lu de A*@%trire a ter*e#ilor A# silogis*. A#i*alul oarece di#
*i#or% B@re*isa care d% subiectul co#clu(iei, ti$i astaC este altceva decDt
#u*ele /oarece2 di# *aEor%._
II. Termenu" mediu a" #i"ogi#mu"ui tre+uie # !ie di#tri+uit 3n ce" &u%in
una dintre &remi#e. H# ca( co#trar, ter*e#ul *ediu #u ar *edia A#tre
eFtre*i i sar @utea ob$i#e co#clu(ii false di# @re*ise adev%rate. ,e
eFe*@lu,
Dnii studeni sunt $raoveni.
'oi ieenii din grupa I sunt studeni.
Dnii ieeni din grupa I sunt $raoveni.
III. 2n termen di#tri+uit 3n conc"u'ia #i"ogi#mu"ui tre+uie # !ie di#tri+uit
i 3n &remi#a 3n care a&are. ,es@re aceast% ceri#$% a* vorbit deEa, ea
vi(ea(% toate i#fere#$ele cu @ro@o(i$ii categorice, i*ediate i *ediate.
<eres@ectarea ei @roduce A# ca(ul silogis*elor erori logice de !a7or ilicit
B@redicat distribuit A# co#clu(ie f%r% a fi distribuit A# co#clu(ieC sau !inor
ilicit Bsubiect distribuit A# co#clu(ie f%r% a fi distribuit A# co#clu(ieC. ,e
eFe*@lu, silogis*ul de *ai Eos @%c%tuiete @ri# *aEor ilicit.
'oi studenii sunt !a7ori.
=iciun elev nu e student.
=iciun elev nu e !a7or.
I!. 1e" &u%in una dintre &remi#e"e #i"ogi#mu"ui tre+uie # !ie a!irmativ.
H# ca( co#trar, la fel ca A# ca(ul celei dea doua legi, ter*e#ul *ediu #u ar
@utea *edia A#tre eFtre*i, #eavD#d #i*ic A# co*u# cu acetia. <icio
co#clu(ie A#tru# silogis* cu dou% @re*ise #egative #u decurge cu
#ecesitate:
=iciun fluture nu e arpe.
Dnele legu!e- vipere nu sunt fluturi.
Dnele legu!e EAF- vipere EF nu sunt erpi.
!. 1onc"u'ia #i"ogi#mu"ui tre+uie # redea &artea mai #"a+ a ace#tuia,
adic%:
a. dac o &remi# e#te negativ, conc"u'ia e#te negativ. >
co#clu(ie afir*ativ% ar i#dica eFiste#$a u#or ele*e#te co*u#e
A# eFte#siu#ile eFtre*ilor. H#trucDt ter*e#ul *ediu #u are
#iciu# ele*e#t co*u# cu ter*e#ul @re*isei #egative, #u @oate
*edia cu @rivire la ele*e#tele co*u#e di# eFte#siu#ile
eFtre*ilor. > astfel de *ediere ar A#c%lca @ri#ci@iul ide#tit%$ii.
b. dac o &remi# e#te &articu"ar, conc"u'ia e#te &articu"ar.
H# ca( co#trar ar fi A#c%lcate u#ele di#tre legile e#u#$ate deEa.
Astfel, A#tru# silogis* cu o @re*is% @articular% i co#clu(ie
u#iversal%,
- dac% a*bele @re*ise su#t #egative, este A#c%lcat% legea I!.
- dac% a*bele @re*ise su#t afir*ative, u# si#gur ter*e# este distribuit
Bsubiectul u#iversaleiC A# @re*ise. =o#for* legii II, acesta trebuie s% fie
ter*e#ul *ediu. Astfel, *i#orul e #edistribuit A# @re*is% i distribuirea
lui A# co#clu(ia u#iversal% A#sea*#% A#c%lcarea legii III.
- dac% u#a di#tre @re*ise este afir*ativ% i u#a este #egativ%, su#t doi
ter*e#i distribui$i A# @re*ise Bsubiectul u#iversalei i @redicatul
#egativeiC. Aceti doi ter*e#i distribui$i trebuie s% fie ter*e#ul *ediu,
co#for* legii II i *aEorul, @e#tru a da co#clu(ie #egativ% co#for* legii
! BaC. Astfel, *i#orul e #edistribuit A# @re*is% i distribuirea lui A#
co#clu(ia u#iversal% A#sea*#% A#c%lcarea legii III.

II. 1e" &u%in una dintre &remi#e"e #i"ogi#mu"ui tre+uie # !ie univer#a".
H# ca( co#trar ar fi A#c%lcate u#ele di#tre legile a#terior e#u#$ate. Astfel,
A#tru# silogis* cu dou% @re*ise @articulare,
- dac% a*bele @re*ise su#t afir*ative, ter*e#ul *ediu #u este distribuit,
A#c%lcD#duse legea II.
- dac% a*bele @re*ise su#t #egative, este A#c%lcat% legea I!.
- dac% u#a di#tre @re*ise este afir*ativ% i u#a este #egativ%, u# si#gur
ter*e# este distribuit B@redicatul #egativeiC i acela #u @oate fi decDt
ter*e#ul *ediu, co#for* legii IIG dar co#clu(ia trebuie s% fie #egativ%,
co#for* legii ! BaC, i @oate fi #egativ% doar dac% ter*e#ul *aEor este
distribuit A# ea, ceea ce ar re@re(e#ta o A#c%lcare a legii III.
.#ele tratate de logic% ge#eral% i#dic% dre@t lege a silogis*ului i ceri#$a
!II. Dac am+e"e &remi#e #unt a!irmative, atunci conc"u'ia e#te a!irmativ.
> co#clu(ie #egativ% se refer% la ele*e#tele #eco*u#e ale eFte#siu#ilor
ter*e#ilor eFtre*i. ,es@re aceste ele*e#te, @re*isele afir*ative #u fur#i(ea(%
i#for*a$ii. Referirea la acestea A# co#clu(ia silogis*ului re@re(i#t% o A#c%lcare a
@ri#ci@iului ide#tit%$ii.
>bserva$i, v% rog, c% u# silogis* de for*a
)a1 E'oi grecii sunt oa!eni.
1aS 'oi oa!enii sunt !uritori.
So) Dnii !uritori nu sunt greci.C
#u A#calc% #iciu#a di#tre legile I!I. ,ac% validitatea silogis*elor este stabilit% @ri#
verificarea res@ect%rii legilor silogis*ului, este A#dre@t%$it% e#u#$area legii
su@li*e#tare !II.
)e#tru verificarea validit%$ii u#ui astfel de silogis* se dovedete foarte util% *etoda
diagra*elor !e##. ,ar des@re asta *ai tDr(iu u# @ic.