Documente Academic
Documente Profesional
Documente Cultură
Într-R DFFHS LXQH SRSXODU – SH FkW GH IDFLO úL GH VXJHVWLY SH
DWkWGHSX LQULJXURDV –, logica este FDUDFWHUL]DW GUHSWúWLLQ DJkQGLULL
GUHSW VWXGLXO ORJLFLL DU SXWHD úL DU WUHEXL V QH RIHUH EHQHILFLXO XQHL
vQúHO WRDUH'DUIRORDVHOHHYHQWXDOHSHFDUHOHSRDWHDGXFHVWXGLXOORJLFLL
VSRULQG DELOLWDWHD úL SURIXQ]LPHD JkQGLULL FXLYD QX UHSUH]LQW FkWXúL GH
VXQWWU V WXULGHILQLWRULLDOHFXUHQWXOXLHOHFWULF
HYROX LH D XQHL OLPEL HIHFWLY YRUELWH $ VSXQH F µ(LYRUEHúWH prea mult’
VH PHULW V PHUJL OD PDUH¶ HWF VXQW FRQVWUXF LL JUDPDWLFDO HURQDWH în
5
ideile exprimate într-R IRUP JUDPDWLFDO HURQDW SRW IL SHUWLQHQWH
RDPHQLORU OH FXQRVF úL OH DSOLF HIHFWLY vQ PRG ul lor de gândire, ci
vQWUXFkW VH VXV LQ SULQ GHPRQVWUD LL ULJXURDVH FDUH LQ H[FOXVLY GH
FRQVWUXF LD XQRU VLVWHPH GH HQWLW L úL UHOD LL SXU LGHDOH
– WRW DúD FXP
teoremele lui Thales, Pitagora VDX)HUPDWV VSXQHPELQRPXOOXL1HZWRQ
sau geometriile neeucOLGLHQH QX VH vQWHPHLD] SH FXQRDúWHUHD úL
VXV LQHUHD ORU GH F WUH PDMRULWDWHD LQGLYL]LORU FL QXPDL SH DUJXPHQWHOH
SURSR]L LLORU DULWPHWLFH DFHVW OXFUX QX VH GDWRUHD] IDSWXOXL F ORJLFD
GH FRPSOH[ FDUH VH GHVI úRDU vQ PLQ LOH RDPHQLORU DYkQG GH ILHFDUH
GDW R LQDOLHQDELO QRW VXELHFWLY SULQ FDUH LQGLYL]LL VH GHRVHEHVF PDL
IL]LRORJLDúLDOWHOH
6
QHFHVDUH vQWUH HQWLW L LGHDOH DEVWUDFWH – VWUXFWXUL GH SURJUHVLY
generalitate, izomorfe nu numai cu actele cogniWLYH FL úL FX QHQXP UDWH
VLVWHPHQDWXUDOHVDXDUWLILFLDOHGLQOXPHDIHQRPHQDO
vQ VHDPD ILORORJLORU YRP VSXQH F ORJLFD VWXGLD] GLQ SXQFW GH YHGHUH
printr-R LQIHUHQ FRUHFW GLQ SXQFW GH YHGHUH ORJLF HVWH SRVLELO VDu
QHFHVDU DILUPDUHD XQHL DQXPLWH FRQFOX]LL FDUH VH GHVSULQGH VDX UH]XOW
SUHPLVHOHVDOH6SXQH3HLUFHÄ1XVHSXQHFkWXúLGHSX LQSUREOHPDGDF
accept P úL FRQFOX]LD (VWH DGHY UDW F GLQ ILUH UD LRQ P vQ JHQHUDO
FRUHFW $FHVWD HVWH vQV XQ DFFLGHQW FRQFOX]LD DGHY UDW DU U PkQH
QLPLFGDUFDUHDYHDWHQXOJDOEHQRFKLREOLFLHUDVFXQGúLSXUWDRFKHODUL
7
SXWHPLQIHUD F UHVSHFWLYXOLQGLYLG WUHEXLH V ILHXQDVLDWLFGLQ([WUHPXO
Orient.
(6) Intrând într-R FDPHU DS V SH FRPXWDWRU úL QX VH DSULQGH
OXPLQD IDSWXO FD DWDUH FRURERUDW FX QR LXQLOH SH FDUH OH SRVHG GHVSUH
GLQWUH XUP WRDUHOH FDX]H SRVLELOH QX HVWH FXUHQW vQ UH HD V -a ars
filamentul becului; s-a defectat comutatorul etc.
ÌQO Q XLUHD ORJLF GLQWUH SUHPLVH úL FRQFOX]LH VH PDL QXPHúWH úL
argument – WHUPHQ SUHIHUDW GH F WUH XQLL ORJLFLHQL vQ ORFXO FHOXL GH
GDW DO F UHL DGHY U QX HVWH FHUW $OWIHO VSXV D FRQVWUXL XQ DUJXPHQW
SRDWH V vQVHPQH D GHVFRSHUL DQXPLWH SUHPLVH GLQ FDUH SURSR]L LD GH
VXV LQXW GHULY ORJLF GUHSW FRQFOX]LD ORU ,DW FkWHYD H[HPSOH GH
GUHSW µFYDGUDWXUD FHUFXOXL¶ QX HVWH FkWXúL GH SX LQ GH OD VLQH HYLGHQW
'H FH úL FXP V QH FRQYLQJHP GH DGHY UXO HL" $YHP QHYRLH GH XQ
DUJXPHQW $FHVWD D IRVW IRUPXODW vQ DQXO GH F WUH PDWHPDWLFLDQXO
(valoare numHULF vQ VLVWHPXO PHWULF ILQLW DVWIHO vQFkW úL VXSUDID D
S WUDWXOXL HVWH FX QHFHVLWDWH ILQLW DULD FHUFXOXL VH FDOFXOHD] GXS
formula π r2 QXP UXO π ILLQG LUD LRQDO FX XQ QXP U LQILQLW GH ]HFLPDOH
astfel încât aria nici unui cerc nu poate avea o vaORDUH QXPHULF ILQLW
'HDLFL UH]XOW FXFHUWLWXGLQHH[DFWSURSR]L LDLQL LDO GHFDUHDFXPVXQWHP
FRQYLQúLSULQWU RDUJXPHQWDUHULJXURDV
-
(8) 2DPHQLLGHGHPXOW DX IRVW H[WUHP GH FRQWUDULD LDWXQFLFkQG
8
DGXFH GH SLOG $ULVWRWHO vQ VSULMLQXO DFHVWHL DILUPD LL DWXQFL FkQG R
SURLHFWHD] S PkQWXO SH VXSUDID D OXQLL vQ WLPSXO HFOLSVHORU GH OXQ HVWH
VH vQWkPSOH P FDU GLQ FkQG vQ FkQG GDF S PkQWXO DU IL DúD FXP V -a
FUH]XWPXOWWLPSXQGLVFSODWvQVIkUúLWFXFkWQHULGLF PODRODWLWXGLQH
PDL vQGHS UWDW GH (FXDWRU FX DWkW XQJKLXO VXE FDUH VH vQDO VRDUHOH OD
zenit este mai mic. Toate aceste fapte nu se pot explica altcumva decât
GDF QHUHSUH]HQW PS PkQWXOFDSHXQFRUSFHUHVFGHPDULGLPHQVLXQLúL
GH IRUP VIHULF DELD PDL WkU]LX V D DIODW FX FHUWLWXGLQH F SODQHWD
-
QRDVWU HVWH XQ JHRLG GH URWD LH DGLF R VIHU WXUWLW OD SROL GLQ FDX]D
IRU HL FHQWULIXJH SH FDUH R GH]YROW PLúFDUHD GH URWD LH D S PkQWXOXL vQ
QX VXQW SHúWL FL PDPLIHUH FD úL QRL RDPHQLL – GHúL SULQ PHGLXO ORU GH
YLD SULQ IRUP úL PRG GH ORFRPR LH VH DVHDP Q L]ELWRU FX SHúWLL
SUHFXP úL R VHULH GH REVHUYD LL FDUH DWHVW F GHOILQLL QX VXQW SHúWL –
întrucât nu au ‘sânge rece’, nu se înPXO HVF SULQ LFUH úL QX UHVSLU SULQ
branhii, ci sunt mamifere, deoarece au ‘sânge cald’, nasc pui vii, pe care
vL KU QHVF FX ODSWH úL UHVSLU SULQ SO PkQL DYkQG GH DFHHD QHYRLH V VH
ULGLFHGLQFkQGvQFkQGODVXSUDID DDSHLSHQWUXDQXVHVXIRFD
nemijlocit dintr-R VLQJXU SUHPLV – DúD FXP VH vQWkPSO úL vQ LQIHUHQ H
de genul:
(10) ùWLLQG F µ1LFL R SDV UH QX HVWH SDWUXSHG¶ UH]XOW F µ1LFL
XQSDWUXSHGQXHVWHSDV UH¶
s-DU SXWHD LQIHUD GH DLFL F µ1LFL XQ RP OLSVLW GH LQWHJULWDWH QX HVWH
magistrat’.
9
$VWIHO GH WUHFHUL GLUHFWH GH OD R VLQJXU SUHPLV OD FRQFOX]LH VH
VXILFLHQW SHQWUX D VH UHDOL]D LQIHUHQ D vQ QHQXP UDWH DOWH FD]XUL
1.,QGXF LHúLGHGXF LH
împarW vQ GRX PDUL FDWHJRULL ORJLF necesare sau deductive úL LQIHUHQ H
probabileVDXLQGXFWLYH'HGXF LDúLLQGXF LDVXQWPRGDOLW LIXQGDmental
GLIHULWHGHvQO Q XLUHRUGRQDW DµLGHLORU¶SULQFDUHGLQDQXPLWHSURSR]L LL
GDWH VH RE LQ SURSR]L LL QRL VDX SULQ FDUH DQXPLWH SURSR]L LL LQFHUWH VXQW
DGHY UDWH VXV LQ FRQFOX]LD GDU QX R JDUDQWHD] úL FRQFOX]LD FRQ LQH R
SX LQ SUREDELOH 2EVHUYD LD HVWH YDODELO vQ FD]XO LQGXF LLORU incomplete
PXO LPH QHQXP UDELO VH SRW H[DPLQD XQXO FkWH XQXO GRDU R SDUWH GLQ
R DQXPLW SURSULHWDWH VDX UHOD LH VH JHQHUDOL]HD] FRQVWD tarea pentru
toate elemeQWHOHPXO LPLLGHIHQRPHQHLQYHVWLJDWHLQFOXVLY acelea care nu au
SXWXW V ILH H[DPLQDWH GLUHFW vQWUXFkW se presupune F QX SRW V DSDU
H[FHS LL FDUH V LQILUPH JHQHUDOL]DUHD IRUPXODW 'H FHOH PDL PXOWH RUL
vQV DFHDVW SUH]XP LH HVWH PDL GHYUHPH VDX PDL WkU]LX LQILUPDW úL
FKLDU GDF vQ XQHOH FD]XUL H[FHS LLOH vQF QX V -au produs, iar
SUREDELOLWDWHD ORU HVWH LQILP LPSRVLELOLWDWHD ORU DEVROXW QX SRDWH IL
SUREDW SULQ PLMORDFH LQGXFWLYH ,DW úL H[HPSOXO FODVLF PXOW YUHPH
10
HXURSHQLL DX FUH]XW F µ7RDWH OHEHGHOH VXQW DOEH¶ SHQWUX PRWLYXO GHEXQ
VLP F QLFL XQ HXURSHDQ QX Y ]XVH OHEHGH GH DOW FXORDUH
– SkQ FkQG
exploratRULLDXGHVFRSHULWvQHPLVIHUDDXVWUDO OHEHGHQHJUH
ÌQWUXFkW DILUP GHVSUH orice HOHPHQW DO XQHL PXO LPL FHHD FH VH
FXQRDúWHQXPDLGHVSUHuneleGLQHOHPHQWHOHDFHVWHLDLQGXF LDLQFRPSOHW
QXSRDWHIXUQL]DDGHY UXULFHUWHFLQXPDLGLIHULWHJUDGHGHSUREabilitate,
LDU FRQFOX]LLOH vQWHPHLDWH LQGXFWLY QX GHFXUJ FX QHFHVLWDWH ORJLF GLQ
premisele lor deoarece sunt mai generale decât acestea; cu alte cuvinte,
FRQFOX]LDXQHLLQIHUHQ HLQGXFWLYHVSXQHPDLPXOWGHFkWFHHDFHVHSRDWH
DFHOD F QLFLRGDW FRQFOX]LD XQHL GHGXF LL QX HVWH PDL JHQHUDO GHFkW
H[SHULHQ D DFXPXODWH vQ GHFXUVXO FHUFHW ULORU úWLLQ LILFH vQVXPkQGX -se
FRQVLGHUD LL GH QDWXU ORJLF SVLKRORJLF HSLVWHPRORJLF LVWRULF ,
ILORVRILF HWF LQIHUHQ HOH GHGXFWLYH SHUPLW VDX QHFHVLW FKLDU IRUPX-
ce logica în sens strict WUHEXLH SULYLW FD VWXGLX IRUPDO FRQVDFUDW QXPDL
LQIHUHQ HORU GHGXFWLYH VDX PD i pe scurt, ca WHRULH D GHGXF LHLÌQJUDQL H
PDL SX LQ VWULFWH DúD-numita ORJLF JHQHUDO DERUGHD] úL DOWH SUREOHPH
LQFXUVLXQL DOH FHUFHW ULORU ORJLFH GLQFROR GH JUDQL HOH VWULFWH DOH
LPSXQ GHRDUHFH FRQVWUXF LD VLVWHPHORU GHGXFWLYH QX VH SRDWH OLSVL GH
11
$GHY UúLYDOLGLWDWH
3HUVSHFWLYHILORVRILFHDVXSUDDGHY UXOXL
SXWHUHD QRDVWU GH vQ HOHJHUH 'DF SULYLP DGHY UXO QX FD SH R HQWLWDWH
FRQVLGHU F ÄDGHY UXO HVWH XQ FRQFHSW UHOD LRQDO FD úL QR LXQHD GH
‘unchi’, constând într-R UHOD LH GH FRUHVSRQGHQ FX XQ IDSW &LQHYD
devinHXQFKLDYkQGXQQHSRWVDXRQHSRDW 2LGHHVDXRSURSR]L LHHVWH
DGHY UDW vQ DFHOH FD]XUL úL QXPDL vQ DFHOH FD]XUL vQ FDUH H[LVW XQIDSW
FRQVWLWXLH R SURSR]L LH IDOV GLPSRWULY R HQXQ DUH DGHY UDW H DFHHD
5
SULQFDUHVSXLF HVWHFHHDFHHVWHúLF QXHVWHFHHDFHQXHVWH³ Aici se
SDUH F $ULVWRWHO UHSHW QXPDL R LGHH FXUHQW GHVSUH DGHY U D úFROLL
ÄWH]D FXP F QX VXQW FHOH FH VXQW úL F VXQW FHOH FH QX VXQW YD WUHEXL
7
VRFRWLW IDOV ³ În acest fragment din Metafizica lui Aristotel, accentul se
12
SXQH SH UDSRUWXO GLQWUH H[LVWHQ D LGHDO JkQGLW úL URVWLW úL H[LVWHQ D
VDX QHDJ ILLQ D XQRU OXFUXUL GH JHQXO µ([LVW H[WUDWHUHúWUL¶ µ1X H[LVW
SROLWLFLHQL VLQFHUL¶ µ6XQW úL RDPHQL FLQVWL L¶ µ1X VH DIO SH OXPH FRSLL
ÌQ &DUWHD 9, ( $ULVWRWHO VH UHIHU PDL GHJUDE OD SURSR]L LLOH
GH SUHGLFD LH vQ FDUH VH DILUP RUL VH QHDJ SRVHVLD GH F WUH XQ OXFUX D
XQHL DQXPLWH vQVXúLUL VDX SURSULHW L – GH JHQXO µ= SDGD HVWH DOE ¶
GHVI úXUDUHD XQHL VLQJXUH LGHL $ULVWRWHO SULYHúWH SURSR]L LD FD SH R
úL QHJD LD GHVSUH FHHD FH vQ UHDOLWDWH HVWH GHVS U LW LDU IDOVXO FRQVW vQ
8
RSR]L LD ID GH DFHDVW DILUPD LH VDX QHJD LH³ Importante în acest al
GRLOHDIUDJPHQWVXQWGRX SUHFL] ULVXSOLPHQWDUHDDGHY UXOHVWHFRUHODW
E IDOVXO QX PDL SULPHúWH R GHILQL LH GH VLQH VW W WRDUH FL HVWH SULYLW FD
RSXVDODGHY UXOXL
GLQWUH LGHL úL OXFUXUL UHDOLWDWHD FRQGL LRQHD] DGHY UXO JkQGLULL úL QX
LQYHUV Ä&DOHD DGHY UXOXL VSXQH $ULVWRWHO DSDU LQH DFHOXL FDUH VRFRDWH
drept desS U LW FHHD FH HVWH vQ UHDOLWDWH GHVS U LW úL FD XQLW FHHD FH HVWH
XQLW SUHFXP HVWH vQ HURDUH DFHOD FDUH JkQGHúWH FRQWUDU GH FXP VXQW
lucrurile în realitate. Se pune acum întrebarea: Când are loc ceea ce noi
QXPLP DGHY UDW VDX IDOV" $FHDVWD H FKHVWLXQHD FH WUHEXLH H[DPLQDW
F WX HúWL DOE FL SHQWUX F WX HúWL DOE VXQWHP SH FDOHD DGHY UXOXL FkQG
9
DILUP PDFHVWOXFUX³
13
5HQDúWHUHD úL (SRFD 0RGHUQ vQ FDUH VH LYHVF SULPHOH WHRULL
úWLLQ LILFH FRQVWUXLWH SH REVHUYD LH úL H[SHULPHQW DOH F URU GDWH VXQW
expuse matematic VH SUHRFXS PDL SX LQ GH IRUPXODUHD XQHL GHILQL LL D
DGHY UXOXL úL vúL FRQFHQWUHD] DWHQ LD DVXSUD GHVFRSHULULL XQHL metode
VLJXUHSULQDF UHLDSOLFDUHV SXWHPGHRVHELI U JUHúDGHY UXOGHIDOV
DQXPH F OXFUXULOH SH FDUH OH FRQFHSHP IRDUWH FODU úL GLVWLQFW VXQW WRDWH
10
DGHY UDWH³ 'HVFDUWHV DMXQJH V JHQHUDOL]H]H DFHDVW VXV LQHUH
VXELHFWLY D DGHY UXOXL vQWUXFkW DUH vQ YHGHUH QXPDL SURSR]L LLOH
PDWHPDWLFH DúD FXP SXWHDX IL HOH LQWHUSUHWDWH GH úWLLQ D úL ILORVRILD
YUHPLL VDOH &RQVWUXF LD XOWHULRDU D XQRU VLVWHPH úL WHRULL PDWHPDWLFH
úWHDUJ UHOHYDQ D HYLGHQ HL GUHSW FULWHULX GH DGHY U &X DWkW PDL SX LQ
poate fi accepWDW HYLGHQ D vQ FD]XO HQXQ XULORU FX UHIHUHQ LDO RELHFWLY
GH HYLGHQ D XQHL SHUFHS LL GH SXWH rea de convingeUH D XQHL WU LUL orice
vQGRLDO SRDWH V PL VH SDU DEVXUG 'DU SRDWH WRWXúL úWLLQ D V DFFHSWH
SH DFHVW WHPHL HQXQ XO PHX" 3RDWH HD RDUH V -l întemeieze pe
FRQVLGHUHQWXO F GRPQXO 1 1 HVWH S WUXQV GH DGHY UXO OXL" 5 VSXQVXO
HVWH QHJDWLY XQ DOW U VSXQV DU IL LQFRPSDWLELO FX LGHHD RELHFWLYLW LL
úWLLQ LILFH³
11
FHUWLWXGLQHD HQXQ XULORU WHRUHWLFH ILH DFHVWHD PDWHP atice, logice sau
metafizice.(OVHPQDOHD] FHOGLQWkLH[LVWHQ DXQHLGLIHUHQ HUDGLFDOHvQWUH
GRX IHOXUL GH DGHY UXUL , cele de UD LRQDPHQW úL FHOH de fapt.
14
$GHY UXULOH GH UD LRQDPHQW VXQW QHFHVDUH úL RSXVXO ORU H LPSRVLELO LDU
cele de fapt VXQW FRQWLQJHQWH úL RSXVXO ORU HVWH SRVLELO &kQG XQ DGHY U
HVWH QHFHVDU vL SXWHP J VL WHPHLXO SULQ DQDOL] UH]ROvându-O vQ LGHL úL
DGHY UXULPDLVLPSOHSkQ FkQGDMXQJHPODFHOHSULPitive“.
12
F ] SDGD HVWH DOE GHRDUHFH VLP XULOH GDF QX VXQW DOWHUDWH QH
vérité de fait µDGHY U GH IDSW¶ &RUHVSRQGHQ D GHYLQH vQV FX WRWXO
LUHOHYDQW vQ PDWHPDWLF DOH F UHL HQXQ XUL QX VH UHIHU OD RELHFWH
seQVLELOH FL OD HQWLW L úL UHOD LL SXU LGHDOH FH QX SRW IL YHULILFDWH vQ
VSXQHP QX VXQW vQ PRG FHUW DGHY UDWH SULQ FRUHVSRQGHQ SHQWUX
SHUIHFWH D F URU REVHUYDUH HPSLULF V QH FRQYLQJ GH DGHY UXO ORU
material’, a posteriori FH QX SRDWH IL VWDELOLW GHFkW SULQ H[SHULHQ vQ
XQLYHUVDOH FDUH DX WRWRGDW FDUDFWHUXO QHFHVLW LL LQWHUQH WUHEXLH V ILH
LQGHSHQGHQW GH H[SHULHQ FODUH úL FHUWH SULQ HOH vQVHOH GH DFHHD VH
QXPHVF FXQRúWLQ H D SULRUL GLPSRWULY FHHD FH HVWH RE LQXW QXPDL GLQ
H[SHULHQ QX HVWH FXQRVFXW FXP VH VSXQH GHFkW D SRVWHULRUL VDX
empiric“.13
7RW.DQWRSHUHD] úLGLVWLQF LDGLQWUHMXGHF Lanalitice – în toate
FD]XULOH úL a priori GHRDUHFH vQWUH VXELHFWXO úL SUHGLFDWXO SURSR]L LHL
H[LVW R UHOD LH ORJLF QHFHVDU DVWIHO vQFkW FRQFHSHUHD VXELHFWXOXL SUHVX-
pune asocierea lui cu predicatul ce-i este, oarecum, inerent – úL MXGHF L
sintetice, numite astfel deoarece se construiesc prin asocierea unor
15
QR LXQL FDUH QX VH SUHVXSXQ XQD SH FHDODOW úL QX VXQW vQWRWGHDXQD
subiHFW úL XQ SUHGLFDW – spune Kant – DFHVW UDSRUW HVWH SRVLELO vQ GRX
feluri. Sau predicatul B DSDU LQH VXELHFWXOXL A ca ceva ce e cuprins
(implicit) în acest concept, sau B VHJ VHúWHFXWRWXOvQDIDUDFRQFHSWXOXL
AGHúLVW vQOHJ WXU FXHOÌQFD]XOGLQtâi numesc judecata DQDOLWLF , în
FHO ODOWVLQWHWLF -XGHF LOHDQDOLWLFHDILUPDWLYHVXQWGHFLDFHOHDvQFDUH
OHJ WXUD SUHGLFDWXOXL FX VXELHFWXO HVWH JkQGLW SULQ LGHQWLWDWH LDU DFHOHD
vQ FDUH DFHDVW OHJ WXU HVWH JkQGLW I U LGHQWLWDWH WUHEXLH V IL e numite
MXGHF LVLQWHWLFH3HFHOHGLQWkLOH DPSXWHDQXPLúLMXGHF
- LH[SOLFDWLYH ,
pe cHOHODOWH MXGHF L H[WHQVLYH ILLQGF FHOH GLQWkL QX DGDXJ SULQ SUHGLFDW
QLPLF OD FRQFHSWXO VXELHFWXOXL FL QXPDL vO GHVFRPSXQ SULQ DQDOL] vQ
sintetice a posteriori vQ FDUH H[SHULHQ D QH RIHU VLQJXUXO WHPHL DO
SH H[SHULHQ FL SH DQXPLWH VFKHPH VDX IRUPH a priori, constitutive
RULF UXLDFWGHJkQGLUHDO(X -lui transcendental.
/RJLFD PRGHUQ vQGHRVHEL VXE LQIOXHQ D OXL 5XGROI &DUQDS
XWLOL]HD] GLVWLQF LD GLQWUH DGHY UXULOH DQDOLWLFH úL FHOH VLQWHWLFH
HOLPLQkQG VXEWLOLW LOH úL REVFXULW LOH GLVWLQF LHL FRPSOHPHQWDUH GLQ
- FRUHVSRQGHQ UHvQW ULW GH FHUFHW ULOH VHPDQWLFH DOH OXL 7DUVNL úL GH
16
Cu toate aFHVWHDvQOLPEDMXOYLH LLFRWLGLHQHRDPHQLLFRQWLQX V
XWLOL]H]H úL DOWH VHPQLILFD LL DOH WHUPHQXOXL µDGHY U¶ OHJDWH QX QXPDL GH
SURFHVHOH VWULFW FRJQLWLYH FL úL GH R PDUH YDULHWDWH GH FRQWH[WH SUDFWLFH
LQIRUPD LL FL GRULQ H UXJ PLQ L DSUHFLHUL VROLFLW UL PLU UL HWF 'LQ
(1839 - úL :LOOLDP -DPHV - 3RWULYLW FRQFHS LHL
pragmatiste, R LGHH HVWH DGHY UDW GDF úL QXPDLGDF HVWHXWLO FULWHULXO
XWLOLW LL ILLQGQXPDL DFWLYLWDWHDSUDFWLF 5H]XPkQGFRQFHS LDOXL 3HLUFH
SH FDUH úL R vQVXúHúWH úL R DPSOLILF :LOOLDP -DPHV VSXQH XUP WRDUHOH
-
ÄvQ JHQHUDO DGHY UXO FUHGLQ HORU QRDVWUH FRQVW vQ IDSWXO F HOH GDX
VDWLVIDF LH “.15 ÎQ DOW SDUWH -DPHV SUHFL]HD] ÄFUHGLQ HOH sunt reguli pentru
DF LXQH úL vQWUHDJD IXQF LH D JkQGLULL QX HVWH GHFkW XQ SDV vQ SURGXFHUHD
QRDVWUH GHVSUH XQ RELHFW WUHEXLH GRDU V FKLE]XLP FH VHQ]D LL LPHGLDWH
VDX vQWkU]LDWH SXWHP DúWHSWD GH OD HO úL FH FRQGXLW WUHEXLH V QH
SUHJ WLP vQ FD] F DFHVWD HVWH DGHY UDW >@ DGHY UDW HVWH FHHD FH
16
IXQF LRQHD] ELQH³
Ä$GPL kQG F R LGHH VDX R FUHGLQ HVWH DGHY UDW FH LPSRUWDQ
FRQFUHW YD DYHD vQ YLD D FRWLGLDQ D FXLYD IDSWXO F HD HVWH DGHY UDW "
FUHGLQ D DU IL IDOV " 3H VFXUW FDUH HVWH YDORDUHD -cash (cash-value) a
DGHY UXOXLvQWHUPHQLLH[SHULHQ HL"³ 3HLUFH-DPHVúL'HZH\DXLQL LDWR
17
serie de ceUFHW UL IHFXQGH DVXSUD UROXOXL SH FDUH vO vQGHSOLQHVF
FXQRúWLQ HOH vQ H[LVWHQ D DFWLY D XPDQLW LL vPERJ LQG WHRULD
punct de vedere strict logic vQV WHRULD SUDJPDWLVW VH FRQIUXQW FX
GLILFXOW L FRQVLGHUDELOH 9LFLXO HVHQ LDO DO DFHVWHL FRQFHS LL FRQVW vQ
IDSWXO F GRX SURSR]L LL FRQWUDGLFWRULL SRW IL GHRSRWULY DGHY UDWH GDF
17
VH J VHVF GRL RDPHQL GLIHUL L FDUH V J VHDVF ILHFDUH vQ IHOXO V X R
2GDW FH DP FRQYHQLW DVXSUD IDSWXOXL F ORJLFD vQ VHQV VWULFW
HVWH XQ VWXGLX IRUPDO DO LQIHUHQ HORU GHGXFWLYH WUHEXLH V FODULILF P
URVWXO úL ILQDOLWDWHD DFHVWRUD 2 GHGXF LH ELQH FRQVWUXLW FDUH vúL
vQGHSOLQHúWH PHQLUHD HVWH DFHHD FDUH QH FRQGXFH OD R FRQFOX]LH vQ PRG
FHUW DGHY UDW ÌQF GH OD vQFHSXWXULOH HL ORJLFD D IRVW FRQFHSXW úL
RSLQLLORU IDOVH & XWkQG XQ PD[LPXP GH FODULWDWH ORJLFD WUHEXLH V IDF
SH FkW SRVLELO DEVWUDF LH GH FRPSOLFD LL úL VXEWLOLW L PHWDIL]LFH GkQG
el, falsitatea sunt, din punct de vedere logic úL epistemologic (nu
QHDS UDW PHWDIL]LF VDX WHRORJLF QLúWH SURSULHW L VDX vQVXúLUL FDUH QX
DSDU LQ lucrurilor VDX HQWLW LORU UHDOH , aIODWH vQDIDUDFRQúWLLQ HLQRDVWUH ci
QXPDL FXQRúWLQ HORU VDX LGHLORU QRDVWUH GHVSUH OXFUXUL LGHL H[SULPDWH vQ
SURSR]L LL GHFODUDWLYH VDX DVHU LXQL &X DOWH FXYLQWH PDVD SH FDUH VFULX
FDVD vQ FDUH P DIOX F U LOH FDUH P vQFRQMRDU HWF QX VXQW úL QX
pot fi
QLFLFXPúLQLFLRGDW DGHY UDWH sau false din punct de vedere logic – chiar
GDF vQDPELJXLWDWHDSOLQ GHVXJHVWLLúLVXEvQ HOHVXULDOHOLPELLQDWXUDOH
SXWHP YRUEL FX VHQV GHVSUH R PDV R FDV RUL R FDUWH µDGHY UDW ¶ DGLF
Vom numi analitice SURSR]L LLOH FDUH VH UHIHU H[FOXVLY OD
18
UHDO FXQRVFXW vQ H[SHULHQ ÌQ WHUPLQRORJLD NDQWLDQ SURSR]L LLOH
gândirii, HVWH DQDOLWLF GHRDUHFH HO GHFXUJH QXPDL GLQ DQXPLWH SURSULHW L
ale unor idei acceSWDWH I U GHPRQVWUD LH FD QHvQGRLHOQLFH ILH GDWRULW
µHYLGHQ HL¶ORULQWXLWLYHILHSULQFRQYHQ LHVDXSULQGHILQL LH3URSR]L LLOH
DQDOLWLFH QX QH IXUQL]HD] LQIRUPD LL GHVSUH OXPH úL QX H[WLQG FXQRú -
WLQ HOH QRDVWUH GHRDUHFH HOH H[WUDJ QXPDL úL H[SOLFLWHD] SURSULHW L úL
'LQ GHILQL LD S WUDWXOXL GH H[HPSOX FD µURPE FX XQ XQJKL GUHSW¶
GHILQL LHWULXQJKLXOGUHSWXQJKLFDUHXQXQJKLGUHSW
Vom numi sintetice SURSR]L LLOH FDUH VH UHIHU OD RELHFWH
SURSULHW L UHOD LL HYHQLPHQWH UHDOH $VWIHO GH SURSR]L LL VXQW DGHY UDWH
GDF UHOD LD GLQWUH FRPSRQHQWHOH SURSR]L LHL FRUHVSXQGH XQHL VW UL GH
SURSR]L LLOH GH DFHVW JHQ VH PDL QXPHVF úL factuale, având – în
WHUPLQRORJLD NDQWLDQ – un caracter a posteriori, întrucât nu putem
DILUPD VDX QHJD FHYD GHFkW GXS R FRQVWDWDUH HPSLULF FH QH IXUQL]HD]
DQXPLWH LQIRUPD LL GHVSUH VW ULOH GH IDSW GLQ OXPH 6XQW IDFWXDOH
SURSR]L LLGHJHQXO
19
3URSR]L LLOH VLQWHWLFH VDX IDFWXDOH IXUQL]HD] LQIRUPD LL GHVSUH
QX VH SRW VWDELOL FRQH[LXQL DQDOLWLFH 'DW ILLQG IDSWXO F QLFL XQD GLQWUH
S U LOH XQHL DVWIHO GH SURSR]L LL QX OH SUHVXSXQH ORJLF SH FHOHODOWH
DVRFLHUHD GLQWUH HOH VH ED]HD] SH FHOH FRQVWDWDWH vQ H[SHULHQ 3URSR -
]L LDµ2PXOHVWHRILLQ UD LRQDO ¶HVWHDQDOLWLFDGHY UDW SHQWUXF LGHHD
VDX FRQFHSWXO GH RP LPSOLF UD LRQDOLWDWHD vQV SURSR]L LD µ2PXO este
LQIOXHQ DW QHJDWLY GH H[SOR]LLOH VRODUH úL GH ID]HOH OXQLL¶ HVWH IDFWXDO
FRQILUP VDX LQILUP UHOD LD HQXQ DW QLFLFXP GLQ FRQFHSWXO GH XPDQL -
WDWH QX VH SRDWH GHULYD R FRQVHFLQ GHGXFWLY vQ OHJ WXU FX H[SOR]LLOH
VRODUHúLID]HOHOXQLLVDXLQYHUV
ORJLFD QX vúL SURSXQH VWDELOLUHD úL YHULILFDUHD DGHY UXOXL VDX IDOVLW LL
SURSR]L LLORU FD DWDUH DFHDVW PLVLXQH UHYLQH GLIHULWHORU GRPH nii ale
úWLLQ HL /RJLFD vúL SURSXQH V FHUFHWH]H IRUPHOH VDX WLSXULOH GH LQIHUHQ H
valide, D F URU XWLOL]DUH HVWH XQD GLQWUH FRQGL LLOH FDUH DVLJXU DGHY UXO
ideilor noastre.
'DF DGHY UXO úL IDOVLWDWHD VXQW SURSULHW L DOH SURSR]L LLORU
exemple în acest sens: (i) ‘Orice triunghi este trilater, deci orice trilater
este triunghi’; (ii) ‘Orice triunghi este patrulater, deci unele patrulatere
VXQWWULXQJKLXUL¶Ä2FOLS GHUHIOHF LHYDDU WDF SULPDLQIHUHQ QXHVWH
YDOLG GHúL FHOH GRX SURSR]L LL VXQW DGHY UDWH úL F FHD GH -a doua este
YDOLG GHúLFHOHGRX SURSR]L LLVXQWIDOVH³
18
)LHDVHU LXQLOH
µ2ULFHDQLPDOFXS USHSLHSWLXEHúWHPDQHOHOH¶
20
(11) ‘Vacile nebuQHDXS USHSLHSW¶
coreFW GLQ SXQFW GH YHGHUH IRUPDO GDF DGPLWHP SUHPLVHOH DGHY UXO
FRQFOX]LHL GHFXUJH GLQ HOH VDX HVWH IRUPDO LPSOLFDW GH SULPHOH GRX
SURSR]L LL
‘Numerele naturDOHFDUHVHGLYLGQXPDLFXúLFXHOHvQVHOHVXQW
numere prime.’
µVHGLYLGHQXPDLFXúLFXHOvQVXúL¶
'HFLµHVWHQXP USULP¶
a) 0DL vQWkL HVWH QHFHVDU FD SUHPLVHOH V ILH DGHY rate; aceasta
este FRQGL LD PDWHULDO QXPLW DVWIHO vQWUXFkW HVWH FHULQ D FD UD LRQD
-
PHQWXOV H[WUDJ FRQFOX]LDGLQSUHPLVHvQWHPHLDWHFHHDFHSUHVXSXQHFD
µPDWHULDOXO¶ VDX FRQ LQXWXO GLQ FDUH VH DOF WXLHúWH UD LRQDPHQWXO V ILH
QR LXQL FODUH úL SUHPLVH vQ PRG VLJXU DGHY UDWH ÌQ H[HPSOXO GHPDLVXV
ÌQH[HPSOXODQDOL]DWYDOLGLWDWHDLQIHUHQ HLHVWHLQWXLWLYHYLGHQW
'H UHJXO FRQFOX]LD XQHL LQIHUHQ H HVWH DGHY UDW GDF VXQW
%DOHQHOHVXQWSHúWL (fals)
3ULPD SUHPLV HVWH IDOV úL GDWRULW DFHVWXL IDSW H IDOV úL
SULPD SUHPLV vQ FRQFOX]LH FX DOWH FXYLQWH µPDWHULDOXO¶ GLQ FDUH V -a
DOF WXLW UD LRQDPHQWXO QX HVWH EXQ 8QHRUL vQV GLQ SUHPLVH IDOVH VH
21
SRDWH RE LQH vQ PRG accidental sau artificios R FRQFOX]LH DGHY UDW 6
7R LURPkQLLVXQWSRH L (fals)
Lucian Blaga a fost român DGHY UDW
sau
Toate numerele divizibile cu 3 sunt pare (fals)
14 este divizibil cu 3 (fals)
'HFLHVWHQXP USDU DGHY UDW
FRQGL LH sine qua non SHQWUX GHGXF LD XQRU FRQFOX]LL DGHY UDWH FRQWUDU
EXQXOXL VLP DGHY UXO UH]XOW GLQ RULFH IHO GH Sremise – fie acestea
DGHY UDWH VDX IDOVH &H VH SRDWH VSXQH GHVSUH YDOLGLWDWHD VDX FRUHF-
YDOLG DP RE LQXW R FRQFOX]LH DGHY UDW vQ PRG FHUW úL FDUH QX PDL
GHRDUHFH VFKHPD LQIHUHQ LDO HVWH YDOLG 6 DOF WXLP LQIHUHQ D vQWU -o
RUGLQHGLIHULW
'HFLvQFDPHU QXHVWHOXPLQ ?
22
FRQVW YLFLXOGHIRUP DOLQIHUHQ HLGDULQWXLWLYQHSXWHPGDVHDPDF vQ
FDPHU SRDWH IL OXPLQ FKLDU úL FX EHFXO VWLQV SHQWUX F QH DIO P vQ
WLPSXO ]LOHL 'LQ DFHOHDúL PRWLYH VHVL] P F úL XUP WRUXO UD LRQDPHQW
este incorect:
Am aprins becul ?
&RQVWDW PGHDFHDVW GDW F QHUHVSHFWDUHDFRQGL LHLIRUPDOHGH
YDOLGLWDWH D VFKHPHORU LQIHUHQ LDOH HVWH R FRQGL LH sine qua non pentru
DGHY UXO FHUW DO FRQFOX]LHL RUL GH FkWH RUL VH FRPLWH R HURDUH vQ
PDL VROLGH SUHPLVH FRQFOX]LD HVWH IDOV RUL vQ FHO PDL EXQ FD]
vQGRLHOQLF vQWUXFkW GRDU XQHRUL VH vQWkPSO FD IDSWHOH V FRLQFLG FX
UH]XOWDWXOXQHLGHGXF LLLQFR
recte.
Putem sesiza acum mai bine în ce sens logica este un instrument
HVHQ LDO SHQWUX GHVFRSHULUHD úL GHPRQVWUDUHD DGHY UXOXL QX SULQ
YHULILFDUHD HPSLULF D SURSR]L LLORU IDFWXDOH FL SULQ GHGXF LD ULJXURDV D
XQRU SURSR]L LL QHFXQRVFXWH VDX LQFHUWH GLQ SURSR]L LL FXQRVFXWH VDX
ÌQO Q XLULOH GH UD LRQDPHQWH GHGXFWLYH FDUH VDWLVIDF DWkW FRQGL LD
PDWHULDO FkW úL SH FHD IRUPDO GH YDOLGLWDWH VH QXPHVF GHPRQVWUD LL –
logica vQ VHQV VWULFW ILLQG vQ FHD PDL VXPDU GHILQL LH SRVLELO studiul
IRUPDODOGHPRQVWUD LHL.
RULF UHL DOWH UHIOHF LL úWLLQ LILFH VDX ILORVRILFH F RULFH µVLVWHP GH LGHL¶
23
GHPRQVWUDWLY OD LQILQLW DYkQG PHUHX GH VXV LQXW SUHPLVHOH XQXL
GH DO F URU DGHY U VXQWHP FRQYLQúL VDX vO DFFHSW P I U GHPRQVWUD LH –
ILH F HVWH YRUED GH FRQVWDW UL IDFWXDOH FH úL DX WHPHLXO vQ H[SHULHQ D
-
percepWLY LPHGLDW µ= SDGD HVWH DOE ¶ µ$XUXO HVWH JDOEHQ¶ µ&HUXO H
VHQLQ¶ HWF ILH F DYHP GH D IDFH FX µHYLGHQ H¶ UD LRQDOH DO F URU WHPHL
-
HVWH DSDUHQWD QHSXWLQ D JkQGLULL QRDVWUH GH D OH UHVSLQJH VDX JkQGL
ILHFDUH HJDO FX R D WUHLD P ULPH = VXQW HJDOH vQWUH HOH¶ HWF $OWHRUL
WUHL ODWXUL¶ µ1XPLP PDPLIHU RULFH YHUWHEUDW FDUH QDúWH SXL YLL úL -i
KU QHúWHFXODSWH¶úDPG
adeY UDWH I U V IL IRVW DUJXPHQWDWH GHPRQVWUD LD vQV úL VH FRQVWUXLHúWH
pe baza câtorva ‘reguli primitive¶DF URUDFFHSWDUHHVWHDEVROXWQHFHVDU
pentru precizarea uQRU FRQGL LL VDX FULWHULL GH YDOLGLWDWH LQIHUHQ LDO ÌQ
ORJLFD WUDGL LRQDO VDX FODVLF DX IRVW FRQVDFUDWH FkWHYD UHJXOL
fundamentale ale gândirii corecte, numite cel mai adesea principii logice.
3ULQFLSLXOLGHQWLW LL
FD vQ WRDW GHVI úXUDUHD XQHL DUJXPHQW UL WHUPHQLL úL SURSR]L LLOH
GHFkW D PHD¶ RUL GH FkWH RUL YRP PDL YRUEL vQ FRQWLQXDUH GHVSUH µFDSU ¶
YRP vQ HOHJH SULQ DFHVW FXYkQW QXPDL DQLPDOXO QX DOWFHYD – capra de la
WU VXU SH FDUH VW YL]LWLXO FDSUD GH W LDW OHPQH MRFXO µGH -a capra’ sau
vreun nume propriu – LDU SURSR]L LD HQXQ DW FD DGHY UDW R YRP
FRQVLGHUD QXPDL DGHY UDW RUL GH FkWH RUL YRP UHYHQL DVXSUD HL
24
„IdeQWLF vQ VLQH VH ]LFH GHVSUH OXFUXULOH D F URU PDWHULH H XQD ILH FD
UHLHVHOLPSHGH F LGHQWLWDWHDHVWHXQIHOGHXQLWDWHRXQLWDWHGHH[LVWHQ
D XQHL SOXUDOLW L VDX DFHHD FDUH UH]XOW GLQ FRQVLGHUDUHD PDL PXOWRU
OXFUXUL FD XQXO FD DWXQFL FkQGVSXQHP F XQ OXFUX H LGHQWLF FXVLQHFD]
vQFDUHDFHODúLOXFUXHVRFRWLWFDGRX OXFUXUL³
19
%9RLILFHHDFHYRLIL$PVFULVFHHDFHDPVFULVùLQLPLFvQYHUVXULFD
úL vQ SUR] HVWH QLPLF VDX SX LQ OXFUX 'UHSWXQJKLXO HFKLODWHUDO DFHDVW
ILJXU HVWH XQ GUHSWXQJKL 1RQ -A este non-$ 'DF $ HVWH QRQ -B,
XUPHD] F $HVWHQRQ -B...“20
3ULYLW VXSHUILFLDO IRUPXOD µ$ HVWH $¶ SULQ FDUH VH H[SULP
SULQFLSLXO LGHQWLW LL SDUH XQ WUXLVP WRWDO LUHOHYDQW $EVROXWL]DUHD OXL
DSDUHQ H vQúHO WRDUH DOH VLP XULORU vQWUXFkW )LLQ D HVWH )LLQ vQ FDUH QX
VH SRDWH FRQFHSH GLIHUHQ D úL WUHFHUHD GH OD R VWDUH OD DOWD DGLF GH OD
LGHQWLW LL vO IDFH SH $QWLVWHQH V VXV LQ F QXPDL WDXWRORJLLOH VXQW
QXPDLF µRPXOHVWHRP¶úLµEXQXOHVWHEXQ¶
&D UHJXO SH FDUH VH ED]HD] FRQVWUXF LD XQHL GHPRQVWUD LL vQV
XQ RELHFW UHDO R QR LXQH VDX R SURSR]L LH HVWH HO vQVXúL QHSXWkQG IL
WRWRGDW úL DOWFHYD 3HWUH %RWH]DWX DUDW F ÄYHUEXO µ este’ are în acest
FRQWH[W XQ vQ HOHV GHRVHELW QX H[SULP QLFL SRVHVLD XQHL vQVXúLUL GH
exemplu, ‘omul este bun¶ QLFL DSDUWHQHQ D OD R FODV GH H[HPSOX
25
‘%XFXUHúWL HVWH R PHWURSRO ’), nici incluziunea subclasei într-R FODV GH
exemplu, ‘balenele sunt mamifere¶ QLFL SXU úL VLPSOX H[LVWHQ D GH
exemplu, ‘este cald’) úL QLFL FKLDU RSHUD LD GH LGHQWLILFDUH GH H[HPSOX
‘%XFXUHúWL HVWH FDSLWDOD 5RPkQLHL’). Pare paradoxal, dar principiul
LGHQWLW LL QX VH UHIHU OD VLPSOD UHOD LH GH LGHQWLWDWH GLQWUH RELHFWH VDX
ÌQ OXPHD IHQRPHQDO GH RELHFWH úL SURFHVH SH FDUH OH VHVL] P
HPSLULF FRQWUDGLF LD HVWH DQWDJRQLVPXO GLQWUH DQXPLWH HQWLW L IRU H
HQHUJLL VDX SURSULHW L FDUH VH H[FOXG vQWUH HOH RUL WLQG V VH DQLKLOH]H
UHFLSURF/DQLYHOXOXQHLIRORVLULHOHPHQWDUHDOLPEDMXOXLúLDJkQGLULLSDU
GH%XFXUHúWL¶DWXQFLQXVHSRDWHDGPLWHvQDFHODúLWLPSF RUDúXOGHVXE
7kPSDHVWHúLODVXGGHFDSLWDOD5RPkQLHLúDPG
PHWDEROLVPXO HVWH RSR]L LD GLQDPLF GLQWUH DVLPLOD LH úL GH]DVLPLOD LH
YLD D SVLKLF HVWH SULQWUH DOWHOH R HFKLOLEUDUH SHUPDQHQW vQWUH H[FLWD LH
úL LQKLEL LH vQ RULFH PDJQHW FRH[LVW vQ PRG QHFHVDU SROXO QRUG úL SROXO
VXG HWF ÌQ ILORVRILH JkQGLUHD GLDOHFWLF – vQFHSXW GH +HUDFOLW Socrate
VDX 3ODWRQvQ$QWLFKLWDWHúLvQFXQXQDW GHPRQX mentalul sistem hegelian
– IDFH GLQ QDWXUD FRQWUDGLFWRULH D RULF UXL OXFUX VDX SURFHV XQ SULQFLSLX
lumii reale.
În domeniul ideal SH FDUH vO VWXGLD] ORJLFD FRQWUDGLF LD HVWH XQ
UDSRUW vQWUH GRX SURSR]L LL GLQWUH FDUH XQD DILUP FHHD FH RSXVD HL
FRQWUDGLFWRULH QHDJ 3URSR]L LD µ2PXO HVWH R ILLQ UD LRQDO ¶ – din care
DU WUHEXL V IDFHP XQ SRVWXODW DO ORJLFLL – HVWH FRQWUD]LV GH SURSR]L LD
26
FRQIRUP F UHLD µ2PXO QX HVWH R ILLQ UD LRQDO ¶ FHHD FH GLQ S FDWH VH
DGHYHUHúWHPXOWPDLGHVGHFkWQHSODFHV RUHFXQRDúWHP
SURSR]L LH HVWH vQ DFHODúL WLPS úL SULYLW vQ DFHODúL FRQWH[W WRWRGDW
DGHY UDW úL IDOV &X DOWH FXYLQWH R DILUPD LH úL QHJD LD HL QX SRW IL
DGHY UDWH vQ DFHODúL WLPS IRUPXOD FDUH H[SULP DFHDVW UHJXO
se potriYHDVF VXE DFHODúL UDSRUW XQXO úL DFHODúL SUHGLFDW >@ $FHVW
SULQFLSLX PDL VSXQH $ULVWRWHO H FHO PDL VLJXU GLQ WRDWH F FL H SHVWH
SXWLQ FD XQ RP V -úL SRDW vQFKLSXL F XQXO úL DFHODúL OXFUX HVWH úL
22
WRWRGDW QX HVWH³ ) FkQG GLQ UHVSLQJHU
ea cRQWUDGLF LHL SULQFLSLXO
funGDPHQWDO DO ORJLFLL $ULVWRWHO vL DFRUG vQ PRG H[SOLFLW R HYLGHQ
axioPDWLF precizând F OHJHD QRQ-FRQWUDGLF LHL QX SRDWH IL GHGXV
dintr-R DOW OHJH PDL JHQHUDO &HO PXOW DILUP HO DFHVW SULQFLSLX VH
poate sus- LQHSULQtr-RGHPRQVWUD LHLQGLUHFW VDXSULQPHWRGDUHGXFHULLOD
absurd.
/HLEQL] SDUH FkWHRGDW V DFRUGH SULRULWDWH LGHQWLW LL
DFHVWXLD R GDW FH XQ OXFUX HVWH FHHD FH HVWH úL DúD FXP HVWH vQWU -o
SURSR]L LH HO QX SRDWH IL WRWRGDW úL FHHD FH QX HVWH úL DOWIHO GHFkW HVWH
FKLDU úL OD QLYHOXO VLP XOXL FRPXQ 1LPHQL QX DUH QHYRLH GH X
n studiu
sistematic al logicii teoretice pentru a-úL GD LQWXLWLY VHDPDGH IDSWXOF R
GHPRQVWUD LHVDXXQGLVFXUVvQFDUHVHVXV LQSURSR]L LLFRQWUDGLFWRULLVXQW
27
1.3ULQFLSLXOWHU XOXLH[FOXV
3ULQFLSLXO WHU XOXL H[FOXV QX DUH R HYLGHQ D[LRPDWLF DúD FXP
SDUH V ILH FD]XO QRQ FRQWUDGLF LHL HO HVWH PDL GHJUDE XQ SRVWXODW vQ
-
VHQVXO FODVLF HXFOLGLDQ FDUH GHFUHWHD] – I U GHPRQVWUD LH GHúL QX H
DGHY UDWH XQD GLQ HOH WUHEXLQG V ILH IDOV – SULQFLSLXO WHU XOXL H[FOXV
VXV LQH F GRX SURSR]L LL FRQWUDGLFWRULL $ úL QRQ-A nu pot fi ambele
ORJLF OD IHO GH VWULQJHQW FD úL QRQ FRQWUDGLF LD FRQVLGHUkQG F DSOLFDUHD
-
regulii tertium non datur HVWH XWLO QXPDL vQ GHPRQVWUD LD LQGLUHFW
Ä3ULQFLSLXO F XQ SUHGLFDW WUHEXLH V ILH RUL DILUPDW RUL QHJDW GHVSUH XQ
VXELHFW HVWH FHUXW GH GHPRQVWUD LD FDUH XWLOL]HD] UHGXFHUHD ODLPSR sibil,
GDUúLDWXQFLQXWRWGHDXQDXQLYHUVDO³
24
/D UkQGXO V X /HLEQL] FRQVLGHU WHU XO H[FOXV PDL GHJUDE R
F DGHY UXO úL IDOVXO QX VXQW FRPSDWLELOH vQ DFHHDúL SURSR]L LH VDX F R
28
'DF XQ FRUS HVWH DOE DWXQFL HO QX SRDWH IL YHUGH JDOEHQ URúX DO bastru
HWF GDF XQ PDPLIHU HVWH FDO DWXQFL HO QX SRDWH IL vQ DFHODúL WLPS OXS
XUV JLUDI F PLO HWF 'LPSRWULY SULQFLSLXO WHU XOXL H[FOXV LQWURGXFH R
FRQGL LH VXSOLPHQWDU vQWUXFkW UHVWUkQJH QXP UXO SUHGL catelor la numai
GRX – tertium non daturµ8QQXP UQDWXUDOHVWHSDUVDXLPSDU¶µ3LHVHOH
MRFXOXLGHúDKSRWILDOEHVDXQHJUH¶HWF
UHJXOD WHU XOXL H[FOXV 2U GH PXOWH RUL QH DIO P vQ ID D XQRU SURSR]L LL
F URUD QX OH SXWHP DWULEXL FX FHUWLWXGLQH QXPDL XQD GLQ FHOH GRX YDORUL
SURSR]L LL F URUD QX OL VH SRDWH DWULEXL FX FHUWLWXGLQH YDORDUHD ORJLF
probabile, inteligibile, FUHGLELOH ú D P G /RJLFD PRGHUQ D HODERUDW
sisteme polivalente, cu n YDORUL ORJLFH vQ FDUH SULQFLSLXO WHU XOXL H[FOXV
VH DSOLF HYHQWXDO vQ IRUPH JHQHUDOL]DWH úL QHLQWXLWLYH GHPRQVWUDELOH úL
DEVXUG ÌQWUXFkW GRX SURSR]L LL FRQWUDGLFWRULL QX SRW IL DPEHOH IDOVH
UH]XOW F SUREkQG IDOVLWDWHD SURSR]L LHL FDUH QHDJ WH]D GH GHPRQVWUDW –
úL SH FDUH QX R SXWHP DUJXPHQWD GLUHFW – DP GRYHGLW WRWRGDW F WH]D
HVWHDGHY UDW
3ULQFLSLXOUD LXQLLVXILFLHQWH
SULQFLSLXO UD LXQLL VXILFLHQWH QX HVWH SURSULX ]LV R UHJXO IRUPDO GH
-
FRQVWUXF LH D LQIHUHQ HORU GHGXFWLYH FRUHFWH FL PDL GHJUDE R UHJXO
29
/HLEQL] DUH QHYRLH GH HQXQ DUHD DFHVWXL SULQFLSLX GLQ PRPHQWXO
în care a sesizat deosebirea – PHQ LRQDW DQWHULRU – întrH DGHY UXULOH GH
DGHY UXULOH GH IDSW FRQWLQJHQWH úL vQWHPHLDWH HPSLULF $GHY UXULOH
UD LRQDOH VH vQWHPHLD] SH FHOH WUHL SULQF ipii anterioare, între care
fundamental este principiul non-FRQWUDGLF LHL vQ YUHPH FH DGHY UXULOH
IDFWXDOHvúLDXWHPHLXOvQDFHVWDOSDWUXOHDSULQFLSLXDOUD LXQLLVXILciente.
suficiente vQ YLUWXWHD F UXLD FRQVLGHU P F QLFL XQ IDSW QX SRDWH IL
DGHY UDW VDX UHDO QLFL R SURSR]L LH YHULGLF I U V H[LVWH XQ WHPHL R
UD LXQH VXILFLHQW SHQWUX FDUH OXFUXULOH VXQW DúD úL QX DOWIHO GHúL
FH DOF WXLHVF 8QLYHUVXO RULFkW GH PLFL – PHUJkQG SkQ OD IDL moasele
PRQDGH µDWRPLL SVLKLFL¶ FH UHSUH]LQW VWUDWXO XOWLP HOHPHQWDU vQ
vQFkW ILHFDUH PRQDG RJOLQGHúWH WRDWH VFKLPE ULOH GLQ 8QLYHUV úL ILHFH
HQXQ WUHEXLH DFFHSWDW QXPDL SH ED]D XQRU WHPHLXUL vQWUXFkW ILHFDUH
VXILFLHQWH QH FHUH V UHVSLQJHP DILUPD LLOH QHVXV LQXWH GH QLFL XQ
DUJXPHQW UHOHYDQW GDU QH vQFXUDMHD] V QX QH vQGRLP OD QHVIkUúLW GH
DFHOH HQXQ XUL FDUH VXQW vQWHPHLDWH SH DQXPLWH GRYH]L úL SUREH suficient
30
GH WDUL SHQWUX D QH IXQGDPHQWD FRQYLQJHUHD F VXQWHP QX QXPDL
VXELHFWLYvQSRVHVLDXQRUDGHY UXULQHvQGRLHOQLFH
'LQSXQFWGHYHGHUHVWULFWORJLFSULQFLSLXOUD LXQLLVXILFLHQWHFHUH
ca orice proSR]L LH GLQWU-XQ VLVWHP GHGXFWLY V ILH DFFHSWDW FD WH] D
VLVWHPXOXL QXPDL GDF SRDWH IL ULJXURV GHULYDW LQIHUHQ LDO GLQ SURSR -
]L LLOH SULPLWLYH DSOLFkQGX VH PHUHX DFHOHDúL SX LQH GDU DEVROXW LQIDL
- -
OLELOHUHJXOLGHGHGXF LH
QXPDL OXL SULYLOHJLXO PLQ LLvQ HOHJ WRDUH úLDOJUDLXOXL FDSDELOV H[SOLFH
úLV RUGRQH]HVLVWHPDWLFVWUXFWXULOHJkQGLULLRPHQHúWLSULYLWHQXGRDUFD
lumii – JkQG SH FDUH +HJHO vO YD vQ O D OD FHD PDL vQDOW GHVI úXUDUH
GLDOHFWLF 7RFPDL GH DFHHD SULQFLSLLOH ORJLFLL FODVLFH DYHDX GLQFROR GH
VHPQLILFD LD ORU µWHKQLF ¶ DGkQFL vQ HOHVXUL PHWDIL]LFH FDUH OH SUR iectau
úLvQVIHUDWHPDWLF DVSHFXOD LLORURQWRORJLFH
GH DXUHROD úL GHPQLWDWHD ORU WUDGL LRQDO &RQVWUXLQGX VH GXS PRGHOXO
-
matematicii, ca XQ MRF LQWHOHFWXDO ED]DW SH FRQYHQ LL PDL PXOW VDX PDL
SX LQ DUELWUDUH úL QHLQWXLWLYH vQWU-un limbaj simbolic dezgolit de orice
VHPQLILFD LH HPSLULF VDX PHWDIL]LF VLVWHPHOH GLQ ORJLFD PRGHUQ DELD
GDF PHQ LRQHD] FHOH SDWUX SULQFLSLL FODVLFH LDU DWX nci când o fac
VSHFLILF SLHUGHUHDvQVHPQ W LLORUFDSULQFLSLLúLUHGXFHUHDORUODQLYHOXO
comun de legi oarecare, printre multe altele, din calculele logice –GXS FXP
YRPYHGHDúLQRLvQFDSLWROXOvQFDUHVHH[SXQHORJLFDSURSR]L LLORU
31
([HUFL LL
1. &DUH GLQWUH XUP WRDUHOH VXFFHVLXQL GH SURSR]L LL VXQW
YD IXUD XQ ERX G &LQH VH VFRDO GH GLPLQHD GHSDUWHDMXQJHH7RDWH
I 'DF vQYH L YHL OXD H[DPHQXO RU DL vQY DW – deci, vei lua examenul.
'DF XQLL VWXGHQ L QX VXQW VSRUWLYL DWXQFL XQLL VSRUWLYL QX VXQW VWXGHQ L
O 'DF XQHOH PDPLIHUH QX VXQW RDPHQL DWXQFL XQLL RDPHQL Q u sunt
mamifere. m) 'DF SORX P DSXF GH vQY DW RU QX SORX GHFL QX P
DSXF GH vQY DW Q 'DF YUHL SDFH SUHJ WHúWH WH GH U ]ERL R 6DQGX
-
MRDF IRWEDOVDXWHQLVQXMRDF IRWEDOGHFLMRDF WHQLV
2. &DUH GLQWUH XUP WRDUHOH LQIHUHQ H VXQW LQGXFWLYH úL FDUH VXQW
deductive?
D$P vPSUXPXWDW PDL PXOWH F U L GH OD GO ; úL WRDWH H rau foarte
groase;E QXLHVFF vQELEOLRWHFDOXLQXVXQWGHFkWDVHPHQHDF U LE'DF
vQVRUL YHL DYHD PXOWH UHVSRQVDELOLW L GDF DL PXOWH UHVSRQVDELOLW L WH
YHL F L GHFL GDF WH vQVRUL WH YHL F L I 'DF H IDOV F µ7RDWH
sunt echilateralH¶ J 'H FkWH RUL DP vQFHSXW R WUHDE LPSRUWDQW PDU HD
mi-D PHUV SURVW VH YHGH WUHDED F vQWU-DGHY UPDU HD DGXFHJKLQLRQK
Suma unghiurilor din orice triunghi este 180o; triunghiul ABC este
echilateral – prin urmare, unghiul BAC are 60o. i) Am fost la multe
32
SHWUHFHULI U *HOXúLQH DPGLVWUDWIRDUWHELQHRULGHFkWHRULHUDúLHOGH
-
ID V D O VDW FX VFDQGDOvQVHDPQ F *HOX HVWHXQVFDQGDODJLXM'DF
-
x2 UH]XOW F x = 5 sau (- 5). k) Steaua a avut mereu probleme pe
teren propriu cu PeWUROXO PLOLWDULL DX SUREDELO XQ FRPSOH[ vQ ID D
SORLHúWHQLORU O 'H FkWH RUL IXPH] SHVWH XQ SDFKHW GH LJ UL SH ]L DP
LQVRPQLL H[LVW SUREDELO R OHJ WXU vQWUH FDQWLWDWHD GH QLFRWLQ úL
DYRFD LVXQWILODWHOLúWLDWXQFLXQLLILODWHOLúWLVXQWDYRFD L
3. &DUH GLQWUH XUP WRDUHOH SURSR]L LL VXQW DQDOLWLFH úL FDUH VXQW
sinteWLFH"&DUHVXQWDGHY UDWHúLFDUHVXQWIDOVH"$UJXPHQWD L
a) Mamiferele sunt animale vivipare. b) Celibatarii sunt
SHUVRDQHOH QHF V WRULWH F )RUPHOH GH YLD GH SH 7HUUD VH ED]HD] SH
URúFDW K 2PXO HVWH R ILLQ UD LRQDO L 2PXO HVWH LQIOXHQ DW QHJDWLY
SVLKLF úL VRPDWLF GH H[SOR]LLOH VRODUH úL GH ID]HOH /XQLL M 3 WUDWXO
este
un romb cu un unghi drept. k) Trapezul are cinci laturi. l) Toate lebedele
sunt albe. m) Homo homini lupus est µ2PXO HVWH OXS ID GH RP¶ –
FHOHEUDPD[LP DOXL7KRPDV+REEHVGLQLeviathan). n) Anthropos zoon
politikon (‘Omul este un animal social’ – QX PDL SX LQ FHOHEUD PD[LP
din Politica lui ArisWRWHOR([LVW ILLQ HUD LRQDOHH[WUDWHUHVWUH
4. ÌQ ILHFDUH GLQWUH XUP WRDUHOH DUJXPHQWH FRQFOX]LD HVWH IDOV
GHúL DPEHOH SUHPLVH VXQW FHUW DGHY UDWH GLQ FDX]D QHUHVSHFW ULL XQXLD
dintre principiilH ORJLFH 6 VH DUDWH GHVSUH FH SULQFLSLX logic este vorba,
XQGHDUHORFvQF OFDUHDOXLúLvQFHDQXPHFRQVW HURDUHD
33
5. ÌQ WH[WHOH XUP WRDUH VH vQFDOF SULQFLSLLOH ORJLFH 'HVSUH FDUH
prinFLSLLHVWHYRUEDúLXQGHDSDUvQF OF ULOHORU"
a) ÄRUL V VH UHYL]XLDVF SULPHVFGDUV QX VHVFKLPEHQLPLF
RULV QXVHUHYL]XLDVF SULPHVFGDUDWXQFLV VHVFKLPEHSHLFLSHFROR
g) 1X P DúWHSW OD QLPLF EXQ GLQ SDUWHD JXYHUQ ULL SDUWLGXOXL P,
GHRDUHFHWR LFHLSHFDUH LúWLXHXSULQSDUWLGVXQWGLQDPRYLúWL
-
h) ( XQ PDUH IULJXURV GO GU ' ILLQGF VH SRDUW FX P QXúL FX
i) &UHG F H XQ PDUH PHORPDQ F FL O DP Y ]XW GH PXOWH RUL FX
-
JHDQWDSOLQ GHFDVHWHDXGLRúL&' XULUDUHúLVFXPSH
-
34
Logica termenilor
LOGICA TERMENILOR
35
Logică
36
Logica termenilor
Fie propoziţiile:
a) ‘Toate mamiferele sunt vertebrate.’ (adevărat)
b) ‘Nici un număr prim nu este divizibil cu 2.’ (fals)
c) ‘Unii studenţi sunt căsătoriţi.’ (adevărat)
Distingem în aceste propoziţii două clase de cuvinte sau ele-
mente lingvistice. Există, pe de o parte, componente care descriu forma
logică a propoziţiei, formă care poate cuprinde indiferent ce conţinut:
‘Toate...sunt...’; ‘Nici un...nu este...’; ‘Unii...sunt...’ etc.
Restul cuvintelor, care exprimă conţinutul (sensul) specific al
fiecărei propoziţii, sunt componente extralogice, care variază de la o
propoziţie la alta, prezenţa lor făcând ca fiecare propoziţie să spună
altceva, să exprime un înţeles propriu.
Vom numi termeni toate aceste componente extralogice ale pro-
poziţiilor simple de predicaţie – propoziţii în care unui obiect i se atribuie
sau i se respinge o anumită proprietate. Situaţi la nivel lingvistic, termenii
sunt asociaţi în logica tradiţională cu aşa-numitele noţiuni sau concepte.
Având în primul rând o semnificaţie psihologică şi episte-mologică,
noţiunea este o formă de cunoaştere, prin care se reflectă la nivel raţional
proprietăţile esenţiale ale claselor sau mulţimilor de obiecte. Toate
numerele prime au în comun însuşirea caracteristică de a nu fi divizibile
decât cu unu şi cu ele însele; toate poligoanele sunt linii frânte închise, iar
37
Logică
38
Logica termenilor
patrulater
poligon
39
Logică
40
Logica termenilor
41
Logică
abstracte concrete
după conţinut absolute relative
pozitive negative
2.5 Raporturi extensionale între noţiuni
42
Logica termenilor
A B
B A A B A B
a1 a2 a3 b
43
Logică
2.6 Definiţia
44
Logica termenilor
(3) ( A = B ) şi ( B = A )
df df
sunt lipsite de sens. În schimb, dacă A se defineşte prin B şi B se
defineşte prin C, atunci A se defineşte prin C; altfel spus, formula
(4) [( A = B ) şi ( B = C )] implică logic (A = C)
df df df
este logic corectă.
45
Logică
fizica, ci şi alte ştiinţe naturale, precum chimia sau biologia. Tot ina-
decvată este şi situaţia în care definiendum şi definiens se găsesc într-un
raport de încrucişare, acoperindu-se reciproc numai parţial din punct de
vedere al extensiunii, precum în definiţia:
‘Filosofia = cunoaşterea omului’,
df
vieţii psihice‘,
şi nici să utilizeze pe definiendum pentru propria sa definire, aşa cum este
cazul definiţiilor:
‘Cauză = obiect sau proces care precede şi produce (generează)
df
46
Logica termenilor
47
Logică
48
Logica termenilor
49
Logică
50
Logica termenilor
2.7 Clasificarea
51
Logică
încălcăm regula enunţată dacă, studiind lumea vie, după criteriul modului
de hrănire construim clasele autotrofe (plante care sintetizează materia vie
prin fotosinteză) şi heterotrofe (animale care consumă alte fiinţe vii
pentru a se hrăni), şi în care se adună laolaltă clasele ierbivore, carnivore
şi omnivore; clasa carnivore astfel delimitată nu include plantele
carnivore, care rămân astfel în afara clasificării.
2) Pe fiecare treaptă a clasificării, între clasele obţinute trebuie
să existe exclusiv raporturi de opoziţie; oricare element al clasificării tre-
buie să fie introdus într-o singură clasă şi numai într-una, neputând să
figureze în două sau mai multe clase deodată. Dacă, de exemplu,
clasificăm instrumentele muzicale acustice (non-electronice) după modul în
care produc sunete în instrumente de suflat, cu coarde şi de percuţie,
pianul s-ar găsi o dată în clasa instrumentelor cu coarde, altă dată în clasa
celor de percuţie.
3) Pe aceeaşi treaptă, criteriul de clasificare trebuie să fie unic;
aceleaşi elemente pot fi clasificate după criterii diferite, dar nu în acelaşi
timp. Păstrând criteriul de clasificare, operaţia se poate efectua din
aproape în aproape sau treaptă cu treaptă, până la epuizarea obiectelor de
clasificat. Grupând populaţia activă în categorii profesionale după nivelul
de calificare, vom introduce în clasa intelectualităţii toţi oamenii şi numai
oamenii cu studii superioare, făcând abstracţie de faptul că, din alte
puncte de vedere, intelectualitatea poate fi privită mai curând filosofic, ca
o condiţie existenţială, sau psihologic, ca tip caracterologic, decât ca o
categorie socio-profesională, primind în cadrul ei numai indivizii care
dedică în mod creativ o mare parte din timpul şi energia lor sufletească
acumulării, asimilării critice şi producerii de idei sau cunoştinţe,
indiferent de nivelul studiilor atestate prin diplome universitare sau nu.
4) Asemănările dintre obiectele aflate în aceeaşi clasă trebuie să
fie mai importante decât deosebirile dintre ele. Aici se pune problema
relevanţei criteriilor de clasificare. Într-o clasificare superficială, delfinii
sau balenele ar sta alături de peşti, având în vedere mediul în care trăiesc,
forma corpului şi modul de locomoţie – criterii după care, la rândul lor,
liliecii s-ar situa alături de păsări în clasa zburătoarelor. După criteriul
mai esenţial al modului de reproducere, însă, atât balenele şi delfinii, cât
şi liliecii fac parte din clasa mamiferelor – asemănările fiind, pe acest
52
Logica termenilor
2.8 Diviziunea
Numită şi ‘clasificare analitică’, diviziunea este operaţia logică
prin care, pornind de la o noţiune generală, dezvăluim întâi speciile
acesteia, apoi subspeciile fiecăreia dintre ele, continuând astfel, din treaptă
în treaptă, până ce ajungem la obiectele individuale care aparţin clasei
denotate de termenul iniţial.
În structura diviziunii aflăm aceleaşi componente ca şi la
clasificare, dispuse în ordine inversă:
obiectul diviziunii – o noţiune generală luată ca gen şi împărţită în
specii, subspecii ş. a. m. d.
criteriul diviziunii – însuşirile pe baza cărora se grupează speciile şi
subspeciile;
membrii (elementele) diviziunii.
Regulile diviziunii coincid, în mare măsură, cu regulile clasifi-
cării:
1) Diviziunea trebuie să fie completă, astfel încât membrii divizi-
unii să epuizeze obiectul operaţiei; grupaţi laolaltă, aceştia trebuie să
acopere o extensiune identică celei ce aparţine termenului iniţial.
53
Logică
54
Logica termenilor
55
Logică
56
Logica termenilor
subcontrarietate
SiP SoP
57
Logică
58
Logica termenilor
59
Logică
S P
SaP + –
SeP + +
SiP – –
SoP – +
60
Logica termenilor
2.12.1 Conversiunea
S–P
→
c
P–S
convertenda conversa
Nu toate tipurile de propoziţii categorice se convertesc în acelaşi
mod.
61
Logică
62
Logica termenilor
63
Logică
2.12.2 Obversiunea
S—P
→
o
S−P
obvertenda obversa
64
Logica termenilor
→ c
S iP →o
S oP
2. (a) SeP → PeS
c
→ Pa S
o
→
c
S iP
→
o
S oP
(b) SeP → Sa P
o
→ P iS
c
→ P o S
o
(b) SiP → So P
o
4. SoP
→ Si P
o
→
c
P iS →
o
PoS
După cum se poate observa, şirurile de inferenţe alternative se
încheie de fiecare dată cu o propoziţie particular negativă, care nu se mai
poate converti. Propoziţia conversă a obversei se numeşte contrapusă
parţială (procedeul de obţinere numindu-se contrapoziţie parţială), iar
obversa contrapusei parţiale, obţinută prin contrapoziţie totală, se
numeşte contrapusă totală. Se numeşte inversă a unei propoziţii o altă
propoziţie implicată logic de ea şi care are ca subiect contradictoriul
subiectului ei. Inverse nu au decât propoziţiile universale ( S iP şi S o P
sunt inversele lui SaP; S iP şi S o P sunt inversele lui SeP).
65
Logică
66
Logica termenilor
MaP P
SaM M
SaP
S
67
Logică
premise (de unde caracterul mai greoi, oarecum forţat din perspectiva
intuiţiei al deducţiilor silogistice din această figură).
Figurile silogistice se transformă din structuri abstracte în scheme
de inferenţă numai dacă specificăm tipurile de propoziţii (A, E, I sau O)
ce apar drept premise şi concluzie. De exemplu, o premisă majoră din
figura I, de structura M — P, poate fi o propoziţie de forma MaP, MeP,
SiP sau SoP. Considerând acest aspect, în fiecare figură sunt posibile câte
64 de combinaţii, numite moduri silogistice. Numărul total de construcţii
sau moduri silogistice este considerabil: 4 × 64 = 256. Pentru notaţia
simbolică a fiecărui mod silogistic posibil adoptăm următorul procedeu: o
succesiune de trei litere (a, e, i sau o) indică tipurile de propoziţii care
alcătuiesc premisele şi concluzia modului silogistic respectiv, iar una din
cifrele 1, 2, 3 sau 4, alăturată grupului de litere, indică figura silogistică,
respectiv modul de dispunere a termenilor în premise. De exemplu, aaa-1
redă simbolic un silogism de forma:
MaP
SaM
SaP
eio-2 reprezintă un silogism în figura a II-a, de forma:
PeM
SiM
SoP
68
Logica termenilor
P (c)
S M
P (b) P (a)
69
Logică
(a) şi (b) sunt contradictorii: una dintre concluziile SeP sau SiP este
inevitabil falsă; or, în orice inferenţă validă, din premise adevărate se
obţin întotdeauna numai concluzii adevărate. Rezultă că un silogism în
care M nu este măcar o dată distribuit nu poate fi valid. Intuitiv,
conţinutul propoziţiilor ne spune, de regulă, care dintre variantele
posibile trebuie aleasă pentru a avea o concluzie adevărată. Pe aceeaşi
schemă silogistică putem construi următoarele înlănţuiri de propoziţii:
(i) Toate pătratele sunt patrulatere PaM
Unele poligoane regulate sunt patrulatere SiM
Unele poligoane regulate sunt pătrate SiP
(ii) Toate ciorile sunt negre PaM
Unele lebede sunt negre SiM
Nici o lebădă nu este cioară SeP
În cazul (i) se potriveşte soluţia (b); în cazul (ii), soluţia (a) – dar
opţiunea pentru o concluzie sau alta nu se face în virtutea formei logice,
ci a conţinutului sau a sensului propoziţiilor, cunoscut empiric.
(L.2) Nici unul din termenii extremi ai silogismului nu poate fi
distribuit în concluzie decât dacă este distribuit şi în premisa în care
apare.
Această cerinţă a fost enunţată şi explicată ca regulă generală a
tuturor inferenţelor cu propoziţii categorice. Nerespectarea acestei legi
duce la comiterea următoarelor erori logice:
(a) majorul ilicit; fie silogismul:
Toţi marinarii sunt beţivi Ma P
−
70
Logica termenilor
P
(a) S M
(b) S (c) S
Concluziile posibile sunt: (a) SeP; (b) SiP sau SoP; (c) SaP.
Găsim aici o pereche de contradicţii logice, între SaP şi SoP, pe de o
parte, şi între SeP şi SiP, de cealaltă parte; prin urmare, schema silogistică
nu este validă.
(b) minorul ilicit; fie silogismul:
Nici o pasăre nu e vivipară MeP
Toate păsările sunt bipede MaS
–
Nici un biped nu este vivipar SeP
+
Termenul minor S apare distribuit în concluzie (ca subiect logic
de propoziţie universală), dar este nedistribuit în premisa minoră (ca
predicat logic de propoziţie afirmativă). Din nou reprezentarea grafică a
celor două premise face posibile mai multe concluzii, două dintre acestea
fiind contradictorii; deci, raţionamentul nu este valid.
S
P (a) S e P
P (a) (b) S i P sau
SoP
M P (c) (c) S i P
(b)
71
Logică
mediu, astfel încât premisele se referă numai la acele părţi din sferele lui
S şi P care se suprapun cu M; stabilind un raport de excludere între
extremi, o concluzie negativă s-ar referi la acele părţi din sferele lui S şi P
nesuprapuse sferei lui M, părţi despre care premisele nu oferă nici o
informaţie.
(L.4) Cel puţin o premisă trebuie să fie afirmativă (sau, într-o
formulare echivalentă: Un silogism cu două premise negative nu poate fi
valid).
Raţiunea acestei legi este foarte simplă: dacă ambele premise sunt
negative, atunci fiecare din ele se referă la ceea ce S, respectiv P nu au în
comun cu M; în acest caz, termenul mediu, fiind separat atât de S, cât şi
de P, nu poate spune absolut nimic despre relaţia dintre termenii extremi,
care se pot găsi în oricare din tipurile posibile de raporturi extensionale.
Dacă ‘Nici un om nu este pasăre’ şi ‘Nici o pasăre nu are trei picioare’,
din aceste două propoziţii nu derivă logic nici o concluzie necesară, ci se
poate spune orice sau nimic.
(L.5) Dintr-o premisă afirmativă şi alta negativă nu poate
rezulta decât o concluzie negativă.
Premisa afirmativă enunţă un raport de concordanţă între M şi
termenul extrem pe care îl conţine. Cealaltă premisă fiind negativă,
enunţă un raport de opoziţie între M şi celălalt termen extrem. Implicit se
stabileşte un raport de opoziţie între S şi P, în sensul că acela dintre ei
care se află în premisa negativă este separat de orice element aflat în zona
de coincidenţă a sferei celuilalt termen extrem cu sfera termenului mediu.
72
Logica termenilor
73
Logică
74
Logica termenilor
75
Logică
Concluzia modului perfect este PiS; din aceasta decurge însă prin
conversiune simplă exact concluzia silogismului imperfect de la care am
pornit: PiS
→c
SiP. Şi acest mod silogistic se consideră, prin urmare,
valid.
76
Logica termenilor
Să vedem, spre ilustrare, cum se reduce modul Cesare, din fig. II.
Consoana iniţială ne spune că reducerea se realizează aducând silogismul
din fig. II la modul perfect Celarent, din fig. I. Iar consoana interioară s
ne semnalează faptul că reducerea se bazează pe conversiunea simplă a
premisei majore din modul Cesare.
77
Logică
PeM →c
MeP
SaM SaM
SeP SeP
Modul Camestres (fig. II) se reduce tot la Celarent (fig. I), dar
procedura este mai laborioasă, fiind necesară inversarea premiselor şi o
dublă conversiune.
PaM SeM →c
MeS
SeM PaM PaM
SeP PeS
→
c
SeP
Inversarea premiselor este necesară şi pentru reducerea modului
Dimaris (fig. IV) la modul perfect Darii (fig. I).
PiM MaS
MaS PiM
SiP PiS →c
SiP
78
Logica termenilor
79
Logică
80
Logica termenilor
81
Logică
82
Logica termenilor
S—M
S—P
Rezultă imediat că una dintre premise trebuie să fie negativă, căci
numai astfel – ca predicat logic de propoziţie negativă – M poate fi
distribuit, aşa cum o cere (L.1). De aici rezultă următoarele consecinţe
logice:
• având o premisă negativă, concluzia nu poate fi decât negativă (L.5)
• în concluzie, P este distribuit (ca predicat de propoziţie negativă)
• distribuit în concluzie, P trebuie să fie distribuit şi în premisa majoră
(L.2)
• având în premisa majoră funcţia logică de subiect, P poate fi
distribuit numai dacă această premisă este o propoziţie univer-sală.
Regulile speciale ale figurii a II-a sunt, aşadar, următoarele:
R.1(II) premisa majoră universală
R.2(II) o premisă negativă
83
Logică
84
Logica termenilor
85
Logică
86
Logica termenilor
• aceasta nu se poate realiza decât dacă premisa majoră (în care P este
subiect logic) este universală.
H3 Ce se întâmplă dacă premisa majoră este afirmativă?
• în premisa majoră afirmativă, M este nedistribuit (ca predicat de
propoziţie afirmativă)
• întrucât M trebuie să fie măcar o dată distribuit (L.1), singura
posibilitate în acest sens este ca premisa minoră (în care M este
subiect logic) să fie o propoziţie universală
H4 În sfârşit, să presupunem că premisa minoră este o propoziţie
afirmativă.
• în premisa minoră, S este nedistribuit (ca predicat de propoziţie
afirmativă)
• rezultă că S trebuie să fie tot nedistribuit şi în concluzie (L.2)
• concluzia va fi, deci, o propoziţie particulară.
Putem sintetiza aceste demonstraţii în numai trei reguli speciale
ale figurii a IV-a:
R.1(IV) Dacă o premisă este negativă, atunci:
• acea premisă este şi universală (ceea ce înseamnă că în
silogismele din figura a IV-a nu se admite premise particular
negative)
• premisa majoră este o propoziţie universală
R.2(IV) Dacă premisa majoră este afirmativă, atunci premisa
minoră trebuie să fie o propoziţie universală
R.3(IV) Dacă premisa minoră este afirmativă, atunci concluzia
este o propoziţie particulară
87
Logică
2.18.1 Entimema
88
Logica termenilor
89
Logică
2.18.3 Epicherema
90
Logica termenilor
Exerciţii
*
Exerciţiile 1 - 34 sunt reproduse ori adaptate după A. Cazacu, Logica fără profesor, Humanitas,
Bucureşti, 1998, passim
91
Logică
Marea Piramidă a lui Kheops este una dintre minunile Antichităţii; deci,
Marea Piramidă este şapte. Să se explice în ce constă eroarea logică din
aceste inferenţe, care conduc la concluzii false, ba chiar evident absurde.
6. Deosebiţi noţiunile general-colective de cele individual-colec-
tive: echipaj, familia Enăchescu, floră, Biblioteca Municipală ‘M. Sado-
veanu’, trupă, familie, faună, Armata României, Pădurea Băneasa, turmă,
stol, muşuroi de furnici.
7. Deosebiţi noţiunile precise de cele vagi: triunghi, centaur, ele-
ment chimic, victorie, electron, blândeţe, inteligent, frumos, număr prim,
talentat, vertebrat, colosal, funcţie trigonometrică, tânăr, grămadă, chel,
trecut, cireadă, cârd.
8. Deosebiţi noţiunile abstracte de cele concrete: dârzenie, tren,
facultate, inegalitate, agilitate, frumuseţe, carte, patruped, intransingenţă,
transparenţă, automobil, mobilitate, verdeaţă, albăstreală, rigiditate, bună-
tate, teren, citate, elasticitate, frică, temeritate.
9. Se dau inferenţele: a) Albul este o culoare; George este alb;
prin urmare, George este o culoare. b) Frumosul este pasiunea artiştilor;
Ion este frumos; deci, Ion este pasiunea artiştilor. c) Sublimul este o cate-
gorie estetică; apusul de soare este sublim; rezultă că apusul de soare este
o categorie estetică. Să se explice în ce constă eroarea logică din aceste
inferenţe.
10. Deosebiţi noţiunile absolute şi cele relative: număr par,
funcţie trigonometrică, raport, nevertebrat, omonim, biunivoc, ziarist,
frate, complementaritate, coincidenţă, soţie, prieten, însoţitor, cititor,
asociat.
11. Presupunem adevărate următoarele propoziţii: a) Această
carte îi aparţine lui Vasile. b) Vasile este fratele meu. Putem extrage din
aceste două propoziţii concluzia: ‘Această carte îmi aparţine’?
12. Deosebiţi noţiunile independente şi cele dependente (corela-
tive): student, cauză, pozitiv, bun, ilegal, triunghi, drept, înalt, negaţie,
vapor, scurt, relativ, albastru, vânzător, creditor, mire, duşman, tată.
13. Deosebiţi noţiunile pozitive şi cele negative: nevoie,
antitalent, dezagreabil, independenţă, introspecţie, anticorp, infirmitate,
infirmerie, infirmare, dezonoare, nefast, nebun, ataşament, agramat,
abolit, dezlipit, dezordonat, orb, surd, mut, mort, om, neom.
92
Logica termenilor
93
Logică
a) b) c) d) e)
concretă concretă abstractă abstractă nici una
relativă absolută relativă absolută
independentă independentă corelativă corelativă
pozitivă negativă pozitivă negativă
(iii) ‘Caraghios’
a) b) c) d) e)
abstractă abstractă concretă concretă nici una
absolută relativă absolută relativă
independentă corelativă independentă corelativă
pozitivă negativă pozitivă pozitivă
17. Comparaţi următoarele serii de noţiuni din punctul de vedere
al mărimii sferei, apoi al mărimii conţinutului; evidenţiaţi corelaţiile dintre
ele: a) paralelogram, pătrat, patrulater convex, poligon, dreptunghi; b)
mamifer, vertebrat, biped, animal, om; c) plantă, conifer, organism, brad,
arbore; d) timişorean, om, european, român, bănăţean, sud-est-european.
18. Indicaţi contrarele şi contradictoriile următoarelor noţiuni:
număr par, verde, zi, orb, mamifer, plăcut, bun, dreptunghi.
19. Pentru fiecare dintre noţiunile ‘om’, ‘savant’, ‘mamifere’,
găsiţi alte patru noţiuni, aflate cu noţiunile date în toate raporturile de
concordanţă posibile (identitate, subordonare, supraordonare, încruci-
şare).
20. Pentru fiecare dintre noţiunile ‘musulman’, ‘cântăreţ’, ‘tri-
unghi’ găsiţi alte şase noţiuni, aflate cu noţiunile date în toate cele şase
raporturi extensionale posibile (identitate, subordonare, supraordonare,
încrucişare, contradicţie şi contrarietate).
21. Fie noţiunile A, B şi C astfel încât: între A şi B există un
raport de încrucişare, iar C, deşi este în raport de opoziţie cu A, este
subordonată faţă de B. Reprezentaţi grafic aceste raporturi şi construiţi
toate formele propoziţionale care au în componenţa lor exclusiv aceste
noţiuni.
22. Reprezentaţi grafic sferele a trei noţiuni A, B şi C care se află
în următoarele raporturi extensionale: noţiunea C este gen faţă de A şi B,
94
Logica termenilor
iar acestea din urmă se află în raport de opoziţie între ele. Formulaţi toate
formele propoziţionale care au în componenţa lor exclusiv aceste noţiuni.
23. Reprezentaţi prin diagrame Euler raporturile dintre noţiunile
de mai jos, folosind literele A, B, C etc. care corespund noţiunilor: carte
scrisă de un profesor de logică, manual şcolar, manual de logică, volum
de versuri scris de un profesor, manual.
24. Rezolvaţi cu ajutorul diagramelor Euler următoarea problemă:
Andrei are prieteni numai printre prietenii lui Bogdan, iar printre cei cu
care Cornel nu este prieten se află toţi prietenii lui Andrei şi unii dintre
cei ai lui Bogdan. În schimb, toţi prietenii lui Doru sunt prietenii lui
Cornel, dar nu şi ai lui Bogdan. Au oare Andrei şi Doru prieteni comuni?
25. Noţiunea A se află în raport de încrucişare cu noţiunea B, iar
o a treia noţiune C se află în raport de încrucişare cu B, dar de subordona-
re faţă de A. Reprezentând prin diagrame Euler raporturile extensionale
dintre noţiunile de mai sus, putem enunţa următoarele forme propoziţi-
onale?
a) Toţi C sunt B c) Unii A sunt B
b) Nici un A nu este B d) Nici un C nu este A
26. Noţiunea A este specie a noţiunii B, iar noţiunea C se află în
raport de opoziţie cu noţiunea A. Arătaţi prin diagrame Euler dacă
raportul dintre cele trei noţiuni întemeiază forma propoziţională: ‘Nici un
B nu este C’.
27. Dacă noţiunea A se află în raport de încrucişare cu noţiunea
B, iar a treia noţiune C se află în raport de încrucişare cu B, ce raport va
exista între A şi C?
28. Membrii unei familii de vegetarieni se deosebesc unii de alţii
după preferinţele lor culinare, deoarece: Doar cei care mănâncă praz con-
sumă cu plăcere spanac, în timp ce aceia care mănâncă spanac nu se ating
nici în ruptul capului de morcovi, ca de altfel şi o parte din consumatorii
de praz; pe de altă parte, toţi cei care mănâncă spanac şi toţi cei care
mănâncă morcovi consumă cu deosebită plăcere cartofi, dar nu toţi cei
care preferă prazul se simt atraşi de cartofi. Prezentaţi structura acestei
familii sub forma raporturilor dintre noţiuni.
29. În urma unui sondaj de opinie, la nivelul unei clase de elevi,
privind programele de televiziune, preferinţele s-au îndreptat asupra a
95
Logică
96
Logica termenilor
97
Logică
98
Logica termenilor
renumiţi. f) Cine fuge după doi iepuri nu prinde nici unul. g) Există un
singur metal care este lichid.
38. Construiţi contrapusele parţiale şi totale ale propoziţiilor: a)
Numerele impare au pătrate impare. b) Unii bursieri nu sunt căminişti.
39. (Keynes) Determinaţi relaţiile logice dintre următoarele
propoziţii considerate două câte două: a) Toate cristalele sunt solide. b)
Unele solide nu sunt cristale. c) Unele substanţe ce nu sunt cristale nu
sunt solide. d) Nici un cristal nu este solid. e) Unele cristale sunt solide. f)
Unele substanţe ce nu sunt solide nu sunt cristale. g) Toate solidele sunt
cristale.
40. (P. Bieltz) Reformulaţi următoarele propoziţii astfel încât ele
să aibă acelaşi subiect şi acelaşi predicat logic şi arătaţi ce raporturi există
între ele: (1) Toţi A sunt non-B. (2) Unii non-A sunt B. (3) Nici un non-A
nu este B. (4) Unii A sunt B.
41. (P. Bieltz) Să se formeze din următoarele propoziţii toate
perechile posibile şi pentru fiecare pereche în parte să se arate dacă una
din propoziţii poate fi derivată corect din cealaltă prin inferenţe imediate:
(1) Orice acţiune inumană este nejustificabilă.
(2) Orice acţiune nejustificabilă este inumană.
(3) Unele acţiuni justificabile nu sunt inumane.
(4) Nici o acţiune justificabilă nu este inumană.
(5) Unele acţiuni inumane nu sunt nejustificabile.
(6) Unele acţiuni care nu sunt inumane nu sunt nejustificabile.
(7) Unele acţiuni justificabile sunt inumane.
42. Verificaţi validitatea următoarelor inferenţe: a) Dacă nici o
pasăre nu e patruped, atunci nici un patruped nu este pasăre. b) Dacă
numai unii sportivi sunt campioni, atunci numai unii campioni sunt
sportivi. c) Dacă toţi celibatarii sunt necăsătoriţi, atunci toate persoanele
necăsătorite sunt celibatari. d) Dacă toţi oamenii bogaţi sunt zgârciţi,
atunci toţi oamenii săraci sunt generoşi. e) Dacă toţi măgarii au urechi
lungi, atunci toate animalele care nu sunt măgari au urechi scurte.
f) Dacă orice prost este fudul, atunci orice deştept este modest.
43. Se consideră adevărată propoziţia: ‘Nici un militar nu este
fricos‘. Care dintre următoarele propoziţii poate fi derivată în mod valid
din propoziţia iniţială? a) ‘Unii civili sunt fricoşi’; b) ‘Toţi militarii sunt
99
Logică
100
Logica termenilor
101
LOGICA PROPOZIŢIILOR
102
Logica propoziţiilor
103
Logică
104
Logica propoziţiilor
105
Logică
106
Logica propoziţiilor
107
Logică
cealaltă falsă, neputând fi nici ambele adevărate, nici ambele false). Dată
fiind, de exemplu, propoziţia ‘Toate triunghiurile sunt echilaterale’ –
desigur, falsă – negaţia ei poate primi diferite expresii în limbajul natural:
‘Nu toate triunghiurile sunt echilaterale’; ‘Unele triunghiuri nu sunt
echilaterale’; ‘Numai unele triunghiuri sunt echilaterale’. Toate aceste
expresii au, însă, unul şi acelaşi sens, pe care îl redă cel mai bine
formularea standard a negaţiei: ‘Nu este adevărat’ (respectiv ‘E fals’) că
toate triunghiurile sunt echilaterale”.
Lucrările de logică matematică utilizează diferite notaţii sim-
bolice ale negaţiei; luând o variabilă propoziţională oarecare p, negaţia ei,
citită în toate cazurile ‘nu p’ sau ‘non-p’, poate fi notată ~ p, p’ sau Np
(în aşa-numita notaţie poloneză, consacrată de Lukasiewicz); în cele ce
urmează, vom adopta pentru negaţia unei propoziţii oarecare p simbolul
p.
Proprietăţile logice ale negaţiei apar foarte limpede în următorul
tabel:
p p p
1 0 1
0 1 0
O variabilă propoziţională oarecare p putând avea numai două
valori alethice, 1 = ‘adevărat’ sau 0 = ‘fals’, negaţia ei p va avea,
conform definiţiei, valori logice opuse. Interesant este faptul că negând
propoziţia negativă p , se obţin pentru p aceleaşi valori logice ale
variabilei iniţiale p. De aici se desprinde o primă lege logică în calculul
propoziţional, numită legea dublei negaţii:
(L.1) p≡ p
sau, generalizând cu ajutorul meta-variabilelor,
A≡ A
‘A’ simbolizează o expresie propoziţională oarecare, iar simbolul
‘≡’ se citeşte ‘este logic echivalent cu’ şi semnifică faptul că termenii
relaţiei au întotdeauna aceeaşi valoare logică, putându-se oricând
108
Logica propoziţiilor
109
Logică
p q p∧q
1 1 1
1 0 0
0 1 0
0 0 0
110
Logica propoziţiilor
111
Logică
p q p ∨ q p+q
1 1 1 0
1 0 1 1
0 1 1 1
0 0 0 0
După cum s-a văzut până aici, pentru a afla valoarea logică a unor
propoziţii compuse de forma p , p ∧ q, p ∨ q, p + q este suficient să
cunoaştem valorile de adevăr ale componentelor propoziţionale p şi q,
întrucât acestea determină în mod univoc valoarea logică a propoziţiei
compuse. Cu alte cuvinte, fiecăruia dintre operatorii ‘-’, ‘∧’, ‘ ∨ ’, ‘+’ i se
asociază câte o funcţie (în sens algebric) definită pe mulţimea valorilor
alethice [1, 0] şi având ca domeniu de valori aceeaşi mulţime [1, 0]. Iată
de ce propoziţiile compuse, precum şi expresiile propoziţionale se mai
numesc şi funcţii de adevăr, definite prin matrici sau tabele de adevăr,
iar operatorii (conectorii) logici mai poartă şi denumirea de functori
propoziţionali.
112
Logica propoziţiilor
113
Logică
114
Logica propoziţiilor
115
Logică
alte cuvinte, dacă premisele sunt false şi inferenţa nu conţine nici un viciu
de construcţie logică, concluzia nu poate fi decât falsă.
116
Logica propoziţiilor
117
Logică
118
Logica propoziţiilor
119
Logică
120
Logica propoziţiilor
• (p → q) ↔ p ∧ q (L.6)
• p∧q↔ p∨q (L.10 şi L.1)
(D.2) (p ↔ q) ↔ ( p ∨ q) ∧ ( q ∨ p)
• (p ↔ q) ↔ (p → q) ∧ (q → p) (L.4)
• (p → q) ↔ p ∨ q (D.1)
• (q → p) ↔ q ∨ p (D.1)
(D.3) (p + q) ↔ (p ∧ q ) ∨ (q ∧ p )
• (p + q) ↔ p ↔ q (L.4)
• (p ↔ q) ↔ ( p ∨ q) ∧( q ∨ p) (D.2)
• (p + q) ↔ ( p ∨ q ) ∧ ( q ∨ p ) (L.4); (D.2)
• prin echivalenţele lui de Morgan, aplicate succesiv:
( p ∨ q ) ∧ (q ∨ p ) ↔ p ∨ q ∨ q ∨ p ↔ ( p ∧ q ) ∨ (q ∧ p )
(D.4) (p ↑ q) ↔ p ∨ q
• (p ↑ q) ↔ p ∧ q (L.2)
• p ∧ q↔ p ∨q (L.9)
(D.5) (p ↓ q) ↔ p ∧ q
• (p ↓ q) ↔ p ∨ q (L.3)
• p ∨ q↔ p ∧q (L.8)
121
Logică
122
Logica propoziţiilor
p q r p q p ∧q ( p ∧q ) → r
1 1 1 0 0 0 1
1 1 0 0 0 0 1
1 0 1 0 1 0 1
1 0 0 0 1 0 1
0 1 1 1 0 0 1
0 1 0 1 0 0 1
0 0 1 1 1 1 1
0 0 0 1 1 1 0
Numărul de linii dintr-un astfel de tabel (respectiv numărul com-
binaţiilor de valori ale componentelor atomice) este întotdeauna 2n – unde
n = numărul componentelor atomice din expresia propoziţională a cărei
funcţie de adevăr se calculează. În exemplul de mai sus, expresia având 3
componente atomice, tabelul ei de adevăr are 23 = 8 linii. F1 fiind o
formulă simplă, se poate afla destul de uşor şi fără tabel de adevăr că ea
este falsă numai într-un singur caz, atunci când toate componentele ei
atomice sunt false. Fiind de formă condiţională, formula nu poate fi falsă
decât dacă antecedentul ei p ∧ q este adevărat, iar consecventul r fals.
Or, antecedentul fiind o conjuncţie, nu poate fi adevărat decât dacă
ambele componente atomice p şi q sunt adevărate, adică numai dacă p
şi q sunt false. Pentru orice altă distribuţie de valori ale componentelor
atomice, formula va fi adevărată – fie pentru că antecedentul este fals
(liniile 1 - 6), fie deoarece consecventul e adevărat (liniile 1, 3, 5, 7).
123
Logică
124
Logica propoziţiilor
125
Logică
126
Logica propoziţiilor
127
Logică
128
Logica propoziţiilor
(R.7) (1 → A) = A (R.14) (A ↑ 0) = 1
(R.8) (0 → A) = 1 (R.15) (A ↓ 1) = 0
(R.9) (A ↔ 1) = A (R.16) (A ↓ o) = A
129
Logică
130
Logica propoziţiilor
(L.17) p ∧ (q ∨ r) ↔ (p ∧ q) ∨ (p ∧ r)
(L.18) p ∨ (q ∧ r) ↔ (p ∨ q) ∧ (p ∨ r)
131
Logică
132
Logica propoziţiilor
133
Logică
(A) (p ∧ q) → r
(B) r ∧p
(C) q
Verificăm printr-un tabel de adevăr dacă premisele implică logic
concluzia acestui raţionament:
p q r r p∧q (A) (B) (C)
1 1 1 0 1 1 0 0
1 1 0 1 1 0 1 0
1 0 1 0 0 1 0 1
134
Logica propoziţiilor
1 0 0 1 0 1 1 1
0 1 1 0 0 1 0 0
0 1 0 1 0 1 0 0
0 0 1 0 0 1 0 1
0 0 0 1 0 1 0 1
Se vede că o singură combinaţie de valori logice ale componen-
telor atomice face simultan adevărate ambele premise – situaţie în care şi
concluzia are valoarea 1; deci, raţionamentul este valid.
Iată cum arată tabelul de adevăr al unui raţionament invalid:
Dacă eşti modest, atunci dacă reuşeşti în carieră, vei fi invidiat.
Dacă eşti invidiat, înseamnă că nu eşti modest.
Deci, dacă eşti invidiat, înseamnă că nu reuşeşti în carieră.
Propoziţiile atomice sunt: p = ‘Eşti modest’; q = ‘Reuşeşti în
carieră’; r = ‘Eşti invidiat’. Iată şi formulele care exprimă premisele şi
concluzia acestui raţionament:
(A) p → (q → r)
(B) r→ p
(C) r→ q
Să vedem ce ne arată acum tabelul de adevăr:
p q r p q q→r (A) (B) (C)
1 1 1 0 0 1 1 0 0
1 1 0 0 0 0 0 1 1
1 0 1 0 1 1 1 0 1
1 0 0 0 1 1 1 1 1
0 1 1 1 0 1 1 1 0
0 1 0 1 0 0 1 1 1
0 0 1 1 1 1 1 1 1
0 0 0 1 1 1 1 1 1
Pe linia a cincea se observă că cele două premise sunt adevărate,
însă concluzia este falsă; rezultă că raţionamentul nu este valid, întrucât
concluzia lui nu este o consecinţă logică a premiselor.
Un astfel de raţionament se poate scrie şi pe o singură linie, ca o
singură formulă condiţională, în care conjuncţia premiselor implică logic
concluzia: (A ∧ B) → C. În cazul unui raţionament valid, expresia
135
Logică
136
Logica propoziţiilor
137
Logică
138
Logica propoziţiilor
139
Logică
E x e m p l u l 1 . Fie raţionamentul:
Dacă nu ninge ( p ), mergem la schi (q)
Nu mergem la schi ( q ), ci jucăm bridge (r)
Deci, ninge (p)
Iată şi deducţia efectuată cu ajutorul schemelor deductive
elementare:
(1) 1. p →q P1
(2) 2. q ∧r P2
(2) 3. q 2 (S)
(1,2) 4. p 1,3 (TT)
(1,2) 5. p 4 (L.1)
E x e m p l u l 2 . Fie raţionamentul:
Dacă nu avem bani, nu cumpărăm computerul.
Dacă mergem des la discotecă, nu avem bani.
Cumpărăm computerul sau îl primim cadou.
Nu ne face nimeni cadou un computer.
Deci, nu mergem des la discotecă.
Notăm propoziţiile atomice: p = ‘Avem bani’; q = ‘Cumpărăm
computerul’; r = ‘Mergem des la discotecă’; s = ‘Primim computerul
cadou’. Simbolic, premisele, deducţia şi concluzia se prezintă după cum
urmează:
140
Logica propoziţiilor
(1) 1. p →q P1
(2) 2. r→ p P2
(3) 3. q∨s P3
(4) 4. s P4
(1, 2) 5. r→ q 2, 1 (SI)
(3, 4) 6. q 3, 4 (TP)
(4) 7. q 6 (L.1)
(1,2,3,4) 8. r 5, 7 (TT)
Demonstraţia se putea face şi altfel:
(1) 1. p →q P1
(2) 2. r→ p P2
(3) 3. q∨s P3
(4) 4. s P4
(3, 4) 5. q 3, 4 (TP)
(3, 4) 6. q 5 (L.1)
(1, 3, 4) 7. p 1, 6 (TT)
(1,2,3,4) 8. r 2, 7 (TT)
E x e m p l u l 3 . Fie raţionamentul:
Dacă Mihai câştigă (p), atunci Radu e al doilea (q)
Dacă Vlad e al doilea (r), atunci Radu nu e al doilea ( q )
Dacă Vlad e al doilea (r), atunci Mihai nu câştigă ( p )
Simbolic, raţionamentul arată astfel:
p→q
r→ q
r→ p
Putem demonstra uşor prin metoda matricială că raţionamentul
este valid. Dacă recurgem la schemele elementare de deducţie, constatăm
141
Logică
(p → q), (r → q ) ⇒ r → p 1, 2 ⇒ 6
Generalizând, vom formula Cd astfel: Expresia B → C este
demonstrată într-o deducţie ale cărei premise iniţiale sunt A1, A2,..., An,
142
Logica propoziţiilor
Exerciţii
143
Logică
4. (după P. Suppes)
(a) Dacă p ↔ q reprezintă o propoziţie adevărată, iar q ∨ r una
falsă, care este valoarea de adevăr a propoziţiei reprezentate de p?
(b) Dacă formula p ↔ q este adevărată, ce putem spune despre
formula p ∨ q. Dar despre (p ∨ q) → r?
(c) Arătaţi că dacă formula p → q este falsă, atunci q ∨ r are
valoarea de adevăr a lui r.
144
Logica propoziţiilor
c) [p + ( q ∧ r)] → (p ↑ q);
d) [( p ↓ q) ∧ ( p ∨ r )] → ( p ↔ r).
6. Stabiliţi care dintre formulele următoare sunt tautologice, con-
tingente şi, respectiv, inconsistente, calculând prin metoda matricială
funcţiile de adevăr pe care le determină: a) p → (q ∧ p); b) ( p ∨ q) → q;
c) (p ∧ q) → [(p ∧ q) ∨ (p ∧ q )]; d) (p ↔ q) ↔ (p + q); e) [( p ∨ q) ∧
∧( q ∨ r)] → (p → r); f) [(p ∧ q) → r] ↔ (p ∨ r ); g) p ∧ (p ∨ q) ↔
↔[ p ∨ ( p ∧ r ) ].
7. Stabiliţi prin reducerea progresivă a variabilelor care dintre
următoarele formule sunt tautologice, contingente sau inconsistente:
a) ( p ∧ q ) ↔ p ∨ q ; b) (p ∧ q → r) ↔ (q ∧ r → p ); c) [p ∧ (p ∨ q)]
↔ [ p ∨ ( p ∧ r ) ]; d) [p ∨ ( q ∧ r)] → p ∨ q; e) ( q → p ∨ r) ↔
↔ [( r → q ) → p].
8. Ce relaţii logice există între următoarele expresii propoziţio-
nale, considerate două câte două? a) Dacă ştie să stenografieze şi
cunoaşte o limbă străină, solicitantul va fi angajat; b) Dacă ştie să
stenografieze, atunci dacă nu va fi angajat, înseamnă că solicitantul nu
cunoaşte nici o limbă străină; c) A nega că solicitantul ştie să steno-
grafieze şi cunoaşte o limbă străină e tot una cu a spune că el va fi
angajat; d) Deşi ştie să stenografieze şi cunoaşte o limbă străină, soli-
citantul nu va fi angajat.
9. (H. J. Keisler) Trei indivizi, Brown, Jones şi Smith sunt
suspectaţi de comiterea unei infracţiuni. La anchetă, ei dau următoarele
declaraţii: Brown: ‘Jones e vinovat, iar Smith e nevinovat’; Jones: ‘Dacă
e vinovat Brown, atunci e şi Smith’; Smith: ‘Eu sunt nevinovat, dar cel
puţin unul dintre ceilalţi doi e vinovat’. Răspundeţi cu ajutorul unui tabel
de adevăr la următoarele întrebări: a) Pot fi împreună adevărate cele trei
declaraţii? b) Declaraţia unuia dintre suspecţi decurge logic din declaraţia
unuia dintre ceilalţi doi; care din care? c) Admiţând că toţi sunt
nevinovaţi, care declaraţie este falsă? d) Admiţând că toate cele trei
declaraţii sunt adevărate, cine e vinovat şi cine e nevinovat?
145
Logică
146
Logica propoziţiilor
t (t ∨ u) → v
p →v
c) p∨q d) s∨ t
q → (r ∧ s) r →t
t∨ r q→ r
p →t (s ∨ p) → r
q→r
14. Folosind metoda eliminării progresive a variabilelor, decideţi
asupra validităţii următoarelor argumente:
a) Astăzi merg la cinematograf sau mă plimb prin parc. Dacă
merg la cinematograf, îmi iau ochelarii, iar dacă mă plimb prin parc, îmi
iau umbrela. Prin urmare, astăzi îmi iau ochelarii ori îmi iau umbrela.
b) Dacă toţi cei prezenţi ar fi fost bine pregătiţi la logică, atunci
cel puţin unii dintre ei ar fi obţinut note bune sau foarte bune. Întrucât
nici unul nu a obţinut astfel de note, înseamnă că nici unul nu a fost bine
pregătit.
c) Orice om este sau bine informat asupra faptelor, sau deja
convins asupra unui subiect oarecare. Dar trebuie avut în vedere că nici
un om nu poate fi, în acelaşi timp, atât deja convins asupra unui subiect,
cât şi receptiv la argumente. Prin urmare, numai aceia bine informaţi sunt
receptivi la argumente.
d) Dacă ai fi avut nevoie de hrană, ţi-aş fi dat bani, dar cum nu
vrei să munceşti, nu se poate să ai nevoie de hrană şi, prin urmare, nu-ţi
voi da nici un ban.
15. (Radu J. Bogdan) Un tată fiind întrebat dacă doi dintre fiii lui,
Ion şi Petrică, sunt gemeni, răspunde: ‘Dacă Ion este mai mare decât
Vasile, atunci Mihai este mai mic decât Radu. Dacă Ion şi Petrică sunt
gemeni, atunci Ion este mai mare decât Vasile. Dar Mihai nu-i mai mic
decât Radu.’ Cel care a pus întrebarea conchide: ‘Deci, Ion şi Petrică nu
sunt gemeni.’ A raţionat, oare, corect?
16. (Radu J. Bogdan) Într-o excursie, trei prieteni – A, B şi C –
neavând unde să doarmă, s-au culcat fiecare pe câte o bancă dintr-un
147
Logică
parc. Băncile erau proaspăt vopsite şi, din această cauză, a doua zi starea
lor vestimentară stârnea râsul. A şi B râdeau fiecare de aspectul celorlalţi,
nebănuind că la rândul lor ar putea fi de râs. C îşi dă seama însă că
hainele îi sunt murdare de vopsea, raţionând astfel: ‘Dacă eu nu sunt
murdar de vopsea, atunci văzând că A râde, B ar trebui să-şi controleze
ţinuta. Însă A râde, iar B nu-şi controlează ţinuta. Deci, eu sunt murdar de
vopsea.’ Este corect raţionamentul lui C?
*
Încheiem cu un şir de aplicaţii sintetice şi ceva mai complexe,
lăsând cititorului libertatea de a alege metoda care i se pare cea mai
potrivită pentru a testa validitatea următoarelor raţionamente:
17. Analizând declaraţiile inculpaţilor şi ale martorilor, judecătorul
raţionează astfel: ‘Dacă în momentul respectiv paznicul nu era atent,
maşina nu putea fi observată când a intrat în depozit; dacă depoziţia
martorului este adevărată, paznicul nu era atent în momentul respectiv.
Fie maşina a fost observată, fie şoferul ascunde ceva; întrucât şoferul nu
ascunde nimic, rezultă că depoziţia martorului nu este adevărată’. Să se
verifice dacă raţionamentul judecătorului este corect sau nu.
18. La un proces sunt citaţi trei martori: Andrei, Barbu şi Costel.
Iată ce declară ei: Andrei: ‘Petru a furat maşina, dar nu a furat hainele.
Dacă nu fura maşina, atunci fura bijuteriile. Deci nu a furat bijuteriile’;
Barbu: ‘Petru a furat bijuteriile sau hainele, dar oricum nu a furat maşina.
Dacă a furat bijuteriile, atunci nu a furat hainele. Deci hainele au rămas la
locul lor’; Costel: ‘Dacă Petru fura hainele, atunci fura şi maşina. Dacă
fura maşina, atunci nu fura bijuteriile. Dar bijuteriile nu au fost furate,
deci Petru a furat hainele şi maşina’. Avocatul intervine zicând că numai
clientul său spune adevărul. Procurorul este sigur că toţi martorii mint sau
cel puţin doi dintre ei nu spun adevărul. Stabiliţi dacă: a) pot fi toate
declaraţiile false; b) dacă pot fi toate adevărate; c) încercaţi să stabiliţi,
dacă este posibil, care dintre cele trei persoane are un avocat.
19. Pentru întocmirea buletinului meteo sunt avute în vedere ur-
mătoarele trei prognoze, realizate de trei specialişti A, B şi C. A: Azi
plouă pe arii extinse. Va bate vântul cu intensităţi variabile dacă nu este
soare.B: Astăzi nu plouă dacă bate vântul. Va fi o zi însorită. C: Este o zi
însorită, normală pentru această perioadă a anului. Dar fie va ploua pe
148
Logica propoziţiilor
149
Logică
150
LOGICA INFERENŢELOR PROBABILE
151
Logică
152
Logica inferenţelor probabile
153
Logică
154
Logica inferenţelor probabile
155
Logică
156
Logica inferenţelor probabile
157
Logică
158
Logica inferenţelor probabile
159
Logică
160
Logica inferenţelor probabile
161
Logică
162
Logica inferenţelor probabile
163
Logică
164
Logica inferenţelor probabile
165
Logică
166
Logica inferenţelor probabile
K, L, M0, N, P ........................a0
K, L, M1, N, P ........................a1
K, L, Mn, N, P ........................an
M este cauza (efectul) lui a
167
Logică
168
Logica inferenţelor probabile
169
Logică
170
Logica inferenţelor probabile
171
Logică
172
Logica inferenţelor probabile
173
Logică
174
Logica inferenţelor probabile
175
Logică
Tot astfel, dacă durata medie de viaţă într-o ţară X este, să spu-
nem, de 68 de ani, acest fapt este semnificativ raportat la nivelul întregii
populaţii. Presupunând că există alte ţări, în care durata medie de viaţă
este de 75 sau 79 de ani, se poate aprecia, aproape fără dubii, că nivelul
general de dezvoltare al ţării X (în ceea ce priveşte condiţiile materiale de
viaţă, de muncă, alimentaţie, igienă, asistenţă medicală şi socială etc.)
este inferior nivelului atins de acele ţări în care oamenii trăiesc în medie
mai mult. De asemenea, dacă în decursul ultimilor 50 de ani durata medie
de viaţă din ţara X a scăzut, să zicem, de la 74 la 68 de ani – fără să fi
avut loc în acest interval războaie, cataclisme naturale sau epidemii
devastatoare – se poate afirma cu deplin temei că nivelul general de
civilizaţie din ţara X a scăzut dramatic în secolul respectiv. Semnificative
la nivelul global al întregii populaţii, datele statistice nu au câtuşi de
puţin aceeaşi relevanţă în raport cu individul. Nimeni din ţara X nu-şi
poate face proiecte contând pe 68 de ani de viaţă, deoarece acestă cifră
este o medie stabilită la nivelul a zece milioane de locuitori, fiind foarte
posibil ca nici unul dintre membrii acestei populaţii să nu se stingă exact
la această vârstă; majoritatea mor la vârste apropiate de medie, existând
însă numeroase cazuri de indivizi care mor în primul an de viaţă, în plină
tinereţe sau la o bătrâneţe foarte avansată, de peste un secol. Iar dacă
media de viaţă într-o ţară Y este cu zece ani mai mare decât aceea din ţara
X, aceasta nu înseamnă câtuşi de puţin că oricare individ din Y trăieşte cu
zece ani mai mult decât oricare individ din X.
Aşadar, în statistică nu ne interesează fiecare obiect sau element
al clasei, ci subiectul cercetat este însăşi clasa de fenomene. Aplicarea
metodelor statistice presupune două condiţii: (i) obiectul investigat
trebuie să poată fi divizat în părţi sau elemente; (ii) concluzia căutată este
imposibil de descoperit direct, ca atare, prin studierea unui singur element
luat izolat. Altfel spus, metodele statistice scot la iveală, cu probabilităţi
precis determinate (întrucât sunt de ordin pur cantitativ) proprietăţi
emergente, care aparţin întregului sau mulţimii totale de fenomene, fără
să aparţină ca atare şi în egală măsură fiecărui element individual în parte.
Inferenţele inductive urmăresc altceva decât calculele statistice:
nu măsura cantitativă a posibilului, raportat la o mulţime globală de
elemente, ci enunţuri universale, care afirmă că fiecare element dintr-o
mulţime, fără excepţie, posedă o anumită proprietate. Probabilitatea
176
Logica inferenţelor probabile
177
Logică
4.7 Analogia
178
Logica inferenţelor probabile
179
Logică
suspendate sau căderea liberă a unor corpuri, dar a fost nevoie de geniul
unor savanţi de talia lui Galileo sau Newton pentru conceperea unor
ipoteze ulterior confirmate, care au devenit legi fundamentale în ştiinţele
moderne.
Analogia sistematică presupune cercetarea unui obiect, proces
sau fenomen în lumina unor ipoteze, care conduc la căutarea sau la con-
strucţia unui model (experimental, grafic, matematic etc.) al obiectului,
pentru a-l studia pe baza acestuia. Cercetarea analogică se poate interesa
fie de anumite însuşiri comune, fie de anumite relaţii ale unor fenomene
comparabile.
Un exemplu de raţionament analogic bazat pe constatarea unor
însuşiri comune găsim la filosoful scoţian Thomas Reid (sec. al XVIII-
lea): „Putem observa o foarte mare similitudine între Pământul pe care
locuim noi şi celelalte planete – Saturn, Jupiter, Marte, Venus şi Mercur.
Toate se rotesc în jurul Soarelui, ca şi Pământul. Câteva din ele se ştie că
se rotesc în jurul propriei lor axe, ca şi Pământul, ceea ce înseamnă că
trebuie să aibă o succesiune asemănătoare a zilei şi a nopţii. Unele au luni
(sateliţi) care le furnizează lumina în absenţa Soarelui, aşa cum ne
furnizează nouă Luna noastră. Toate se supun, în mişcările lor, aceleiaşi
legi a gravitaţiei, ca şi Pământul. Pornind de la toate aceste similitudini,
nu este nerezonabil să ne gândim că aceste planete s-ar putea să fie,
asemenea Pământului nostru, locuite de diverse genuri de fiinţe vii.
Această concluzie prin analogie are oarecare probabilitate.“ Analizând
raţionamentul lui Reid prin prisma cunoştinţelor actuale, observăm că în
analogia lui figurează unele elemente irelevante iar, pe de altă parte, sunt
ignorate câteva disanalogii de importanţă capitală, cum ar fi intervalele de
temperatură, prezenţa atmosferei şi compoziţia chimică a acesteia etc.
Mai importante sunt, de regulă, analogiile bazate pe relaţii
comune. Acestea pot fi interne (între părţile unui întreg) sau externe (între
entităţi independente).
a) Analogia structurală se bazează pe faptul că două sisteme se
aseamănă în privinţa unor corelaţii interne, de unde se extrage concluzia
că şi alte corelaţii sunt asemănătoare. Astfel, pornind de la analogia
structurală între câmpul gravitaţional şi câmpul electric, Coulomb a ajuns
la concluzia că şi pentru câmpul electric trebuie să fie valabilă o lege
asemănătoare cu legea newtoniană a gravitaţiei. Tot astfel, pornind de la
180
Logica inferenţelor probabile
181
Logică
182
Logica inferenţelor probabile
Termenul ipoteză are două sensuri principale: (i) enunţ sau sistem
de enunţuri utilizat ca fundament în demonstraţii sau ca premise în infe-
renţe deductive; (ii) enunţ care trebuie testat prin consecinţele sale pentru
a-i fi verificată valoarea de adevăr.
Primul sens, adecvat deducţiei, exprimă faptul că pentru a
demonstra analitic o propoziţie trebuie ca propoziţia respectivă să fie
derivată prin scheme inferenţiale valide dintr-un număr de propoziţii
acceptate anterior drept adevărate. Adevărul fundamentului sau ipotezei
este o condiţie a adevărului tezei care derivă analitic din ea. Metoda
ipotetico-categorică de elaborare a teoriilor ştiinţifice are la bază acest
prim sens al termenului ‘ipoteză’.
În al doilea sens, prin ipoteză se înţelege nu numai o singură pro-
poziţie doar plauzibilă (deci concluzia singulară a unei inducţii incom-
plete), ci un ansamblu de propoziţii care, laolaltă, integrate într-un lanţ de
raţionamente inductive şi deductive, oferă o explicaţie posibilă unui
fenomen încă insuficient cunoscut. Acesta este sensul pe care îl avem în
vedere în cele ce urmează.
183
Logică
184
Logica inferenţelor probabile
185
Logică
186
Logica inferenţelor probabile
187
Logică
188
Logica inferenţelor probabile
HT → c1 ∧ c2
c1 ∧ c2
(probabil) HT
189
Logică
190
Logica inferenţelor probabile
191
ERORI LOGICE
Căile adevărului sunt puţine la număr, iar urmarea lor este strict
regle-mentată de principii, legi sau reguli ce nu ţin câtuşi de puţin seama
de sentimentele, dorinţele, nevoile sau capriciile noastre; falsitatea se poate
atinge însă pe nenumărate căi, mai mult sau mai puţin ispititoare, întrucât
austeritatea şi rigoarea implacabilă a raţiunii sunt tulburate de intervenţia
unor factori subiectivi. Există, prin urmare, o impresionantă varietate de
modalităţi în care argumentele pot fi astfel alcătuite încât, nerespectându-
se regulile corectitudinii logice, raţiunea rătăceşte drumul spre adevăr,
eşuând în falsitate şi eroare.
Încă din Antichitate s-au colecţionat tot felul de raţionamente
bizare, artificios construite, care stârneau o stare de perplexitate, ducând
la concluzii aparent bine întemeiate, deşi erau evident false. Cele mai
multe dintre ele sunt triviale, nevinovate jocuri de cuvinte, al căror meca-
nism vicios este uşor de demontat. Câteva mostre de asemenea
«cimilituri», care făceau deliciul interpreţilor din Antichitate, se găsesc în
dialogul platonician Euthydemos. Iată două dintre ele:
• Spune personajul Dionysodoros: „Doriţi, spuneţi voi, ca el
[Cleinias] să devină înţelept? — Chiar aşa. — Dar acum, este sau nu este
Cleinias înţelept? — El spune că încă nu este. [...] — Voi, însă, vreţi ca el
să devină înţelept, nu să fie ignorant. [...] Aşadar, voi vreţi să devină ceea
ce nu este şi să nu mai fie ceea ce este acum. [...] Înseamnă că, de vreme
ce doriţi ca el să nu mai fie ceea ce este acum, îi doriţi, pare-se,
moartea.“1
192
Erori logice
193
Logică
194
Erori logice
formă, chiar dacă are aparenţa unui raţionament corect pentru sine, se
numeşte înşelător (fallacia). – Un astfel de raţionament este un
paralogism, dacă prin el ne înşelăm pe noi înşine, sau un sofism, dacă
prin el încercăm în mod intenţionat să-i înşelăm pe alţii.“6
Există numeroase clasificări ale tipurilor de erori logice – fiecare
amendabilă sub un aspect sau altul. Sunt cunoscute erorile specifice
definiţiei, clasificării, diviziunii, inferenţelor inductive sau deductive
imediate şi mediate. Practic, încălcarea într-o modalitate tipică a oricăreia
dintre legile şi regulile logice formulate şi argumentate în capitolele
anterioare constituie o specie de erori logice. În scurta trecere în revistă
pe care ne-o putem îngădui, ne vom referi numai la erorile specifice
argumentelor deductive. Acestea pot fi încadrate în următoarele trei tipuri
principale: a) erorile formale (singurele erori logice în sens strict) fac ca,
în pofida unor aparenţe înşelătoare, concluzia raţionamentului să nu
decurgă cu necesitate logică din premise; b) erorile de interpretare sunt
provocate de anumite neclarităţi şi confuzii în ceea ce priveşte sensul
termenilor care intră în alcătuirea unui raţionament; în sfârşit c) erorile de
relevanţă sunt acelea în care, deşi concluzia decurge corect din premisele
oferite, scopul raţionamentului (demonstrativ, explicativ etc.) nu este
atins.
195
Logică
196
Erori logice
p∧q
p
q
Se pot folosi aceleaşi exemple, pe noua formă de construcţie:
‘Dacă aprind becul, în cameră este lumină. Nu aprind becul. Deci în
cameră nu este lumină’ sau ‘Dacă vreau să schiez, atunci merg la munte.
Nu vreau să schiez. Deci nu merg la munte’.
În mod evident, concluziile acestor raţionamente nu sunt
necesare, chiar dacă se poate întâmpla, de multe ori, ca faptele să le
confirme. Dar acest lucru nu se întâmplă mereu; este posibil şi să fie
lumină în cameră deoarece ne aflăm în timpul zilei, ori să mergem la
munte vara, pentru a ne bucura de frumuseţea peisajului şi de aerul curat.
Negarea antecedentului este o eroare extrem de frecventă,
motivată prin faptul că, de foarte multe ori, în realitate lucrurile chiar se
petrec astfel. Pripeala şi superficialitatea ne fac să trecem de la ‘foarte
probabil’ la ‘cu certitudine’. Forma corectă ar fi un «argument substan-
ţial», de genul: ‘Dacă p atunci probabil q; or nu p, deci probabil nu q’.
197
Logică
p + q ( ... )
p
q
De exemplu: ‘Acest arbore din familia foioaselor este sau fag, sau
stejar sau nuc. Or, nu este nici stejar, nici nuc. Deci este fag’ sau ‘Părinţii
lui X sunt sigur intelectuali: profesori, jurişti sau medici. Or, nu sunt nici
jurişti, nici medici. Deci, părinţii lui X sunt profesori’.
Premisa disjunctivă nu enumeră toate cazurile posibile; în afară
de fagi, stejari sau nuci, familia foioaselor cuprinde încă multe alte specii,
arborele care nu e nici stejar, nici nuc poate fi nu neapărat stejar, ci tei,
plop, frasin etc. De asemenea, în categoria intelectualilor intră şi multe
alte profesii pe lângă cele enumerate în premisa disjunctivă, astfel încât
părinţii lui X ar putea fi la fel de bine ingineri, cercetători, scriitori etc.
198
Erori logice
199
Logică
200
Erori logice
201
Logică
202
Erori logice
203
Logică
204
Erori logice
205
Logică
206
Erori logice
207
Logică
208
Erori logice
209
Logică
210
Erori logice
211
Logică
212
Erori logice
starurilor de cinema sau ale fotbaliştilor devin, cel puţin pentru admira-
torii lor (şi aceştia sunt cum sunt, dar mulţi!) literă de evanghelie.
O variantă poate fi considerat argumentum multitudinis –
invocarea faptului că o mare majoritate de oameni susţin o anumită
convingere. Aici se invocă o autoritate ‘statistică’, pornindu-se de la
presupoziţia că majoritatea nu se poate înşela. Dacă argumentul ar fi
valid, am crede încă şi astăzi că Pământul este plat şi fix în centrul
Universului, că rănile trebuie pansate cu pământ şi că nu e bine să pornim
la drum cu stângul, marţea şi după ce ne-a tăiat calea o pisică neagră. În
sprijinul acestui gen de sofisme se citează, cel mai adesea, tot felul de
maxime, proverbe şi zicători populare.
d) Argumentum ad populum este chiar specialitatea politicienilor,
constând în obţinerea asentimentului pentru o idee nu în virtutea unor
demonstraţii riguroase şi nu pe baza unor fapte indubitabile, ci exploatând
sentimente, preferinţe sau prejudecăţi larg răspândite. Convingerea nu se
obţine prin argumente, ci prin persuasiune, ‘gâdilând coarda sensibilă’ a
unui auditoriu cu reacţii previzibile şi stereotipe. Dacă intervine şi
exploatarea (astăzi din ce în ce mai profesionistă) a mecanismelor
psihicului colectiv (empatia, contagiunea afectivă, simboluri arhetipale
etc.), delirul şi isteria, complexele şi resentimentele decid de partea cui
este ‘dreptatea’ şi ‘adevărul’.
e) Argumentul ad ignorantiam constă în a susţine că o afirmaţie
este adevărată numai pentru că nu s-a putut dovedi că afirmaţia respectivă
este falsă – ori, invers, că o idee este falsă numai pentru că nu s-a dovedit
adevărul ei. Cineva se poate încăpăţâna să susţină că în anul 2006 va avea
loc un cutremur catastrofal numai pentru că nimeni nu ar fi în stare să
demonstreze în mod irefutabil absoluta imposibilitate a catastrofei. Alţii
sunt ferm convinşi că nu există viaţă şi civilizaţii extraterestre de vreme
ce nu s-a putut (încă) dovedi în mod cert existenţa lor.
f) Argumentum ad misericordiam sau invocarea milei abate atenţia
de la stabilirea faptelor şi a valorii intrinseci ale unei persoane, solicitând
clemenţă în virtutea unor circumstanţe înduioşătoare. Este o tactică pe care
o adoptă adesea avocaţii atunci când nu pot respinge acuzaţiile aduse
clientului; recunoscându-se vinovăţia acuzatului, se solicită judecătorului
bunăvoinţă în acordarea pedepsei, întrucât potenţialul condamnat are o
213
Logică
214
Erori logice
215
Logică
216
Erori logice
cunoscute paradoxe.
Neîndoielnic, cel mai faimos este paradoxul mincinosului, pe
care tradiţia îl atribuie cretanului Eubulide. Acesta ar fi spus: „Când spun
‘eu acum mint’, mint sau nu?“ Într-o altă formulare: „Cretanul Eubulide
spune că ‘Toţi cretanii mint’“. Câd face această afirmaţie, minte sau
spune adevărul? Dintre numeroasele formulări ulterioare să o mai men-
ţionăm şi pe aceea a lui Buridan: „Propoziţia scrisă pe această foaie este
falsă“. Cititorul va descoperi uşor, fără comentarii, că oricum ar
interpreta, nu se poate evita contradicţia.
Pradoxul mulţimilor normale (formulat de către Bertrand Russell
în 1903). Unele mulţimi se conţin pe ele însele ca element (M ∈ M),
altele nu (M ∉ M). De exemplu, mulţimea non-creioanelor este ea însăşi
un non-creion, deci se conţine pe sine ca element – pe când mulţimea
merelor nu este ea însăşi un măr, deci nu se conţine pe sine ca element.
Mulţimile pentru care este adevărat M ∉ M se numesc normale, iar cele
pentru care este adevărat M ∈ M se numesc nenormale. Presupunem că
orice mulţime face parte fie din clasa celor normale, fie din clasa celor
nenormale; altfel spus, pentru orice mulţime M are loc relaţia (M ∈ M) +
(M ∉ M). Formăm apoi mulţimea tuturor mulţimilor normale, pe care o
notăm cu N. Conceptul acestei mulţimi este antinomic. Fie supoziţia S1: N
∈ N, adică N este element al mulţimii tuturor mulţimilor normale, având
deci proprietatea acestora de a nu se conţine – fie supoziţia S2: N ∉ N,
adică N nu este element al mulţimii tuturor mulţimilor normale, deci nu
are proprietatea acestora, aceea de a nu se conţine – deci N ∈ N.
Tot Russell a formulat şi paradoxul impredicabilului. Unele
noţiuni care exprimă anumite proprietăţi se pot atribui lor însele – şi
acestea se numesc predicabile; alte noţiuni exprimă proprietăţi care nu se
pot atribui lor însele – acestea sunt impredicabile. De exemplu,
proprietatea de ‘a fi concret’ este o abstracţiune şi, ca atare, impredi-
cabilă; în schimb, proprietatea de ‘a fi abstract’, fiind abstractă, este
predicabilă. Să notăm cele două proprietăţi ‘Pred’ şi ‘Imp’. Pentru orice
proprietate x are loc: Pred(x) + Imp(x). Cum este proprietatea ‘Imp(x) –
predicabilă sau impredicabilă? Fie supoziţia S1: Pred(Imp), adică
termenul ‘impredicabil’ este predicabil despre sine, deci Imp(Imp), fiind
impredicabil. Fie supoziţia S2: Imp(Imp), adică termenul ‘impredicabil’
217
Logică
218
Logică
NOTE BIBLIOGRAFICE
1. Adevăr şi validitate
2. Logica termenilor
220
Logică
5. Erori logice
221
Logică
SOLUŢIILE EXERCIŢIILOR
Capitolul 1
1. a) inferenţă imediată; b) este o inferenţă, dar nu imediată, ci un
raţionament eliptic, de forma: ‘Oamenii tăcuţi trec drept filosofi; dacă şi
tu tăceai, filosof rămâneai’; c) nu este o inferenţă, ci o sentinţă, de multe
ori confirmată, însă câtuşi de puţin universal valabilă; d) idem; e) este un
raţionament valid din punct de vedere formal, în care se obţine o
concluzie falsă datorită falsităţii primei premise – nu toate fiinţele care
înoată sunt peşti; f) raţionament corect; g) idem; h) inferenţă imediată
corectă; i) raţionament corect; j) raţionament eliptic, în care se
subînţelege premisa: ‘Orice romb este patrulater’; k) inferenţă imediată
incorectă, în care concluzia este întâmplător sau accidental adevărată; l)
inferenţă imediată incorectă, în care concluzia este în mod firesc falsă; m)
raţionament incorect; n) nu este o inferenţă, ci o maximă – logic vorbind, o
propoziţie compusă condiţională; o) raţionament corect.
2. Sunt inductive inferenţele: a, d, g, i, k, l; restul inferenţelor
sunt deductive, unele corecte, altele nu.
3. a, b, h, j şi n sunt analitic adevărate; e şi k sunt analitic false; c,
d şi i sunt sintetic adevărate; f şi l sunt sintetic false; g, m şi o sunt
indecidabile.
4. În toate cazurile se încalcă principiul identităţii: termenul
mediu al silogismului este ambiguu, neavând în ambele premise aceeaşi
semnificaţie.
5. a, b, c, d, i încalcă principiul non-contradicţiei; e, h, j nu
respectă principiul identităţii; f, g şi k încalcă principiul raţiunii
suficiente.
222
Soluţiile exerciţiilor
Capitolul 2
1. a) Vide sunt noţiunile: cerc pătrat, cel mai mare număr natural,
inorog, sfinx, infractor nevinovat, covor zburător, flogiston, perpetuum
mobile, elixirul tinereţii, extratereştri; b) logic vide sunt noţiunile: cerc
pătrat, cel mai mare număr natural, infractor nevinovat; c) este rezultatul
unei contradicţii explicite noţiunea: infractor nevinovat.
2. În toate cele şase propoziţii există câte o noţiune vidă; însă
primele trei propoziţii sunt false, dacă nu chiar absurde, întrucât fac
afirmaţii de nesusţinut despre nişte entităţi imaginare (preşedintele Marii
Britanii, Minotaurul şi eterul), în vreme ce ultimele trei propoziţii sunt
adevărate, întrucât resping posibilitatea existenţei unor entităţi imaginare
(cel mai mare număr natural, centaur, perpetuum mobile).
3. Sunt individuali termenii: Lucian Blaga, autorul romanului
Fraţii Jderi, Capitala Franţei, Gorgona, Jupiter, Lacul Snagov, Grădinile
Semiramidei, numărul zero, numărul trei, mulţimea tuturor numerelor
naturale, mulţimea vidă, Criş.
4. Sunt colective noţiunile: bibliotecă, corpul medical, Biblioteca
Naţională, Pădurea Băneasa, regiment, mulţime, pădure, filosofie, cirea-
dă, faună marină, echipaj.
5. În toate inferenţele se confundă un termen colectiv (evanghe-
liştii, lunile anului, minunile lumii antice) cu un termen diviziv (Luca,
februarie, Marea Piramidă).
6. Sunt general-colective noţiunile: echipaj, floră, trupă, familie,
faună, turmă, stol, muşuroi de furnici.
7. Sunt precise noţiunile: triunghi, centaur, element chimic, elec-
tron, număr prim, vertebrat, funcţie trigonometrică, cireadă; sunt vagi
noţiunile: blândeţe, inteligent, frumos, talentat, colosal, tânăr, cârd;
comportă discuţii noţiunile: victorie (în sens sportiv sau strict militar,
poate fi vorba de o noţiune precisă – în alte contexte, poate fi o noţiune
vagă); grămadă (în regulamentul jocului de rugby este o noţiune precisă –
altminteri este o noţiune vagă; câte obiecte trebuie adunate pentru a forma
o grămadă?); chel (în sens strict, este o noţiune precisă, chel fiind omul
fără nici un fir de păr pe cap; într-un sens mai labil, echivalent cu pleşuv,
este o noţiune vagă, căci câte fire de păr trebuie să aibă un om pe cap
pentru a fi chel în acest sens?); trecut (dacă ne referim la un eveniment
223
Logică
224
Soluţiile exerciţiilor
prost, zgârcit (meschin, egoist etc.), uman, sacru sau iniţiat, neştiutor sau
ignorant, slăbănog, lăudabil (stimabil etc.).
15. Corecte sunt variantele: (i) - b; (ii) - e; (iii) - a.
16. Corecte sunt variantele: (i) - c; (ii) - b; (iii) - c.
17. Ordonarea nu pune probleme; în toate cazurile se observă
faptul că o lărgire a conţinutului implică o restrângere a sferei şi invers.
18. Au contradictorii noţiunile: număr par (număr impar), zi
(noapte), orb (văzător), bun (rău); au contrare noţiunile: verde (alb, negru,
galben, roşu etc. în genul culori), mamifer (peşti, reptile, păsări în genul
vertebrate), plăcut (neplăcut, indiferent), dreptunghi (pătrat, romb, trapez
în genul patrulatere).
19. om – mamifer raţional sau biped, primate, european, carnivor;
savant – om de ştiinţă, om, fizician, tenisman; mamifere – vivipare,
vertebrate, primate, zburătoare sau acvatice.
20. musulman – islamic, monoteist, sufit sau şiit, sportiv, ghiaur
(necredincios sau păgân la musulmani), creştin sau israelit în genul
monoteist; cântăreţ – interpret liric, muzician, tenor, fumător, surdo-mut,
instrumentist, dirijor, compozitor, aranjor în genul muzician; triunghi –
trilater, poligon, triunghi echilateral, poligon regulat, cerc, patrulater,
pentagon, hexagon etc. în genul poligoane.
21.
B Unii A sunt B Toţi C sunt B
Unii B sunt A Unii B sunt C
A C Unii A nu sunt B Unii B nu sunt C
Unii B nu sunt A Nici un A nu este C
Nici un C nu este A
22.
Toţi A sunt C Toţi B sunt C
C Unii C sunt A Unii C sunt B
A B Unii C nu sunt A Unii C nu sunt B
Nici un A nu este B
Nici un B nu este A
225
Logică
D
B
C
E
A
B C
A D
A
C
B
226
Soluţiile exerciţiilor
B C2
A C3
C1
A C1 B
C3
C2
227
Logică
A B C
D
A C
228
Soluţiile exerciţiilor
(2) A iB → c
Bi A →
o
BoA;
A iB → A o B ;
o
(3) A eB → c
Be A →o
BaA →
c
AiB →o
Ao B ;
A eB → B a A
o
→ B i A
c
→ B oA;
o
AiB → Ao B .
o
229
Logică
(2) P a S → c
S iP → o
S oP;
PaS → P e S
o
→ S e P
c
→o
SaP →c
PiS
→ Po S ;
o
(3) Po S → o
PiS →
c
SiP →o
So P ;
(4) Pe S → S eP
c
→ S a P
o
→ P i S
c
→
o
P oS;
Pe S → PaS
o
→ SiP
c
→ So P ;
o
(5) S o P → S iP
o
→ Pi S
c
→
o
PoS;
(6) So P → SiP
o
→ PiS
c
→ Po S ;
o
(7) Pi S → S iP
c
→ S o P ;
o
Pi S
→ PoS.
o
Relaţiile logice sunt: (1) ↔ (4) şi (1) → (6); (2) → (3); (3)↔ (6);
(4) → (6); (5) ↔ (7). De aici se extrag mai departe consecinţele. În plus,
având în vedere şi raporturile de opoziţie, se pot evidenţia şi alte derivări
posibile; de exemplu: S a P →
o
S eP →c
Pe S , din care derivăm
subalterna Po S , adică (1) → (3) etc.
42. corecte a, b; restul incorecte.
43. Notăm S = ‘militar’; P = ‘fricos’. Simbolic, propoziţia dată
este SeP. Alternând conversiunea şi obversiunea, din propoziţia iniţială se
pot deriva:
a) SeP
→
c
Pes
→
o
Pa S
→
c
S iP
→
o
S oP
230
Soluţiile exerciţiilor
b) SeP
→
o
Sa P
→
c
P iS
→
o
PoS
Notate simbolic, se regăsesc printre derivate a ( S iP), e ( S o P )
şi g ( P o S ).
44. Se procedează similar. Notăm S = ‘fotbalist’; P = ‘bogat’.
Propoziţia dată este SiP. Derivatele sunt: a) SiP
→
c
PiS →o
Po S ;
b) SiP →o
So P . Nu poate fi derivată decât e (PiS).
45. Demonstraţie prin reducere la absurd. Fie ipoteza H: dintr-o
premisă universală şi una particulară se poate deriva o concluzie
universală; ipoteze subsecvente:
H1 ambele premise negative; se respinge conform L.4;
H2 ambele premise afirmative (A + I); consecinţe:
1. necesar M+ (L.1); 2. concluzia afirmativă (L.3); 3. concluzia
este universal afirmativă: SaP (H); 4. în concluzie, S+; 5. necesar S+ şi în
premisa minoră (L.2); 6. în premise există un singur termen distribuit
(subiectul universalei); 7. în premise trebuie să fie doi termeni distribuiţi
(M şi S).
H3 o premisă afirmativă şi una negativă (A + O) sau (E + I);
consecinţe: 1. în cele două premise există doi termeni distribuiţi (subi-
ectul universalei şi predicatul negativei); 2. concluzia negativă (L.5); 3.
concluzia este universal afirmativă: SeP (H); 4. în concluzie, S+ şi P+; 5.
necesar S+, P+ şi în premise (L.2); 6. necesar M+ (L.1); 7. sunt necesari
trei termeni distribuiţi în premise, dar nu se pot distribui decât doi.
46. Demonstraţie: 1. P– în concluzie ⇒ concluzie afirmativă; 2.
ambele premise afirmative (L.3) şi (L.5); 3. P+ în majora afirmativă
numai dacă e subiect de universală ⇒ majora este PaM; 4. în majoră M–
(predicat de afirmativă); 5. necesar M+ în minoră (L.1); 6. M+ în minora
afirmativă numai dacă e subiect de universală ⇒ minora este MaS. Deci,
silogismul căutat este aai - 4.
47. Demonstraţie: 1. în concluzia universală, S+ ; 2. necesar S+ şi
în minoră (L.2); 3. necesar M+ cel puţin o dată (L.1); 4. în premise sunt
necesari cel puţin doi termeni distribuiţi.
H1 concluzia universală afirmativă; consecinţe: 1, ambele
premise afirmative (L.3) şi (L.5); 2. ambele premise universale (L.7);
231
Logică
232
Soluţiile exerciţiilor
233
Logică
Capitolul 3
3. a = 1; b = 1; c = 1; d = 0.
4. a) (q ∨ r) poate fi falsă numai dacă q = 0 şi r = 0; cum p ↔ q,
rezultă că p = 0; b) dacă (p ↔ q ) este adevărată, atunci neapărat sau p
sau q este adevărată; deci formula (p ∨ q) este în orice caz adevărată;
valoarea formulei (p ∨ q) → r, având antecedentul adevărat, depinde de
valoarea lui r: este adevărată dacă r = 1, este falsă dacă r = 0; c) (p → q)
poate fi falsă numai dacă p = 1 şi q = 0; în acest caz, valoarea disjuncţiei
(q ∨ r) depinde de r: este adevărată dacă r = 1, este falsă dacă r = 0.
5. a, b, c sunt formule contingente; d este lege logică (tautologie).
6. a, b, f formule contingente; c, e tautologice; d, g inconsistente.
7. a, b – tautologii (legi logice); c – inconsistentă; d, e –
contingente. Iată câteva exemplificări, menite să clarifice tehnica reduce-
rii progresive a variabilelor. Fie exerciţiul a), în care formula
p ∧ q ↔ p ∨ q este una dintre echivalenţele De Morgan. Presupunem
prin ipoteza H1 că variabila p are valoarea logică 0, deci este falsă.
H1 p = 0 expresia devine: 0 ∧ q ↔ 1 ∨ q
aplicând R.2 şi R.3 0 ↔ 1
234
Soluţiile exerciţiilor
1 ↔
1
Aplicând regulile de reducţie demonstrăm că dacă p este fals,
indiferent de valoarea lui q, expresia este lege logică. Rămâne să vedem
ce se întâmplă în ipoteza H2, anume că p este adevărat.
H2 p = 1 expresia devine: 1 ∧ q ↔ 0 ∨ q
q ↔ q cf. R.1 şi R.4
1
Şi în ipoteza p = 1, expresia este lege logică, indiferent de valoarea
logică a lui q. Am demonstrat astfel că, pentru orice combinaţie de valori
logice ale variabilelor componente, expresia este tautologică.
Fie exerciţiul c): procedura este aceeaşi:
H1 p = 0 expresia devine: [0 ∧ (0 ∨ q)] ↔ 0 ∨ (0 ∧ r )
conform R.4 şi R.2 (0 ∧ q) ↔ 0∨0
conform R.2 0 ↔ 1
0
Dacă p = 0, indiferent de valorile lui q, expresia este incon-
sistentă.
H2 p = 1 expresia devine: [1 ∧ (1 ∨q)] ↔ 1 ∨ (1 ∧ r )
conform R.3 şi R.1 (1 ∧ 1) ↔ 0
conform R.3 1 ↔ 0
0
Dacă p = 1, indiferent de valorile lui q, expresia este, de aseme-
nea, inconsistentă. Rezultă că expresia este o contradicţie logică.
În sfârşit, să vedem şi o funcţie contingentă – exerciţiul d).
H1 p = 0 expresia devine: [0 ∨ ( q ∧ r)] → 1 ∨ q
conform R.4 şi R.3 q ∧r → 1
1
235
Logică
236
Soluţiile exerciţiilor
r→( p∨q)
Printr-un tabel cu 8 linii se arată că argumentul este valid.
c) Raţionamentul, de forma
p → (q ∨ r)
(q ∧ r) → s
deci p→s
nu este valid, deoarece a doua premisă condiţionează cearta de la nuntă
de faptul că Roxana şi Cornelia sunt amândouă domnişoare de onoare, în
vreme ce prima premisă lasă deschisă posibilitatea ca numai una dintre
ele să fie domnişoară de onoare.
13. Iată demonstraţiile tuturor exerciţiilor. În coloana a doua sunt
trecute premisele din care se efectuează deducţia; în coloana a treia, paşii
demonstraţiei; în ultima coloană, cifrele indică liniile din care se deduce,
iar literele arată schema elementară de deducţie utilizată.
a) (1) 1. p → q P
(2) 2. p ∧ r P
(3) 3. q ∨ s P
(4) 4. s → t P
(2) 5. p 2 (S)
(1, 2) 6. q (q) 1, 5 (PP)
(1, 2, 3) 7. s 3, 6 (TP)
(1, 2, 3, 4) 8. t 4, 7 (PP)
b) (1) 1. p → q P
(2) 2. q → r P
(3) 3. r → s P
(4) 4. s → (t ∨ u) P
(5) 5. (t ∨ u) → v P
(6) 6. p Ps
(1, 2, 3) 7. p → s 1, 2, 3 (SI)
237
Logică
(1, 2, 3, 6) 8. s 7, 8 (PP)
(1, 2, 3, 4, 6) 9. t ∨ u 4, 8 (PP)
(1,2,3,4,5,6) 10. v 5,9 (PP)
(6, 10) 11. p → v 6, 10 (Cd)
c) (1) 1. p ∨ q P
(2) 2. q → (r ∧ s) P
(3) 3. t → r P
(4) 4. p Ps
(1, 4) 5. q 1, 4 (TP)
(1, 2, 4) 6. r ∧ s 2, 5 (PP)
(1, 2, 4) 7. r ( r ) 6 (S)
(1, 2, 3, 4) 8. t 3, 7 (TP)
9. p → t 4, 8 (Cd)
d) (1) 1. s ∨ t P
(2) 2. r → t P
(3) 3. q → r P
(4) 4. (s ∨ p) → r P
(2, 3) 5. q → t 2, 3 (SI)
(5) 6. q Ps
(2, 3, 5) 7. t ( t ) 5, 6 (PP)
(1, 2, 3, 5) 8. s 1, 7 (TP)
(1, 2, 3, 5) 9. s ∨ p 8 (Ad)
(1, 2, 3, 4, 5) 10. r 4, 9 (PP)
11. q → r 6, 10 (Cd)
238
Soluţiile exerciţiilor
239
Logică
240
Soluţiile exerciţiilor
p →r r→ q p→ r
deci p deci q r
deci q∨p
Prin tabele de adevăr, rezultă: a) da (pe linia 5); b) nu; A are
avocat.
1. p → q P
2. p → q P
3. p ∨ p P
4. p ∧ p 3. comutativitate
5. p → p 4. definiţie
6. p 5. reflexivitate
7. q 1, 6 (PP)
241
Logică
242
Soluţiile exerciţiilor
deci q ∨r
Şi acest argument, mult mai puternic, se dovedeşte valid prin
oricare din metodele de testare cunoscute.
21. Faimosul ‘pariu’ pascalian nu este un argument obişnuit, ci
comportă numeroase dificultăţi şi comentarii logico-filosofice, morale şi
teologice. În aparenţă, raţionamentul este alcătuit din trei variabile
propoziţionale: p = ‘Dumnezeu există’; q = ‘pariezi pe Dumnezeu’ şi
r = ‘câştigi totul’. Cu aceste trei variabile, raţionamentul exprimat
simbolic ar arăta astfel:
(p ∧ q) → r
(p ∧ q ) → r
( p ∧ q) → r
( p ∧ q)→ r
p∨ p
q
Prin orice metodă de testare, argumentul este invalid, întrucât
concluzia q nu este implicată logic de către premisele enunţate.
La o privire mai atentă, se observă că propoziţia p = ‘câştigi totul’
este negată numai de propoziţia p = ‘nu câştigi nimic’; a pierde este
altceva decât a nu câştiga, căci poţi să nu câştigi nimic (ori să câştigi ceva
– dar nu neapărat totul), fără să pierzi ceva, după cum poţi să nu pierzi
nimic din ceea ce ai, fără să câştigi ceva. Prin urmare, trebuie să
introducem o a patra variabilă propoziţională, s = ‘pierzi totul’;
raţionamentul devine astfel:
(p ∧ q) → r
(p ∧ q ) → s
( p ∧ q) → s
( p ∧ q)→ r
p∨ p
q
Nici în această variantă nu se obţine o deducţie validă. Nu trebuie
un mare efort de perspicacitate pentru a sesiza faptul că lipseşte ceva.
243
Logică
244
Soluţiile exerciţiilor
6. r ∧ s Ps
7. s 6(S)
8. 2, 7 (TT)
(p ∧ q
9. p ∨q 8 (De Morgan)
10. p → q 9 (definiţie)
11. (r ∧ s ) → (p → q) 6, 10 (Cd)
E bine să verificăm corectitudinea argumentului astfel reconstruit
şi prin alte metode de testare. Foarte laborios, căci are 16 linii datorită
celor patru variabile, tabelul de adevăr confirmă validitatea argumen-
tului; cititorul poate verifica el însuşi faptul că în toate combinaţiile de
valori logice care fac simultan toate premisele adevărate, concluzia
condiţională este, la rândul ei, adevărată. Acelaşi rezultat se obţine şi prin
metoda de calcul prescurtat.
Chiar dacă i se poate da o formă logică validă, pariul lui Pascal
eşuează în intenţia lui fundamentală; el nu demonstrează exisenţa lui
Dumnezeu – căci nicăieri în desfăşurarea argumentativă nu se ajunge prin
deducţie la p, afirmaţia că ‘Dumnezeu există’, ci numai la un enunţ
condiţional, de forma ‘Dacă vrei să câştigi totul şi să nu pierzi nimic,
atunci dacă există Dumnezeu pariază pe El’. Or, tocmai existenţa lui
Dumnezeu ar trebui să fie sigură pentru ca întregul calcul să fie rezonabil,
căci numai fiinţa certă a divinităţii ne poate asigura de faptul că există
nemurirea sufletului, respectiv pedeapsa eternă a iadului. Altminteri, a
considera viaţa pământească a omului drept un zero în raport cu
eternitatea este un calcul cât se poate de greşit, căci dacă veşnicia
sufletului nu există, atunci anii de viaţă pe care-i are de trăit un om pe
această lume nu mai reprezintă pentru el un nimic, ci totul. În plus, din
punct de vedere strict teologic, pariul lui Pascal este o impietate, căci
Fiinţa supremă nu poate fi admisă drept miză a unui joc de noroc. Şi mai
nefericită este prezumţia lui Pascal că a trăi creştineşte, după canonul
moralei creştine, ca şi cum Dumnezeu ar exista în mod cert, este o mare
caznă şi o pierdere, care merită riscată întrucât există şansa ca pierzând
viaţa din lumea de aici s-o câştigăm pe cealaltă, mult mai preţioasă, viaţa
veşnică. Or, pariul lui Pascal ar fi fost mult mai convingător şi mai
acceptabil din punct de vedere teologic, dacă ar fi sunat astfel: ‘A trăi
245
Logică
246
Soluţiile exerciţiilor
p∨ p p∨ p
Care sunt concluziile? E limpede că în ambele argumente conclu-
ziile sunt nişte disjuncţii exclusive: spunând adevărul, omul politic va fi
urât de către oameni (respectiv va fi iubit de către zei) – minţind va fi
iubit de către oameni (respectiv va fi urât de către zei). În nici un caz,
concluzia primului argument, şi anume: ‘Aşadar, fiule, vei fi urât fie de
către zei, fie de către oameni’ nu poate fi o conjuncţie, de forma q ∧ r ,
ci este, evident, o disjuncţie exclusivă, de forma q + r , care spune că
omul politic va fi urât fie de către oameni, fie de către zei, nefiind posibil
ca din acelaşi motiv, şi anume spunerea adevărului, să fie urât şi de către
unii şi de către ceilalţi. Tocmai pe caracterul exclusiv al disjuncţiei din
prima, ca şi din cea de-a doua concluzie, se bazează posibilitatea replicii
fiului cu cel de-al doilea argument. Din păcate, dacă se acceptă conclu-
ziile: (i) q + r şi (ii) q + r, argumentele nu sunt valide, căci premisele nu
implică logic aceste concluzii. Dacă acceptăm în cele două concluzii
disjuncţii inclusive, de forma (i) q + r şi (ii) q ∨ r, argumentele sunt
valide, dar concluziile lor sunt incompatibile, căci q ∨ r , prin De
Morgan, este echivalent cu ( q ∧ r ) , adică exact contradictoria sau
negaţia concluziei celui de-al doilea argument, q ∨ r.
24. a) Notând cu: p = ‘Un om este predestinat’; q = ‘Are sens să
lupte’; r = ‘Este nevoit să lupte’, argumentul arată astfel:
p→ q
p →r
p ∨ p (premisă subînţeleasă)
deci q ∨ r
Prin metoda de calcul prescurtat se demonstrează cel mai repede
că argumentul este valid.
b) Formalizarea poate fi simplificată eliminând informaţiile ne-
esenţiale privind modalităţile în care Alice poate intra în grădină –
ajungând la cheie sau strecurându-se pe sub uşă; esenţial este faptul că, în
ambele ipoteze, rezultatul final este că intră în grădină. Astfel, putem
247
Logică
248
Soluţiile exerciţiilor
p → (q ∧ r)
q ∧r
deci p
Prin metoda calculului prescurtat se dovedeşte rapid că argumentul
este valid.
26. Transpus ca atare în limbaj simbolic, argumentul nu se
susţine. El trebuie reformulat, pentru a primi o structură logică validă.
Notând: p = ‘Omul ştie că fericirea e schimbătoare’; q = ‘Omul este
fericit’; r = ‘Omul este ignorant’; s = ‘omul este îngrijorat’.
Raţionamentul devine astfel: ‘Omul ştie sau nu ştie că fericirea este
trecătoare. Dacă nu ştie, este ignorant. Nu poţi fi ignorant şi, totodată,
fericit. Dacă ştie, este îngrijorat. Nu poţi fi îngrijorat şi, totodată, fericit.
Deci, nimeni nu este fericit’.
p∨ p
p →r
r∧q
p→s
s∧q
deci q
Prin calcul prescurtat sau prin metoda matricială se dovedeşte că
argumentul este valid.
27. Notând: p = ‘Se alege soluţia A’; q = ‘Se alege soluţia B’; r
= ‘Se alege soluţia C’; s = ‘Se alege soluţia D’ şi t = ‘Se află soluţia’,
formulele sunt:
p∨q
r→q
s↔q
t↔q
249
Logică
250
Logică
BIBLIOGRAFIE
Aristotel, Organon I, II, trad. rom. M. Florian, Editura IRI, Bucureşti,
1997 – 1998
Aristotel, Metafizica, trad. rom. Şt. Bezdechi, Editura IRI, Bucureşti,
1996
Armstrong, D. M., Belief, Truth and Knowledge, Cambridge University
Press, 1973
Austin, John Langshaw, How to Do Things with Words, Oxford Uni-
versity Press, 1962
Austin, John Langshaw, Philosophical Papers, 3d edition, Oxford Uni-
versity Press, 1979
Bacon, Francis, Noul Organon, Bucureşti, 1957
Bieltz, Petre & Istrate, Anghelina, Logica, Editura Didactică şi Peda-
gogică, Bucureşti, 1983
Blackburn, Simon, Dicţionar de filosofie (Oxford), Univers Enciclopedic,
Bucureşti, 1999
Blanché, Robert, La logique et son histoire, Armand Colin, Paris, 1970
Blanché, Robert, Introduction à la logique contemporaine, Armand
Colin, Paris, 1968
Bogdan, Radu & Milcoveanu, Aurora, Logica pe înţelesul tuturor,
Editura Enciclopedică Română, Bucureşti, 1974
Botezatu, Petre, Valoarea deducţiei, Editura Ştiinţifică, Bucureşti, 1971
Botezatu, Petre, Constituirea logicităţii, Editura Ştiinţifică şi Enciclope-
dică, Bucureşti, 1983
251
Bibliografie 259
252
Logică
253
Bibliografie 261
Klaus, Georg, Logica modernă, trad. rom. Mircea Ţigoiu, Editura Ştiinţi-
fică şi Enciclopedică, Bucureşti, 1977
Kneale, William & Martha, Dezvoltarea logicii, trad. rom. Cornel Popa,
Editura Dacia, Cluj-Napoca, 1974
Nagel, Thomas, Ultimul cuvânt, trad. rom. Germina Chiroiu, Editura All,
Bucureşti, 1998
254
Logică
Platon, Sofistul, trad. rom. Constantin Noica, în «Opere», vol. VI, Editura
Ştiinţifică şi Enciclopedică, Bucureşti, 1989
Popper, Karl R., Logica cercetării, trad. rom. M. Flonta, Al. Surdu şi
Erwin Tivig, Editura Ştiinţifică şi Enciclopedică, Bucureşti, 1981
Rescher, N., Introduction To Logic, St. Martin’s Press, New York, 1964
255
Bibliografie 263
256