1.059.830

kiadvánnyal nyújtjuk Magyarország legnagyobb antikvár könyv-kínálatát

A kosaram
0
MÉG
5000 Ft
a(z) 5000Ft-os
szállítási
értékhatárig

Bevezetés a modern formális logikába (dedikált példány)

Eötvös Loránd Tudományegyetem Bölcsészettudományi Kar/Kézirat

Szerző
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: G. Havas Katalin szerző által dedikált példány. Tankönyvi szám: J2-519. A könyv 424 példányban készült. Néhány fekete-fehér ábrával illusztrálva. Kézirat.
É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

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.

Előjegyzem
Kuponos kedvezmény ezen könyv esetében nem vehető igénybe.