• 제목/요약/키워드: 질료적 귀결

검색결과 1건 처리시간 0.017초

모형론적 귀결과 양상성 (Model-theoretic Consequence and Modality)

  • 최원배
    • 한국수학사학회지
    • /
    • 제25권4호
    • /
    • pp.21-36
    • /
    • 2012

  • 모형론적 귀결 개념은 타르스키의 1936년 논문에 기원을 두고 있다고 보통 말한다. 하지만 에치멘디는 이를 부정한다. 이 논문은 1936년 논문에 나와 있는 타르스키의 정의가 과연 표준적인 모형론적 귀결 개념에서 받아들이는 것과는 다른 고정 도메인 견해에 기반을 둔 것인지 아니면 그것과 같은 가변 도메인 견해에 기반을 둔 것인지를 둘러싸고 전개된 논란을 다룬다.

  • PDF KSCI