추상 객체 이론

Abstract object theory
오브젝트 이론과 혼동해서는안 된다.
철학에서의 객체성의 일반적인 개념은 객체(철학)를 참조한다.

추상물체론(AOT)은 추상물체에 관한 형이상학의 한 분야다.[1] 원래 1981년 형이상학자 에드워드 잘타가 고안한 이 이론은 수학 플라톤주의의 확대였다.[2]

개요

참고 항목: 이중 코풀라 전략

추상 개체: 《자율적 형이상학 입문》(1983)은 에드워드 잘타의 추상적 객체 이론을 정리한 간행물의 제목이다.

AOT는 알렉시우스 메이농과[5][6] 그의 제자 에른스트 말리의 기여에 영향을 받은 사물을[3][4] 추상화하는 이중 포식 방식(이중 코풀라 전략이라고도 한다)이다.[7][6] 잘타에 대해서는 두 가지 포식 방식이 있는데, 어떤 물체(우리 주변의 평범한 콘크리트 물체, 예를 들면 테이블과 의자 같은)는 성질을 예시하는 반면, 다른 물체(숫자와 같은 추상적인 물체, 둥근 사각형 같은 "비존재 물체"라고 부르는 것)는 단지 그것들을 암호화한다.[8] 속성을 예시하는 물체는 전통적인 경험적 수단을 통해 발견되지만, 공리의 단순한 집합은 속성을 인코딩하는 물체에 대해 알 수 있게 해준다.[9] 모든 속성 집합에 대해, 정확히 그 속성 집합을 인코딩하는 개체는 하나뿐이고 다른 개체는 없다.[10] 이것은 정형화된 온톨로지를 허용한다.

AOT의 주목할 만한 특징은 순진한 포식 이론(명칭 로마네 클라크의 패러독스가 Hector-Neri Castaigneda의 가장초기 버전을 훼손하는 패러독스,[11][12][13] Alan McMichael의 패러독스, Daniel Kirchner의 패러독스)[14][15]에서 몇 가지 주목할 만한 패러독스가 그 안에서 발생하지 않는다는 점이다.[16] AOT는 그러한 역설을 피하기 위해 제한된 추상화 스키마타를 사용한다.[17]

2007년, Zalta와 Branden Fitelson은 자동화된 추리 환경에서 형식적이고 자명한 형이상학의 구현과 조사를 기술하기 위해 연산 형이상학이라는 용어를 도입했다.[18][19]

참고 항목

메모들

  1. ^ Zalta, Edward N. (2004). "The Theory of Abstract Objects". The Metaphysics Research Lab, Center for the Study of Language and Information, Stanford University. Retrieved July 18, 2020.
  2. ^ "An Introduction to a Theory of Abstract Objects (1981)". ScholarWorks@UMass Amherst. 2009. Retrieved July 21, 2020.
  3. ^ Reicher, Maria (2014). "Nonexistent Objects". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.
  4. ^ 데일 재켓, 메이농어 논리: 존재와 비존재에 대한 의미론, Walter de Gruyter, 1996, 페이지 17.
  5. ^ 알렉시우스 메이농(Alexius Meinong, 1904년)의 "위베르 게겐스탠드슈토리("물체의 이론")이다. 운터수충겐 수르 게겐스텐슈르와 심리학 (물체와 심리학 이론에 대한 연구), 라이프치히: 바르스, 페이지 1-51.
  6. ^ a b 잘타(1983:xi).
  7. ^ Ernst Mally(1912), Gegenststeoritische Grundlagen der Logik und Logistik(로직과 물류에 대한 개체-이론적 기초), 라이프치히: 바르스, §33 및 39.
  8. ^ 잘타(1983:33).
  9. ^ 잘타(1983:36).
  10. ^ 잘타(1983:35).
  11. ^ Romane Clark, "모든 사상의 대상이 있는 것은 아니다: 순진한 약탈 이론의 역설", Noûs 12(2)(1978), 페이지 181–188.
  12. ^ William J. Rapaport, "Meinongian 이론과 러셀의 역설", No,s 12(2)(1978), 페이지 153–80.
  13. ^ Adriano Palma, Ed. 카스타녜다와 그 기네스: 헥터-네리 카스타녜다의 작품에 관한 에세이 보스턴/베를린: 월터 드 그루터, 67-82, esp 72
  14. ^ Alan McMichael과 Edward N. Zalta, "An Alternative Theory of Nonxist Objects", Journal of Cylical Logic 9 (1980): 297–313, esp. 313 n. 15.
  15. ^ Daniel Kirchner, "2020년 [2017년], "Isabelle/HOL에 있는 프린치아 로직-메타피시카의 표현 및 부분 자동화"
  16. ^ 잘타(2021:238) : "일부 λ-expression... 클라크/불로스, 맥마이클/불로스, 키르치네르 역설로 이어지는 자들은 분명히 비어 있다."
  17. ^ 잘타(1983:158)
  18. ^ Edward N. Zalta와 Branden Fitelson, "계산적 형이상학을 향한 단계" (2007년 4월) : 227–247.
  19. ^ 제시 알라마, 폴 E. 오펜하이머, 에드워드 N.잘타, "레이브니츠의 개념 자동화 이론" A. 펠티와 A. 미들도르프(edds), 자동 공제 – CADE 25: 제25회 자동 공제 국제 회의(인공지능의 연구 노트: 제9195권), 베를린: 스프링어, 2015, 페이지 73–97.

참조

추가 읽기

  • Edward N. Zalta, "유형 오브젝트 이론" , José L. Palguera and Concha Martines-Vidal (eds.), 추상 오브젝트: 찬성 및 반대, 스프링거(신스 라이브러리), 2020.