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

국문 초록 (Abstract)

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

다국어 초록 (Multilingual 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.

참고문헌 (Reference)

1 Jané, I, "What Is Tarski’s Common Concept of Consequence" 12 : 1-42, 2006

2 Etchemendy, J., "The Concept of Logical Consequence" Harvard Univ. Press 1990

3 Sher, G., "The Bounds of Logic: A Generalized Viewpoint" The MIT Press 1991

4 Corcoran, J, "The Absence of Multiple Universe of Discourse in the1936 Tarski Consequence-Definition Paper" 32 : 359-374, 2011

5 Bach, C. N., "Tarski’s 1936 Account of Logical Consequence" 7 : 109-130, 1997

6 Etchemendy, J., "Tarski on Truth and Logical Consequence" 53 : 51-79, 1988

7 Mancosu, P, "Tarski on Models and Logical Consequence, In The Architecture of Modern Mathematics" Oxford Univ. Press 209-237, 2006

8 Gomez-Torrente, M, "Tarski on Logical Consequence" 37 : 125-151, 1996

9 Gomez-Torrente, M, "Rereading Tarski on Logical Consequence" 2 : 249-297, 2009

10 Etchemendy, J, "Reflections on Consequence, In New Essays on Tarski and Philosophy" Oxford Univ. Press 263-299, 2008

11 Tarski, A., "On the Concept of Logical Consequence(1936), In Logic, Semantics, Metamathematics" Hackett Publishing Co. 409-420, 1983

12 Bays, T., "On Tarski on Models" 66 : 1701-1726, 2001

13 Ray, G., "Logical Consequence: A Defence of Tarski" 25 : 617-677, 1996

14 Shapiro, S, "Logical Consequence, Proof Theory, and Model Theory, In Oxford Handbook of Philosophy of Mathematics and Logic" Oxford Univ. Press 651-670, 2005

15 Shapiro, S, "Logical Consequence, Models and Modality, In The Philosophy of Mathematics Today" Oxford Univ. Press 131-156, 1998

16 Tarski, A., "Introduction to Logic and to the Methodology of Deductive Sciences" Oxford Univ. Press 1941

17 Mancosu, P, "Fixed- versus Variable-Domain Interpretations of Tarski’s Account of Logical Consequence" 5 : 745-759, 2010

18 Sher, G., "Did Tarski Commit‘Tarski’s Fallacy" 61 : 653-686, 1996

19 Corcoran, J., "A Philosophical Companion to First-Order Logic" Hackett Publishing Co 85-100, 1993