1

Definitii
Argumentarea
1.Argumentare proces prin care se ofera temeiuri (probe) in favoarea unei opinii 2.Argument ansamblu de propozitii in care dintr-un set de propozitii acceptate ca adevarate (premise) se deriva adevarul altei propozitii (concluzie). 9. Raionament nlnuire logic de judeci care duce la o concluzie. Termeni sinonimi: inferen sau argument 64. Premis propoziie luat ca adevrat ntr-o argumentare. 65. Concluzie propoziie susinut printr-o argumentare. 49. Evaluare a argumentelor procedeu de verificare a validitatii a argumentelor deductive si de stabilire a tariei argumentelor nedeductive. 50. Validitate acea proprietate a unei inferene deductive n virtutea creia din premise adevrate este imposibil s se trag o concluzie fals. 55. Inferen - procedeu prin care dint-un set de premise se deriv deductiv sau inductiv o concluzie. 82. Indicator de argumentare - element al limbajului natural care indic una din cele dou tipuri de propoziii categorice: premis sau concluzie

Tipuri de argumentri
23.Inferen deductiv inferen in care concluzia este derivata in mod necesar din premise (cpremisele sunt un temei suficient pentru concluzie). 24.Inferen inductiv inferen in care concluzie este derivata in mod probabil din premise (premisele nu sunt un temei sufiecient pentru concluzie). 25. Inferen imediat inferen in care concluzia se extrage dintr-o singura premis. 26. Inferen mediat inferen in care concluzia se extrage dintr-o cel putin doua premise. 27. Inferen valid inferen deductiv caracterizat prin faptul c daca premisele sunt premise adevrate concluzia este in mod necesar adevarata. 28. Inferent nevalid inferen deductiv caracterizat prin faptul c din premise adevrate nu se deriva o concluzie falsa. 33.Inferen inductiv slab inferen inductiv cu grad redus de probabilitate. 34. Inferen inductiv tare inferen inductiv cu grad ridicat de probabilitate. 61.Inferen deductiv imediat inferen cu o premis i o concluzie, ce poate fi caracterizat drept adevrat sau fals.

Termeni si operaii cu termeni

3.Termen logic cuvnt/ansamblu de cuvinte ce exprim o noiune i se refer la unul sau mai multe obiecte reale sau ireale. 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 intensiunii unui termen. 12.Clasificare operaie de ordonare a unei mulimi de obiecte (domeniul) n funcie de un anumit criteriu. 71. Definitor termen sau expresie ce determin nsuirile definitului cu care se afl n raport de identitate.

Propoziii categorice
72.Propoziie categoric orice propoziie n care un termen se afirm sau se neag despre un alt termen. 7.Subiect logic (n propoziiile categorice) termenul despre care se enun o proprietate. 8.Predicat logic (n propoziii categorice) termen care se enun (se predic) despre un alt termen.

Silogismul
10.Silogism inferen cu propoziii categorice n care din dou premise care au un termen comun se deduce o concluzie format din termenii necomuni premiselor.. 86. Termen major termen cu rolul de predicat n concluzia unui silogism. 89. Termen minor termen care are rol de subiect n concluzia unui silogism. 90. Termen mediu termen, prin intermediul cruia se pun n relaie ceilali doi termeni (extremi) ai silogismului ; Este termenul comun celor dou premise ale silogismului 75. Premis minor acea premis a unui silogism n care este prezent subiectul concluziei silogismului. 85. Premis major premis a unui silogism ce conine predicatul concluziei silogismului.

Propoziii compuse
13.Propoziie compus propozitie alcatuita din cel putin o propozitie simpla(atomara) si minimum un conector logic. 14. Funcie de adevr conectorii sau operatorii logici. Se numesc funcii de adevr pentru c valoarea de adevr ce rezult prin aplicarea lor este n funcie de valorile de adevr ale variabilelor propoziionale din cadrul formulei. 77. Operator propoziional conector de propoziii atomare care servete la construirea propoziiilor compuse.

Conectori logici
15. Negaie logic operator monar care 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 devrate. 17. Disjuncie neexclusiv (inclusiv) conector logic binar cu proprietatea c este adevrat dac cel putin o propoziie atomar este adevarat.. 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.

Tipuri de propoziii compuse

20.Lege logic formul care este adevrat independent de valorile variabilelor propoziionale. 21.Formul contingent formul care este uneori adevrat, iar alteori fals. n funcie de valorile de adevr ale variabilelor propoziionale 22. Formul inconsistent formul care este mereu fals independent de valorile variabilelor propoziionale.

Tipuri de argumente cu propoziii compuse

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 disjunctivo-categorica - inferen care are drept premise o propozitie disjuctiva si una din disjuncte afirmata sau negata. 88. Modus tollendo-tollens inferenta cu propozitii compuse care sustine c dac implicaia dintre dou propoziii este adevrat i dac consecventul acesteia e fals , atunci i antecedentul implicaiei e fals. 92. Modus ponendo-tollens inferenta cu propozitii compuse care sustine c dac este adevrat disjuncia exclusiv a dou propoziii, iar una dintre acestea este adevrat, atunci cealalt este fals. 97. Modus tollendo-ponens inferenta cu propozitii compuse care sustine c dac este adevrat disjuncia (inclusiv sau exclusiv) a dou propoziii iar una dintre acestea este fals rezult c cealalt propoziie este adevrat. 46.Modus ponendo-ponens inferen ipotetic care susine c dac implicaia ntre dou propoziii este adevrat i antecedentul acesteia e adevrat atunci i consecventul implicaiei iniiale e adevrat.

Demonstraia

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 se deduce teza. 39.Demonstraie intuitiv Demostratie specifica logicii naturale, in care regulile de inferare sunt aplicate implicit, iar raionamentele nu sunt formulate in limbaj formal. 40. Demonstraie formalizat demonstraie construit n limbaj formal care presupune aplicarea explicit a unor reguli de inferare. 41. Demonstraie deductiv ansamblu de inferene deductive prin care se sustine o cocluzie(tez). 42.Demonstraie inductiv ansamblu de inferente inductive prin care se sustine o concluzie (tez). 43. Demonstraie direct demonstraie in care adevrul tezei este dedus din adevrul fundamentului.

Inducia
47. Inducie prin simpl enumerare form a induciei incomplete bazat pe observaie nesistematic n care concluzia este extras din existena unor cazuri favorabile i din absena unor excepii. 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. 48. Inducie tiinific form a induciei incomplete (amplifiante) 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. 32.Inducie incomplet inferen extinde la o ntreag clas proprietatea despre care premisele arat c aparine unora din elementele acelei clase. 31.Inducie complet inferen care sustine ca dac fiecare element al unei clase are (sau nu are) o proprietate, intreaga clasa de elemente are respectiva propietate.