Definiii din manualul de logic

Subiectul III 1
Varianta 1
Argumentarea este:
1. Procesul prin care dovedim, demonstrm ceva cu dovezi obiective (temeiuri sau
probe);
2. Un proces prin care determinm pe cineva s accepte o idee sau s fie de acord cu noi
ntr-o anumit problem.

Varianta 2
Argumentul este format dintr-o mulime de propoziii, din care unele sunt numite temeiuri
(premise), care ntemeiaz, justific o alt propoziie numit tez (concluzie).

Varianta 3
Termenul este un cuvnt sau un grup de cuvinte prin care se exprim o noiune, respectiv
nelesul termenului i care se refer la unul sau mai multe obiecte despre care se afirm
noiunea n cauz.

Varianta 4
Intensiunea unui termen este constituit din proprietile obiectelor care formeaz
extensiunea termenului.

Varianta 5
Extensiunea unui termen este format din totalitatea obiectelor ale cror proprieti constituie
intensiunea termenului.

Varianta 6
Definirea este operaia logic prin care redm caracteristicile unui obiect sau noiuni,
caracteristici ce-l deosebesc de toate celelalte obiecte sau noiuni.

Varianta 7
Subiectul logic (simbolizat prin S) este termenul despre care se enun ceva.

Varianta 8
Predicatul logic (simbolizat prin P) este termenul prin care se enun ceva despre subiectul
logic (S).

Varianta 9
Raionamentul este operaia logic prin intermediul creia din propoziii date numite
premise este derivat o alt propoziie numit concluzie.

Varianta 10
Silogismul este:
1. Inferena (argumentul, forma de raionare) format din trei propoziii (dou premise i
o concluzie) i din trei termeni (S, P i M);
2. Argument n care din dou premise (propoziii categorice) care au un termen comun
(M) se deduce drept concluzie o propoziie care unete ceilali doi termeni, adic
termenii necomuni din premise (S, P);
3. Tipul fundamental de argument dedutiv mediat, alctuit din numai trei propoziii
categorice, din care dou sunt premise, iar a treia este concluzia.

1
Varianta 11
Definiia este rezultatul operaiei de definire constnd n reconstituirea noiunii, astfel nct s
fie precizate extensiunea (sfera) i intensiunea (coninutul) acesteia.

Varianta 12
Clasificarea este operaia logic prin care noiunile (obiectele) sunt ordonate i grupate, dup
diferite criterii, n diferite clase (din ce n ce mai generale).

Varianta 13
Propoziia compus este o combinaie de propoziii simple legate ntre ele prin conectori
logici.

Varianta 14
Funcia de adevr este dat de faptul c valoarea de adevr a unei propoziii compuse
depinde de valoarea de adevr a propoziiilor simple.

Varianta 15
Negaia logic a unei propoziii p, (non-p), este fals dac i numai dac p este adevrat i
este adevrat dac i numai dac p este fals.

Varianta 16
Conjuncia logic este o propoziie compus format din dou propoziii simple (p i q)
legate ntre ele prin conjuncia i, fiind adevrat dac i numai dac ambele propoziii sunt
adevrtate, n caz contrar fiind fals.

Varianta 17
Disjuncia neexclusiv este o propoziie compus format din dou propoziii simple (p i q)
legate ntre ele prin disjuncia sau, fiind fals dac i numai dac ambele propoziii sunt
false, n caz contrar fiind adevrat.

Varianta 18
Implicaia este propoziia compus format din dou propoziii simple ( p antecedent i q
consecvent) de forma dac p, atunci q, fiind fals dac i numai dac antecedentul su este
adevrat, iar consecventul este fals, n celelate cazuri fiind adevrat.

Varianta 19
Echivalena este o propoziie compus format din dou propoziii simple (p i q) de forma
dac i numai dac p, atunci q, fiind adevrat dac i numai dac propoziiile simple au
aceeai valoare de adevr, n caz contrar fiind fals.

Varianta 20
O formul din logica propoziiilor compuse este lege logic dac i numai dac ea este
adevrat pentru orice combinaie de valori de adevr.

Varianta 21
O formul este contingent dac i numai dac ea este adevrat pentru anumite combinaii
de valori de adevr i fals pentru alte combinaii.

Varianta 22

2
O formul este inconsistent sau contradictorie dac i numai dac ea este fals pentru orice
combinaie de valori de adevr.

Varianta 23
Inferena deductiv este acea inferen n care dintr-un anumit numr de premise este
derivat o concluzie care este la fel de general sau mai puin general dect premisele din
care a fost obinut (concluzia nu spune mai mult dect premisele din care a fost obinut).

Varianta 24
Inferena inductiv (nedeductiv) este acea inferen n care concluzia este mai general
dect premisele din care a fost obinut i chiar dac premisele sunt adevrate, concluzia
obinut rmne,totui, probabil.

Varianta 25
O inferen deductiv este imediat dac i numai dac concluzia este derivat direct dintr-o
singur premis, fr niciun alt pas intermediar.

Varianta 26
O inferen deductiv este mediat dac i numai dac concluzia este derivat din mai mult
de o premis (ex. silogismul i polisilogismul)

Varianta 27
O inferen deductiv este valid atunci cnd din premise adevrate se obine o concluzie
adevrat.

Varianta 28
O inferen deductiv este nevalid atunci cnd premisele pot fi adevrate, ns concluzia
este fals.

Varianta 29
Inferena ipotetic este o 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.

Varianta 30
Inferena disjunctiv este o 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.

Varianta 31
Inducia complet este o argumentare deductiv care presupune c:
1. Exist o clas de obiecte al crei numr de elemente nu este mare (clas finit);
2. Fiecare obiect/element al clasei poate s fie examinat (individual);
3. Fiecare obiect/element al clasei are o anumit proprietate;
4. Se conchide c ntreaga clas de obiecte are respectiv proprietate.

Varianta 32
Inducia incomplet (amplificatoare) este o argumentare nedeductiv n care se trece de la un
numr finit de cazuri la un numr infinit de cazuri, fiind o modalitate de raionament ipotetic
deoarece dei premisele sunt adevrate, concluzia rmne totui probabil.

3
Varianta 33
Inferena inductiv slab este acea inferen n care premisele sunt adevrate i concluzia
are mic probabilitate s fie adevrat.

Varianta 34
Inferena inductiv tare este acea inferen n care premisele sunt adevrate i concluzia are
mare probabilitate s fie adevrat.

Varianta 35
Demonstraia este procesul logic (raionamentul sau lanul de raionamente) prin care o
propoziie dat este conchis numai din propoziii adevrate.

Varianta 36
Teza de demonstrat este o propoziie concret pe care o propunem i pe care urmeaz s o
argumentm (demonstrm, dovedim).

Varianta 37
Fundamentul demonstraiei este un ansamblu de premise din care urmeaz s conchidem
teza (premisele sunt numite i argumente).

Varianta 38
Procesul de demonstrare (form logic a raionamentului care leag fundamentul de tez)
este raionamentul sau ansamblul de raionamente prin care deducem teza din premise.

Varianta 39
Demonstraia intuitiv se bazeaz pe relaiile dintre termeni i propoziii, cel mai adesea
nesprijinindu-se pe raionamente complete, ci eliptice, iar uneori cel care le realizeaz nu este
contient de regulile pe care le aplic.

Varianta 40
Demonstraia formalizat este acel tip de demonstraie n care se are n vedere, n primul
rnd, sistemul de simboluri i regulile de operare cu aceste simboluri.

Varianta 41
Demonstraia deductiv este acea demonstraie n care nu intervin direct date de experien.
Ea este o demonstraie exclusiv raional.

Varianta 42
Demonstraia inductiv este acea demonstraie n care intervin direct date de experien.

Varianta 43
Demonstraia direct este acea demonstraie n care se trece de la premise la concluzie
(silogismul, inducia complet etc.).

Varianta 44
Silogismul este (vezi varianta 10)

Varianta 45
Demonstraia este (vezi varianta 35)

4
Varianta 46
Modus ponendo-ponens este un argument deductiv cu dou premise (una este ipotetic, iar
cealalt este asertoric) care are urmtoarea form simbolic [(p->q) & p]->q

Varianta 47
Inducia prin simpla enumerare (inducia popular) este acel raionament nedeductiv care
se bazeaz pe trecerea n revist a unui numr ct mai mare de cazuri din care nici unul nu
contrazice rezultatul spre care tindem.

Varianta 48
Inducia tiinific este o inducie bazat pe reguli bine determinate, pe utilizarea observaiei
riguros organizate, a experimentului tiinific i a unor metode specializate de cercetare
inductiv (numite i metode cauzale).

Varianta 49
Evaluarea argumentelor reprezint operaia prin care punem n eviden corectitudinea
logic, dar, de asemenea, poate infirma aceast pretenie, n acest caz fiind vorba de erori.
Procedeu de verificare a respectrii tuturor regulilor i restriciilor de validitate ale
argumentrii.

Varianta 50
Validitatea este o caracteristic a raionamentelor deductive, aceasta nsemnnd c din
premise adevrate se obine o concluzie adevrat.

Varianta 51
Clasificarea este (vezi varianta 12)

Varianta 52
Inducia complet este (vezi varianta 31)

Varianta 53
Argumentarea este (vezi varianta 1)

Varianta 54
Demonstraia este (vezi varianta 35)

Varianta 55
Inferena este procedeu prin care dint-un set de premise se deduce o concluzie.

Varianta 56
Silogismul este (vezi varianta 10)

Varianta 57
Definirea este (vezi varianta 6)

Varianta 58
Termenul este (vezi varianta 3)

Varianta 59

5
Clasificarea este (vezi varianta 12)

Varianta 60
Raionamentul inductiv este (vezi varianta 24 inferen=raionament)

Varianta 61
Inferena deductiv mediat este (vezi varianta 26)
Varianta 62
Intensiunea este (vezi varianta 4)

Varianta 63
Demonstraia formalizat este (vezi varianta 40)

Varianta 64
Premisa este un enun (propoziie) care face parte din fundamentul argumentrii i care st la
baza procesului argumentativ.

Varianta 65
Concluzia (teza) este un enun (propoziie) care rezult prin procesul argumentativ din una
sau mai multe premise.

Varianta 66
Inferena deductiv este (vezi varianta 23)

Varianta 67
Inferena nedeductiv este (vezi varianta 24)

Varianta 68
Extensiunea este (vezi varianta 5)

Varianta 69
Implicaia este (vezi varianta 18)

Varianta 70
Tautologia este (vezi varianta 20 lege logic=tautologie)

Varianta 71
Definitorul este format din elemente cu ajutorul crora se precizeaz obiectul definiiei
(exprim caracteristici definitorii).

Varianta 72
Propoziia categoric este forma logic n care se exprim un singur raport logic ntre doi
termeni, fr a pune n legtur cu altceva sau a condiiona acest raport cu altceva.

Varianta 73
Raionamentul ipotetic este (vezi varianta 29)

Varianta 74
Inferena deductiv valid este (vezi varianta 27)

6
Varianta 75
Premisa minor este premisa care conine termenul minor (S) ntr-un silogism.

Varianta 76
Raionamentul este (vezi varianta 9)

Varianta 77
Operatorul propoziional (numit i conector propoziional sau conector logic) este
simbolizat cu ajutorul unor semne speciale precum ~, , , v,& reprezentnd constate logice.
El leag propoziiile simple indicnd anumite operaii.

Varianta 78
Formula contingent este (vezi varianta 21)

Varianta 79
Inferena deductiv imediat este (vezi varianta 25)

Varianta 80
Raionamentul disjunctiv este (vezi varianta 30)

Varianta 81
Demonstraia direct este (vezi varianta 43)

Varianta 82
Indicatorul de argumentare este un cuvnt sau o expresie care arat una dintre
componentele argumentrii: premisa (temeiul) sau concluzia (teza).

Varianta 83
Modus ponendo-ponens este (vezi varianta 46)

Varianta 84
Formula inconsistent este (vezi varianta 22)

Varianta 85
Premisa major este premisa care conine termenul major (P) ntr-un silogism.

Varianta 86
Termenul major (notat cu P) este predicatul logic din concluzie.

Varianta 87
Argumentul nedeductiv slab este (vezi varianta 33)

Varianta 88
Modus tollendo-tollens este un argument deductiv cu dou premise (una este ipotetic, iar
cealalt este asertoric) care are urmtoarea form simbolic [(p->q) & ~q]->~p.

Varianta 89
Termenul minor (notat cu S) este subiectul logic din concluzie.

Varianta 90

7
Termenul mediu (notat cu M) este acel termen care se gsete n cele dou premise ale unui
silogim, fcnd legtura ntre acestea, dar nu apare n concluzie.

Varianta 91
Definiens-ul (definitorul) este (vezi varianta 71)

Varianta 92
Modul ponendo-tollens este un argument deductiv cu dou premise (una este disjuncie
exclusiv, iar cealalt este asertoric) care are urmtoarea form simbolic [(pwq) & p]->~q.

Varianta 93
Legea logic este (vezi varianta 20)

Varianta 94
Echivalena este (vezi varianta 19)

Varianta 95
Argumentul nedeductiv tare este (vezi varianta 34)

Varianta 96
Teza (concluzia) este (vezi varianta 65)

Varianta 97
Modus tollendo-ponens este un argument deductiv cu dou premise (una este o disjuncie
exclusiv, iar cealalt este asertoric) care are urmtoarea form simbolic [(pwq) & ~p]->p.

Varianta 98
Termenul mediu este (vezi varianta 90)

Varianta 99
Inducia incomplet este (vezi varianta 32)

Varianta 100
Propoziia categoric este (vezi varianta 72)