철기시대.

철학 × 테크노사이언스 뉴스

형식 온톨로지가 정의하는 가능세계: 상호운용 시스템 맥락에서 ‘하나의 온톨로지, 하나의 가능세계’ 원칙 재고

인식론기술철학언어철학Minds and Machines · 원문 보기 (link.springer.com)

[쟁점과 통찰] 2026-11-02 · Minds and Machines

핵심: 온톨로지가 단일 가능세계를 정한다는 원칙은 보편이 아닌 맥락 의존적이다

사실: 고립된 온톨로지와 비온톨로지 문서(XML 등)의 상호작용이 복수 가능세계를 낳음을 분석

쟁점:

A: 온톨로지는 개체·언어·닫힌세계가정으로 단일하고 확정된 세계를 정한다

B: 다른 문서와 상호작용하면 닫힌세계가정의 적용이 모호해져 세계가 여럿이 된다

물음: 형식 체계의 의미 확정성은 체계 내부에서 보장되는가, 해석하는 맥락과 실천에 의존하는가?

통찰: 의미의 단일성은 형식언어만으로 보장되지 않는다. 데이터 통합 시스템을 설계할 때는 닫힌세계가정 같은 원칙이 어디까지 적용되는지 메타규칙을 명시하고, 정렬·병합 과정이 해석을 결정한다는 점을 투명하게 드러내야 한다.

#형식온톨로지 #가능세계 #닫힌세계가정 #열린세계가정 #상호운용성 #온톨로지정렬 #F-logic #XML #미결정성 #잉가르덴

같은 주제의 다른 쟁점

  1. 아피다르시(A-ffidarsi): AI 매개 탐구에서의 실천적 내맡김 — 인식적 인프라에서 인식적 마찰로
    Philosophy & Technology
  2. 책임의 자리에서 책임의 경로로: 체화된 AI의 주체성 평가와 인간의 책임
    Philosophy & Technology
  3. 디지털 공유지와 생성형 AI의 인프라 권력
    Philosophy & Technology
  4. 인공지능은 작가를 위해 무엇을 해도 되는가? (업데이트)
    Daily Nous
  5. 고장을 넘어서: 알고리즘 오류, 수리, 그리고 거부
    Philosophy & Technology