논문KCI 등재
모형론적 귀결과 양상성
Model-theoretic Consequence and Modality
0
조회
0
다운로드
2
인용
0
참고문헌
키워드
주제분류수학
초록
모형론적 귀결 개념은 타르스키의 1936년 논문에 기원을 두고 있다고 보통 말한다. 하지만 에치멘디는 이를 부정한다. 이 논문은 1936년 논문에 나와 있는 타르스키의 정의가 과연 표준적인 모형론적 귀결 개념에서 받아들이는 것과는 다른 고정 도메인 견해에기반을 둔 것인지 아니면 그것과 같은 가변 도메인 견해에 기반을 둔 것인지를 둘러싸고전개된 논란을 다룬다.
Abstract
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.
참고문헌 (19)
- Bach, C. N., "Tarski’s 1936 Account of Logical Consequence", Modern Logic, 7, pp.109~130 (1997)
- Bays, T., "On Tarski on Models", Journal of Symbolic Logic, 66, pp.1701~1726 (2001)
- Corcoran, J., "A Philosophical Companion to First-Order Logic", pp.85~100 (1993), Hackett Publishing Co
- Corcoran, J, "The Absence of Multiple Universe of Discourse in the1936 Tarski Consequence-Definition Paper", History and Philosophy of Logic, 32, pp.359~374 (2011)
- Etchemendy, J., "Tarski on Truth and Logical Consequence", Journal of Symbolic Logic, 53, pp.51~79 (1988)
- Etchemendy, J., "The Concept of Logical Consequence" (1990), Harvard Univ. Press
- Etchemendy, J, "Reflections on Consequence, In New Essays on Tarski and Philosophy", pp.263~299 (2008), Oxford Univ. Press
- Gomez-Torrente, M, "Tarski on Logical Consequence", Notre Dame Journal of Formal Logic, 37, pp.125~151 (1996)
- Gomez-Torrente, M, "Rereading Tarski on Logical Consequence", Review of Symbolic Logic, 2, pp.249~297 (2009)
- Jané, I, "What Is Tarski’s Common Concept of Consequence", Bulletin of Symbolic Logic, 12, pp.1~42 (2006)
- Mancosu, P, "Tarski on Models and Logical Consequence, In The Architecture of Modern Mathematics", pp.209~237 (2006), Oxford Univ. Press
- Mancosu, P, "Fixed- versus Variable-Domain Interpretations of Tarski’s Account of Logical Consequence", Philosophy Compass, 5, pp.745~759 (2010)
- Ray, G., "Logical Consequence: A Defence of Tarski", Journal of Philosophical Logic, 25, pp.617~677 (1996)
- Shapiro, S, "Logical Consequence, Models and Modality, In The Philosophy of Mathematics Today", pp.131~156 (1998), Oxford Univ. Press
- Shapiro, S, "Logical Consequence, Proof Theory, and Model Theory, In Oxford Handbook of Philosophy of Mathematics and Logic", pp.651~670 (2005), Oxford Univ. Press
- Sher, G., "The Bounds of Logic: A Generalized Viewpoint" (1991), The MIT Press
- Sher, G., "Did Tarski Commit‘Tarski’s Fallacy", Journal of Symbolic Logic, 61, pp.653~686 (1996)
- Tarski, A., "On the Concept of Logical Consequence(1936), In Logic, Semantics, Metamathematics", pp.409~420 (1983), Hackett Publishing Co.
- Tarski, A., "Introduction to Logic and to the Methodology of Deductive Sciences" (1941), Oxford Univ. Press