The Background of Tarski's Definition of Logical Consequence

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

  • Park, Woosuk (Department of Humanities & Social Sciences, Korea Advanced Institute of Science and Technology)
  • 박우석 (한국과학기술원 인문사회과학과)
  • Received : 2014.02.01
  • Accepted : 2014.02.15
  • Published : 2014.02.28


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.


Supported by : 한국연구재단