Games Iteration Numbers: Filozoficzne wprowadzenie do teorii obliczalności

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.

Oryginalny tytuł:

Games Iteration Numbers: A Philosophical Introduction to Computability Theory

Zawartość książki:

Czy można wyobrazić sobie dwa idealnie identyczne obiekty? Czy tożsamość jest w ogóle możliwa bez.

Indywidualność? Jak wyglądałby idealnie symetryczny wszechświat? Obecna debata filozoficzna na temat tożsamości, a w szczególności na temat konieczności zasady Leibniza o identyczności nierozróżnialnych, jest złożona i wieloaspektowa. Ostatnie prace wskazują, że problem staje się coraz bardziej złożony, jeśli zastosujemy go do obiektów matematycznych. Czy można mówić o "identyczności" liczb? Jak możemy identyfikować liczby?

Opierając się na filozoficznych rozważaniach na temat tożsamości i indywidualności we współczesnej metafizyce (analitycznej i kontynentalnej), książka ta odkrywa nową ścieżkę. Autor argumentuje, że możliwa jest tożsamość bez indywidualności. Poprzez krytykę idei tożsamości nierozróżnialnych, książka formułuje koncepcję "wielorakiej tożsamości", poprzez pojęcie "iteracji". Iteracja jest specyficznym przekroczeniem tożsamości nierozróżnialnych, wynikającym ze zderzenia dwóch form tożsamości: tożsamości jakościowej i tożsamości numerycznej. Niemniej jednak para idealnie identycznych obiektów wciąż jest paradoksem, sprzecznością.

Pierwszą tezą książki jest to, że iteracja jest parakonsystentną i dialektyczną strukturą logiczną, która pozwala na prawdziwą sprzeczność. Autor wykorzystuje najnowsze prace z logiki niestandardowej i dialektyki (Priest, Routley, Berto), aby zilustrować, w jaki sposób możemy nadać sens idei, że obiekty mogą być doskonale identyczne, ale rozróżnialne.

Drugą tezą książki jest to, że iteracja jest podstawą wyliczalności i obliczalności. "Obiekt obliczalny" to obiekt skonstruowany w oparciu o logikę iteracyjną. Możliwe jest ponowne.

Zinterpretować wszystkie podstawowe pojęcia teorii obliczalności poprzez logikę iteracji.