모형론적 귀결과 양상성

Abstract

모형론적 귀결 개념은 타르스키의 1936년 논문에 기원을 두고 있다고 보통 말한다. 하지만 에치멘디는 이를 부정한다. 이 논문은 1936년 논문에 나와 있는 타르스키의 정의가 과연 표준적인 모형론적 귀결 개념에서 받아들이는 것과는 다른 고정 도메인 견해에기반을 둔 것인지 아니면 그것과 같은 가변 도메인 견해에 기반을 둔 것인지를 둘러싸고전개된 논란을 다룬다.It is commonly believed that the model-theoretic account of logical consequence is originated from Tarski’ s 1936 paper. But Etchemendy has denied this. This paper discusses and evaluates the recent controversies over whether the definition of logical consequence presented in Tarski’ s paper is based on the fixed-domain conception or the variable-domain conception.