• 제목/요약/키워드: 논리상항

검색결과 4건 처리시간 0.038초

타르스키의 논리상항의 정의에 대한 연구

  • 최병일
    • 논리연구
    • /
    • 제3권
    • /
    • pp.95-113
    • /
    • 2000
  • 타르스키는 최근 발표된 그의 유고에서 흥미 있는 논리상항의 정의를 제공하였다. 그의 정의는 그가 1927년이래 린덴바움과 함께 연구하였고, 1935년에 강연으로 발표하였던 메타 논리적 탐구의 결과들에 근거하는 것으로서, 1966년과 1973년의 강연들에서 제공하였던 '논리적 개념들'(logical notions)의 정의에 바탕을 둔 것이었다. 타르스키의 논리상항의 정의는 역사적으로는 클라인의 에어랑겐 프로그램(Erlangen Programme)의 논리학에 대한 적용이라 할 수 있는 것으로서, 마우트너의 유사한 시도와 함께 주목할 만한 가치가 있다. 또한 그의 정의는 논리상항을 논리적 형식의 개념에 의존하지 않고, 보다 중립적인 '모든 변환에 있어 불변적임'(invariance under all transformations)이라는 개념을 사용하고 있다는 점에서도 흥미있는 시도로서 여겨질 수 있다. 본 논문에서는 타르스키의 논리상항의 정의와 그 확장에 대하여 논의한 뒤, 몇 가지 비판적인 논점을 제공하고자 한다. 특히 타르스키의 정의가 과연 중립적이고 순환적이지 않은가 하는 문제에 대한 논의를 통하여 논리상항의 정의에 대한 새로운 관점을 확보하고자 한다.

  • PDF

모형론적 논리적 귀결과 논리상항 (Model-theoretic Conceptions of Logical Consequences and Logical Constants)

  • 박준용
    • 논리연구
    • /
    • 제17권1호
    • /
    • pp.71-109
    • /
    • 2014
  • 셔어는 타르스키의 논리적 귀결 정의가 개념적으로나 외연적으로 적합한 설명이라고 믿는다. 셔어는 모스토프스키의 동형 구조 내의 불변적인 것으로서 일반화된 양화사 개념, 그리고 자신의 모형 이론에 근거해서 그 믿음을 정당화하려 하였다. 이 글에서 나는 타르스키의 정의를 정당화하려는 셔어의 시도는 반만 성공한 것임을 보이려 한다. 나는 논리적인 것이 동형 구조 내의 불변적인 것이라는 셔어의 생각은 논리적 귀결의 형식적 특징을 보이기에 충분하다는 점을 인정한다. 반면 나는 용어의 의미에 대한 셔어의 생각은 외연이 빈 술어의 문제를 제대로 다루기에는 아주 부적합해서, 결국 셔어는 논리적으로 필연적인 진리들과 그 밖의 진리들을 구별하는 데 실패하였다고 생각한다.

  • PDF

논리적인 것과 논리-외적인 것

  • 박우석
    • 논리연구
    • /
    • 제2권
    • /
    • pp.7-33
    • /
    • 1998
  • 최근 에체멘디는 초과생성과 미달생성의 문제를 들어 타르스키의 모델이론적 논리적 귀결의 정의의 외연적 적합성을 공격하였다. 그러한 공격의 기저에는 우연성 문제가 도사리고 있다고 보이고, 실질적으로 타르스키류의 정의를 적용함에 있이 무만 공리를 통해 논리외적 요소기 개입할 위험이 있다는 것이 그의 근본적 가정이라 생각된다. 이 글에서는 무한 공리가 논리적 진리일 기능성을 조심스레 타진이고, 논리상항과 비논리상항을 기리는 문제가 에체멘디가 생각하듯 신화가 아니라 논리적인 것과 논리외적인 것을 구별하는 문제와 동일한, 진정한 철학적 문제임을 보이는 데 노력한다.

  • PDF

논리적 귀결과 논리 상항의 의미

  • 이종권
    • 논리연구
    • /
    • 제10권1호
    • /
    • pp.65-98
    • /
    • 2007
  • 정인교는 그의 최근 논문에서 논리적 귀결 관계에 의해 논리 상항의 의미를 정의함에 있어 통상적인 도입 규칙과 제거 규칙에 의거하는 포퍼의 접근법과, 도입 규칙에만 의존하는 정당화주의적 접근법, 그리고 제거 규칙에만 의존하는 실용주의적 접근법을 구분한 바 있다. 이 글에서는 연언과 선언의 연결어의 경우에는 그 세 가지가 동등하다는 것을, 그리고 조건과 부정의 연결어의 경우에는 제거 규칙에 의거하는 실용주의적 접근법과 포퍼의 접근법이 대등하다는 것을, 타르스키가 처음 확립한 논리적 귀결에 관한 공리적 체계에 의존하여 보일 것이다.

  • PDF