Publications

Detailed Information

존재예화규칙, 존재양화사제거규칙, 다도논법 : ES Rule, ∃-E Rule, and Polylemma

Cited 0 time in Web of Science Cited 0 time in Scopus
Authors

김영정

Issue Date
2009
Publisher
서울대학교 철학사상연구소
Citation
철학사상, Vol.32, pp. 145-191
Keywords
양도논법매개변항자유변항보편명제틀문자겐첸코피토마슨
Abstract
이 논문은 자연연역체계에서 양화사와 관련된 추론규칙으로 널리
받아들여지고 있는 존재예화규칙 내지 존재양화사제거규칙을 개념적으로
명료화하고자 하는 논문이다. 그 핵심적인 논점은 크게 다음과 같은 네 가
지로 요약될 수 있다.
첫째, 일상적으로 같은 것으로 동일시되고 있는 존재예화규칙과 존재양화
사제거규칙은 구분되어야 한다. 둘째, 존재양화사제거규칙의 논리적 심층
구조는 양도논법을 확장한 다도논법이다. 셋째, 존재예화규칙의 논리적 심
층 구조는 다도논법이 아니다. 존재예화규칙의 본성에 대한 설명을 위해서
는 반드시 매개변항 개념을 도입해야 한다. 그러나 기존의 논리 체계는 실
질적으로 대부분 개체상항, 자유변항, 속박변항 개념만을 사용하고 있으므
로, 기존 논리 체계에서는 존재예화규칙의 논리적 심층 구조를 보여줄 길
이 없다. 넷째, 그러므로 다음의 두 선택지가 귀결된다. (1) 기존의 논리
체계를 받아들이면서 흔히 존재예화규칙이라고 잘못 불리고 있는 규칙을
존재양화사제거규칙으로 올바르게 이해하던지, (2) 아니면 매개변항 개념을
도입한 새로운 논리 체계를 발전시킴으로써 존재예화규칙을 올바르게 형식
화해야 한다.
ISSN
1226-7007
Language
Korean
URI
https://hdl.handle.net/10371/15073
Files in This Item:
Appears in Collections:

Altmetrics

Item View & Download Count

  • mendeley

Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.

Share