抽象対象理論

抽象対象理論（AOT ）は、抽象対象に関する形而上学の一分野である。^{[ 1 ]}元々は1981年に形而上学者エドワード・ザルタによって考案された^{[ 2 ]}この理論は、数学的プラトン主義の拡張である。

『抽象対象：公理的形而上学入門』（1983年）は、エドワード・ザルタによる出版物のタイトルであり、抽象対象理論の概要を示している。

AOTは、アレクシウス・マイノング^{[ 4 ] [ 5 ]}と彼の弟子エルンスト・マリー^{[ 6 ] [ 5 ]}の貢献に影響を受けた、抽象オブジェクト^{[ 3 ]}に対する二重述語アプローチ（「二重コピュラ戦略」とも呼ばれる）である。ザルタの説明によれば、述語には2つのモードがある。一部のオブジェクト（テーブルや椅子など、私たちの周りの普通の具体的なもの）は特性を例示するが、他のオブジェクト（数などの抽象的なオブジェクト、および丸い正方形や完全に金でできた山など、他の人が「存在しないオブジェクト」と呼ぶもの）は単にそれらを符号化するだけである。^{[ 7 ]}特性を例示するオブジェクトは従来の経験的手段によって発見されるが、単純な一連の公理によって、特性を符号化するオブジェクトについて知ることができる。^{[ 8 ]}すべての特性の集合に対して、その特性の集合を正確に符号化し、他のオブジェクトは存在しないオブジェクトがちょうど1つ存在する。^{[ 9 ]}これにより、形式化されたオントロジーが可能になる。

AOTの注目すべき特徴は、素朴な述語理論におけるいくつかの注目すべきパラドックス（すなわち、ヘクター・ネリ・カスタニェダの偽装理論の初期バージョンを覆すロマン・クラークのパラドックス[ ^{10 ] [ 11 ] [ 12 ] 、}アラン・マクマイケルのパラドックス^{[ 13 ]} 、およびダニエル・キルヒナーのパラドックス）^{[ 14 ]}がAOTでは生じないことである^{[ 15 ]} 。AOTは、そのようなパラドックスを回避するために、制限された抽象化スキーマを採用している^{[ 16 ]。}

2007年、ザルタとブランデン・フィテルソンは、自動推論環境における形式的公理的形而上学の実装と調査を説明するために、計算形而上学という用語を導入した。^{[ 17 ] [ 18 ]}

• ホセ・L・ファルゲラとコンチャ・マルティネス＝ビダル。ギデオン・ローゼンによる以前の研究に基づく（2025年8月21日）。「抽象オブジェクト」。スタンフォード哲学百科事典。 2025年8月23日取得。{{cite web}}: CS1 maint: 複数の名前: 著者リスト (リンク)