Documente Academic
Documente Profesional
Documente Cultură
I.D.D. CuPsihologie Rs Logica Cap. 1 Logica Traditionala
I.D.D. CuPsihologie Rs Logica Cap. 1 Logica Traditionala
LOGIC
(Curs opional, I.D.D. Psihologie)
Conf. Dr. Virgil Drghici
Capitolul 1
Logica tradiional
Preliminar
Considerat n sensul cel mai general, logica tradiional este teoria inferenei.
nceputurile ei notabile trebuie cutate n opera gnditorului grec Aristotel 1. O dat cu
Organon-ul su se pun bazele a ceea ce astzi numim silogistic clasic (asertoric i
modal). Aceast lucrare aristotelic a exercitat o considerabil influen asupra generaiilor
urmtoare, pn n epoca modern. O dat cu rafinarea conceptualizrii, determinat de
crearea logicii simbolice, n secolul al XIX-lea, s-a deschis posibilitatea re-lecturii silogisticii
clasice care, n noua ipostaz, favorizat de formalizare i axiomatizare, devine silogistic
modern 2.
Capitolul de fa nu are n vedere o analiz istoric a silogisticii3, ci o elaborare
sistematic a logicii tradiionale, nglobnd astfel perfecionrile instrumentarului logicii,
pstrndu-i ns determinaiile care o fac s rmn o logic tradiional.
ntruct teoria inferenei presupune teoria propoziiei, iar teoria propoziiei presupune
teoria termenilor logici, vom trata succesiv, n ordinea complexitii lor, aceste forme logice4.
ns logica nu este interesat de orice fel de inferene, ci doar de inferenele valide,
adic de acele inferene care conserv n concluzia lor adevrul premiselor. Iar ca o inferen
s fie valid, ea trebuie s respecte anumite exigene, ntre care exist anumite raporturi de
dependen (derivare). Cutnd s explicitm exigenele fundamentale, cele care le ntemeiaz
pe toate celelalte, ajungem la ceea ce logica numete principii logice. S ne oprim mai nti la
o analiz succint a acestor principii.
Principiile logice
Investigarea statutului principiilor logice este una foarte complex. Chiar dac
formularea lor este veche (Aristotel, Leibniz), disputele pe aceast tem continu i n zilele
noastre. Ca principii logice ele nu pot, firete, s fie ntemeiate n logic, pentru c n acest
caz ar avea un caracter derivat, fiind deduse din alte principii mai generale. Putem, atunci,
conchide c sunt construcii arbitrare, convenii lingvistice? Modul n care ele funcioneaz ca
principii ne arat mai curnd contrariul. Iar dac au un temei, care este acesta?5 Ne limitm, n
consideraiile de fa, la a meniona c principiile logice pot fi formulate att ontologic (cu
referire la obiecte i proprietile lor), ct i epistemologic (cu referire la propoziii i valorile
lor de adevr), fr a le reduce, ca principii logice, la aceste formulri.
a) Principiul identitii
Principiul identitii a fost formulat mai nti de Leibniz, astfel: Fiecare lucru este
ceea ce este. i n attea exemple cte vrei, A este A, B este B6. A este A este formularea
ontologic a ideii de identitate: prin proprietile sale constante, un lucru este el nsui i nu
1
altul. Desigur, chiar dac realitatea este ntr-o continu transformare, ea nu poate fi gndit
dect prin ceea ce confer individualitate (i deci constan) entitilor ei. Ca principiu al
identitii, acesta rmne un principiu logic, nu ontologic. Iar ca principiu logic, el pretinde,
oricrui demers raional, precizie. Altfel spus, n orice raionalizare pe care o efectum
termenii logici trebuie s-i conserve nelesul. n caz contrar, din premise adevrate putem
obine concluzii false sau absurde. De exemplu, din propoziiile Creionul este verde i
"Verde" are cinci litere derivm, n mod eronat, Creionul are cinci litere. Nevaliditatea
acestei inferene rezid n faptul c termenul mediu (i.e. verde) nu i-a pstrat nelesul: n
prima propoziie el se refer la o proprietate a unui obiect iar n cea de-a doua la o entitate
lingvistic. Aadar, a fost nesocotit principiul identitii.
b) Principiul noncontradiciei
Acest principiu a fost formulat pentru prima dat de Aristotel: este peste putin ca
unuia i aceluiai subiect s i se potriveasc i totodat s nu i se potriveasc sub acelai
raport unul i acelai predicat 7.
Ca principiu logic, acesta reclam exigena consistenei: n acelai timp i sub acelai
raport o propoziie nu poate fi adevrat mpreun cu contradicia ei 8. n orice demers pe
care-l ntreprindem, nu putem include n acelai timp i sub acelai raport, att propoziia
2 + 2 = 4 ct i propoziia 2 + 2 4 .
c) Principiul terului exclus (tertium non datur)
Tot lui Aristotel i revine meritul de a fi formulat pentru prima dat principiul logic al
terului exclus: Dar nu e cu putin nici ca s existe un termen mijlociu ntre cele dou
membre extreme ale unei contradicii, ci despre un obiect trebuie neaparat sau s fie afirmat
sau negat fiecare predicat 9.
Dac principiul noncontradiciei respinge posibilitatea ca o propoziie i contradictoria
ei s fie simultan adevrate, principiul terului exclus respinge posibilitatea ca o propoziie i
contradictoria ei s fie simultan false. Iat un fragment din Leibniz care lmurete relaia
dintre aceste dou principii, n forma relaiei dintre urmtoarele dou formulri: una, c
adevrul i falsul nu sunt compatibile n aceeai propoziie sau c o propoziie nu ar putea s
fie adevrat i fals n acelai timp; cealalt, c opusul sau negaia adevrului i falsului nu
sunt compatibile, sau c nu exist mijlociu ntre adevrat i fals, sau c nu se poate ca o
propoziie s nu fie nici adevrat nici fals 10.
Exemple intuitive, elementare, ne arat totui c acest principiu nu are extensiunea
primelor dou, deoarece exist situaii n care ntre cele dou valori de adevr ale propoziiilor
(adevrat i fals) trebuie admis o a treia (nedeterminatul). Chiar Aristotel d un exemplu de
acest gen. De ori cte ori ne referim la evenimente viitor-contingente, cea de-a treia valoare
trebuie admis 11. Pentru propoziii de genul Mine va avea loc o btlie naval i Mine
nu va avea loc o btlie naval, cea de-a treia posibilitate este admis: indecizia 12.
Este uor de constatat c valabilitatea principiului terului exclus este sincron
acceptrii ideii semantice a bivalenei: orice propoziie admite strict una din cele dou valori
de adevr: adevrat sau fals.
7
Aristotel, Metafizica, Editura Academiei R.S.R., Bucureti, 1965, IV, 3, 1005 b, 19.
Pentru o analiz a diferitelor expresii ale principiilor logice, comp. N. Rescher, Many-valued logics, McGrawHill, 1969.
9
Aristotel, Metafizica, IV, 7, 1011b.
10
Leibniz, Nouveaux..., IV, II, 1.
11
Cf. Aristotel, Organon.
12
Respingerea validitii terului exclus va face carier n logica intuiionist, pentru acele cazuri n care operm
cu mulimi infinite. Comp. C. Calude, Matematici constructive, Ed. tiinific, Bucureti, 1995.
8
Exigena reclamat de principiul terului exclus este coerena: n acelai timp i sub
acelai raport o propoziie logic este adevrat sau fals, cea de-a treia posibilitate este
exclus.
d) Principiul raiunii suficiente
Ca principiul logic, acesta ne cere s nu acceptm sau respingem vreo propoziie fr
a dispune de vreun temei suficient, n demersul pe care-l ntreprindem13. El exprim o relaie
de condiionare ntre propoziii. Lingvistic, condiionrile pot fi redate astfel: dac p, atunci
q (condiionarea suficient), unde p i q denot propoziii, dac nu p, atunci nu q
(condiionarea necesar) sau p dac i numai dac q (condiionarea necesar i suficient).
Teoriile tiinifice sunt interesate nainte de toate de condiiile suficiente ale adevrului
propoziiilor lor i, de aici, exigena coninut n principiul raiunii suficiente.
1. TEORIA TERMENILOR LOGICI
Atunci cnd atribuim o valoare de adevr unei propoziii, n raionrile noastre
curente, o facem innd seam de modul n care prile lor constitutive se mbin. Propoziia
Cerul este albastru, de exemplu, este adevrat dac albastru poate fi spus (i.e. predicat)
despre cer. n caz contrar, propoziia este fals. Elementele constitutive ale propoziiilor
sunt termenii. ns nu toi termenii unui limbaj au acelai rol n limbajul respectiv. Unii au
att neles de sine stttor, desemnnd clase de obiecte, ct i neles contextual, fiind pri
ale propoziiilor. Aceti termeni se numesc categorematici. Alii, n schimb, ajut la
construcia propoziiilor, cuantificnd, modaliznd, conectnd etc (unii, toi, e posibil,
e necesar, i, fr, sau, este, . a.). Aceti termeni se numesc sincategorematici.
n continuare, n acest paragraf dedicat teoriei termenilor, vom avea n vedere strict
teoria termenilor categorematici, adic teoria acelor termeni care pot deveni subiect logic i
predicat logic ntr-o propoziie14.
O remarc trebuie s facem ns de-ndat. Termenii categorematici nu sunt
ntotdeauna expresii formate dintr-un singur cuvnt, ci i construcii mai complexe, uneori
chiar fraze: radiaie remanent, orchestr de camer, numr prim ntre 6 i 9,
compozitorul lucrrii "Ruslan i Ludmila", etc. n cele ce urmeaz ne intereseaz, firete,
termenii categorematici ca termeni logici, ca o form logic distinct, cu o structur proprie
ireductibil la exprimarea ei lingvistic15.
Definiia 1. Termenul logic este forma logic elementar care denot clase de obiecte.
1.1. Structura termenilor logici
n structura oricrui termen logic pot fi puse n eviden dou componente:
extensiunea i intensiunea. Un exemplu simplu ne arat n ce constau ele. Carte, de
exemplu, este un termen logic a crui extensiune (sfer) este totalitatea crilor existente.
Totodat, carte nseamn totalitatea trsturilor pe care le posed orice obiect care poate fi
numit carte. Aceste trsturi se constituie n ceea ce numim intensiunea (coninutul)
termenului carte.
13
Principiul raiunii suficiente este mai curnd un principiu metalogic: nu introduce vreo exigen fr de care
gndirea nu s-ar putea manifesta, ci exprim un principiu cuprinztor, valabil n orice demers cognitiv.
14
n logica tradiional aceast categorie de termeni se constituie noiunile.
15
Unitatea dintre termenul logic i unitatea lingvistic se numete expresie. Orice expresie, care poate fi subiectul
sau predicatul unei propoziii, are aadar o dubl dimensiune, logic i lingvistic.
Definiia 1.1. Extensiunea unui termen logic este componenta structural care const
n totalitatea obiectelor ale cror proprieti formeaz intensiunea termenului logic.
Definiia 1.2. Intensiunea unui termen logic este componenta structural care const
n totalitatea nsuirilor obiectelor care formeaz extensiunea termenului logic.
Corespondena structural dintre cele dou definiii (i.e. faptul s una se obine din
cealalt permutnd termenii extensiune, obiect, intensiune cu intensiune, nsuire,
extensiune) se numete dualitate.
ntre extensiunea i intensiunea unui termen putem pune n eviden raportul variaiei
inverse a extensiunii i intensiunii (construii un exemplu).
1.2. Raporturile dintre termenii logici
Distincia logic dintre extensiune i intensiune fundamenteaz distincia dintre cele
dou tipuri de raporturi logice: extensionale i intensionale.
Raporturile extensionale dintre doi termeni logici sunt raporturile dintre clasele la care
se refer, raporturi formulate n termenii incluziune-excluziune. Aceste raporturi extensionale
pot fi exhaustive sau neexhaustive, dup cum raportul respectiv epuizeaz sau nu universul de
discurs16.
1. Subordonare neexhaustiv. n acest caz, extensiunea unui termen S este inclus n
extensiunea celuilalt (P), fr exhaustivarea universului de discurs (U). (Exemplu: S = aur,
P = metal, U = element chimic).
2. Supraordonare neexhaustiv (Raportul convers lui 1).
3. Intersecie neexhaustiv. Extensiunile celor doi termeni au elemente comune, dar i
elemente diferite i nu epuizeaz universul de discurs. (Exemplu: S = numr par, P = numr
prim, U = numr natural).
4. Identitate neexhaustiv. Extensiunile celor doi termeni coincid, fr a epuiza
universul de discurs (Exemplu: S = 2, P = numr par i prim, U = numr natural).
5. Intersecie exhaustiv. Cele dou extensiuni au elemente comune dar acoper ntreg
universul de discurs: S = Z + {0}, P = Z {0} , U = Z .
6. Excluziune neexhaustiv. Cele dou extensiuni nu au nici un element n comun i
nici nu exhaustiveaz universul de discurs (construii un exemplu).
7. Excluziune exhaustiv. Nici n acest caz extensiunile nu au elemente comune, dar
epuizeaz U (Exemplu: organic neorganic, rou nonrou, etc).
Termenii logici pot figura, n multele lor posibiliti de conectare, drept componente n
structuri mai complexe, numite propoziii. n acest paragraf nu vom face un inventar al tuturor
propoziiilor, ci vom selecta o clas de astfel de propoziii i o explicitm n determinaiile ei
eseniale. Clasa avut n vedere este cea a propoziiilor categorice.
Definiia 2.1. O propoziie categoric este o structur logico-lingvistic n care se
enun ceva despre elementele unei clase de obiecte.
Exemple de propoziii categorice: 1. Toi studenii au obinut rezultate bune. 2. Nici un
participant la manifestaie n-a fost chestionat. 3. Unele cri sunt interesante. 4. Unii
concureni n-au luat premiu. 5. Nigel Kennedy este cel mai strlucit interpret Vivaldi. 6.
John Fogerty n-a cntat cu Rolling Stones.
Structura propoziiilor categorice este simpl: doi termeni logici sunt corelai n aa fel
nct ceva se spune despre ceva. Un termen logic este subiectul logic al propoziiei, cellalt
este predicatul logic. Legtura dintre ei se poate face n varii feluri: cu verbele a fi, a avea, cu
alte verbe sau pur i simplu poate fi sublimat (n forma gramatical a predicatului). ns,
dac din punct de vedre gramatical n structura unei propoziii categorice pot intra i alte
elemente (adjective, complemente, adverbe etc), sub aspect logic (singurul relevant aici!) o
propoziie categoric conine strict dou elemente: subiectul logic (S) i predicatul logic (P).
2.2. Clasificarea propoziiilor categorice
Fie i numai enumerarea de mai sus, putem constata unele deosebiri, logic relevante,
ntre propoziiile categorice. Att n propoziia 1 ct i n propoziia 2 subiectul logic a fost
17
Pentru o tratare clar, sistematic a lor, comp. Marga, Stoianovici, Dima, Logica general, pp. 81-123.
luat n considerare (chiar dac n moduri diferite!) n totalitatea sa. Altfel spus, predicatul
logic revine ntregii clase denotate de subiect. n ambele cazuri vom vorbi despre propoziii
universale. n propoziiile 3 i 4, n schimb, predicatul se refer (revine) unei pri a clasei
denotate de subiectul logic , motiv pentru care aceste propoziii se numesc particulare. n
fine, n cazurile 5 i 6 clasa denotat de subiectul logic are un singur element; aceste
propoziii se numesc individuale. Aceast clasificare s-a fcut dup criteriul cantitii,
respectiv dac predicatul revine sau nu ntregii extensiuni a subiectului logic. Putem uor
constata c, aplicnd acest criteriu, propoziiile individuale au forma propoziiilor universale
i deci, n cele ce urmeaz vor fi incluse n aceast clas. Dup cantitate deosebim aadar:
propoziii universale i particulare.
Acum, dac lum propoziiile 1, 3 i 5, pe de-o parte, i 2, 4 i 6, pe de alta, vom
observa c cele dou clase de propoziii se deosebesc prin urmtorul fapt: n prima clas
predicatul logic este afirmat despre subiect (i.e. nota respectiv aparine subiectului logic,
indiferent de extensiunea considerat), n cea de-a doua ns, predicatul logic este negat
despre subiect. Aadar, propoziiile categorice pot fi clasificate i dup criteriul calitii, n
afirmative i negative.
n cele ce urmeaz nu vom opera distinct cu cele dou clasificri, ci cu una singur,
fcut simultan dup cele dou criterii (cantitate i calitate), astfel:
1. SaP: propoziii universal afirmative
2. SeP: propoziii universal negative
3. SiP: propoziii particular afirmative
4. SoP: propoziii particular negative
Notaiile din frontul fiecrei clase au urmtoarea surs: S i P sunt elementele
structurale ale oricrei propoziii categorice. a i i, puse ntre S i P (n cazurile 1 i 3) sunt
primele vocale din cuvntul latin affirmo i ne arat c n ambele cazuri avem propoziii
afirmative (prima universal, a doua particular). Vocalele e i o din SeP i SoP sunt vocalele
coninute n nego i ne indic faptul c propoziiile respective sunt negative. Aceast
abreviere notaional are un avantaj operaional n analiza raporturilor logice dintre
propoziiile respective 18.
Remarc. Nu ntotdeauna n limbajul natural cele patru tipuri de propoziii categorice
au forma de mai sus. Unii S sunt P (SiP) nu exclude, n clasificarea fcut, posibilitatea ca
Toi S s fie P (SaP). ns, dac o propoziie particular este formulat Numai unii S sunt P,
atunci aceast posibilitate este exclus. n primul caz avem o propoziie particular inclusiv,
n cel de-al doilea exclusiv. Adus la forma uzual din clasificarea fcut, propoziia Numai
unii S sunt P devine Unii S nu sunt P. Aa cum propoziia Numai unii S nu sunt P devine Unii
S sunt P.
Alteori propoziiile particulare au forma: Numai S sunt P, respectiv Numai S nu sunt P.
Asemenea propoziii particulare exclusive se pot transforma, echivalent, n propoziii
universale, de aceeai calitate, dar n care S i P i schimb reciproc locul. Ele devin Toi P
sunt S, respectiv Nici un P nu este S.
2.3. Raporturile logice dintre propoziiile categorice
Aa cum ntre termenii logici exist o serie de raporturi logice, tot astfel ntre
propoziiile categorice putem pune n eviden nite raporturi specifice. Dac, de exemplu,
18
Alteori apar doar majusculele corespunztoare: A, E, I, O, cu semnificaia SaP, SeP, SiP, SoP.
propoziia Toi studenii sunt prezeni este adevrat, atunci propoziiile Unii studeni nu sunt
prezeni i Nici un student nu este prezent sunt false. Aa cum, dac propoziia Unii studeni
nu sunt prezeni este fals, propoziia Unii studeni sunt prezeni este adevrat etc.
Raporturile logice dintre propoziiile categorice pot fi redate schematic prin ptratul lui
Boethius 19.
SaP
contrarietate
SeP
s
s
u
u
b
b
a
a
l
l
t
t
e
contradicie
e
r
r
n
n
a
a
r
r
e
e
SiP
subcontrarietate
SoP
19
Boethius (480-524).
1 i 0 denot valorile de adevr adevrat i fals.
21
Pus n faa unei expresii, simbolul denot negaia expresiei respective: SoP nseamn: propoziia
SoP este fals (i nicidecum negaia lui S!); P ( x ) nseamn P ( x ) este fals etc.
22
n logica propoziiilor aceste derivri succesive se numesc transformri echiveridice. Pentru detalii trimitem la
Cap. 2 ( 3.1).
20
Remarc. Dou propoziii contrare pot fi false simultan, aa cum dou propoziii
subcontrare pot fi adevrate simultan. Dac vrem s vedem n ce caz se ntmpl acest lucru,
atunci vom proceda dup cum urmeaz. Din cele 7 tipuri de raporturi extensionale dintre
termenii logici, dac renunm la distincia exhaustiv-neexhaustiv (irelevant aici), rmn
doar 5: identitate, subordonare, supraordonare, intersecie i opoziie. Considerm acum c cei
doi termeni logici avui n vedere sunt subiectul (S) i predicatul (P) unei propoziii. Desigur,
valoarea ei logic depinde de raportul dintre termenii logici S i P. Dac inem seam de toate
aceste 5 raporturi dintre termenii S i P, atunci raporturile logice dintre propoziiile categorice,
din ptratul lui Boethius, pot fi redate, mai nuanat, prin urmtorul tabel:
Identitate Subordonare Supraordonare
SaP
SeP
SiP
SoP
1
0
1
0
1
0
1
0
0
0
1
1
Intersecie Opoziie
0
0
1
1
0
1
0
1
Deci, dac S i P se afl n raport de identitate, atunci SaP (adic Toi S sunt P) este o
propoziie adevrat, SeP este fals, SiP este adevrat SoP = 0 , etc. E uor de vzut c toate
raporturile mai sus discutate pot fi citite pe acest tabel. Mai mult chiar, putem constata c
dou propoziii subcontrare pot fi false simultan dac S i P se afl n raport de supraordonare
i de intersecie. Caz n care dou propoziii subcontrare pot fi adevrate simultan.
Exerciii.
1. Argumentai c date fiind raporturile de contradicie i contrarietate raportul de
subalternare poate fi dedus.
2. Argumentai c date fiind raporturile de contradicie i subcontrarietate raportul de
subalternare poate fi dedus.
3. Comparnd raporturile logice din ptratul lui Boethius cu funciile de adevr din
Cap. Logica propoziiilor, 2 Semantica Lp , determinai, n fiecare caz n parte,
ce funcii de adevr corespund acestor raporturi.
Exemplu: Raportul de subalternare SaP-SiP este redat de funcia implicaie:
SaP SiP (la fel, SeP SoP ) etc.
3. TEORIA INFERENEI
Definiia 3. Inferena este operaia logic prin care din una sau mai multe propoziii
asumate ca premise obinem o alt propoziie numit concluzie.
Inferenele sunt de o mare diversitate. Dac lum drept criteriu gradul de generalitate
al concluziei n raport cu premisele, vom deosebi: inferene deductive i inferene inductive.
O alt clasificare o putem face avnd n vedere dac inferenele respective sunt valide (i.e.
conserv n concluzie adevrul premisei/premiselor) sau nevalide (i.e. adevrul
10
Dac tim, de exemplu, c propoziia Toi studenii sunt prezeni este adevrat,
atunci, fr a face investigaii empirice, tim c i propoziia Unii dintre cei prezeni sunt
studeni este la fel. Adevrul primeia garanteaz adevrul celei de-a doua. Aceast operaie
prin care din prima propoziie (SaP) am obinut-o pe cea de-a doua (PiS) nu este o simpl
transformare lingvistic, ci o operaie logic, cea a conversiunii.
Definiie 3.1.1. Conversiunea este inferena imediat prin care dintr-o propoziie S-P
derivm o alt propoziie de forma P-S (i.e. termenii logici i schimb locul i deci i
funciile).
S vedem acum n ce fel se convertesc cele 4 tipuri de propoziii categorice.
C
C
? (nu se convertesc)
SoP
Pe baza unor exemple simple putem s vedem c propoziiile particular negative nu se
convertesc. Aadar, adevrul unei propoziii SoP nu poate garanta ntotdeauna adevrul
conversei ei PoS. Din adevrul propoziiei Unii oameni nu sunt ingineri nu putem conchide
Unii ingineri nu sunt oameni. n schimb, din propoziia Unii studeni nu sunt logicieni putem
conchide c Unii logicieni nu sunt studeni. ntruct nu ntotdeauna concluzia este o
propoziie adevrat, vom spune c propoziiile SoP nu se convertesc.
Dup cum se vede, prin conversiune obinem ntotdeauna o propoziie de aceeai
calitate. Propoziiile SeP i SiP se convertesc simplu (n aceste cazuri i cantitatea se
conserv), SaP se convertete prin accident iar SoP nu se convertesc.
Aa cum din propoziii SoP adevrate uneori obinem propoziii PoS adevrate, tot
astfel din propoziii SaP adevrate uneori obinem propoziii PaS adevrate. n logic este
relevant i cunoaterea acestor situaii. Aa cum relevant a fost i rspunsul din paragraful
precedent cu privire la situaiile n care dou propoziii contrare/subcontrare pot fi
false/adevrate simultan. i n acest caz rspunsul poate fi dat innd seam de raportul dintre
termenii logici S i P. Pentru aceasta considerm din nou cele cinci raporturi extensionale i
determinm, n fiecare caz n parte, adevrul propoziiilor SaP, PaS, SeP, PeS, SiP, PiS, SoP,
PoS.
Exemplu. Dac S i P sunt n raport de identitate, atunci att SaP ct i PaS sunt
adevrate. n acest caz din propoziia SaP, prin conversiune, obinem PaS etc.
Tot astfel putem determina cazul n care SoP se convertete (exerciiu).
Gama inferenelor imediate nu se reduce ns la conversiune. Dac, de exemplu,
propoziia Toi studenii sunt bursieri este adevrat, atunci va fi adevrat i propoziia Nici
11
un student nu este nebursier. n acest caz vorbim despre o alt operaie logic, cea a
obversiunii.
Definiia 3.1.2. Obversiunea este inferena imediat prin care dintr-o propoziie S-P
derivm o alt propoziie de forma S P .
Premisa se numete obvertend iar concluzia obvers. Notaia S P are urmtoarea
semnificaie: n concluzie termenii logici i pstreaz locul, predicatul este negat23 iar bara de
deasupra ntregii expresii nseamn nlocuirea reciproc a operatorilor intrapropoziionali a cu
e i i cu o. Adic:
O
SaP
Sa P (explicaie similar).
O
SiP
So P
O
SoP
Si P
O
Simbolul
Se P
PeS
Pa S
Si P
SoP
Propoziiile obinute n paii 3 i 4, respectiv PeS i Pa S se numesc contrapuse, iar
ultimele dou propoziii Si P i SoP se numesc inverse. S le considerm pe rnd.
Definiia 3.1.3. Contrapoziia este inferena imediat prin care dintr-o propoziie S-P
derivm o alt propoziie de forma P S / S (i.e. obinem o concluzie al crei subiect este
contradictoriul predicatului premisei).
Premisa se numete contraponend iar concluzia contrapus. Notaia S / S
simbolizeaz urmtorul fapt: predicatul concluziei este fie subiectul premisei, fie subiectul
negat al premisei. n primul caz, cnd concluzia are forma P S vorbim despre contrapus
parial, n cel de-al doilea, P S , de contrapus total.
Definiia 3.1.4. Inversa este inferena imediat prin care dintr-o propoziie S-P
derivm o alt propoziie de forma S P / P (i.e. obinem o concluzie al crei subiect este
contradictoriul subiectului premisei).
i n acest caz notaia P / P simbolizeaz faptul c o invers poate s fie parial (de
forma S P ) sau total (de forma S P ) (Construii exemple).
Aadar, prin aplicarea repetat i alternativ a conversiunii i obversiunii putem obine
toate propoziiile adevrate dintr-o propoziie dat ca adevrat.
C
O
SaP
PiS
Po S
23
De cte ori ne vom referi la termenii logici strict extensional (i.e. termeni care denot clase de obiecte) vom
12
P (P negat)
O
C
O
C
O
SaP
Se P
PeS
Pa S
Si P
SoP
C
O
C
O
SeP
PeS
Pa S
SiP
So P
O
C
O
SeP
Sa P
PiS
Po S
C
O
SiP
PiS
Po S
O
SoP
SiP
C
SoP
?
O
C
O
SoP
Si P
PiS
Po S
Remarci. 1. Lanul derivrilor se oprete atunci cnd ajungem la o propoziie SoP care
urmeaz s fie convertit.
2. n cazul conversiunii simple (SeP i SiP) propoziiile obinute (PeS i PiS)
sunt echivalente cu premisele lor. n cazul conversiunii prin accident avem doar un raport de
implicaie SaP PiS .
3. n cazul obversiunii, obvertendele i obversele sunt propoziii echivalente.
n fine, ncheiem acest paragraf cu cteva explicaii privitoare la valabilitatea
inferenelor imediate.
Distribuirea termenilor logici
13
Echivalent, un termen logic este distributiv dac este subiectul unei propoziii
universale sau predicatul unei propoziii negative.
Validitatea inferenelor (imediate i mediate) presupune respectarea unei reguli cu
privire la distribuirea termenilor logici: un termen logic poate s apar distribuit n concluzie
doar dac a fost distribuit i n premisa corespunztoare.
O dat formulat aceast regul, putem argumenta de ce, de exemplu, conversiunea
simpl a propoziiilor SaP i SoP nu este o inferen valid. Dac am face astfel de
conversiuni, atunci am avea:
C
C
S + aP
P + aS i S oP +
P oS +
n ambele cazuri se ncalc regula distribuirii termenilor. n primul caz, n concluzie, P
apare distribuit, fr a fi distribuit n premis, n al doilea, S este distribuit n concluzie i nu
este distribuit n premis.
Remarc. Un termen logic poate fi distribuit n premis fr a fi distribuit n concluzie
(dai exemple).
Propoziii cu termeni negativi
Aa cum am vzut din derivrile de mai sus, prin aplicarea repetat a conversiunii i
obversiunii, obinem propoziii n care apar termeni negai. Unele din acestea sunt echivalente
cu propoziia iniial, altele sunt implicate de propoziia iniial. Cu toate acestea, dat fiind o
propoziie categoric, anumite propoziii nu pot fi obinute din aceasta. Din propoziia SaP, de
exemplu, nu putem obine inversa Sa P (nici reciproc). Motiv pentru care cele dou propoziii
sunt considerate independente. Aadar, dac vom considera i propoziiile cu termeni negai,
vom constata c la cele patru tipuri de propoziii categorice, SaP, SeP, SiP, SoP, se adaug
nc patru tipuri diferite de propoziii, inversele celor dinti: Sa P , Se P , Si P , So P . Fiecare
dintre aceste opt tipuri are cte trei propoziii echivalente. Acestea pot fi gsite exact n modul
n care am procedat mai sus: prin aplicarea repetat a conversiunii i obversiunii. Din SaP, de
exemplu, am obinut propoziiile echivalente: Se P , PeS , Pa S . Din SeP am obinut: PeS,
Pa S i Sa P etc. La fel putem proceda acum cu propoziia S a P , astfel:
O
C
O
Sa P
SeP
Pe S
SeP
Sa P
PeS
Pa S
SiP
So P
Po S
PiS
SoP
Si P
PiS
Po S
Sa P
SeP
Pe S
PaS
Se P
Pe S
PaS
S aP
Si P
Pi S
PoS
SoP
So P
SiP
Pi S
PoS
Prima linie a tabelului o reprezint cele 8 tipuri de propoziii categorice, iar fiecare
coloan conine propoziii echivalente.
Aa cum ntre cele patru tipuri de propoziii categorice cu termeni pozitivi exist
raporturile desemnate de ptratul lui Boethius, tot astfel putem reprezenta prin acelai ptrat
logic raporturile dintre propoziiile cu termeni negai. Numai c, de data aceasta, n colurile
ptratului vom pune aceleai propoziii A, E, I, O dar n care termenii logici sunt negai.
14
Iar dac vrem s reprezentm raporturile logice din toate cele 8 tipuri de propoziii
categorice, atunci reprezentarea va fi un octogon, n vrfurile cruia vom aeza cele 8 tipuri de
propoziii categorice (plus echivalentele lor) i vom decupa raporturile corespunztoare 24.
Raporturi de contradicie: ntre propoziiile SaP SoP, SeP SiP, S a P So P ,
Se P Si P (i echivalentele lor).
Raporturi de contrarietate: SaP SeP, S a P Se P , SaP Se P , S a P SeP.
Raporturi de subcontrarietate: SiP SoP, Si P So P , SiP So P , Si P SoP.
Raporturi de subalternare: SaP SiP, SeP SoP, S a P Si P , Se P So P , SaP Si P ,
Se P SoP.
Pentru fiecare propoziie menionat n aceast enumerare se consider toate
propoziiile echivalente cu ea (i.e. ntreaga coloan din care face parte).
Exerciii
1.
2.
3.
4.
Din motive tipografice, acest octogon n-a putut fi redat aici. Cititorul poate gsi aceast reprezentare n E.A.
Hacker, The octogon of opposition, in Notre Dame Journal of Formal Logic, XVI, 3, 1975.
25
Abreviere pentru dac i numai dac.
26
Corespunztor, silogistica este teoria silogismului. Aceasta reprezint nucleul logicii tradiionale.
15
doua apar i n concluzie, ca predicat (P), respectiv subiect (S) al concluziei. Aceti termeni, S
i P, se numesc termen minor (S) i termen major (P). Corespunztor, premisa care conine
subiectul concluziei se numete premis minor (a doua propoziie din exemplul de mai sus)
iar cea care conine predicatul concluziei (prima premis) se numete premis major.
Termenul minor i cel major se numesc, laolalt, termeni extremi. Aadar, ntr-un silogism
ntlnim trei termeni: S, M i P, fiecare avnd strict dou ocurene (apariii).
Remarc. Ordinea standard n care sunt redate silogismele n logic este: premis
major, premis minor, concluzie. Aceasta nu nseamn c n argumentarea curent ea este
obligatorie. La fel de bine puteam schimba ordinea premiselor pstrnd concluzia. Obineam
astfel un silogism echivalent, uneori mai firesc dect primul.
3.2.1. Figuri i moduri silogistice
Dac vrem s redm schematic silogismul de mai sus, adic s renunm la formularea
lui n limbajul natural i s-i explicitm structura abstract, atunci schema din dreapta
reprezint exact acest lucru. ns aceast schem silogistic nu acoper nicidecum toate
posibilitile de construire a silogismelor. i aceasta din dou motive: n structura unui
silogism pot s apar i alte propoziii dect cele universal aformative; n al doilea rnd,
felurile n care termenii logici se ordoneaz pot fi altele dect cele din exemplul de mai sus.
Exemplu.
Nici un student n-a fost anchetat.
MeP
Toi studenii sunt promovai.
MaS
Unii dintre cei promovai n-au fost anchetai.
SoP
Dac avem mai nti n vedere ordinea termenilor logici ntr-un silogism, indiferent de
tipul propoziiilor care-l compun, atunci, schematic, putem pune n eviden urmtoarele 4
structuri, numite figuri silogistice:
MP
PM
MP
PM
SM
SM
MS
MS
SP
SP
SP
SP
(I)
(II)
(III)
(IV)
n toate aceste cazuri concluzia este aceeai, S P. Deosebirea rezid n ordinea
termenilor din premise, ordine care depinde de poziia pe care termenul mediu o ocup n
premise. O figur silogistic este deci o structur determinat de funcia pe care termenul
mediu o ocup n premise. n cadrul fiecrei figuri silogistice deosebim moduri silogistice,
deosebite ntre ele prin felul propoziiilor din care se compun (i.e. cantitatea i calitatea
acestor propoziii).
Iar dac lum n considerare i acest aspect, adic tipul propoziiilor care pot fi
premise i concluzie n fiecare mod din cele 4 figuri silogistice, atunci vom constata c,
teoretic, numrul silogismelor care pot fi construite este destul de mare. Respectiv, 4 (cele 4
tipuri de propoziii care pot fi o premis) nmulit cu 4 (cele 4 tipuri care pot fi cealalt
premis) nmulit cu 4 (propoziiile posibile din concluzie) nmulit cu 4 (cele patru figuri
silogistice). Adic 4 4 4 4 = 256 . Firete, nu toate aceste posibiliti de construcie a
silogismelor genereaz silogisme valide, adic silogisme n care din adevrul premiselor
rezult n mod necesar adevrul concluziei. Logica este interesat nainte de toate de
fundamentarea riguroas a distinciei dintre silogismele valide i cele nevalide, prin
formularea unor criterii sau metode de testare i, aferent, de inventarierea silogismelor valide.
16
Pentru testarea validitii silogismelor avem la ndemn mai multe metode. Ne vom
opri, aici, la dou dintre ele: una care se bazeaz pe formularea i aplicarea regulilor generale
ale validitii silogismelor, iar cealalt pe reducerea (direct sau indirect) a silogismelor la
silogisme din figura I, asumate ca valide. S le considerm pe rnd.
I. Metoda aplicrii regulilor generale
S vedem mai nti care sunt regulile generale ale validitii silogismelor i cum se
justific ele.
1. Orice silogism valid conine strict trei termeni logici: S, M, P.
n reprezentarea schematic acest lucru este evident, din moment ce o astfel de schem
conine doar cele trei simboluri. Ca silogisme (i.e. formulate n limbajul natural) pot exista
situaii n care aceast regul este nclcat. Date fiind propoziiile Creionul este negru, Negru
este un cuvnt, am putea conchide: Creionul este un cuvnt. Evident, concluzia nu poate fi
acceptat i deci silogismul este nevalid. Aceasta se datoreaz faptului c termenul mediu,
negru, are, n cele dou premise, sensuri diferite. n prima exprim o proprietate a creionului,
iar n a doua o entitate lingvistic. Acest silogism nu conine trei termeni, ci patru (neavnd,
de fapt, termen mediu). i deci aici s-a nclcat principiul logic al identitii.
2. Termenul mediu trebuie s fie distribuit n cel puin una dintre premise.
S considerm urmtoarea schem silogistic:
MiP
SaM
SiP
Termenul mediu este nedistribuit n ambele premise (n cea major este subiect de
particular, n cea minor este predicat de afirmativ). Vrem ca pe baza celor dou premise s
formulm o concluzie. Este posibil oricare din urmtoarele situaii contradctorii: SiP, SeP.
a) Concluzia SiP poate fi derivat din cele dou premise, n urmtorul caz: M i P se afl n
raport de intersecie (premisa major) iar S este subordonat lui M (premisa minor) i,
simultan, S se afl n raport de intersecie cu P.
b) Concluzia SeP se poate obine astfel: considerm, ca mai sus, cele dou raporturi coninute
n premise, i, simultan S se afl n raport de opoziie cu P.
ntruct aceleai premise permit obinerea unor concluzii contradictorii, modul n
cauz nu poate fi valid. Sursa nevaliditii lui este nedistribuirea termenului mediu n cel puin
una din premise (i.e. termenul mediu M nu coreleaz n nici un fel extensiunile termenilor
extremi, S i P, lsnd deschis posibilitatea ca ntre acetia s existe mai multe raporturi27.
3. Un termen logic extrem nu poate s apar distribuit n concluzie dac n-a fost
distribuit n premisa corespunztoare.
S lum acum urmtoarea schem silogistic:
MaP
MaS
SaP
27
Cititorii pot vizualiza aceste raporturi, dac recurg la o reprezentare prin diagrame Euler (exerciiu).
17
18
MP
SM
SP
Vom lua prima combinaie de premise, AA, i vom construi un mod din figura I iar
apoi verificm dac respect toate cele 8 reguli. Avem, aadar,
MaP
SaM
SaP
Formularea concluziei, SaP, s-a fcut pe baza faptului c premisele sunt universal
afirmative. Am presupus c i concluzia este universal afirmativ28 iar acum vom verifica
28
Este o presupunere al crei adevr trebuie testat. Nu ntotdeauna din propoziii universal afirmative se obine o
concluzie universal afirmativ (comp. figura a III-a).
19
dac modul astfel obinut este ntr-adevr valid. Prima regul este respectat (fapt evident n
toate cazurile, dat fiind c operm doar cu scheme silogistice). M este distribuit cel puin o
dat (i.e. n major). S este distribuit n concluzie, dar este distribuit i n premisa minor. Cel
puin o premis este universal i cel puin una este afirmativ. Avem aadar un mod valid din
figura I: AA / A (i.e. din dou premise universal afirmative s-a obinut o concluzie universal
afirmativ).
Trecem acum la urmtoarea combinaie de premise:
MaP
SeM
SeP
ntruct o premis este negativ, concluzia formulat este negativ. Am presupus c
este SeP. Verifind respectarea celor 8 reguli, constatm c una din acestea nu este respectat:
P apare distribuit n concluzie, dar este nedistribuit n premisa major. i deci modul este
nevalid. n acest fel vom proceda n fiecare caz n parte. Dup excluderea modurilor nevalide
din figura I rmn (ca valide!) urmtoarele patru (exerciiu):
AA / A: BARBARA
EA / E: CELARENT
AI / I: DARII
EI / O: FERIO
AA / I: BARBARI
EA / O: CELARONT
Cuvintele corespunztoare fiecrui mod valid sunt denumirile mnemotehnice ale
acestora 29. Fiecare cuvnt mnemotehnic conine trei vocale. Succesiunea acestora n cuvnt
denot succesiunea: premis major premis minor concluzie. Modurile de mai sus sunt
modurile valide principale ale figurii I.
ns, dac un astfel de mod are concluzie universal, atunci va fi valid i modul
subaltern, a crui concluzie este particulara (subalterna) concluziei modului principal. Aadar,
fiindc AA / A este un mod valid, i modul AA / I (BARBARI) este un mod valid. Similar,
din validitatea lui CELARENT conchidem asupra validitii lui CELARONT.
Modurile valide ale figurii a II-a
Procedm similar figurii I, numai c, de data aceasta, vom avea n vedere structura
specific figurii a II-a:
PM
SM
SP
Dac lum prima combinaie de premise, AA, vom putea construi modul
PaM
SaM
SaP
29
20
i vom constata c este un mod nevalid, deoarece M nu este distribuit n cel puin una din
premise. Testnd fiecare mod posibil al acestei figuri i eliminnd modurile nevalide,
obinem, n final, urmtoarele moduri valide ale acestei figuri silogistice (exerciiu).
EA / E: CESARE
EI / O: FESTINO
AE / E: CAMESTRES
AO / O: BAROCO
EA / O: CESARO
AE / O: CAMESTROP
Modurile valide ale figurii a III-a
AA / I: BRAMANTIP
AE / E: CAMENES
IA /I: DIMARIS
EA / O: FESAPO
EI / O: FRESISON
AE / O: CAMENOP
Aadar, din cele 256 de moduri teoretic posibile doar 24 de moduri sunt valide, cte 6
n fiecare figur. Din cele 24, 19 sunt moduri principale iar 5 subalterne. Fiind moduri valide,
toate respect regulile generale ale validitii silogismelor. De altfel, aplicarea regulilor
generale a constituit metoda prin care aceste moduri au fost explicitate.
ns, gsirea modurilor valide din fiecare figur silogistic o putem face i altfel: prin
aplicarea regulilor specifice figurii respective. Aceste reguli specifice nu se adaug celor 8
reguli generale, mai sus formulate, ci pot fi deduse i demonstrate pe baza celor 8.
Reguli specifice modurilor valide din figura I
Formularea acestor reguli o putem face, simplu, examinnd ordinea n care se succed
vocalele n cuvintele mnemotehnice. Pentru figura I aceste reguli sunt:
R1. Premisa minor este afirmativ.
R2. Premisa major este universal.
Demonstraie a regulii R1 (reductio ad absurdum)
21
R1. Una din premise este negativ (echivalent: premisele sunt neomogene calitativ).
R2. Premisa major este universal.
Demonstraie a regulii R1.
Cum termenul mediu (M) este predicat n ambele premise, pentru a fi distribuit una
din premise trebuie s fie negativ.
Demonstraie a regulii R2.
O premis fiind negativ, concluzia este negativ i deci predicatul (P) este un termen
logic distribuit. n acord cu regula general 3, predicatul (P) trebuie s fie distribuit i n
premisa major unde are locul i funcia subiectului logic al premisei. i deci premisa major
trebuie s fie universal.
Aplicnd aceste reguli putem afla cu uurin care sunt modurile valide ale acestei
figuri.
Reguli specifice modurilor valide din figura a III-a
22
Reducerea direct asum ca valide cele ase moduri din figura I (BARBARA,
CELARENT, DARII, FERIO, BARBARI i CELARONT). Demonstrarea validitii unui
mod presupus nevalid (fig. II-IV) nseamn:
a) din premisele modului nevalid deducem premisele unui mod valid din fig. I.
b) concluziile celor dou moduri sunt identice sau concluzia modului nevalid este
deductibil din concluzia celui valid.
Exemplu.
S demonstrm validitatea modului nevalid FELAPTON (fig. a III-a)
30
23
MeP
MaS
SoP
FELAPTON
MeP
SiM
SoP
FERIO
Reducerea lui FELAPTON o facem la FERIO (fig. I), deoarece premisele majore ale
celor dou moduri coincid, iar din premisa minor a lui FELAPTON, prin conversiune prin
accident, obinem premisa minor a modului FERIO. Cum concluziile celor dou moduri
coincid, n acord cu exigenele a) i b) ale reducerii directe, rezult c modul FELAPTON este
un mod valid.
Alteori, pentru a face reducerea direct sunt necesare mai multe operaii. S
demonstrm acum validitatea modului CAMESTRES (fig. a II-a).
PaM
PaM
MeS
C
SeM
MeS
PaM
SeP
SeP
PeS
Observm, mai nti, c pentru a obine structura figurii I trebuie s convertim
(simplu) premisa minor, apoi schimbm reciproc locul premiselor: premisa major devine
premis minor (i deci conine subiectul concluziei) iar premisa minor devine premis
major (i deci conine predicatul concluziei). Modul astfel obinut este modul valid
CELARENT, din figura I. n fine, n acord cu b) de mai sus, din concluzia modului
CELARENT, SeP, obinem, prin conversiune (simpl) concluzia modului CAMESTRES.
n esen, reducerea direct este o argumentare de urmtorul gen. Modul a crui
validitate trebuie demonstrat este un mod cu premise adevrate i trebuie artat c concluzia
sa rezult n mod necesar din premise. Pentru aceasta, din premisele acestui mod (considerate
adevrate) se obin, prin inferene imediate valide, premisele unui mod valid din figura I (i
care vor fi de asemenea adevrate). Cum modul din figura I este asumat ca valid, deducem, n
acord cu conceptul validitii, c din premisele lui adevrate obinem o concluzie n mod
necesar adevrat. Din aceast concluzie a modului valid din figura I prin inferene imediate
vom obine concluzia modului presupus nevalid (n cazul n care cele dou concluzii nu sunt
identice). i deci i concluzia modului de demonstrat este n mod necesar adevrat.
Felul n care, dat fiind un mod din figurile II IV, construim un mod valid din figura I
este sugerat de unele consoane din cuvintele mnemotehnice, astfel:
a) Consoana iniial din denumirea unui mod din fig II IV, a crui validitate trebuie
demonstrat, coincide cu consoana iniial a modului respectiv din figura I la care facem
reducerea. Exemple: pe CAMESTRES l-am redus la CELARENT, pe FELAPTON la FERIO,
pe DARAPTI l vom reduce la DARII etc.
b) S din denumirea unui mod din fig. II IV indic o conversiune simpl a premisei
denotate de vocala imediat precedent. n demonstrarea validitii lui CAMESTRES am fcut
o conversiune simpl a premisei minore. n demonstrarea validitii lui CESARE vom face o
conversiune simpl a premisei majore etc.
c) P din denumirea unui mod din fig. II IV indic o conversiune prin accident (per
accidens) a propoziiei denotate de vocala imediat precedent. n DARAPTI (fig a II-a) vom
nlocui premisa minor MaS cu SiM, obinut prin conversiune prin accident din MaS. n
FESAPO (fig. a IV-a) la fel.
d) M ne indic o perMutare a premiselor (mutatio praemissarum) (CAMESTRES,
CAMENES, DISAMIS, BRAMANTIP, DIMARIS).
Aceast cale de demonstrare a validitii unui mod poate fi ns integral transpus
simbolic. Pentru a prezenta simbolic reducerea lui FELAPTON (fig. a III-a) la FERIO (fig. I),
24
din exemplul nostru de mai sus, procedm n felul urmtor. Redm mai nti implicativ modul
FERIO: (MeP SiM ) SoP . Apoi, n locul propoziiilor MeP, SiM, SoP vom pune
variabilele propoziionale31 p, q i r. Conversiunea premisei minore MaS, a lui FELAPTON,
n SiM o vom reda n forma implicaiei s q . Iar modul FELAPTON (implicativ:
(MeP MaS ) SoP ) l vom reda corespunztor, prin ( p s ) r . Reducerea direct a lui
FELAPTON la FERIO nseamn: Dac FERIO este un mod valid, (atunci dac implicaia
MaS SiM este adevrat), atunci FELAPTON este un mod valid. Redat n simbolismul
logicii propoziionale aceast idee este: [( p q ) r ] {(s q ) [( p s ) r ]}. Aceasta este o
formul valid32 a logicii propoziiilor. ns ( p q ) r este adevrat (deoarece exprim, prin
asumpie, validitatea modului FERIO) i deci, prin modus ponens, vom obine:
(s q ) [( p s ) r ] . Acum, cum s q este adevrat (pentru c exprim conversiunea
C
MaS
naintea parcurgerii expunerii care urmeaz cititorul este invitat s parcurg paragrafele 1, 2 i 4 din Cap.
Teoria funciilor de adevr.
32
Pentru verificarea validitii ei cititorul poate apela la oricare din procedeele descrise n paragraful 4, Cap.
Teoria funciilor de adevr. Prin operativitatea sa, se recomand Reductio test.
25
SaP
MaS
MaP,
Adic BARBARA din fig. I, unde S este acum termen mediu. Cum SaP este adevrat (fiind
contradictoria unei propoziii false); MaS este adevrat (prin presupoziie) iar modul
BARBARA este valid (prin presupoziie) deducem c propoziia din concluzie, MaP, este, de
asemenea, adevrat. ns propoziiile MaP (concluzia modului BARBARA de mai sus) i
MoP (premisa major a modului BAROCO) nu pot fi simultan adevrate, deoarece sunt n
raport de contradicie. Cum MoP este adevrat prin presupoziie, rezult c MaP este fals.
De aici deducem c modul (valid!) BARBARA are concluzie fals, ceea ce nseamn c cel
puin una din premise este fals. Cum MaS este adevrat (prin presupoziie) rezult c fals
este premisa major a acestui mod, SaP. ns din falsitatea lui SaP conchidem asupra
adevrului contradictoriei ei, SoP, adic tocmai asupra adevrului modului a crui validitate
trebuie demonstrat (BOCARDO). Aadar, dac premisele modului BOCARDO sunt
adevrate, atunci i concluzia lui este n mod necesar adevrat. i deci modul este valid.
Remarci.
1. n mod similar demonstrm validitatea modului BAROCO (fig. a II-a). Consoana
C din cuvintele BOCARDO i BAROCO indic faptul c n cursul demonstraiei prin
reducere la absurd contradictoria concluziei ia locul premisei denotate de vocala imediat
precedent.
2. Prin reducere la absurd se poate demonstra validitatea oricrui mod (valid!) din
figurile II IV, nu doar a celor dou moduri mai sus menionate. ns, unele demonstraii prin
reducere la absurd se bazeaz nu pe raportul de contradicie, ci pe cel de contrarietate, dintre
propoziii, fr ca prin aceasta demonstraia s fie alterat. De exemplu, n demonstrarea
validitii lui FELAPTON, propoziia SaP (contradictoria concluziei, SoP) formeaz
mpreun cu premisa minor a modului FELAPTON (MaS) modul BARBARA (cu concluzia
MaP). ns MaP i MeP (premisa major a lui FELAPTON) se afl n raport de contrarietate
(detaliai demonstraia).
Aa cum n demonstraia prin reducere direct ntreaga demonstraie a putut fi redat
cu simbolismul logicii formale a propoziiilor, tot astfel reducerea indirect poate fi exprimat
prin formule valide ale logicii propoziiilor. n demonstraia de mai sus, de exemplu,
validitatea lui BOCARDO a fost demonstrat asumnd validitatea modului nou construit,
BARBARA. n expresia lui implicativ, am obinut (SaP MaS ) MaP . Dac redm
aceast formul cu ajutorul variabilelor propoziionale p, q i r, obinem ( p q ) r . ns, n
logica propoziiilor aceast formul este echivalent cu (r q ) p , adic
26
Exerciii
27
PoS
Similar putem obine i alte moduri indirecte valide n figura I, prin conversiunea
concluziei unui mod direct:
Din
Din
Din
MaP
SaM (BARBARA)
obinem
MaP
SaM (BARALIPTON)
SaP
PiS
MeM
SaM (CELARENT) obinem
MeP
SaM (CELANTES)
SeP
PeS
MaP
SiM (DARII) obinem
MaP
SiM (DABITIS)
SiP
PiS
Remarc. Exist o deosebire ntre ultimele trei moduri indirecte i primele dou.
BARALIPTON,CELANTES i DABITIS sunt valide i ca moduri directe. n schimb,
FAPESMO i FRISESOMORUM nu.
Similar putem obine modurile valide indirecte ale figurii a II-a. i aici avem un mod
indirect care nu este valid ca mod direct: FIRESMO (de ce?). Corespunztor, n figura a III-a,
cele dou moduri indirecte, nevalide ca moduri directe, sunt FAPEMO i FRISEMO.33
Remarc. Modurile indirecte ale fig. I pot fi transformate n moduri valide directe ale
fig. a IV-a (coresponden indicat de prima consoan din cuvntul mnemotehnic:
BARALIPTON devine BRAMANTIP etc). (Exerciiu).
33
Chiar Aristotel menioneaz existena modurilor indirecte valide n situaiile n care ca moduri directe nu sunt
valide (An. Pr., I, 7 29a), dei le menioneaz doar pe cele din fig. I. Celelalte moduri (FIRESMO, FAPEMO,
FRISEMO) sunt specificate mult mai trziu, de ctre Iulius Pacius (1550-1635).
28
Se P
SaP
SaP
SaP
SaP
Cum modul BARBARA este un mod valid al figurii I, i modul obinut din el prin
obvertirea premisei majore i a concluziei este tot un mod valid (cazul a). Cci dac nici un M
nu este non P i toi S sunt M, atunci nici un S nu este non P. n cazul b) premisa major a
modului BARBARA a fost nlocuit cu contrapusa ei total (echivalent), obinnd astfel tot
un mod valid. ns, din modul valid BARBARA, prin substituirea termenului mediu cu
negatul su, M , putem obine, de asemenea, un mod valid (cazul c).
Substituirea termenilor logici n silogistic nu se restrnge ns la substituirea unui
termen arbitrar cu negatul su (sau invers), ci un termen logic se poate substitui cu un alt
termen logic. S lum dou exemple. Fie modul valid FELAPTON (fig. a III-a).
d) MeP
P eM
(M/ P )
e) Pe M
(M/ P )
MaS
P aS
(P/M)
P aS
(P/ M )
SoP
SoM
So M
n cazul d) din FELAPTON am obinut un alt mod, tot din figura a III-a, prin
substituirea lui M cu P (M/ P ) i a lui P cu M (P/M). Similar, n e) am fcut urmtoarele
substituii: M/ P i P/ M , obinnd, de asemenea, un mod valid. n felul acesta, prin substituii
corecte, din moduri valide obinem alte moduri valide.
Remarc 1. Substituia trebuie s fie corect, n urmtorul sens:
a) Dac substituim un termen logic (negat sau nenegat) cu un alt termen logic (negat
sau nenegat), atunci substituia trebuie s o facem n toate ocurenele (apariiile) termenului
respectiv. Cum n orice mod silogistic valid fiecare termen are dou ocurene distincte, tot de
dou ori l vom substitui cu noul termen ales.
b) Dac ntr-un mod silogistic termenul pe care vrem s-l substituim apare o dat negat
i o dat nenegat, atunci n substituie vom ine seam de jocul negaiilor logice. Exemplu:
Pa M
Ma P
( P /M)
SoP
So M
(M/P)
SoM
SoP
Din primul mod l-am obinut pe al doilea prin substituiile indicate n dreapta. Cum n
modul iniial termenul P apare o dat negat i o dat nenegat, prin substituirea lui P cu M, n
premisa minor, n loc de P vom pune M . Similar, cum n loc de M punem P (a doua
substituie), n concluzie, rezult c n premisa major n loc de M vom pune P .
c) Orice termen logic se poate substitui cu orice termen logic, operaie care poate fi
executat simultan pentru toi cei trei termeni logici, cu condiia c modul care rezult s aibe
29
tot trei termeni logici (Nu putem substitui ntr-un mod pe S cu P i att. n acest caz modul ar
avea doar doi termeni logici).
Remarc 2. Termenii logici, prin definiie, denot clase de obiecte. ntruct n cele ce
urmeaz operm cu termeni logici i negaiile lor, pentru ca toate derivrile de moduri valide
s fie logic corecte va trebui s introducem urmtoarea asumpie: att clasele de obiecte
desemnate de S, M, P ct i complementarele lor, S , M , P trebuie s fie nevide.34
Echivalent: o dat specificat universul de discurs, excludem posibilitatea ca un termen logic
s denote clasa universal (i.e. ntreg universul de discurs) sau clasa vid.
Pe baza operaiei substituiei termenilor logici i avnd n vedere asumpia menionat,
s vedem acum cteva cazuri de moduri silogistice valide care conin termeni negai.35
S presupunem n cele ce urmeaz c modurile analizate sunt redate n form
implicativ.
Figura I
34
Cazurile de viditate a unor termeni i problema validitii vor fi tratate n paragraful urmtor.
Expunerea de fa procedeaz deductiv, n sensul derivrii tuturor modurilor (cu termeni negai sau nu) din
modul valid BARBARA.
35
A se remarca deosebirea dintre o propoziie cu termeni negai i negaia unei propoziii. Si P , de exemplu,
este o particular afirmativ cu termeni negai, pe cnd negaia unei propoziii particulare afirmative este o
propoziie universal negativ.
36
30
Acest mod poate fi derivat din modul BARBARA n felul urmtor: din concluzia SaP
a modului BARBARA obinem, prin derivri succesive, inversa Si P . i deci, cum SaP este
adevrat, rezult c i Si P este adevrat. Am obinut astfel un mod valid din figura I n care
n concluzie ambii termeni sunt negai, respectiv modul BARBARIJ.
Remarc. Denumirile acestor moduri aparin lui A. Menne.37 ntruct ele sunt legate
de notaia autorului, n cele ce urmeaz vom prelua aceast notaie. Respectiv, de ori cte ori
operatorii intrapropoziionali a, e, i i o apar cu treme (i.e. , , , ) vom avea n vedere
propoziiile corespunztoare: A, E, I, O n care ambii termeni sunt negai.
8. (MeP SaM ) S P ; CELARNT
Acest mod este derivat din CELARENT. Cci SeP, concluzia lui CELARENT, fiind
adevrat rezult c i So P (i.e. SP) este adevrat, deoarece se poate obine, prin derivri
succesive, din SeP.
9. (MaP SeM ) SP; GARDERNT
Demonstrarea validitii acestui mod o facem
pe baza validitii modului
CELARONT i a urmtoarei echivalene a L p : [( p q ) r ] [(r q ) p ] , unde membrul
stng
al
echivalenei
formalizeaz
modul
CELARONT.
Avem,
aadar,
[(MeP SaM ) SoP ] [ (SoP SaM ) MeP ]. Iar membrul drept este echivalent cu
(SaP SaM ) MiP . ns premisa minor, SaM, este echivalent cu contrapusa ei total
37
Albert Menne, Logik und Existenz, Meisenheim, 1954; comp. i A. Menne, Einfhrung in die Logik, 5. Aufl,
Francke Verlag, Tbingen u. Basel, 1993.
38
BRBR, CLRNT etc.
39
DAvOn jEdOch nIemAls fOlgt wAs.
31
Figura a II-a
32
33
Exemplu.
Vrem s verificm validitatea urmtorului silogism: Unii non S nu sunt non P pentru
c toi S sunt non M, iar toi M sunt P.
Redat schematic, acesta este urmtorul mod: MaP Sa M So P . Cum premisele
sunt universale iar concluzia este particular, vom reduce acest mod la GARDERNT. Pentru
aceasta este sufcient s obvertim premisa minor i obinem (MaP SeM ) So P (SP),
adic GARDERNT.
Exerciii.
M aP
Ma S
M aP
M oS
;
SoP
PiS
34
Cap. 2.
Firete, i propoziiile particulare pot fi redate utiliznd cuantificatorul universal i negaia (exerciiu).
35
Formele normale n logic sunt de o mare diversitate. Aici ne intereseaz doar dou
tipuri: formele normale conjunctive i formele normale disjunctive. S le considerm pe rnd.
1. Formele normale conjunctive
Definiia 1. O formul este n forma normal conjunctiv (abreviat c ) dac are
forma unei conjuncii C1 ... Cn ( n 1 ), n care nu apar cuantificatori negai iar ntr-un
conjunct arbitrar cuantificatorul existenial apare cel mult o dat.
Orice formul a logicii predicatelor monadice poate fi transformat ntr-o formul
echivalent ei, dar care satisface cerinele menionate n definiie 44. Mai nti vom transforma
o implicaie, folosind disjuncia i negaia, pe baza urmtoarei echivalene:
( ) ( ) , unde i sunt formule care conin cuantificatori. Apoi, dac o
expresie cuantificat apare negat vom utiliza echivalenele 1-4 din 3.2.5.1., n aa fel nct o
negaie s fie situat ntotdeauna dup cuantificator. n fine, dac obinem mai multe expresii
cuantificate existenial iar ntre ele se afl operatorul , toate aceste expresii pot fi aduse sub
acelai cuantificator existenial, dat fiind distributivitatea cuantificatorului existenial n
raport cu disjuncia: [xP( x ) xQ(x )] x(P( x ) Q( x )) .
ntruct n aceste transformri variabilele individuale n-au nici un rol, le vom elimina
din formule.
O dat adus la forma normal conjunctiv, un conjunct Ci ( i = 1,..., n ) poate avea doar
una din urmtoarele forme:
1a.
1b. 1 2 ... k ( k 1 )
1c. 1 ... m ( m 1 ),
unde i sunt formule construite din predicate dar care nu conin cuantificatori.
Cum decidem cu ajutorul formelor normale conjunctive?
42
Acest fragment este logica predicatelor monadice, adic logica acelor formule n care orice simbol predicativ,
S, M, P, este secondat de o singur variabil individual, adic: S(x), M(y), P(z). Acestea din urm sunt predicate
monadice, spre deosebire de cele diadice P(x,y), Q(x,z), triadice P(x,y,z), Q(y,y,z) etc. Spre deosebire de alte
niveluri ale construciei logicii, logica predicatelor monadice este decidabil. Adic, dat fiind orice formul
exprimat n simbolismul acestei logici, putem spune, de fiecare dat, dac este o formul valid sau nu.
43
Comp. G.E. Hughes, D.G. Londey, The Elements of Formal Logic, London 1965, cap. 27.
44
Pentru detalii tehnice, comp. Cap. 2.
36
Evident, formula , pe care vrem s-o testm, este valid dac i numai dac forma ei
normal conjunctiv este valid. Iar o conjuncie este valid dac i numai dac fiecare
conjunct al ei este valid. Iar pentru a testa validitatea conjunciilor stabilim un izomorfism
ntre cele trei categorii de formule 1a 1c i formule ale logicii propoziiilor, pe baza
urmtoarelor reguli:
R1a. este valid ddac este valid.
R1b. 1 2 ... k este valid ddac el puin o formul i ( i = 1,..., k ) este
valid.
R1c. 1 ... m este valid ddac una din disjunciile j ( j = 1,..., m )
este valid, unde , i , j sunt formule ale logicii propoziiilor, izomorfe formulelor
corespunztoare din logica predicatelor monadice.
Aadar, verificarea validitii formulei se reduce la verificarea validitii formulei
corespunztoare ei din logica propoziiilor.
Exemplul 1. Fie modul DISAMIS (fig. a III-a). Este acesta un mod valid? Vom
rspunde la ntrebare aplicnd procedeul formelor normale (conjunctive).
MiP
MaS
;
n form implicativ (MiP MaS ) SiP
SiP
Redm acum acest mod, pe baza interpretrii Brentano a propoziiilor care-l compun.
Obinem astfel:
: [x(M ( x ) P( x )) x(M ( x ) S ( x ))] x(S ( x ) P( x ))
ntruct variabilei x nu-i asignm nici un fel de valori, o eliminm.
[(M P ) (M S )] (S P )
Pentru a aduce aceast formul la forma normal conjunctiv transformm implicaia
utiliznd disjuncia i negaia, astfel:
[(M P ) (M S )] (S P )
Transformm acum negaia din faa cuantificatorilor (din primii doi disjunci),
aplicnd echivalenele 4 i 3:
(M P ) (M S ) (S P )
Cum ultimii doi disjunci sunt cuantificai existenial, i putem aduce sub acelai
cuantificator i obinem forma normal conjunctiv.
c : (M P ) [(M S ) (S P )]
Dup cum se vede, forma normal conjunctiv a formulei care exprim modul
DISAMIS are un singur conjunct, iar acesta este de forma 1c (cu m = 1 ) (comutnd
disjuncii). i deci, n acord cu algoritmul de mai sus, formula care exprim DISAMIS este
valid ddac formula din logica propoziiilor, izomorf acestui conjunct, este o formul
valid. Tot ceea ce trebuie s facem acum este s verificm dac formula obinut din ultima
formul de mai sus, eliminnd simbolurile cuantificatorilor i transformnd majusculele n
minuscule, este o formul valid a logicii propoziiilor, adic
(m p ) (m s ) (s p )
Pentru verificarea validitii acestei formule avem la ndemn mai multe procedee 45.
Vom aplica procedeul matriceal.
45
Comp. Cap. 2.
37
m
1
1
1
1
0
0
0
0
p
1
1
0
0
1
1
0
0
s
1
0
1
0
1
0
1
0
m p
1
1
0
0
0
0
0
0
(m p )
0
0
1
1
1
1
1
1
(m s ) s p
0
1
1
0
0
0
1
0
0
1
0
0
0
0
0
0
ms
1
0
1
0
1
1
1
1
formula
1
1
1
1
1
1
1
1
valid?
n modelul Brentano acest mod devine:
: [x(M ( x ) P( x )) x(S ( x ) M (x ))] x(S (x ) P( x ))
[(M P ) (S M )] (S P )
[(M P ) (S M )] (S P )
(M P ) (S M ) (S P )
(M P ) (S M ) (S P )
(M P ) [(S M ) (S P )]
(m p ) (s m ) (s p )
Dac facem matricea acestei formule (exerciiu), vom constata c exist o situaie n
care formula este fals; respectiv pentru m = 1 , p = 0 , s = 0 . Aadar, formula este nevalid i
deci nici formula nu este valid i astfel modul respectiv nu este un mod valid.
2. Forme normale disjunctive
Dac cu ajutorul formelor normale conjunctive putem testa validitatea unei formule,
cu ajutorul formelor normale disjunctive testm nesatisfiabilitatea (inconsistena) unei
formule. O formul este nesatisfiabil ddac nu este niciodat adevrat.
Definiia 2. O formul este n forma normal disjunctiv (abreviat d ) dac are
forma unei disjuncii D1 ... Dm ( m 1 ), n care nu apar cuantificatori negai iar ntr-un
disjunct arbitrar cuantificatorul universal apare cel mult o dat.
Orice formul a logicii predicatelor monadice poate fi transformat ntr-o formul
echivalent ei i care satisface cerinele definiiei 2. Pentru aceasta procedm ca la formele
normale disjunctive, cu meniunea c dac avem mai multe expresii cuantificate universal i
care sunt legate prin conjuncie, toate aceste expresii pot fi aduse sub acelai cuantificator
universal, dat fiind distributivitatea acestui cuantificator n raport cu conjuncia:
(xP(x ) xQ(x )) x(P(x ) Q(x ))
Aa cum i sunt operatori duali (i i sunt operatori duali), tot astfel i cele
dou procedee de testare ( a validitii i a nesatisfiabilitii) sunt tot duale. Pe baza acestei
38
proprieti putem spune c o dat adus formula la forma ei normal disjunctiv, un disjunct
D j ( j = 1,..., m ) poate avea doar una din urmtoarele forme:
2a.
2b. 1 2 ... n ( n 1 )
2c. 1 ... p ( p 1 )
Cu ajutorul formelor normale disjunctive decidem n felul urmtor: formula este
nesatisfiabil ddac forma ei normal disjunctiv este nesatisfiabil ddac fiecare disjunct
este nesatisfiabil. Corespunztor, cele trei reguli cu privire la izomorfismul dintre disjuncii
formei normale disjunctive i formulele corespunztoare din logica propoziiilor sunt:
R2a. este nesatisfiabil ddac este nesatisfiabil.
R2b. 1 2 ... n este nesatisfiabil ddac cel puin o formul k
( k = 1,..., n ) este nesatisfiabil.
R2c. 1 ... p este nesatisfiabil ddac una dintre conjunciile i
( i = 1,..., p ) este nesatisfiabil,
unde , k , i sunt formule ale logicii propoziiilor, izomorfe formulelor
corespunztoare din logica predicatelor monadice.
i deci, verificarea nesatisfiabilitii formulei se reduce a verificarea
nesatisfiabilitii formulei corespunztoare ei din logica propoziiilor.
Exemplu. Fie urmtoarea formul: [(PeM MiS ) SoP ]
S testm acum nesatisfiabilitatea acestei formule cu ajutorul formelor normale
disjunctive. Formula este echivalent cu PeM MiS SoP 46. n interpretarea Brentano
aceasta devine:
: x(P(x ) M (x )) x(M ( x ) S ( x )) x(S ( x ) P( x ))
(P M ) (M S ) (S P )
(P M ) (M S ) (S P )
[(P M ) (S P )] (M S )
d : [(P M ) (S P )] (M S )
( p m ) (s p ) (m s )
p
1
1
1
1
0
0
0
0
m
1
1
0
0
1
1
0
0
s m p m
1 0
0
0 0
0
1 1
1
0 1
1
1 0
1
0 0
1
1 1
1
0 1
1
p
0
0
0
0
1
1
1
1
s p (s p ) m s formula
0
1
1
0
0
1
0
0
0
1
0
0
0
1
0
0
1
0
1
0
0
1
0
0
1
0
0
0
0
1
0
0
Cum coloana final conine o serie omogen de valori de 0, rezult c formula este
nesatisfiabil. i deci i formula este nesatisfiabil.
46
39
Exemplu.
O
C
O
C
O
SaP
Se P
PeS
Pa S
Si P
SoP
n acest ir deductiv toate propoziiile universale obinute din SaP, adic Se P , PeS i
Pa S , sunt echivalente cu SaP. Motiv pentru care i formulele care exprim aceste
transformri sunt formule valide. La fel, putem spune despre particularele Si P i SoP . n
C
Si P ) nu este o
schimb, formula care exprim trecerea de la universal la particular ( Pa S
formul valid. S artm acest lucru.
O
SaP
Se P ; x(S ( x ) P( x )) x(S (x ) P( x ))
p
SaP
PeS ; x(S ( x ) P (x )) x(P( x ) S ( x )) ,
cci (S ( x ) P( x )) (P (x ) S ( x ))
O
Si P
41
Definiia 2. Antilogismul unui mod silogistic este triada silogistic format din
premisele modului respectiv i din negaia concluziei sale.
Urmtoarea echivalen metalingvistic fundamental coreleaz conceptele de
silogism valid, antilogism i triad silogistic.
Teorema 1. Un mod silogistic este valid ddac antilogismul su este o triad
silogistic nesatisfiabil.
Demonstraie. Fie (P1 P2 ) P3 o expresie care red un mod silogistic valid, unde P1
i P2 sunt premisele iar P3 concluzia modului considerat. Rezult c negaia acestei expresii
red o formul nesatisfiabil. Dar negaia acestei expresii, adic
[(P1 P2 ) P3 ] [(P1 P2 ) P3 ] [P1 P2 P3 ]
este tocmai antilogismul expresiei de mai sus i constituie o triad silogistic nesatisfiabil.
Teorema 2. Orice triad silogistic nesatisfiabil genereaz strict trei moduri
silogistice valide.
Demonstraie. Din Teorema 1 deducem c din orice triad silogistic nesatisfiabil
putem obine un mod valid, conectnd implicativ conjuncia premiselor cu negaia concluziei.
ns fiecare dintre cele trei propoziii, P1 - P3 , poate fi pus drept concluzie a unui silogism.
Lund cele dou premise i negaia propoziiei-concluzie din triada nesatisfiabil respectiv
obinem, succesiv, doar cele trei moduri valide.
Aadar, metoda antilogismului transfer problema privitoare la validitatea unui mod
silogistic n problema privitoare la condiiile care determin nesatisfiabilitatea unei triade
silogistice.
Teorema 3. Modelul predicativ Brentano admite strict 5 triade silogistice
nesatisfiabile (echivalent, 15 moduri silogistice valide).
Demonstraie. Vom deosebi mai nti cele patru tipuri de triade silogistice, apoi, n
cadrul unui tip anume, vom decupa cele 5 triade silogistice nesatisfiabile. n funcie de
alctuirea lor din propoziii cantitativ diferite, deosebim:
1. (toate universale)
2. (toate particulare)
3. (dou particulare i una universal)
4. (o particular i dou universale)
S le considerm pe rnd.
Tipul 1 nu poate genera triade silogistice nesatisfiabile. Explicaia este urmtoarea.
Cum cuantificatorul universal este distributiv n raport cu conjuncia, din 1 obinem,
acestei conjuncii va conine aadar 23 = 8 linii. Cum numrul de valori de 0 pentru fiecare
din aceste implicaii, corespunztor celor 8 linii, este 2, vom avea n total maxim 3 2 = 6
valori de 0. Aadar, n cel puin dou linii matricea ca conine valori de 1, i deci formula nu
poate fi nesatisfiabil.
42
Exemplu.
S presupunem c cele 3 propoziii universale sunt: x(M ( x ) P(x )) ,
x(M ( x ) S ( x )) i x(S (x ) P(x )) .
Vom avea x(M ( x ) P( x )) x(M ( x ) S ( x )) x(S (x ) P(x )) , echivalent
x[(M (x ) P( x )) (M (x ) S ( x )) (S (x ) P( x ))] , respectiv
[(M P ) (M S ) (S P )] . Prin R2a aceast formul este nesatisfiabil ddac
formula L p : (m p ) (m s ) (s p ) este nesatisfiabil.
m
m p
ms
s p
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
0
0
1
1
0
0
1
1
0
0
1
1
1
1
1
1
1
0
1
0
1
1
1
1
1
1
0
1
1
1
0
1
0
0
0
0
1
1
0
1
Pentru acest exemplu, n care propoziiile triadei sunt universale (una negatic i dou
afirmative), matricea formulei conine 5 de 0 i 3 de 1, deci formula nu este
nesatisfiabil. Pentru alte combinaii de simboluri, m, p, s, constitutive propoziiilor universale
(n care simbolul din consecventul implicaiei apare negat sau nenegat), numrul valorilor de
adevr de 1 este, firete, diferit, ns nu poate fi mai mic dect 2.
n mod similar putem argumenta c nici triadele de tipul 2 nu pot fi nesatisfiabile. O
astfel de triad ar fi nesatisfiabil ddac cel puin una din formulele , , ar fi
nesatisfiabil (prin R2b, 3.2.5.2), ns acest lucru nu se ntmpl, deoarece fiecare formul
este o conjuncie de variabile propoziionale distincte (fiind formula din L p izomorf formulei
corespunztoare cuantificate existenial), iar o asemenea conjuncie nu poate fi nesatisfiabil
(de ce?).
La fel putem argumenta (prin R2c) c nici triadele de tipul 3 nu pot fi nesatisfiabile.
Vom restrnge aadar analiza la triadele de tipul 4, cele formate dintr-o propoziie particular
i dou universale.
4.
Pentru a demonstra teorema 3 trecem la rescrierea formulei 4, utiliznd doar
cuantificatorul existenial. Primul conjunct, cuantificatorul existenial, ne arat c este o
formul care exprim o propoziie particular, SiP sau SoP. Al doilea i al treilea exprim
propoziii universale, SaP sau SeP. Cum aceste formule ale triadei exprim propoziii diferite,
, i vor conine termeni diferii (dar care respect condiiile cerute unei triade
silogistice). De exemplu, o triad de tipul 4 poate conine urmtoarele categorii de propoziii:
SiP ; (S P )
SoP; (S P )
1
; particular
; particular
43
( T )
SaM; (S M ) ; universal
SeM; (S M ) ; universal
MaP; (M P ) ; universal
MeP; (M P ) ; universal
3
Ordinea termenilor S, M i P n aceste formule poate fi, firete, oricare alta. S
rescriem acum formula 4 n acord cu urmtoarea simbolizare convenabil: fire 1 (i.e. ), 2
i 3 formulele care succed simbolurilor , , din cele trei categorii de formule de mai
sus. Obinem astfel
5. 1 2 3
sau, echivalent 1 2 3 . Cum cuantificatorul universal este distributiv fa de
conjuncie, ultimii doi conjunci pot fi adui sub acelai cuantificator universal. i astfel
obinem, echivalent,
6. 1 ( 2 3 ) .
Prin regula R2c, aceast formul este nesatisfiabil ddac formula izomorf ei din L p :
6 . 1 2 3
este nesatisfiabil.
ns din ( T ) observm c formulele 1 , 2 i 3 sunt conjuncii a cte doi termeni,
din care primul este nenegat iar al doilea negat sau nenegat. Corespunztor, formulele
izomorfe lor din L p , 1 , 2 , 3 , vor fi conjuncii de variabile propoziionale, din care prima
este nenegat iar a doua negat sau nenegat. Aadar, 6 are forma
7. (v1 v2 ) (v3 v4 ) (v5 v6 ) ,
unde v1 - v6 sunt variabile propoziionale. Din 7 obinem forma normal disjunctiv a acestei
expresii, prin coborrea negaiei de pe operatori (ultimii doi conjunci) i prin distribuirea
operatorilor. i obinem:
8. (v1 v2 v3 v5 ) (v1 v2 v3 v6 ) (v1 v2 v4 v5 ) (v1 v2 v4 v6 ) .
Pentru a determina condiiile nesatisfiabilitii unei triade silogistice procedm n felul
urmtor. Expresia 8 este un ir de disjuncii, n care fiecare disjunct este un ir de conjuncii.
Pentru ca 8 s fie nesatisfiabil este necesar ca fiecare disjunct s fie nesatisfiabil, echivalent
fiecare disjunct trebuie s conin cel puin o variabil mpreun cu negaia ei. Cum v1 - v6
desemneaz variabile propoziionale arbitrare, s ncercm acum, pe baza 7 i 8, s
determinm poziia lor posibil n aceste formule i caracteristica lor (i.e. de a fi negate sau
nenegate), pentru ca disjunctul respectiv (oricare dintre cei patru din 8) s fie nesatisfiabil.
Cum v1 din 8 este o variabil nenegat, fie aceasta p. Cealalt variabil, distinct de p
(deoarece p corespunde unui termen logic iar ntr-o triad silogistic un termen logic apare
exact de dou ori ns n dou propoziii distincte), fie aceasta q, poate s apar negat sau
nenegat. Cum p i q apar ntr-un disjunct arbitrar din 8 (ca v1 i v2 ), rezult c cealalt
variabil, fie ea r, trebuie s apar, negat sau nenegat, ca cea de-a treia component,
respectiv a patra, ntr-un disjunct oarecare din 8. Aadar, 8 va conine un disjunct de forma
p (q / q ) (r / r ) (r / r ) , unde slash-ul din parantezele rotunde indic alternativa:
variabila respectiv poate s apar negat sau nenegat. Pentru ca un astfel de disjunct s fie
44
pr
r p
q r ;
q r ;
(S M )
(S M )
45
(S P )
(P S )
(M P )
(M P )
3. p q
4. p q
5. p q
p r
p r
p r
qr ;
rq ;
r q ;
(S M )
(S M )
(S M )
(S P )
(S P )
(S P )
(M P )
(P M )
(P M )
Fiecare din cele cinci grupe de formule cuantificate constituie o triad silogistic
nesatisfiabil. Aadar, din fiecare grup putem obine trei moduri silogistice valide lund
oricare dou formule ca premise i negaia celei de-a treia drept concluzie. S lum ca
exemplu triada 4. Vom avea:
(S M )
(S P )
a)
SiM
SaP
;
(P M )
MiP
MaS
;
PiM
S/M
M/P
P/S
(DISAMIS, III)
SiP
Din triada 4 am luat primele dou propoziii ca premise iar negaia celei de-a treia am
pus-o concluzie. Am reconstituit propoziiile corespunztoare din silogistica tradiional i am
obinut modul DISAMIS din figura a III-a.
Prin substituiile menionate n dreapta am adus acest mod la forma lui standard.
S lum acum ca premise prima i a treia propoziie iar negaia celei de-a doua o
punem n concluzie.
(S M )
SiM
PeM
(P M )
PeM
SiM
b)
;
(FESTINO, II)
(S P )
SoP
SoP
n fine,
(S P )
(P M )
c)
(S M )
SaP
PeM
PeM
SaP
MeP
SaM
;
SeM
SeM
P/M
M/P
; (CELARENT, I)
SeP
Procednd n acest fel, din fiecare triad silogistic vom obine 3 moduri silogistice
valide. i deci vom obine, n total, cele 15 moduri pe care modelul Brentano le valideaz
(exerciiu).
n fine, e uor de vzut c triadele de mai sus formeaz dou clase, una care conine
triadele de forma IAE (primele 4 grupe), iar cealalt triada OAA (ultima grup).
Aa cum am vzut n 3.2.5.3., modelul Brentano nu valideaz acele moduri care
deriveaz concluzii particulare (cu import existenial) din premise universale (fr import
existenial). Adic din premise care nu exclud posibilitatea ca vreun termen logic s denote o
clas vid. Aa cum validitatea unei inferene (implicaionale) imediate a putut fi restabilit
prin introducerea condiiei de neviditate a unui termen logic, tot astfel i n cazul inferenelor
mediate validitatea poate fi restabilit pe aceast cale. Aadar, pentru validarea celor 9 moduri
nevalidate de modelul Brentano va trebui s introducem explicit premisele existeniale
necesare acestei validri. Obinem astfel o extensie a modelului Brentano prezentat n
paragraful 3.2.5.1. n acest model, cu introducerea condiiei neviditii lui S, adugat
premiselor modurilor BARBARA, CELARENT, CESARE, CAMESTRES i CAMENES, i
46
Fie acum P1 , P2 , P3 propoziiile unui antilogism. Atunci, ca mai sus, unul dintre
silogismele valide va fi (P1 P2 ) P3 . n modelul extins introducem condiiile conjugate de
mai sus, adic ( S P M ) [(P1 P2 ) P3 ] .
Validitatea formulei pe care o exprim este echivalent cu nesatisfiabilitatea negaiei
ei. Negat, expresia de mai sus devine: {( S P M ) [(P1 P2 ) P3 ] }, echivalent
S P M P1 P2 P3 .
Ca mai sus, avnd n vedere cantitatea propoziiilor, putem avea 4 tipuri diferite de
triade silogistice. Cele 15 moduri silogistice validate de modelul Brentano (extins) au putut fi
obinute din cele 5 triade de tipul 4. Se poate arta c i de data aceasta triadele de tipurile 2 i
3 nu pot fi nesatisfiabile. Doar triadele de tipul 1, respectiv cele care conin doar propoziii
universale, suplimentate cu condiia existenei (reuniunea celor trei condiii de neviditate), pot
fi, sub anumite condiii, nesatisfiabile.
Condiiile de nesatisfiabilitate ale expresiei S P M sunt
urmtoarele:
1. Triada silogistic trebuie s conin dou propoziii universal afirmative i una
universal negativ.
2. Cele dou predicate ale propoziiilor universal afirmative (ambele negate n
transcripie existenial) s fie diferite.
Aceste condiii sunt satisfcute doar de urmtoarele triade:
6. (S P )
(P M )
(S M )
(P M )
(S M )
7. (P S )
8. (P S )
(M P )
(S M )
Cu condiia menionat, S P M , din cele 3 triade nesatisfiabile obinem,
corespunztor, 9 moduri valide.
PaM
PaS
SiM
SiM
SiP
PaS
SeM
SeM
PaS
MeP
SaM
PoM
PoM
a)
MaP
MaS
;
b)
P/M
M/P
;
;
SoP
47
(DARAPTI, III)
S/M
M/P
P/S
(CELARONT, I)
PaM
SeM
SeM
PaM
PoS
PoS
c)
PeM
SaM
;
S/P
P/S
;
(CESARO, III)
SoP
48
BIBLIOGRAFIE
49