Játékok Iterációs számok: Filozófiai bevezetés a kiszámíthatóság elméletébe

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.

Eredeti címe:

Games Iteration Numbers: A Philosophical Introduction to Computability Theory

Könyv tartalma:

Lehetséges-e két tökéletesen azonos tárgyat elképzelni? Egyáltalán lehetséges-e azonosság nélkül.

Egyéniség nélkül? Milyen lenne egy tökéletesen szimmetrikus univerzum? A jelenlegi filozófiai vita az azonosságról, és különösen a megkülönböztethetetlenek azonosságára vonatkozó Leibniz-elv szükségességéről összetett és sokrétű. A legújabb munkák azt mutatják, hogy a probléma egyre összetettebbé válik, ha matematikai objektumokra alkalmazzuk. Lehet-e "azonosságról" beszélni a számok esetében? Hogyan azonosíthatjuk a számokat?

Ez a könyv a kortárs (analitikus és kontinentális) metafizika identitásról és individualitásról szóló filozófiai beszámolóira támaszkodva egy új utat tár fel. A szerző amellett érvel, hogy lehetséges az individualitás nélküli identitás. A könyv a megkülönböztethetetlenek azonosságának eszméjét kritizálva az "iteráció" fogalmán keresztül fogalmazza meg a "sokrétű azonosság" fogalmát. Az iteráció a megkülönböztethetetlenek identitásának sajátos túllépése, amely az identitás két formájának, a minőségi és a számbeli identitásnak az ütközéséből ered. Mindazonáltal a tökéletesen azonos tárgyak párja még mindig paradoxon, ellentmondás.

A könyv első tézise az, hogy az iteráció egy parakonszisztens és dialetikus logikai struktúra, amely lehetővé teszi a valódi ellentmondást. A szerző a nem szabványos logika és a dialetizmus legújabb munkáit (Priest, Routley, Berto) alkalmazza annak illusztrálására, hogy hogyan adhatunk értelmet annak az elképzelésnek, hogy a tárgyak lehetnek tökéletesen azonosak, de megkülönböztethetők.

A könyv második tézise, hogy az iteráció a felsorolhatóság és a kiszámíthatóság alapja. A "kiszámítható objektum" egy iteratív logika alapján konstruált objektum. Lehetséges, hogy re-.

A kiszámíthatósági elmélet összes elsődleges fogalmát az iterációs logikán keresztül értelmezni.