Úgy tűnik, hogy a JavaScript le van tiltva, vagy nem támogatja a böngésző. Sajnáljuk, de az oldal néhány funkciójának működéséhez, többek között a rendeléshez engedélyeznie kell a JavaScript futtatását böngészőjében. Köszönjük!

Bevezetés a modern logikába

Bevezetés a modern logikába - Ruzsa Imre, Máté András - Régikönyvek
Bevezetés a modern logikába - Régikönyvek Bevezetés a modern logikába - Régikönyvek Bevezetés a modern logikába - Régikönyvek Bevezetés a modern logikába - Régikönyvek Bevezetés a modern logikába - Régikönyvek
(0 vélemény)
Sorozatcím:
Osiris tankönyvek
Kiadó:
Osiris Kiadó
Kiadás éve:
1997
Kiadás helye:
Budapest
Nyomda:
Széchenyi Nyomda Kft.
ISBN:
9633791855
Kötés típusa:
kemény papírkötés
Terjedelem:
532
Nyelv:
magyar
Méret:
Szélesség: 17.00cm, Magasság: 24.00cm
Kategória:
BEVEZETÉS

1. MI MICSODA? 9
2. HÁNYAN VANNAK? 15
3. ÉS MIRE JÓ? 17

1. RÉSZ: EXTENZIONÁLIS LOGIKA

1.0. A LOGIKAI GRAMMATIKA ÉS SZEMANTIKA ALAPFOGALMAI 21
1.1. EXTENZIONÁLIS MONDATFUNKTOROK 27
1.1.1. Negáció, konjunkció, alternáció 27
1.1.2. A feltételes állítás. Kondicionális és bikondicionális 38
1.1.3. Igazságfüggvények 47
1.1.4. Elemzés, interpretáció, analitikus táblázat 51
1.1.5. A következményreláció törvényei 62
1.2. KVANTIFIKÁCIÓELMÉLET 66
1.2.1. Predikátumok és nevek
1.2.2. Váltózók és kvantorok 74
1.2.3. Univerzális és egzisztenciaállítások 83
1.2.4. Az azonosságpredikátum 93
1.2.5. Az analitikus táblázat módszerének kiterjesztése 101
1.2.6. Egyrétű formulák, Venn-diagramok, szillogizmusok 111
1.2.7. Elsőrendű nyelvek és szemantikájuk 121
1.3. A KLASSZIKUS ELSŐRENDŰ LOGIKA MINT KALKULUS (QC) 127
1.3.1. Mit értünk logikai kalkuluson? 127
1.3.2. A QC fölépítése 130
1.3.3. Levezetések QC-ben 133
1.3.4. QC teljessége KL-re nézve 138
1.4. ELSŐRENDŰ ELMÉLETEK 142
1.4.1. A Peano aritmetika 142
1.4.2. Halmazelmélet: osztályok és halmazok 147
1.4.3. Relációk és függvények a halmazelméletben 155


1.4.4. Végtelen halmazok 163
1.5. TERMÉSZETES LEVEZETÉS 168
1.5.1. Gentzen stílusú kalkulusok 168
1.5.2. Intuicionista logika 172
1.5.3. Releváns logika 180
1.6. TÖBBÉRTÉKŰ LOGIKA 188
1.6.1. Többértékű mátrixok 188
1.6.2. Valószínűségi logika 192
1.7. MAGASABBRENDŰ LOGIKA 197
1.7.1. Másodrendű logika 197
1.7.2. Típuselméleti extenzionális logika (TL) 204
1.7.3. Definiált logikai jelek TL-ben 213
1.7.4. A G-szemantika és az EC kalkulus 217
1.8. DESKRIPCIÓK 222
1.8.1. A határozott individuumleírások logikai szerkezete 222
1.8.2. Menekülés a deskripcióktól 228
1.8.3. Szeniantikai értékrés az elsőrendű logikában 234

2. RÉSZ: INTENZIONÁLIS LOGIKA

2.1. MODÁLIS LOGIKA 243
2.1.1. Modális mondatfunktorok 243
2.1.2. A „szigorú implikáció" logikája 247
2.1.3. A „lehetséges világok" szemantikája 255
2.1.4. A „standard" modális kalkulusok 261
2.1.5. Modalitás és kvantifikáció 270
2.1.6. Szemantikai értékrés a modális logikában 277
2.2. TEMPORÁLIS LOGIKA 286
2.2.1. Az igeidők logikája 286
2.2.2. A lineáris idő 289
Diadikus időoperátorok 292
2.3. TÍPUSELMÉLETI INTENZIONÁLIS LOGIKA 295
2.3.1. Intenzionális funktorok és intenziók 295
2.3.2. Montague intenzionális logikája 298
2.3.3. Az IC kalkulus 303
2.3.4. Alkalmazás a természetes nyelvre 306
2.4. AZ INTENZIONÁLIS LOGIKA MÓDOSÍTÁSA 316
2.4.1. A módosítás alapeszméi 316
2.4.2. Az intenzionális logika IL* rendszere 319
2.4.3. Definiált logikai jelek IL*-ban 325
2.4.4. Alkalmazások 331

FELADATMEGOLDÁSOK 341"


3. RÉSZ: A LOGIKA TÖRTÉNETE

3.0. BEVEZETŐ: TÁRGY ÉS MÓDSZER 367
3.0.1. Mi tartozik a logika történetéhez? 367
3.0.2. A történet határai 368
3.0.3. A múlt változásai 370
3.1. A LOGIKA KEZDETEI ÉS AZ ANTIKVITÁS LOGIKAI ELMÉLETEI 373
3.1.1. Érvelés a filozófiában — érvelés a matematikában 373
3.1.1.1. Az eleai metafizika és az indirekt érvelés 373
3.1.1.2. A deduktív matematika kezdetei 376
3.1.1.3. Platón módszere és elmélete 379
3.1.2. Arisztotelész logikája 382
3.1.2.1. A logikai írások Arisztotelész életművében 382
3.1.2.2. A szavak és a létezők típusairól 384
3.1.2.3. Kategorikus kijelentések 386
3.1.2.4. Kategorikus szillogizmusok —389
3.1.2.5. A szillogisztika modern rekonstrukciója 394
3.1.2.6. Modalitások és modális szillogizmusok 397
3.1.2.7. Alkalmazott logika: tudományelmélet és dialektika 400
3.1.2.8. Theophrasztosz és a peripatetikus iskola 402
3.1.3,A sztoikusok dialektikája 404
3.1.3.1. Történet és előzmények; a megarai iskola 404
3.1.3.2. Khrüszipposz levezetési rendszere 406
3.1.3.3. Mondatfaktorok és következtetések 408
3.1.3.4. Modalitások és lektonok 411
3.1.4. Késői antikvitás 414
3.1.4.1. Galénosz és Eiszagógé-ja 415
3.1.4.2. Arisztotelész kommentátorai 417
3.1.4.3. A középkori logika közvetlen előzményei: Porphüriosz, Boethius 418
3.2. A KÖZÉPKOR TERMÉSZETES NYELVI LOGIKÁJA 422
3.2.1. Az arab Arisztotelész 422
3.2.2. Az európai középkor 423
3.2.2.1. Iskolák és logikák 423
3.2.2.2. Logica modernorum: a legfontosabb szerzők és témák 426
3.2.2.3. Szemantikai alapok; proprietates terminorum 427
3.2.2.4. Kijelentések, modalitások, kategorikus szillogizmusok 417
3.2.2.5. feiférefliésiogika, konszekvenciák 440
3.3. AZ ÚJKOR FORMALIZÁLT LOGIKÁJA 448
3.3.1. Leibniz kísértetei 450
3.3.1.1. Metafizika és lehetséges világok 451
3.3.1.2. Kijelentés és igazság , 453
3.3.1.3. Nyelv és kalkulus 456
3.3.1.4. A szillogisztika aritmetizálása és algebraizálása 458


3.3.2. A logika és a végtelen m-átematikája 461
3.3.2.1. A logika Bolzano tudományelméletében 462
3.3.2.2. A végtelen paradoxonai 465
3.3.3. Algebrai logika a XIX. században 468
3.3.3.1. Szimbolikus algebra és logikai kalkulus 468
3.3.3.2. A kiválasztó szimbólumok egyenletei és interpretációik 469
3.3.3.3. A Boole-algebra továbbfejlesztése és kiegészítése 471
3.3.3.4. A modern, szimbolikus logika születése 474
3.3.4. Frege logikája. 475
3.3.4.1. Frege életműve és fogadtatása (áttekintés) 476
Fogalomírás 481
3.3.4.3. Az aritmetika természete és a természetes számok 485
3.3.4.4. Jelentés, jelölet, igazságérték: Frege második logikája 490
3.3.5. Kitekintés a huszadik század logikájára 495

FÜGGELÉK

Irodalom 503
Angol-magyar logikai szakszótár 511
NéV-és tárgymutató 519
Szimbólumok jegyzéke 533


Ruzsa Imre

1921 - 2008
Ruzsa Imre (Budapest, 1921. május 12. – 2008. július 2.) Széchenyi-díjas filozófus. Tudományos tevékenysége mellett nagy szerepet vállal a modern logika oktatásában és népszerűsítésében. Egyetemi előadásai és szellemes kommentárokkal tarkított, mindamellett magas színvonalú könyvei nagyban hozzájárulnak a logika magyarországi kultúrájának terjesztéséhez.

Ruzsa Imre  további könyvei

Az Ön véleménye

Még nincs vélemény a könyvről, legyen Ön az első aki véleményt ír róla...