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
- Edward N. Zalta, Przedmioty abstrakcyjne: wprowadzenie do metafizyki aksjomatycznej , Dordrecht: D. Reidel, 1983.
- Edward N. Zalta, Logika intensjonalna i metafizyka intencjonalności , Cambridge, MA: The MIT Press/Bradford Books, 1988.
- Edward N. Zalta, „Principia Metaphysica” , Centrum Studiów Języka i Informacji, Uniwersytet Stanforda, 10 lutego 1999 r.
- Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta, „Mechanizacja Principia Logico-Metaphysica w funkcjonalnej teorii typów” , Przegląd logiki symbolicznej 13 (1) (marzec 2020): 206-18.
- Edward N. Zalta, „Principia Logico-Metaphysica” , Centrum Studiów Języka i Informacji, Uniwersytet Stanforda, 21 lipca 2021 r.
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.