김영정 논제와 정상 조건문

Abstract

故 김영정 교수는 비판적 사고와 형식논리학의 멋진 조화를 꿈꾸며 선제논리라는 프로그램을 제시하였다. 불행하게도 그 프로그램은 실패로 끝났다고 여겨지는데, 그럼에도 불구하고 나는 김영정 논제는 여전히 유효하다고 생각한다. 김영정 논제란 전칭명제와 특칭명제를 모두 조건문을 포함하는 양화문장으로 파악해야 한다는 주장이다. 김영정 교수는 전칭긍정명제와 특칭긍정명제를 각각 (∀x)(Sx ⊃ Px)와 (∃x)(Sx ⊃ Px)로 기호화해야 한다고 주장한다. 그러나 나는 김영정 교수의 프로그램이 실패할 수밖에 없었던 근원적인 이유는 우리의 조건문을 실질 함언으로 파악했다는 점에 있다고 생각한다. 그리하여 우리는 실질 함언이 아니라 우리의 언어실천에서 실제로 사용되는 조건문, 즉 비트겐슈타인의 정상 조건문(normal conditional)(p → q)을 김영정 논제와 결합하면 어떤 귀결이 나올지를 탐구할 수 있다. 이러한 수정된 김영정 논제에 따르면, 가령 전칭긍정명제와 특칭긍정명제는 각각 (∀x)(Sx → Px)와 (∃x)(Sx → Px) 로 기호화해야 한다. 그렇게 되면 수정된 김영정 논제는 정상 조건문의 특성을 파악하기 위한 중요한 열쇠와 통로 역할을 한다. 더 나아가 이러한 생각들이 정리가 되면 예컨대 (A → B와 A → ∼B가 둘 다 참이 되는) 기바드(Gibbard) 현상은 존재하지 않는다는 것이 판명되며, 기존의 논의가 얼마나 혼란스러운 것인지를 깨닫게 한다. 요컨대 우리는 비트겐슈타인의 정상 조건문과 김영정 논제를 결합하여 수정된 김영정 논제를 설정한 후 이 논제를 일관성 있게 유지할 때 어떤 귀결이 나올지를 탐구할 수 있으며, 이를 통하여 수정된 김영정 논제를 일관성 있게 유지하는 것은 가능하다는 것, 그리고 이를 통해 전통적인 대당사각형이 복원된다는 것, 정상 조건문 p → q의 조건부 부정은 p → ∼q라는 것, 또 정상 조건문의 또 다른 사용(⇒)이 있다는 것, p → q의 대우는 ∼q ⇒ ∼p라는 것을 확인할 수 있다. The late Professor Young-Jeong Kim propounded the Presupposition Logic program, longing for harmony between critical thinking and formal logic. Unfortunately that program is regarded as a failure, but I believe that Young-Jeong Kims thesis is still relevant. Young-Jeong Kims thesis asserts that both a universal proposition and a particular one should be considered as a quantified proposition which contains a conditional. Professor Young-Jeong Kim asserts that a universal affirmative proposition and a particular affirmative one must be symbolized as (∀x)(Sx ⊃ Px) and (∃x) (Sx ⊃ Px), respectively. However, I believe that the fundamental reason that Professor Young-Jeong Kims program could not help but end in failure is that he regarded our conditional as a material implication (conditional). Hence we need to consider the case that in Young-Jeong Kims thesis, a material implication should be replaced with a conditional which is used in our real language practice, that is, Wittgensteins normal conditional. According to this modified Young-Jeong Kims thesis, a universal affirmative proposition and a particular affirmative one must be symbolized as (∀x)(Sx → Px) and (∃x)(Sx → Px), respectively. Then, the modified Young-Jeong Kims thesis plays an important role in providing an important key and the path to for grasp the characteristics of a normal conditional.