Loading article…
抽象的対象理論（AOT ）は、抽象的対象に関する形而上学の一分野である。[1]もともとは1981年に形而上学者エドワード・ザルタによって考案され、[2]この理論は数学的プラトン主義の拡張であった。
概要
『抽象オブジェクト: 公理的形而上学入門』 (1983) は、抽象オブジェクト理論を概説したエドワード・ザルタの出版物のタイトルです。
AOT は、抽象オブジェクトに対する二重述語アプローチ（「二重コピュラ戦略」としても知られる）であり[3] [4]、アレクシウス・マイノング[5] [6]と彼の弟子エルンスト・マリー[7]の貢献に影響を受けています。[6 ] ザルタの説明によると、述語には 2 つのモードがあります。つまり、一部のオブジェクト（テーブルや椅子など、私たちの周りにある通常の具体的なオブジェクト）はプロパティを例示しますが、他のオブジェクト（数字などの抽象的なオブジェクト、および丸い正方形や完全に金でできた山など、他の人が「存在しないオブジェクト」と呼ぶもの）はプロパティを単にエンコードします。[8]プロパティを例示するオブジェクトは従来の経験的手段によって発見されますが、単純な公理のセットによって、プロパティをエンコードするオブジェクトについて知ることができます。[9]すべてのプロパティ セットに対して、そのプロパティ セットを正確にエンコードするオブジェクトが 1 つだけ存在します。[10]これにより、形式化されたオントロジーが可能になります。
AOTの注目すべき特徴は、素朴な述語理論におけるいくつかの注目すべきパラドックス（すなわち、ヘクター・ネリ・カスタニェダの仮装理論の初期のバージョンを覆すロマン・クラークのパラドックス[11] [12] [13 ]、アラン・マクマイケルのパラドックス[14]、ダニエル・キルヒナーのパラドックス）[15]がAOTでは発生しないことである。[16] AOTは、そのようなパラドックスを回避するために、制限された抽象化スキーマを採用している。[17]
2007年にザルタとブランデン・フィテルソンは、自動推論環境における形式的かつ公理的な形而上学の実装と調査を説明するために計算形而上学という用語を導入した。[18] [19]
参照
注記
- ^ Zalta, Edward N. (2004). 「抽象オブジェクトの理論」. スタンフォード大学言語情報研究センター、形而上学研究室。 2020年7月18日閲覧。
- ^ Zalta, Edward N. (2009). An Introduction to a Theory of Abstract Objects (1981) (論文). ScholarWorks@ UMass Amherst . doi :10.7275/f32y-fm90 . 2020年7月21日閲覧。
- ^ ライヒャー、マリア (2014)。「存在しない物体」。ザルタ、エドワード N. (編)。スタンフォード哲学百科事典。
- ^ Dale Jacquette、「マイノンギアン論理学：存在と非存在の意味論」、Walter de Gruyter、1996年、17ページ。
- ^ Alexius Meinong、「Über Gegenstandstheorie」（「オブジェクトの理論」）、Alexius Meinong 編。 （1904年）。 Untersuhungen zur Gegenstandstheorie und Psychologie (物体理論と心理学の研究)、ライプツィヒ: バルト、1–51 ページ。
- ^ ab Zalta (1983:xi)より。
- ^ Ernst Mally (1912)、Gegenstandstheoretische Grundlagen der Logik und Logistik (論理とロジスティックのためのオブジェクト理論的基礎)、ライプツィヒ: バルト、§§33 および 39。
- ^ ザルタ（1983：33）。
- ^ ザルタ（1983：36）。
- ^ ザルタ（1983：35）。
- ^ ロマーヌ・クラーク、「思考の対象すべてが存在するわけではない：素朴述語理論におけるパラドックス」、Noûs 12 (2) (1978)、181-188頁。
- ^ ウィリアム・J・ラパポート、「マイノンギアン理論とラッセルのパラドックス」、Noûs 12 (2) (1978)、pp. 153-80。
- ^ アドリアーノ・パルマ編（2014年）。カスタニェダと彼の衣装: ヘクター＝ネリ・カスタニェダの作品に関するエッセイ。ボストン/ベルリン: Walter de Gruyter、67–82 ページ、特に。 72.
- ^ アラン・マクマイケルとエドワード・N・ザルタ、「非存在オブジェクトの代替理論」、Journal of Philosophical Logic 9 (1980): 297–313、特に313項15。
- ^ Daniel Kirchner、「Isabelle/HOL における Principia Logico-Metaphysica の表現と部分的自動化」、Archive of Formal Proofs、2017 年。
- ^ Zalta (2024:253): 「クラーク/ブーロス、マクマイケル/ブーロス、キルヒナーのパラドックスにつながるような、コアではないλ式の中には、空であることが証明できるものもある。」
- ^ ザルタ（1983：158）。
- ^ Edward N. ZaltaとBranden Fitelson、「計算形而上学へのステップ」、Journal of Philosophical Logic 36 (2) (2007年4月): 227–247。
- ^ Jesse Alama、Paul E. Oppenheimer、Edward N. Zalta、「ライプニッツの概念理論の自動化」、A. Felty および A. Middeldorp (編)、『自動演繹 - CADE 25: 自動演繹に関する第 25 回国際会議の議事録(人工知能に関する講義ノート: 第 9195 巻)』、ベルリン: Springer、2015 年、73 ～ 97 ページ。
参考文献
- Edward N. Zalta、「抽象オブジェクト：公理的形而上学入門」、ドルドレヒト：D. Reidel、1983年。
- Edward N. Zalta, Intensional Logic and the Metaphysics of Intentionality, ケンブリッジ、マサチューセッツ州：The MIT Press/Bradford Books、1988年。
- エドワード・N・ザルタ、「プリンキピア・メタフィジカ」、スタンフォード大学言語情報研究センター、1999年2月10日。
- ダニエル・キルヒナー、クリストフ・ベンツミュラー、エドワード・N・ザルタ、「機能型理論における論理的形而上学的原理の機械化」、シンボリックロジック評論 13（1）（2020年3月）：206-18。
- エドワード・N・ザルタ、「論理的形而上学原理」、スタンフォード大学言語情報研究センター、2024年5月22日。
さらに読む
- Daniel Kirchner、「コンピューター検証による形而上学の基礎と Isabelle/HOL における自然数のオントロジー」、博士論文、ベルリン自由大学、2021 年。
- Edward N. Zalta、「Typed Object Theory」、José L. Falguera および Concha Martínez-Vidal (編)、『Abstract Objects: For and Against』、Springer (Synthese Library)、2020 年。