상세 보기
모형론적 귀결과 양상성
Model-theoretic Consequence and Modality
초록
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.
키워드
모형론적 귀결; 논리적 귀결; 질료적 귀결; 도메인; model-theoretic consequence; logical consequence; material consequence; domain
- 제목
- 모형론적 귀결과 양상성
- 제목 (타언어)
- Model-theoretic Consequence and Modality
- 저자
- 최원배
- 발행일
- 2012-11
- 저널명
- 한국수학사학회지
- 권
- 25
- 호
- 4
- 페이지
- 21 ~ 36