Teoria sistemelor logice

Prefaţă......Page 3
1. Noţiunea de teorie......Page 4
2. Teorie şi metateorie......Page 6
3. Demersuri cognitive în raport cu limbajul......Page 7
4. Structura teoriilor......Page 10
5. Teoria sistemelor logice......Page 13
1. Teorie şi metodă......Page 17
2. Metoda limbajelor simbolice......Page 19
3. Metodele algoritmice......Page 28
4. Metoda axiomatică......Page 34
5. Metoda formalizării......Page 37
6.1. Prima clasă de metode......Page 40
6.2. Metoda teoriei mulţimilor......Page 41
6.3. Metoda structurilor......Page 62
6.4. Metoda aritmetizării......Page 70
(1) Metoda diagonalelor a lui Cantor......Page 74
(2) Metoda inducţiei matematice......Page 75
(3) Metoda funcţiilor recursive......Page 84
7. Metoda modelelor......Page 87
8. Definiţiile şi clasificările în logică......Page 89
9. Metode grafice în logică......Page 94
1. Noţiunea de antinomie (paradox)......Page 96
(1) Paradoxul mincinosului......Page 103
(2) Paradoxele mulţimilor......Page 108
3. Gruparea antinomiilor......Page 110
4.1. Problema generală a rezolvării antinomiilor......Page 142
4.2. Teoria kantiană a antinomiilor......Page 146
(1) Forrma clasică (B. Russell)......Page 148
(2) Dezvoltări ale teoriei tipurilor......Page 167
(4) Teoria lui Quine......Page 169
(5) Teorii mai slabe......Page 170
(7) E. Specker despre ambiguitatea tipurilor......Page 171
(1) Sistemul ZF ş.a.......Page 172
(2) Sistemele axiomatice formale......Page 173
4.6. Metoda lui Bocivar......Page 176
4.7. Metoda semantică......Page 181
4.8. G. H. Poincare despre paradoxe......Page 182
4.9. Alte soluţii......Page 183
4.10. Sinteză asupra metodelor de rezolvare......Page 184
4.11. Rezolvarea antinomiilor aparente......Page 194
1. Chestiuni generale......Page 195
2. Noţiunea de semiotică......Page 196
4. Noţiunea de limbaj......Page 197
5. Ierarhia limbajelor......Page 201
6. Clasificarea expresiilor......Page 207
7. Termeni şi propoziţii în ML......Page 209
1. Conţinutul sintaxei logice......Page 213
2. Noţiunea de vocabular......Page 215
3. Noţiunea de expresie......Page 221
4. Tipuri de expresii......Page 226
5. Noţiunea de regulă sintactică......Page 233
6. Relaţii sintactice între expresii......Page 235
7. Mulţimi de propoziţii în L......Page 242
8. Sistemele formale şi problema deciziei......Page 253
1. Conţinutul semanticii logice......Page 266
2. Categorii semantice......Page 267
3. Semantica termenilor......Page 275
4. Semantica propoziţiilor......Page 292
6. Sisteme sintactice şi concepte semantice......Page 298
7. Metapropoziţii semantice......Page 299
8. Semantica limbajelor formalizate......Page 300
9. Sisteme de categorii semantice......Page 313
10. Sistemul semanticii de referinţă......Page 317
1. Noţiunea de interpretare......Page 321
2. Interpretarea formalismelor logice......Page 325
3. Conceptul de valoare......Page 329
4. Conceptul de adevăr......Page 331
5. Adevăr, realizare, model......Page 342
6. Relaţii noi între categoriile semantice......Page 343
7. Adevăr şi limbaje formalizate......Page 344
8. Relaţii şi proprietăţi semantice speciale......Page 350
VIII. Filozofia logicii......Page 356
Bibliografie......Page 362
Cuprins......Page 365