한국수학사학회지 (Journal for History of Mathematics)

한국수학사학회 (The Korean Society for History of Mathematics)
권호 표지

모형론적 귀결과 양상성

Model-theoretic Consequence and Modality

  • 투고 : 2012.08.24
  • 심사 : 2012.10.18
  • 발행 : 2012.11.30
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

모형론적 귀결 개념은 타르스키의 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.

키워드

참고문헌

  1. Bach, C. N.,"Tarski's 1936 Account of Logical Consequence", Modern Logic 7(1997), pp. 109-130.
  2. Bays, T.,"On Tarski on Models", Journal of Symbolic Logic 66(2001), pp. 1701-1726. https://doi.org/10.2307/2694970
  3. Corcoran, J.,"Meanings of Implication", Dialogos 25(1973), pp. 59-76, reprinted in A Philosophical Companion to First-Order Logic, ed. R. I. G. Hughes, Hackett Publishing Co., 1993, pp. 85-100.
  4. Corcoran, J. and Saguillo, J. M.,"The Absence of Multiple Universe of Discourse in the 1936 Tarski Consequence-Definition Paper", History and Philosophy of Logic 32(2011), pp. 359-374. https://doi.org/10.1080/01445340.2011.577145
  5. Etchemendy, J.,"Tarski on Truth and Logical Consequence", Journal of Symbolic Logic 53(1988), pp. 51-79. https://doi.org/10.2307/2274427
  6. Etchemendy, J., The Concept of Logical Consequence, Harvard Univ. Press, 1990.
  7. Etchemendy, J.,"Reflections on Consequence", in New Essays on Tarski and Philosophy, ed. D. Patterson, Oxford Univ. Press, 2008, pp. 263-299.
  8. Gomez-Torrente, M.,"Tarski on Logical Consequence", Notre Dame Journal of Formal Logic 37(1996), pp. 125-151.
  9. Gomez-Torrente, M.,"Rereading Tarski on Logical Consequence", Review of Symbolic Logic 2(2009), pp. 249-297. https://doi.org/10.1017/S1755020309090200
  10. Jane, I.,"What Is Tarski's Common Concept of Consequence?", Bulletin of Symbolic Logic 12(2006), pp. 1-42. https://doi.org/10.2178/bsl/1140640942
  11. Mancosu, P.,"Tarski on Models and Logical Consequence", in The Architecture of Modern Mathematics, eds. J. Ferreiros and J. J. Gray, Oxford Univ. Press, 2006, pp. 209-237.
  12. Mancosu, P.", Fixed- versus Variable-Domain Interpretations of Tarski's Account of Logical Consequence", Philosophy Compass 5(2010), pp. 745-759. https://doi.org/10.1111/j.1747-9991.2010.00324.x
  13. Ray, G.,"Logical Consequence: A Defence of Tarski", Journal of Philosophical Logic 25(1996), pp. 617-677.
  14. Shapiro, S.,"Logical Consequence, Models and Modality", in The Philosophy of Mathematics Today, ed. M. Schirn, Oxford Univ. Press, 1998, pp. 131-156.
  15. Shapiro, S.,"Logical Consequence, Proof Theory, and Model Theory", in The Oxford Handbook of Philosophy of Mathematics and Logic, ed. S. Shapiro, Oxford Univ. Press, 2005, pp. 651-670.
  16. Sher, G., The Bounds of Logic: A Generalized Viewpoint, The MIT Press, 1991.
  17. Sher, G.,"Did Tarski Commit'Tarski's Fallacy'?", Journal of Symbolic Logic 61(1996), pp. 653-686. https://doi.org/10.2307/2275681
  18. Tarski, A.,"On the Concept of Logical Consequence"(1936), in Logic, Semantics, Metamathematics, ed. J. Corcoran, Hackett Publishing Co., 1983, pp. 409-420.
  19. Tarski, A., Introduction to Logic and to the Methodology of Deductive Sciences, Oxford Univ. Press, 1941.