Sunteți pe pagina 1din 4

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 nlnuire logic de judeci care duce la o 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 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 inferen ce poate fi caracterizat drept adevrat sau fals, 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. 35. Demonstraie v.1 36. Tez de demonstrat propoziie susinut printr-o demonstraie, a crei concluzie este. 37. Fundament al demonstraiei ansamblu de premise (definiii, axiome, teorii ... ) din care urmeaz s conchidem teza. 38.Proces de demonstrare - v.1. 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. 45.Demonstraie v.1. 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. 52. Inducie complet v.31. 53. Argumentare v.1. 54. Demonstraie v.1. 55. Inferen - procedeu prin care dint-un set de premise se deduce o concluzie. 56. Silogism - v.10 57. Definire v.6 58. Termen v. 3 59. Clasificare v.12. 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. 63. Demonstraie formalizat v.40 64. Premis propoziie luat ca adevrat ntr-o argumentare. 65. Concluzie propoziie susinut printr-o argumentare. 66. Inferen deductiv v.23 67. Inferen nedeductiv v.24. 68. Extensiune - v.5. 69. Implicaie v.18. 70. Tautologie v.20. 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. 74. Inferen deductiv valid v.27. 75. Premis minor acea premis a unui silogism n care este prezent subiectul concluziei silogismului. 76. Raionament v.1. 77. Operator propoziional conector de variabile propoziionale prin care se realizeaz propoziii compuse. 78. Formul contingent v.21. 79.Inferen deductiv imediat v. 61. 80. Raionament disjunctiv v.30

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. 84. Formul inconsistent v. 22. 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. 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 94. Echivalen v.19 95. Argument nedeductiv tare cca. v.34 96. Tez v. 36 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. 99. Inducie incomplet v.32. 100. Propoziie categoric v.72