Sunteți pe pagina 1din 6

Definiii n LOGIC

...ARGUMENTAREA ...
ARGUMENTARE proces de justificare logic a unei propoziii (numit CONCLUZIE sau TEZ)
pe care vrem s o susinem cu ajutorul altor propoziii (numite PREMISE, PROBE sau
TEMEIURI); proces prin care demonstrm (justificm) adevrul propriilor noastre opinii i ncercm
s-i convingem pe ceilali s le accepte.
ARGUMENT dei sinonim cu termenii de raionament! sau inferen!, este diferit de aceste dou
noiuni prin aceea c se are n vedere scopul cu care este formulat, i anume, acela de a convinge;
DOVAD sau PROB adus n sprijinul unei afirmaii.
INDICATOR DE ARGUMENTARE - cuvinte sau e"presii din lim#ajul natural care indic sau
introduc ntr-un te"t propoziii ce ndeplinesc rol de premise sau de concluzie, d$ndu-i astfel te"tului
caracterul argumentativ.
RAIONAMENT forma logic cea mai comple" prin care, din una sau mai multe propoziii,
numite %&'()*', este dedus o alta, numit +,-+./0)'. 1ormele logice mai puin comple"e dec$t
raionamentul sunt -,2)/-'3 i %&,%,0)2)3 ; nlnuire logic de judeci (%&,%,0)2)) sau
'-/-2/&)) care ndeplinesc funcia de PREMISE i care duce la o CONCLUZIE.
INFEREN proces sau activitate a g$ndirii raionale sau procedeu logic prin care dintr-un set de
propoziii cu rol de premise se deduce o anumit propoziie care ndeplinete rolul de concluzie. 4ei
termenul de inferen! este sinonim celui de raionament!, prin inferen! se ncearc punerea
accentului ndeose#i pe operaia efectiv de deducere a concluziei din premise. )nferena este cea mai
comple" dintre formele logice
VALIDITATE p!pie"#"e # $nei infeene n %i"$"e# &'ei# (in pe)i*e #(e%'#"e e*"e
i)p!*i+i, *' *e (e($&' ! &!n&,$-ie f#,*'. 4ei esenial pentru a sta#ili valoarea de adevr a unor
propoziii pe #aza valorii de adevr a altor propoziii, validitatea unei inferene nu depinde nici de
coninutul i nici de valoarea de adevr a acestor propoziii.
... TERMENII LOGICI ...
TERMEN LOGIC cuv$nt5ansam#lu de cuvinte ce e"prim o noiune (idee) i se refer la unul sau
mai multe o#iecte reale sau ideale. NOIUNEA este forma logic elementar care reflect la nivelul
g$ndirii clase de o#iecte. CUV/NTUL reprezint e"presia lingvistic a unei noiuni.

INTENSIUNE (sau CONINUTUL noiunii) proprietatea5proprietile (nsuirile sau notele) ce
caracterizeaz mulimea de o#iecte la care se refer noiunea. 4e e"emplu 6 intensiunea termenului
ze#r ! este format din totalitatea nsuirilor pe care le are orice ze#r 6 verte#rat, mamifer ier#ivor,
cu dungi al#e i negre.
E0TENSIUNE (sau SFERA noiunii) totalitatea o#iectelor care au proprietile cuprinse n
e"tensiunea termenului sau crora li se aplic termenul. 4e e"emplu 6 e"tensiunea termenului
ze#r ! se refer la toate animalele care au proprietile din intensiunea lui.
.OPERAII LOGICE ...
DEFINIRE operaie logic prin care se precizeaz intensiunea sau e"tensiunea unui termen
(coninutul sau sfera unei noiuni); operaie logic prin care se determin nsuirile unui o#iect prin
care ntre doi termeni ; respectiv dou e"presii se introduce un raport de identitate.
DEFINIIE enunul care reprezint rezultatul operaiei de definire; elementele structurale ale unei
definiii sunt6 DEFINITUL ( definiendum !) noiunea sau termenul ce urmeaz a fi definit,
numele care formeaz o#iectul definiiei; DEFINITORUL ( definiens !) ceea ce l definete pe
definit sau ceea ce se spune despre definit i RELAIA DE DEFINIRE ceea ce pune n raport
definitul cu definitorul (este e"primat prin ver#ul a fi! sau alte e"presii cu acelai sens). 4e
e"emplu6 raionamentul este forma logic prin care din anumite propoziii (premise) rezult o alt
propoziie (concluzie)!.
DEFINIT 1DEFINIENDUM2 noiunea al crui neles ne propunem s-l clarificm, ceea ce
urmrim s definim. 4efinitul este forma mai concis din punct de vedere lingvistic a definitorului
DEFINITOR 1DEFINIENS2 termen sau e"presie ce determin nsuirile definitului cu care se afl
n raport de identitate; definiia ca atare ; e"presie prin care clarificm nelesul unei noiuni sau
determinm o#iectele care intr n sfera noiunii ce reprezint definitul.
CLASIFICARE operaia logic prin care se ordoneaz sau se repartizeaz elementele unei mulimi
de o#iecte, numite UNIVERS sau DOMENIU AL CLASIFICRII, n funcie de un anumit
CRITERIU (una sau mai multe proprieti), n mulimi mai mici de elemente, numite CLASE.
.PROPOZIII CATEGORICE ...
PROPOZIIE COGNITIV enun de o#servaie, ce e"prim cunotine i care intr n structura
unui argument5raionament; propoziia cognitiv poate fi apreciat din perspectiva adevrului (ea poate
fi adevrat, fals sau pro#a#il, spre deose#ire de enunurile care e"prim ntre#ri, ordine, dorine
etc., ce nu pot fi apreciate din perspectiva valorii de adevr).
SUBIECT LOGIC termen care intr n structura unei propoziii categorice despre care propoziia
respectiv enun ceva (se predic ceva), fiind sim#olizat cu ajutorul literei S. *u#iectul logic al unei
propoziii categorice se gsete ntre cuantificator i copul (elementul de legtur).
PREDICAT LOGIC a doua noiune care intr n structura unei propoziii categorice, reprezentat
sim#olic prin litera P, i care const ntr-o proprietate (nsuire) despre care se spune c aparine sau
nu o#iectului (clasei) reflectat de su#iectul logic.
.SILOGISMUL.
SILOGISM denumire dat de 3ristotel acelui tip fundamental de inferen deductiv mediat n
care din dou propoziii categorice (PREMISA MA3OR i PREMISA MINOR) care au un
termen comun (TERMENUL MEDIU) se deduce drept concluzie o alt propoziie categoric ai crei
termeni sunt necomuni premiselor. 4enumirea de inferen mediat e"prim faptul c pentru
justificarea concluziei se apeleaz la mai mult de o premis.
PREMIS MA3OR premis a unui silogism format din predicatul concluziei (%) i termenul
mediu (().
TERMEN MA3OR termen care ndeplinete rolul de predicat n concluzia unui silogism i care
apare n premisa major a silogismului, alturi de termenul mediu.
TERMEN MINOR termen cu rol de su#iect n concluzia unui silogism i care apare n premisa
minor a silogismului, alturi de termenul mediu.
TERMEN MEDIU termen de legtur, prin intermediul cruia se pun n relaie ceilali doi termeni
ai silogismului; apare n cele dou premise dar nu i n concluzie.
... LOGICA PROPOZIIONAL ...
PROPOZIIE COMPUS 1PROPOZIIE MOLECULAR2 form logic e"primat printr-o
com#inaie de PROPOZIII SIMPLE (propoziii elementare sau PROPOZIII ATOMARE)
legate ntre ele prin intermediul unor CONECTORI LOGICI (OPERATORI
PROPOZIIONALI). 7n lim#aj formal, propoziiile simple se e"prim prin VARIABILE
PROPOZIIONALE (notate 6 p, 4, , *, "...) iar conectorii prin CONSTANTE
PROPOZIIONALE, sim#olizate 8, 9, v, :, .a.
FUNCIE DE ADEVR proprietate a conectorilor logici derivat din faptul c valoarea de adevr
a propoziiei compuse rezult prin aplicarea lor la valorile de adevr ale varia#ilelor propoziionale.
OPERATOR PROPOZIIONAL conector de varia#ile propoziionale prin care se realizeaz
propoziii compuse.
MODUS PONENDO5PONENS inferen ipotetic ce spune c dac implicaia ntre dou propoziii
este adevrat (prima premis) iar dac antecedentul acesteia e adevrat (premisa a doua), atunci i
consecventul implicaiei iniiale e adevrat (concluzie).
MODUS TOLLENDO5TOLLENS inferen ipotetic ce spune c dac implicaia dintre dou
propoziii este adevrat (prima premis) i dac consecventul acesteia e fals (premisa a doua), atunci
i antecedentul implicaiei e fals (concluzie).
MODUS TOLLENDO5PONENS inferen ipotetic c spune c dac este adevrat disjuncia a
dou propoziii (prima premis) iar una dintre acestea este fals (a doua premis), rezult c cealalt
propoziie este adevrat (concluzia).
MODUS PONENDO5TOLLENS inferen ipotetic din logica propoziional care spune c dac
este adevrat disjuncia a dou propoziii (prima premis), iar una dintre acestea este adevrat (a
doua premis), atunci cealalt este fals (concluzia).
NEGAIE LOGIC operator propoziional monadic redat la nivelul lim#ajului natural prin cuvinte
sau e"presii de genul 6 nu!, nu este adevrat c!, este fals c! etc. i care deine proprietatea de a
sc;im#a valoarea de adevr a propoziiei atomare creia se aplic.
CON3UNCIE LOGIC conector logic #inar e"primat la nivelul lim#ajului natural prin cuvinte
sau e"presii precum 6 i!, dar!, iar!, ns!, cu toate c!, dei!, n ciuda!, pe c$nd!, n timp
ce! sau c;iar o virgul (,) i care are proprietatea de a fi adevrat numai dac propoziiile atomare pe
care le leag sunt am#ele adevrate.
DIS3UNCIE NEE0CLUSIV conector logic #inar e"primat la nivelul lim#ajului natural prin
cuvinte sau e"presii precum6 sau!, fie!, ori!, i care deine proprietatea c este adevrat dac cel
puin una din propoziiile atomare pe care le leag este adevrat i este fals dac ambele propoziii
simple pe care le leag sunt false.
IMPLICAIE conector logic #inar semnalat n lim#aj natural prin cuvinte sau e"presii de genul6
dac... atunci...!, c$nd..., ...!, n cazul n care...!, cu condiia...!, prin urmare!, ntruc$t!,
rezult c...!, deci! etc. i care are proprietatea c este fals doar dac prima propoziie atomar
(ANTECEDENTUL) este adevrat, iar cea de-a doua propoziie (CONSECVENTUL) este fals,
fiind adevrat n rest; relaie de succesiune logic ntre dou propoziii, n care prima propoziie este o
condiie suficient pentru a doua propoziie iar a doua este o condiie necesar pentru prima.
EC6IVALENA (IMPLICAIA RECIPROC sau DUBLA IMPLICAIE) conector logic
#inar redat n lim#ajul natural prin e"rpesii de tipul 6 dac i numai dac..., atunci...!, ... este
ec;ivalent cu...! i care deine proprietatea de a fi adevrat doar dac propoziiile atomare pe care le
leag au aceeai valoare de adevr.
LEGE LOGIC (sau TAUTOLOGIE) formul ce este adevrat independent de valorile de
adevr ale varia#ilelor propoziionale; formul din logica propoziional n care, n urma calculului cu
ajutorul metodei matriceale, o#inem su# ultimul operator (conectorul principal) doar valoarea
adevrat! (<).
FORMUL CONTINGENT formul care, n funcie de valorile de adevr ale componentelor
sale (varia#ilele propoziionale) este uneori adevrat, alteori fals.
FORMUL INCONSISTENT formul care, independent de valorile varia#ilelor propoziionale,
este mereu fals ; orice negaie a unei tautologii reprezint o formul inconsistent.
... INFERENE ...
INFEREN DEDUCTIV inferen n care concluzia are un grad de generalitate mai mic sau
identic cu al premiselor din care a fost o#inut iar adevrul concluziei este dedus n mod cert din
adevrul premiselor.

INFEREN INDUCTIV inferen ce nu poate fi caracterizat n mod adecvat ca fiind valid
sau nevalid ci, drept pro#a#il (inferen tare) sau mai puin pro#a#il (inferen sla#), concluzia
av$nd un grad de generalitate mai mare dec$t al premiselor din care a fost o#inut (concluzia spune
mai mult dec$t premisele din care a fost derivat).
INFEREN IMEDIAT inferen n care concluzia este derivat n mod direct, nemijlocit dintr-
o singur premis, fr niciun pas intermediar. 4e e"emplu6 inferenele imediate cu propoziii
categorice6 conversiunea i obversiunea.
INFEREN MEDIAT inferen caracterizat prin faptul c legtura dintre su#iectul i
predicatul concluziei este mediat de un al treilea termen; inferen format din cel puin dou premise
i o concluzie.
INFEREN VALID (sau ,!7i&5&!e&"') inferen caracterizat prin faptul c din premise
adevrate se deduce ntotdeauna o concluzie adevrat.
INFEREN NEVALID inferen caracterizat prin faptul c ncalc legile (principiile) logice,
altfel spus, din premise adevrate poate rezulta o concluzie fals.
INFEREN IPOTETIC inferen cu dou premise i o concluzie caracterizat prin faptul c
una din premise este o implicaie iar cealalt afirmarea antecedentului sau negarea consecventului
implicatiei. 4e e"emplu6 )!($* p!nen(!5p!nen* (afirmativ) se caracterizeaz prin trecerea de la
afirmarea n premise a antecedentului implicaiei iniiale la afirmarea consecventului acestei implicaii
n concluzie i )!($* "!,,en(!5"!,,en* (negativ) definit prin trecerea de la negarea n premise a
consecventului implicaiei iniiale la negarea antecedentului acestei implicaii n concluzie.
INFEREN DIS3UNCTIV 5 inferen cu dou premise i o concluzie caracterizat prin faptul c
una din premise este o disjuncie iar cealalt afirmarea sau negarea unuia dintre termenii disjunciei.
4e e"emplu6 )!($* p!nen(!5"!,,en* (afirmativo-negativ) se caracterizeaz prin trecerea de la
afirmarea n premise a uneia dintre componentele disjunciei iniiale la negarea celeilalte n concluzie
(condiia de validitate este ca disjuncia s fie e"clusiv) i )!($* "!,,en(!5p!nen* (negativo-
afirmativ) definit prin trecerea de la negarea n premise a unui termen al disjunciei la afirmarea
celuilalt termen al disjunciei n concluzie.
... INDUCIA ...
RAIONAMENT INDUCTIV raionament n cadrul cruia concluzia are un anumit grad de
pro#a#ilitate (plauzi#ilitate), datorit faptului c premisele nu conin suficiente informaii pentru a
fundamenta concluzia (premisele nu sunt un temei suficient) iar operaia logic efectuat nu permite
inferarea cu necesitate a concluziei din premise ; raionament prin care se trece de la afirmaii despre
cazuri particulare la o lege sau un principiu general, caracterizat prin gradul de pro#a#ilitate al
concluziei.
INDUCIA COMPLET inducie ce produce concluzii certe din premise adevrate deoarece
premisele sunt temei suficient pentru concluzie.
INDUCIA INCOMPLET inducie ce c;iar i atunci c$nd pornete de la premise adevrate
produce doar o concluzie plauzi#il (pro#a#il) deoarece premisele nu sunt temei suficient pentru
concluzie. 'a e"tinde la o ntreag clas propriteatea despre care premisele arat c aparine unora din
elementele acelei clase.
INFEREN INDUCTIV SLAB inferen inductiv a crei concluzie are un grad redus de
pro#a#ilitate.
INFEREN INDUCTIV TARE inferen inductiv cu grad ridicat de pro#a#ilitate.
INDUCIE PRIN SIMPL ENUMERARE form a induciei incomplete n care concluzia reiese
din o#servaii nesistematice, simple constatri. 3re grad redus de pro#a#ilitate al concluziei.
INDUCIE 8TIINIFIC form a induciei incomplete n cunoaterea tiinific. =inde, prin
folosirea sistematic a o#servatiei riguros organizate i a e"perimentului tiinific s sta#ileasc dac
ceea ce se repet aidoma ntr-un numr mai mic sau mai mare de cazuri este n acelai timp necesar.
. DEMONSTRAIA.
TEZ DE DEMONSTRAT propoziie cu rol de concluzie, care constituie scopul unei demonstraii
sau care este susinut printr-o demonstraie.
FUNDAMENT AL DEMONSTRAIEI ansam#lu de premise (definiii, a"iome, teorii ...) pe care
se sprijin o demonstraie sau din care urmeaz s conc;idem teza demonstraiei.
PROCES 9 PROCEDEU DE DEMONSTRARE argumentarea, demonstraia propriu-zis,
inferene care duc de la fundament la tez 6 silogisme, inferene de relaie etc.
DEMONSTRAIE INTUITIV demonstraie ce se #azeaz pe relaiile dintre termeni i
propoziii. +el mai adesea nu se #azeaz pe raionamente complete, ci eliptice, iar uneori cel care le
realizeaz nu este contient de regulile pe care le aplic.
DEMONSTRAIE FORMALIZAT demonstraie scris n lim#aj formal #azat pe relaii
e"primate n sim#oluri.
DEMONSTRAIE DEDUCTIV demonstraie n a crei desfurare n$ in"e%in (ie&" (#"e (e
e:peien'. 4e e"emplu, matematicianul nu se sprijin n demonstraii pe fapte (precum fizicianul sau
#iologul), ci numai pe a"iome, teoreme i definiii.
DEMONSTRAIE INDUCTIV demonstraie n a crei desfurare in"e%in (ie&" (#"e (e
e:peien'. 4e e"emplu 6 demonstraiile din fizic, #iologie, c;imie, sociologie, istorie etc.
DEMONSTRAIE DIRECT form de demonstraie n care #(e%'$, "e-ei e*"e (e($* n )!(
(ie&" (in #(e%'$, p!p!-iii,! f$n(#)en"$,$i ; fie inducia complet, fie deducia conform cu
formele cunoscute n care se trece de la premise la concluzie.
DEMONSTRAIE INDIRECT form de demonstraie n care #(e%'$, "e-ei e*"e (e($* (in
f#,*i"#"e# &!n"#(i&"!iei "e-ei, care la r$ndul ei a fost dedus din adevrul propoziiilor
fundamentului. 3stfel de demonstraii fac apel la procedeul reducerii la a#surd, ca n cazul metodei
reducerii indirecte, ca mecanism de testare a validitii unui silogism.