본문 바로가기
KERD
논문KCI 등재

타르스키의 논리적 귀결 정의의 역사적 배경

The Background of Tarski's Definition of Logical Consequence

박우석
한국논리학회 (Korean Association For Logic)|2014.02|논리연구 (Korean Journal of Logic)|제17권 제1호|pp. 33-69|DOI 10.22860/kafl.2014.17.1.33

1

조회

0

다운로드

0

인용

0

참고문헌

키워드

타르스키논리적 귀결더글라스 패터슨직관주의적 형식주의Alfred TarskiLogical consequenceDouglas PattersonIntuitionistic formalism
주제분류철학

초록

그것이 지녀온 막강한 영향력에도 불구하고 우리는 타르스키류 논리적 귀결의 정의가 역사적/철학적으로 어떤 배경과 동기를 지닌 것인지를 알지 못하고 있다. 논리적 귀결 개념이 논리학과 논리철학의 핵심 개념이라는 점을 감안할 때, 이는 충격적이다. 그리고 이런 불만스러운 상황이 초래된 데에는 여러 가지 요인이 복합적으로 작용한 것으로 보인다. 분석철학과 현대 논리학의 역사에 관하여 최근 이루어진 성과는 고무적이다. 그러나 관련된 여러 논쟁들의 추이를 볼 때 불만을 해소하기까지는 상당한 세월이 요구되리라 예상된다. 이런 우울한 정황 속에서 극히 최근 더글라스 패터슨에 의해 수행된 타르스키의 언어철학 및 논리학 연구는 획기적인 업적으로 판명될 만한 잠재력을 지닌 것으로 여겨진다. [Patterson (2012)] 본 논문은 패터슨의 연구에서 미심쩍은 부분을 비판적으로 검토함으로써 이 문제 영역에서의 연구의 현주소와 후속 연구의 방향을 가늠해 보고자 한다.

Abstract

We still do not know against what histocial/philosophical background and motivation was Tarski's definition of logical consequence introduced, even if it has had such a strong influence. In view of the centrality of the notion of logical consequence in logic and philosophy of logic, it is rather shocking. There must be various intertwined reasons to blame for this uncomfortable situation. There has been remarkable progress achieved recently on the history of analytic philosophy and modern logic. In view of the recent developments of the controversies involved, however, we will have to wait years to resolve all this uneasiness. In this gloomy situation, Douglas Patterson's recent study of Tarski's philosophy of language and logic seems to have the potential to turn out to be a ground breaking achievement. [Patterson (2012)] This article aims at reporting the state-of-the-art in this problem area, and fathoming the future directions of research by examining critically some unclear components of Patterson's study.

참고문헌 (53)

  1. 박우석, "논리적인 것과 논리외적인 것", 논리연구, 2, pp.7~32 (1998)
  2. 최병일, "타르스키 논리상항에 대한 연구", 논리연구, 3, pp.95~113 (2000)
  3. 최원배, "모형론적 귀결과 양상성", 한국수학사학회지, 25(4), pp.21~36 (2012), 한국수학사학회
  4. Asmus, C., "Logic: A History of its Central Concepts, Handbook of the History of Logic. Vol. 11" (2012), Elsevier
  5. Awodey, S., "Explicating ‘Analytic’", pp.131~143 (2012)
  6. Bach, C. N., "Tarski's 1936 Account of Logical Consequence", Modern Logic, 7(2), pp.109~130 (1997)
  7. Carnap, R., "The Logical Syntax of Language" (1937), RKP
  8. Corcoran, J., "The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper", History and Philosophy of Logic, 32, pp.359~374 (2011)
  9. De Rouilhan, P., "Carnap on Logical Consequence for Languages I and II", pp.121~146 (2009)
  10. Etchemendy, J., "Tarski on Truth and Logical Consequence", Journal of Symbolic Logic, 53, pp.51~79 (1988)
  11. Etchemendy, J., "The Concept of Logical Consequence" (1990), Harvard U. P
  12. Etchemendy, J., "Reflection on Consequence", pp.263~299 (2008)
  13. Feferman, A. B., "Alfred Tarski : Life and Logic" (2004), Cambridge University Press
  14. Feferman, S., "Alfred Tarski and the Vienna Circle", pp.53~63 (1999), Kluwer
  15. Feferman, S., "Tarski’s Conceptual Analysis of Semantical Notions", pp.72~93 (2008)
  16. Frost-Arnold, G., "Carnap, Tarski, and Quine's Year Together: Conversations on Logic, Math, and Science" (2013), Open Court Press
  17. Gómez-Torrente, M., "Tarski on Logical Consequence", Notre Dame Journal of Formal Logic, 37, pp.125~151 (1996)
  18. Gómez-Torrente, M., "A Note on Formality and Logical Consequence", Journal of Philosophical Logic, 29, pp.529~539 (2000)
  19. Gómez-Torrente, M., "New Essays on Tarski and Philosophy", pp.340~368 (2008), Oxford University Press
  20. Henkin, L., "Proceedings of the Tarski Symposium" (1974), American Mathematical Society
  21. Mancosu, P., "The Architecture of Modern Mathematics", pp.209~237 (2006), Oxford University Press
  22. Mancosu, P., "Tarski, Neurath and Kokoszynska on the Semantic Conception of Truth", pp.192~224 (2008)
  23. Mancosu, P., "Fixed-versus Variable-domain Interpretations of Tarski's Account of Logical Consequence", Philosophy Compass, 5(9), pp.745~759 (2010)
  24. Mancosu, P., "Interplay Between Mathematical Logic and Philosophy of Mathematics: 1900-1940" (2010), Oxford University Press
  25. Patterson, D., "New Essays on Tarski and Philosophy" (2008), Oxford University Press
  26. Patterson, D., "Alfred Tarski: Philosophy of Language and Logic" (2012), Palgrave Macmillan
  27. Ray, G., "Logical Consequence : A Defense of Tarski", Journal of Philosophical Logic, 25(6), pp.617~677 (1996)
  28. Saguillo, J. M., "Logical Consequence Revisited", Bulletin of Symbolic Logic, 3(2), pp.216~241 (1997)
  29. Scanlan, M., "American Postulate Theorists and Alfred Tarski", History and Philosophy of Logic, 24, pp.307~325 (2003)
  30. Sher, G., "The Bounds of Logic : A Generalized Viewpoint" (1991), MIT
  31. Sher, G., "Did Tarski Commit ‘Tarski's Fallacy’?", Journal of Symbolic Logic, 61(2), pp.653~686 (1996)
  32. Sher, G., "The Formal-Structural View of Logical Consequence", The Philosophical Review, 110, pp.241~261 (2001)
  33. Sher, G., "Tarski's Thesis", pp.300~339 (2008)
  34. Sinaceur, H., "Logicism, Intuitionism, and Formalism: What Has Become of Them?", pp.357~396 (2009), Springer
  35. Stroinska, "Introduction", pp.155~175 (2002)
  36. Tarski, A., "The Concept of Truth in Formalized Languages", pp.152~278 (1933)
  37. Tarski, A., "Some Observations on the Concepts of ω-consistency and ω-Completeness", pp.279~295 (1933)
  38. Tarski, a, "On the Concept of Logical Consequence", pp.409~420 (1983)
  39. Tarski, A., "The Establishment of Scientific Semantics", pp.401~408 (1936)
  40. Tarski, A., "Arithmetical Extensions of Relational Systems", Compositio Mathematica, 13, pp.81~102 (1957)
  41. Tarski, A., "Undecidable Theories" (1953), North-Holland Pub. Co
  42. Tarski, A., "Logic, Semantics, Metamathematics" (1983), Hackett Pub. Co
  43. Tarski, A., "What are Logical Notions?", History and Philosophy of Logic, 7, pp.143~154 (1986)
  44. Tarski, A., "On the Concept of Following Logically, translated from the Polish and German by Magda Stroinska and David Hitchcock", History and Philosophy of Logic, 23, pp.155~196 (2002)
  45. Uebel, T., "Empiricism at the Crossroads. The Vienna Circle's Protocol Sentence Debate", Open Court, ~ (2007)
  46. Vaught, R. L., "Model Theory before 1945", pp.153~186 (1974)
  47. Vaught, R. L., "Alfred Tarski's Work in Model Theory", Journal of Symbolic Logic, 51(4), pp.869~882 (1986)
  48. Wagner, P., "Carnap's Logical Syntax of Language" (2009), Palgrave Macmillan
  49. Wagner, P., "Carnap's Ideal of Explication and Naturalism" (2012), Palgrave Macmillan
  50. Wolenski, J., "Brentano's Criticism of the Correspondence Conception of Truth and Tarski's Semantic Theory", Topoi, 8(2), pp.105~110 (1989)
  51. Wolenski, J., "From Dedekind to Gödel", pp.331~341 (1995), Kluwer
  52. Wolenski, J., "Alfred Tarski and the Vienna Circle", pp.1~15 (1999), Kluwer
  53. Wolenski, J., "Alfred Tarski and the Vienna Circle: Austro-Polish Connections in Logical Empiricism", Papers from the International Conference held in Vienna (1999)

관련 논문AI추천

논리적 귀결과 논리 상항의 의미이종권한국논리학회 · 논리연구2007 · 제10권 제1호모형론적 논리적 귀결과 논리상항박준용한국논리학회 · 논리연구2014 · 제17권 제1호모형론적 귀결과 양상성최원배한국수학사학회 · 한국수학사학회지2012 · 제25권 제4호의미론적 역설과 진리 개념이종권중앙철학연구소 · 철학탐구2006 · 제19권 “자체적으로 정당한 규칙과 논리상항의 의미”정인교한국논리학회 · 논리연구2003 · 제6권 제2호논란 없는 원리를 둘러싼 최근 논란최원배한국논리학회 · 논리연구2011 · 제14권 제3호

이 간행물의 다른 논문 (6건)

『논리-철학 논고』의 일반성 개념에 관하여박정일pp. 1-31모형론적 논리적 귀결과 논리상항박준용pp. 71-108지식가능성 역설과 반사실적 조건 명제에 대한 논파자김남중pp. 109-135고차모호성과 극단적 결정불가능성이진희pp. 137-180Algebraic Kripke-style semantics for weakening-free fuzzy logics양은석pp. 181-195
원문 보기