Filozófia és modellelmélet

Eredeti címe:

Philosophy and Model Theory

Könyv tartalma:

A modellelméletet az analitikus filozófia minden elméleti ágában használják: a matematikafilozófiában, a tudományfilozófiában, a nyelvfilozófiában, a filozófiai logikában és a metafizikában.

A modellelmélet e széleskörű felhasználása azonban rendkívül széttöredezett irodalmat hozott létre. Egyrészt számos filozófiailag jelentős eredmény csak a matematikai tankönyvekben található meg: ezek egyenesen a matematikusoknak szólnak.

Jellemzően feltételezik, hogy az olvasó komoly matematikai háttérrel rendelkezik.

És kevés támpontot adnak filozófiai jelentőségükre vonatkozóan. Másrészt ezen eredmények filozófiai alkalmazásai szétszórva találhatók a tanulmányok egymástól független zugaikban.

E könyv első célja tehát a modellelmélet filozófiai alkalmazásainak feltárása, a referencia, a realizmus és a doxológia központi témáira összpontosítva. Második célja, hogy a modellelmélet filozófiájának fontos kérdéseivel foglalkozzon, mint például: az elméletek és a struktúrák azonossága, a logika határai és a matematikai struktúrák osztályozása.

A Filozófia és modellelmélet bárki számára hozzáférhető lesz, aki elvégezte a bevezető logikai kurzust. Nem feltételezi, hogy az olvasók már találkoztak korábban a modellelmélettel, hanem rögtön az elején kezdi, és olyan filozófiai kérdéseket tárgyal, amelyek még a fogalmilag alapvetően alapvető modellelmélet esetében is felmerülnek. Ráadásul a könyv nagyrészt önálló: a modellelméleti fogalmakat akkor és úgy definiáljuk, amikor és ahogyan a filozófiai vitához szükségesek, és a filozófiailag legjelentősebb eredmények közül soknak közérthető bizonyítást adunk.