Abstrakcyjna teoria obiektów - Abstract object theory

Teoria obiektów abstrakcyjnych ( AOT ) jest gałęzią metafizyki dotyczącą obiektów abstrakcyjnych . Opracowana przez metafizyka Edwarda Zaltę w 1981 roku teoria była rozwinięciem matematycznego platonizmu .

Przegląd

Przedmioty abstrakcyjne: Wprowadzenie do metafizyki aksjomatycznej (1983) to tytuł publikacji Edwarda Zalty, która przedstawia teorię obiektów abstrakcyjnych.

AOT to podejście podwójnego orzekania (znane również jako „strategia podwójnej kopuły”) do obiektów abstrakcyjnych, na które wpływ miał wkład Alexiusa Meinong i jego ucznia Ernsta Mally'ego . Według Zalty istnieją dwa tryby orzekania : niektóre przedmioty (zwykłe, betonowe wokół nas, takie jak stoły i krzesła) stanowią egzemplifikację własności, podczas gdy inne (przedmioty abstrakcyjne, takie jak liczby i to, co inni nazwaliby „ obiektami nieistniejącymi ”, jak okrągły kwadrat , a góra wykonana w całości ze złota) tylko zakodować je. Podczas gdy obiekty, które są przykładem własności, są odkrywane tradycyjnymi metodami empirycznymi, prosty zestaw aksjomatów pozwala nam poznać obiekty, które kodują własności. Dla każdego zestawu właściwości istnieje dokładnie jeden obiekt, który koduje dokładnie ten zestaw właściwości i żaden inny. Pozwala to na sformalizowanie ontologii .

Godną uwagi cechą AOT jest to, że kilka znaczących paradoksy w naiwnej teorii orzekania (czyli paradoks Romane Clarka podważając najwcześniejszą wersję Héctor-Neri Castañeda „s guise teorii , paradoksu Alana McMichael, a paradoksem Daniel Kirchner) nie powstają w nim. AOT stosuje ograniczone schematy abstrakcji, aby uniknąć takich paradoksów.

W 2007 roku Zalta i Branden Fitelson wprowadzili termin metafizyka obliczeniowa, aby opisać wdrażanie i badanie formalnej, aksjomatycznej metafizyki w środowisku zautomatyzowanego wnioskowania .

Zobacz też

Uwagi

Bibliografia

Dalsza lektura

  • Edward N. Zalta, „Teoria obiektów typowanych , w: José L. Falguera i Concha Martínez-Vidal (red.), Abstract Objects: For and Against , Springer (Biblioteka Synthese), 2020.