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

Abstract

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