A matematikai logika alapjai

Eredeti címe:

Fundamentals of Mathematical Logic

Könyv tartalma:

A matematika azon részterületét, amely a formális logika matematikai alkalmazásainak meghatározására összpontosít, matematikai logikának nevezzük. Szimbolikus logikának vagy formális logikának is nevezik.

A formális rendszerek kifejező és következtető erejének tanulmányozásával foglalkozik. A formális logikai rendszerek közül néhány az elsőrendű logika, a nem klasszikus és modális logika, az algebrai logika és más klasszikus logikák. A tudományág négy területre osztható.

Ezek a modellelmélet, a bizonyításelmélet, a halmazelmélet és a rekurzióelmélet. A terület szorosan kapcsolódik az elméleti informatikához és a matematika alapjaihoz.

A terület más tudományágakban is talál alkalmazásokat, például a fizikában, a biológiában, a közgazdaságtanban, a metafizikában, a jogban és az erkölcstanban, valamint a pszichológiában. Ez a könyv a tudományággal kapcsolatos összes fontos szempontot feltárja a mai forgatókönyvben.

A matematikai logikával kapcsolatos különböző megközelítések, értékelések, módszertanok és tanulmányok szerepelnek benne. Mivel ez a terület gyors ütemben fejlődik, a könyv tartalma segít az olvasóknak megérteni a téma modern fogalmait és alkalmazásait.