67 0

모형론적 귀결과 양상성

Title
모형론적 귀결과 양상성
Other Titles
Model-theoretic Consequence and Modality
Author
최원배
Keywords
model-theoretic consequence; logical consequence; material consequence; domain
Issue Date
2012-11
Publisher
한국수학사학회
Citation
한국수학사학회지, 2012, 25(4), P.21-36
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.
URI
https://www.kci.go.kr/kciportal/ci/sereArticleSearch/ciSereArtiView.kci?sereArticleSearchBean.artiId=ART001713516
ISSN
1226-931x
Appears in Collections:
COLLEGE OF POLICY SCIENCE[S](정책과학대학) > POLICY STUDIES(정책학과) > Articles
Files in This Item:
There are no files associated with this item.
Export
RIS (EndNote)
XLS (Excel)
XML


qrcode

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

BROWSE