Definiii logic

1. Argumentare - proces de justificare logic a unei propoziii pe care vrem s o

susinem.

2. Argument - raionament, dovad adus n sprijinul unei afirmaii. 3. Termen logic - cuvnt/ansamblu de cuvinte ce exprim o noiune i se refer la unul
sau mai multe obiecte reale sau ideale.

4. Intensiune - proprietatea/proprietile ce caracterizeaz mulimea de obiecte crora

se aplic termenul.

5. Extensiune - mulimea obiectelor crora se aplic termenul. 6. Definire - operaie logic de determinare a nsuirilor unui obiect prin care ntre doi
termeni , respectiv dou expresii se introduce un raport de identitate.

7. Subiect logic - n propoziiile categorice termenul despre care se predic ceva i care
se gsete ntre cuantificator i copul.

8. Predicat logic - n propoziii categorice, termenul care se predic despre ceva i care
se gsete dup copul.

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

10. Silogism - acea inferen n care din dou propoziii categorice care au un termen
comun se deduce drept concluzie o alt propoziie categoric ai crei termeni sunt necomuni premiselor.

11. Definiie - v.6 - operaie logic de determinare a nsuirilor unui obiect prin care
ntre doi termeni , respectiv dou expresii se introduce un raport de identitate.

12. Clasificare - operaie de ordonare a unei mulimi de obiecte n funcie de un anumit

criteriu.

13. Propoziie compus - combinaie de propoziii atomare prin intermediul

conectorilor logici.

14. Funcie de adevr - conectorii logici sunt funcii de adevr pentru c valoarea de
adevr ce rezult prin aplicarea lor este n funcie de valorile de adevr ale variabilelor propoziionale.

15. Negaie logic - operator monadic ce are proprietatea c schimb valoarea de

adevr a propoziiei atomare creia se aplic.

16. Conjuncie logic - conector logic binar ce are proprietatea de a fi adevrat numai
dac propoziiile atomare pe care le leag sunt ambele adevrate.

17. Disjuncie neexclusiv - conector logic binar cu proprietatea c este adevrat

dac una din propoziiile atomare pe care le leag este adevrat i fals dac ambele sunt false.

18. Implicaie - conector logic binar cu proprietatea c este fals doar dac prima
propoziie atomar este adevrat, iar cea de-a doua fals, fiind adevrat n rest.

19. Echivalen - conector logic binar cu proprietatea de a fi adevrat doar dac

propoziiile atomare pe care le leag au aceeiai valoare de adevr.

20. Lege logic - formul ce este adevrat independent de valorile variabilelor

propoziionale.

21. Formul contingent - formul ce, n funcie de valorile de adevr ale variabilelor
propoziionale este uneori adevrat, alteori fals.

22. Formul inconsistent - formul ce, independent de valorile variabilelor

propoziionale este mereu fals.

23. Inferen deductiv acel tip de raionament care conine obligatoriu o premis
universal.

24. Inferen inductiv - inferen ce nu poate fi carcaterizat n mod adecvat ca fiind

valid sau nevalid ci, drept probabil sau mai puin probabil, concluzia spunnd mai mult dect premisele din care a fost obinut.

25. Inferen imediat - inferen compus dintr-o premis i o concluzie. 26. Inferen mediat - inferen caracterizat prin faptul c legtura dintre subiectul
i predicatul concluziei este mediat de un al treilea termen.

27. Inferen valid - inferen caracterizat prin faptul c din premise adevrate se
trag concluzii adevrate.

28. Inferent nevalid - inferen caracterizat prin faptul c din premise adevrate
nu se trag concluzii corecte.

29. 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.

30. Inferen disjunctiv - 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.

31. Inducie complet - inducie ce produce concluzii certe din premise adevrate
deoarece premisele sunt temei suficient pentru concluzie.

32. Inducie incomplet - inducie ce chiar i atunci cnd pornete de la premise

adevrate produce doar o concluzie plauzibil deoarece premisele nu sunt temei suficient pentru concluzie. Ea extinde la o ntreag clas propriteatea despre care premisele arat c aparine unora din elementele acelei clase.

33. Inferen inductiv slab - inferen inductiv cu grad redus de probabilitate. 34. Inferen inductiv tare - inferen inductiv cu grad ridicat de probabilitate.
procesul logic (raionamentul sau lanul de raionamente) prin care o propoziie dat este derivat(conchis) numai din propoziii adevrate.

35. Demonstraie - v.1 -

36. Tez de demonstrat este o propoziie concret pe care o propunem i pe care

urmeaz s o argumentm

37. Fundament al demonstraiei ansamblul de premise din care urmeaz s

conchidem teza

38. Proces de demonstrare - v.1. reprezint forma logic a raionamentului care

leag fundamentul de tez.

39. Demonstraie intuitiv - demonstraie ce se bazeaz pe relaiile dintre termeni i

propoziii. Cel mai adesea nu se bazeaz pe raionamente complete, ci eliptice, iar uneori cel care le realizeaz nu este contient de regulile pe care le aplic.

40. Demonstraie formalizat - demonstraie scris n limbaj formal bazat pe

relaii exprimate n simboluri.

41. Demonstraie deductiv - demonstraie n a crei desfurare nu intervin direct

date de experien.

42. Demonstraie inductiv - demonstraie n a crei desfurare intervin direct date

de experien.

43. Demonstraie direct - fie inducia complet fie deducia conform cu formele
cunoscute n care se trece dela premise la concluzie.

44. Silogism - v.10. - acea inferen n care din dou propoziii categorice care au un
termen comun se deduce drept concluzie o alt propoziie categoric ai crei termeni sunt necomuni premiselor.

45. Demonstraie - v.1. - procesul logic (raionamentul sau lanul de raionamente) prin
care o propoziie dat este derivat(conchis) numai din propoziii adevrate.

46. Modus ponendo-ponens - inferen ipotetic ce spune c dac implicaia ntre

dou propoziii este adevrat i dac antecedentul acesteia e adevrat atunci i consecventul implicaiei iniiale e adevrat.

47. Inducie prin simpl enumerare - form a induciei incomplete n care

concluzia reiese din observaii nesistematice, simple constatri. Are grad redus de probabilitate al concluziei.

48. Inducie tiinific - form a induciei incomplete n cunoaterea tiinific. Tinde,

prin folosirea sistematic a observatiei riguros organizate i a experimentului tiinific s stabileasc dac ceea ce se repet aidoma ntr-un numr mai mic sau mai mare de cazuri este n acelai timp necesar.

49. Evaluare a argumentelor - procedeu de verificare a respectrii tuturor regulilor

i restriciilor de validitate ale argumentrii.

50. Validitate - acea proprietate a unei inferene n virtutea creia din premise
adevrate este imposibil s se trag o concluzie fals.

51. Clasificare - v.12. - operaie de ordonare a unei mulimi de obiecte n funcie de un

anumit criteriu.

52. Inducie complet - v.31. - inducie ce produce concluzii certe din premise
adevrate deoarece premisele sunt temei suficient pentru concluzie.

53. Argumentare - v.1. - proces de justificare logic a unei propoziii pe care vrem s o
susinem.

54. Demonstraie - v.1. - procesul logic (raionamentul sau lanul de raionamente) prin
care o propoziie dat este derivat(conchis) numai din propoziii adevrate.

55. Inferen - procedeu prin care dint-un set de premise se deduce o concluzie. 56. Silogism - v.10 - acea inferen n care din dou propoziii categorice care au un
termen comun se deduce drept concluzie o alt propoziie categoric ai crei termeni sunt necomuni premiselor.

57. Definire - v.6 - operaie logic de determinare a nsuirilor unui obiect prin care
ntre doi termeni ; respectiv dou expresii se introduce un raport de identitate.

58. Termen - v. 3 - cuvnt/ansamblu de cuvinte ce exprim o noiune i se refer la unul

sau mai multe obiecte reale sau ideale.

59. Clasificare - v.12. - operaie de ordonare a unei mulimi de obiecte n funcie de un

anumit criteriu.

60. Raionament inductiv - raionament prin care se trece de la afirmaii despre

cazuri particulare la o lege sau un principiu general, caracterizat prin gradul de probabilitate al concluziei.

61. Inferen deductiv imediat - inferen cu o premis i o concluzie, ce poate fi

caracterizat drept adevrat sau fals.

62. Intensiune - v.4. - proprietatea/proprietile ce caracterizeaz mulimea de obiecte

crora se aplic termenul.

63. Demonstraie formalizat - v.40 - demonstraie scris n limbaj formal bazat pe

relaii exprimate n simboluri.

64. Premis - propoziie luat ca adevrat ntr-o argumentare. 65. Concluzie - propoziie susinut printr-o argumentare. 66. Inferen deductiv - v.23 - acel tip de raionament care conine obligatoriu o
premis universal.

67. Inferen nedeductiv - v.24. - inferen ce nu poate fi carcaterizat n mod

adecvat ca fiind valid sau nevalid ci, drept probabil sau mai puin probabil, concluzia spunnd mai mult dect premisele din care a fost obinut.

68. Extensiune - v.5. - mulimea obiectelor crora se aplic termenul. 69. Implicaie - v.18. - conector logic binar cu proprietatea c este fals doar dac
prima propoziie atomar este adevrat, iar cea de-a doua fals, fiind adevrat n rest.

70. Tautologie - v.20. - formul ce este adevrat independent de valorile variabilelor

propoziionale.

71. Definitor - termen sau expresie ce determin nsuireile definitului cu care se afl n
raport de identitate.

72. Propoziie categoric - orice propoziie n care un termen se afirm sau se neag
despre un alt termen.

73. Raionament ipotetic - v.29. - 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.

74. Inferen deductiv valid - v.27. - inferen caracterizat prin faptul c din
premise adevrate se trag concluzii adevrate.

75. Premis minor - acea premis a unui silogism n care este prezent subiectul
concluziei silogismului.

76. Raionament - v.1. operaia logic prin intermediul creia din propoziii date
numite premise este derivat o alt propoziie numit concluzie.

77. Operator propoziional - conector de variabile propoziionale prin care se

realizeaz propoziii compuse.

78. Formul contingent - v.21. - formul ce, n funcie de valorile de adevr ale
variabilelor propoziionale este uneori adevrat, alteori fals.

79. Inferen deductiv imediat - v. 61. - inferen cu o premis i o concluzie, ce

poate fi caracterizat drept adevrat sau fals.

80. Raionament disjunctiv - v.30 - 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.

81. Demonstraie direct - demonstraie n cazul creia adevrul tezei este de de

dedus din adevrul premiselor.

82. Indicator de argumentare - termeni ai limbajului natural ce indic caracterul

argumentativ al unui text.

83. Modus ponendo-ponens - v.46. - - inferen ipotetic ce spune c dac implicaia

ntre dou propoziii este adevrat i dac antecedentul acesteia e adevrat atunci i consecventul implicaiei iniiale e adevrat.

84. Formul inconsistent - v. 22. - formul ce, independent de valorile variabilelor

propoziionale este mereu fals.

85. Premis major - premis a unui silogism ce conine predicatul concluziei

silogismului.

86. Termen major - termen cu rolul de predicat n concluzia unui silogism. 87. Argument nedeductiv slab - cca. v. 33 88. Modus tollendo-tollens - mod ce spune c dac implicaia dintre dou propoziii
este adevrat i dac consecventul acesteia e falst , atunci i antecedentul implicaiei e fals.

89. Termen minor - termen cu rol de subiect n concluzia unui silogism. 90. 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.

91. Defininens - v.71. - termen sau expresie ce determin nsuireile definitului cu care
se afl n raport de identitate.

92. Modus ponendo-tollens - spune c dac este adevrat disjuncia a dou

propoziii, iar una dintre acestea este adevrat, atunci cealalt este fals.

93. Lege logic - v.20 - formul ce este adevrat independent de valorile variabilelor
propoziionale.

94. Echivalen - v.19 - conector logic binar cu proprietatea de a fi adevrat doar dac
propoziiile atomare pe care le leag au aceeiai valoare de adevr.

95. Argument nedeductiv tare - cca. v.34 96. Tez - v. 36 - este o propoziie concret pe care o propunem i pe care urmeaz s o
argumentm

97. Modus tollendo-ponens - spune c dac este adevrat disjuncia a dou

propoziii iar una dintre acestea este fals rezult c cealalt propoziie este adevrat.

98. Termen mediu - v.90. - 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.

99. Inducie incomplet - v.32. - inducie ce chiar i atunci cnd pornete de la

premise adevrate produce doar o concluzie plauzibil deoarece premisele nu sunt temei suficient pentru concluzie. Ea extinde la o ntreag clas propriteatea despre care premisele arat c aparine unora din elementele acelei clase.

100. Propoziie categoric - v.72 - orice propoziie n care un termen se afirm sau se
neag despre un alt termen.