151 104 27MB
Romanian Pages 269 [270] Year 2004
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