Logica formala [PDF]

Zitiervorschau

Iancu LUCICA Unil/en6itatea de Vest - TIMISOARA .

�

LOGICA FORMALA scurtă introducere

BIBLIOTEO. CENTRALĂ UNIVERSITARĂ TIMIŞOARA

111i1 111111 1III11I1� 11111 1 111 1 111111111111111 02342105

Bucureşti, 2004

Copyright© 2004 S.c.

Editura

TEHNiCĂ S.A.

Toate drepturile asupra acestei ediţii sunt rezervate editurii.

Adresă: S.c.

Editura

TEHNICĂ S.A.

23. sector 2 cod 024056 Bucureşti, România

Str. Olari,

nr.

www.tehnica.ro

coordonator lucrare cătălinarnăgureanu coordonator tehnic floringealap u

tehnoredactare pc iulianapanciu !ayout

& pre-press

cătălinarnăgureanu

I('scrierea CIP a Bibliotecii Naţionale a României .\NCU, LUCICA

Logica formală: scurtă introducere / Lucica Iancu,

;lIcureşti

:

Editura Tehnică, 2004

Bibliogr. ISBN 973-31-2243-2

6

-

Cartea defaţă are la bazii cursul cle logică pe care fi predau la Secţia de Filosofie a Universităţii de Vest din Timişoara Î/lcepând cu

al1u{ şcolar lIniversitar

199019/. Scopul ei este :să prezinte cititoru/ai Într-o formă clară şi accesibilă problemele de bază ale logiciiformale modeme.

Deşi dispunem fn momentul de faţă de o bogatiI literatură de specialitate consider că se impune o resistematizare a materialulu; care sll includă ş; câteva din achiziţiile mai noi pe care le Înregistrează cercetările În domeniu.

Cartea nu pretinde din partea c;titorului cunoştinţe de specialitate, ci doar o pregiItire medie şi, bineinţeles, abilitatea de a opera cu abstracţii de cel mai inalt niveL Aplicaţiile de la sfârşitul fiecărui capitol sunt obligatorii pelIIru oricine doreşte stI depăşească stadiul simpleifamiliarizliri cu problematic" logiciifoflhale.

Iancu LUCICA

�prins ce;

.�

1. Introducere

11

1.1. Obiectul şi definiţia logicii 1.1.1. Probleme general e 1.1.2. Câteva concepte şi definiţii 1.1.3. Ob s ervaţii pe marginea defin iţi ilor date logicii 1.2. Structura teoretică a logicii formale. Teorie şi metat eoric 1.3. Problema metodei În logica formală 1.3 .1. Scurtă prezentare a metodelor logicii 1.3.2. Raporturile metodologice ale teoriilor 1.3.3. Logica în calitate de organon" 1.4. Logica şi limbajul 1.4.1. Conceptul de limbaj. Aspecte generale ..

1.4.2. Structura limbajului 1.4.3. Tipuri de limbaj

12 12 14 21 22 26 27 30 32

32

32 35 37 40 42 43

1.4.4. Distincţia limbaj obiect - metalimbaj 1.5. Principii şi legi logi c e 1.5. 1. Principiul identităţii 1.5.2. Principiul noncontradicţiei 1.5.3. Principiul terţului exclus 1.5.4. Principiul raţiunii suficiente 1.5.5. Privire genera l ă asupra problemei principiilor

66

Aplicaţii

68

49 56

61

8

Logica formală

II. Noţiuni, term eni , contepte 2. J .Ce este n oţi unea? 2.1.1. De fi niţi a tradiţională a noţiunii. Discuţii critice

71 72

73 74 2.1.2. Definiţia logică a noţi un ii 2.1.3. St ru ctura noţiunii. Conţinut, sferă, inte n si u ll e, extensiune75 81 2.104. Alte pre cizări privind continutul şi sfera noţi u n il or 82 2.1.5. Obiectul n oţ i u ni i 2.2. N oţiunea ca sistem de j ud ecăţ i. 84 Structura propoziţională a noţiunii 88 2.3. Ce sunt termenii? Rapo rtul noţiune - termen 2.3.1. Categoriile semantice de sens şi denOlals 90 2.3.2. C a tegorii semantice înrudite 91 93 2.3.3. Problema ambiguitătii termenilor 2.4. Ce sunt conceptel e ? 96 98 2.5. Tipuri mai importante de n oţi un i (concepte) 98 2.5.1. Noţiuni generale 100 2.5.2. Noţiuni si n gul a re 101 2.5.3. Noţiuni vide 102 2.5.4. Noţiuni parad ox a l e 2.5.5. Noţiuni ideale 104 105 2.5.6. Noţiuni precise şi notiuni impre cise 2.5.7. Noţiuni pozitive şi noţiuni negative 108 109 2.5.8. Noţiuni concrete şi noţiuni abstracte 2.5.9. Noţi un i contrare şi noţiuni contradictorii 110 111 2.5.10 Noţiuni relative şi noţiuni independente 2.6. Relaţii Între noţiuni 112 112 2.6. I.Relaţia de identitate 2.6.2. Relaţia de Încrucişare 113 114 2.6.3. Relaţia de ordonare 2.6.4. Relaţia de contrarietate şi contradicţie 116 117 2.7. Operaţii cu noţiuni 2.7.1. Determinarea şi generalizarea

117

2.7.3. Cuantificarea 2.7.4. Definitia

118 121 122

2.7.2. Diviziunea şi clasificarea

Aplicaţii III. Judecăţi, propozitii, funcţii propoziţionale

131 135

3.1. Logica formală şi p roble m a r apo rtul u i dintre subiect şi obiect în cunoaştere

3.2. Raportul judecată - propoziţie 3.3. Tipuri mai impo rtante de propoziţii

135 140

144

Cupril/S

3.3.1. Propoziţii închise şi propozitii deschise 3.3.2. Propoziţii de extensiune şi propoziţii de intensiune 3.3.3. Propoziţii extensionale şi propoziţii intens ionale 3.3.4. Propoziţii simple şi propoziţii compuse 3.3.5. Propoziţii de relaţie 3.4. Problema logică a supoziţiilor 3.4.1. Conceptul de supoziţie. Aspecte generale 3.4.2. Definitia supoziţiei 3.4.3. Clasificarea supoziţiilor 3.4.4. Supoziţiile propoziţiilor necognitive 3.4.5. Câteva exemple şi aplicatii 3.5. Logica propozi ţiilor de predicaţie 3.5.1. Structura propoziţiei de predicaţie 3.5.2. Clasificarea propoziţiilor de predicaţie după calitate şi cantitate 3.5.3. Problema propoziţiilor singulare 3.5.4. Standardizarea propoziţiilor de predic aţ i e 3.5.5. Reprezentarea prin diagrlme 3.5.6. Distributivitatea terme n i lo r în propoziţiile de predicaţie 3.5.7. Existenţă şi adevăr. Propoziţiile de predicaţie În in terpre tare existenţială 3 .5.8. Pătratul opoziţiilor 3.6. Propozi ţii modale 3.6.1. Conceptul de modalitate 3.6.2. Modalităţi aletice 3.6.3. Modalităţi de dicto şi modalităţi de re 3.6.4. Pătratul modalitătilor Aplicaţii

IV. Implicatie, validitate, deductibilitate

4. I . Conceptul de raţionament. Aspecte generale

4.2. Adevăr şi validitate 4.3. Implicaţie şi deductibilitate 4.3.1. Implicaţia materială şi deducţia 4.3.2. Implicaţia formală 4.3.3. Implicaţia strictă 4.3.4. Teorema generală a deducţiei şi raţionamentele l1onmonotonice 4.4. Clasificarea rationamentelor 4.5. Raţionamente (inferenţe) imediate

9

144 146 147 148 152 153 153 154 158 159 161 162 162 163 166 171 172 176 179 181 185 185 186 190 192 199 203

203 206 210 210 214 214 216 218 219

10

Logica formală 4.5.I.Raţionamente imediate bazate pe raporturile pătratului logic 4.5.2. Testarea rationarnentelor 4.5.3. Alte raţionamente imediate 4.6. Silogistica 4.6.1. Structura silogismului. Figuri şi moduri silogislice 4.6.2. Legile generale ale silogismului 4.6.3. Legi speciale şi moduri valide 4.6.4. Moduri subalterne (tari şi slabe) 4.6.5. Moduri directe şi indirecte 4.6.6. Metode de verificare a validitătii mod u r i lor silogistice 4.6.7. Varietăli silogistice ( e n t i mem a epicherema, poJisiJogismuJ şi soritul) 4.7. Raţionamente deductive cu propoziţii necategorice 4.7.1. Raţionamente ipotetice 4.7.2. Rationamente disJunclive • 4.7.3. Dilemele

219 22J

224

230 233 235 239 244

246 250

,

259 262 263 264 265

.4pl ica/ i i

268

Bibliografie

271

1

#ntroducere c;

.� pro vine din greces cu l

Â,6yo