Próbálja ki megújult, VILLÁMGYORS keresőnket!
A kosaram
0
MÉG
5000 Ft
a 5000Ft-os
szállítási
értékhatárig

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

Szerző

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. Fekete-fehér ábrákkal.
É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
A beállítást mentettük,
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ább

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 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és3
Az ítéletek11
Az ítéletek fajtái a hagyományos logikában12
Az ítéletek fajtái az ítéletkalkulus alapján17
Az ítéletek "finom szerkezetének" vizsgálata a modern logikában33
Az ítéletek közötti viszonyok51
A következtetések61
Következtetések elemzése az ítéletkalkulusban62
Következtetések érvényességének eldöntése táblázatos módszerrel64
Következmény levonása táblázatos módszerrel66
Következtetések érvényességének eldöntése normálformára vezetéssel68
Következmények levonása ítéletkalkulusbeli azonosságok felhasználásával79
Az eldöntésprobléma. Következtetések elemzése a predikátumkalkulusban83
Következtetések érvényformuláinak visszavezetése axiómákra89
Metalogikai vizsgálódások95
A metalogika tárgya95
Az axiomatikus szintaktikai rendszerek97
Szintaktikai rendszer és szemantikai rendszer97
A modern logika és a gyakorlat101

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űvek
Megvásárolható példányok
Állapotfotók
Bevezetés a modern formális logikába Bevezetés a modern formális logikába Bevezetés a modern formális logikába Bevezetés a modern formális logikába

A borító enyhén sérült, elszíneződött.

Állapot:
1.440 ,-Ft
7 pont kapható
Kosárba
10-100% kedvezmény!