Bevezetés a modern formális logikába [antikvár]

"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."