Formális logika

Képgarancia, saját kép. Alba Antik Litera Kft. Író/Szerző: G. Havas Katalin Kiadó: Kossuth Kiadó Kiadás éve: 1973 Oldalszám: 333 Kötés: Fűzött, keménytáblás, védőborítóban Nyelv: Magyar Állapot: jó Méret: 14,5 cm x 20,5 cm A szerző sokéves egyetemi oktatói és tudománynépszerűsítő előadásainak tapasztalatait felhasználva, olyan logikai kézikönyvet bocsát közre, amelyet egyaránt haszonnal olvashat a logikából vizsgázó diák és az érdeklődő olvasó. A könyv a filozófus szemszögéből tárgyalja a logikát, abból kiindulva, hogy a formális logika a helyes gondolkodás formáinak és törvényeinek tudománya, amely elsősorban a következtetések érvényességét, a megalapozott, meggyőző érvelések logikai feltételeit vizsgálja. A modern logika matematikai módszereit a szerző eszközként használja fel a logikának, mint a gondolkodásformák és -törvények tudományának elemzéséhez, a hagyományos formális logika anyagából pedig feldolgozza mindazt, ami a modern logikában tovább él. A könyv matematikai előképzettség nélkül is megérthető. Felépítésében és kifejtésében követi az egyetemek logika kurzusainak tananyagát, de egyéni továbbképzés segédeszközeként is felhasználható. Az aktív elsajátítást segítik az egyes fejezetekhez csatolt gyakorlatok. Előszó 5 A logika tudományának tárgya 7 Mi a logika tárgya? 7 Gondolkodás és nyelv 12 Hagyományos és modern logika 14 Formális logika és dialektika. Dialektikus logika 22 Különböző nézetek a logika tárgyáról 28 Az ítéletek durvaszerkezetének logikája 34 Az ítéletekből összetett ítéletek 34 Az ítéletekről általában. Ítélet és mondat 34 Az összetett ítéletek jellemzése 37 Az összetett ítéletek összes lehetséges fajtáiról 49 Az ítéletek közötti viszonyok 57 Azonosságok 62 Az ítéletfajták absztraktságáról és viszonylagosságáról 69 Az összetett ítéletek normálformára vezetése 72 Mindig-igaz, mindig-hamis, kielégíthető formulák 84 Az ítéletek durvaszerkezetén alapuló következtetések 89 A következtetések általános jellemzése 89 A feltételes és a szétválasztó szillogizmusok 92 Következtetések érvényességének vizsgálata táblázatos módszerrel 103 Következmények levonása táblázatos módszerrel 110 Következtetések érvényességének eldöntése normálformára vezetéssel 116 Következmények levonása azonosságok felhasználásával 120 A következményfogalomról 125 Az áramkörök logikája 128 A fogalom 142 Fogalom és nyelv kapcsolata 143 Fogalom és nyelvi kifejezés 143 A fogalom logikai szerkezete 144 A fogalom tartalma és terjedelme 144 Az osztályokkal végzett műveletek 150 Összetett fogalmak képzése 155 Az absztrakt tárgyakról 157 Őredikábilis és impredikábilis fogalmak 159 A fogalmak fajtái 162 Általános, egyedi és üres fogalmak 162 Konkrét és absztrakt fogalmak 165 A fogalmak közötti viszonyok 166 A meghatározás 179 A nominális meghatározás 179 A reális meghatározás 181 A nem és faj alapján történő meghatározás 182 A meghatározás szabályai 183 A felosztás 187 Az ítéletek finomszerkezetének logikája 191 Az arisztotelészi szillogisztika 191 A kategorikus ítélet 191 A kategorikus ítéletek közötti viszonyok 203 Közvetlen következtetések kategorikus ítéletekkel 205 A kategorikus szillogizmus 207 Az arisztotelészi szillogisztika és az iskolás hagyományos logika torzításai 218 Ítéletek és következtetések formalizálása az osztály-logika eszközeivel 223 S-P szerkezetű ítéletek üres osztályok lehetőségének feltételezésével 223 A kategorikus szillogizmus elemzése, értelmének kiterjesztése az osztály-logikában 229 A predikátumok logikája 234 Relációs ítéletek 235 Az egyszerű ítéletek formalizálása a predikátumkalkulusban 239 Következtetések elemzése a predikátumkalkulusban 254 Az eldöntésprobléma ismeretelméleti jelentősége 256 A deduktív rendszerekről 259 A bizonyítás 259 Tézis és érvek 259 A bizonyítás fajtái 263 A bizonyításokban előforduló hibák 265 Az axiomatikus-formalizált rendszerek 268 A szintaktikai rendszerek 270 Szemantikai rendszerek 273 A deduktív axiómarendszerek tulajdonságai. Az ellentmondásmentesség 275 Logikai rendszerek axiomatikus felépítésének szerepe a tudományos kutatásban 277 A reduktív következtetések 280 A reduktív következtetések fajtái 280 Az induktív következtetés 283 A teljes indukció 283 A nem-teljes indukció 284 Az analogikus következtetés 286 A logikai törvényekről 289 A formális logika alaptörvényei és viszonyuk a dialektikus gondolkodáshoz 289 Az azonosság törvénye 290 Az ellentmondás törvénye 294 A kizárt harmadik törvénye 299 A logikai rendszerek törvényei 300 Jegyzetek 309 Név- és tárgymutató 325