1.062.428
kiadvánnyal nyújtjuk Magyarország legnagyobb antikvár könyv-kínálatát
Bevezetés a modern formális logikába
Eötvös Loránd Tudományegyetem Bölcsészettudományi Kar részére/Kézirat
Budapest
| Kiadó: | Tankönyvkiadó Vállalat |
|---|---|
| Kiadás helye: | Budapest |
| Kiadás éve: | |
| Kötés típusa: | Tűzött kötés |
| Oldalszám: | 107 oldal |
| Sorozatcím: | |
| Kötetszám: | |
| Nyelv: | Magyar |
| Méret: | 24 cm x 17 cm |
| ISBN: | |
| Megjegyzés: | Tankönyvi szám: J2-519. Kézirat. A könyv 424 példányban készült. |
Értesítőt kérek a kiadóról
A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról
naponta értesítjük a beérkező friss
kiadványokról
A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról
naponta értesítjük a beérkező friss
kiadványokról
Előszó
"A matematikai logika a modern formális logika. A logikai viták hosszú és kanyargós ösvényein át vezetett el az út odáig, amíg ma már e megállapítás a filozófusok és logikusok többsége által... TovábbElőszó
"A matematikai logika a modern formális logika. A logikai viták hosszú és kanyargós ösvényein át vezetett el az út odáig, amíg ma már e megállapítás a filozófusok és logikusok többsége által elfogadottá vált. Mi idézte elő a matematikai logika tárgya körüli vitákat, mi okozta és mi okozza részben még ma is a nehézséget e tudomány meghatározásánál?A matematikai logika gyökerei két irányba vezetnek vissza. Egyrészt a logika történetének már a kezdeti szakaszában voltak kísérletek arra vonatkozóan, hogy logikai problémákat matematikai módszerekkel oldjanak meg, bizonyos logikai összefüggéseket matematikai számításokhoz hasonlóan "kiszámítanak". Másrészt - és ez egyben a matematikai logika modern formájának történeti gyökere - a matematikai logika matematikai problémák logikai megalapozásának szükségletéből keletkezett. Az egyik ilyen problémát, amely a geometriával kapcsolatban merült fel, részletesebben ismertetjük, annak bemutatására, hogy a matematikában a XIX. század végén, a XX. század elején olyan problémák merültek fel, amelyeknek logikai megalapozását e kor logika tudományának elért fejlettségi szakasza nem tudta megadni." Vissza
Tartalom
| Bevezetés | 3 |
| Az ítéletek | 11 |
| Az ítéletek fajtái a hagyományos logikában | 12 |
| Az ítéletek fajtái az ítéletkalkulus alapján | 17 |
| Az ítéletek "finom szerkezetének" vizsgálata a modern logikában | 33 |
| Az ítéletek közötti viszonyok | 51 |
| A következtetések | 61 |
| Következtetések elemzése az ítéletkalkulusban | 62 |
| Következtetések érvényességének eldöntése táblázatos módszerrel | 64 |
| Következmény levonása táblázatos módszerrel | 66 |
| Következtetések érvényességének eldöntése normálformára vezetéssel | 68 |
| Következmények levonása ítéletkalkulusbeli azonosságok felhasználásával | 79 |
| Az eldöntésprobléma. Következtetések elemzése a predikátumkalkulusban | 83 |
| Következtetések érvényformuláinak visszavezetése axiómákra | 89 |
| Metalogikai vizsgálódások | 95 |
| A metalogika tárgya | 95 |
| Az axiomatikus szintaktikai rendszerek | 97 |
| Szintaktikai rendszer és szemantikai rendszer | 97 |
| A modern logika és a gyakorlat | 101 |
G. Havas Katalin
G. Havas Katalin műveinek az Antikvarium.hu-n kapható vagy előjegyezhető listáját itt tekintheti meg: G. Havas Katalin könyvek, művekMegvásárolható példányok
Nincs megvásárolható példány
A könyv összes megrendelhető példánya elfogyott. Ha kívánja, előjegyezheti a könyvet, és amint a könyv egy újabb példánya elérhető lesz, értesítjük.
Folytatás Microsoft-tal