• 논리연구
• /
• 제13권2호
• /
• pp.27-59
• /
• 2010

작년 7월 28일 고(故) 김영정 교수의 갑작스러운 별세 이후 4편의 미발표 논문이 발견되었다. 그 논문에는 김영정 교수의 원대한 계획이 있었음이 확인되었다. 특히 그의 독자적인 개념과 이론이 확인되었는데, 김영정 교수가 "선제논리" 또는 "장논리"라고 부르는 것이다. 이 글에서는 김영정 교수의 그 계획을 "선제논리 프로그램"이라고 부르고자 한다. 김영정 교수는 논리학과 비판적 사고의 더욱 밀접한 연관관계의 필요성과 가능성을 실현하기 위하여 선제논리라는 새로운 논리체계를 모색하였다. 이 글에서는 김영정 교수의 "선제"와 선제논리가 무엇인지(2절), 왜 김영정 교수가 논리학의 관점에서 선제논리가 필요하다고 보았는지를(3절) 살펴볼 것이다. 이렇게 함으로써 우리는 김영정 교수가 마지막 학문적 열정과 투혼을 쏟아 부었던 작업 내용의 얼개를 파악할 수 있다. 이러한 파악을 바탕으로 나는 김영정 교수로 하여금 최후까지 고뇌에 싸이게 했던 문제를 비판적으로 조명하고자 한다(4절, 5절).

• 논리연구
• /
• 제13권2호
• /
• pp.1-26
• /
• 2010

이 글은 고 김영정 교수의 비판적 사고 이론을 비판적으로 검토하는 것이 목적이다. 그는 비판적 사고의 기본 속성은 능동적 반성성이고, 비판적 사고가 지향하는 주요 특성은 심층성, 다각성, 영역 전이성이라고 정의한다. 그리고 그는 비판적 사고 개념이 창의성 개념과 연결될 수 있는 가능성을 모색하여, 비판-창의적 사고라는 개념을 제시한다. 나는 이런 정의의 한계를 지적하면서도, 비판-창의적 사고를 향상시킬 방법이 가능하다고 주장하겠다.

• 논리연구
• /
• 제14권2호
• /
• pp.105-121
• /
• 2011

고 김영정 교수는 존재 예화 규칙이 다도 논법의 구조를 가진다는 것을 통해 그 규칙을 직관적으로 설명하고자 했다. 그리고 그의 그런 설명은 존재 예화 규칙에 사용되는 전제에 자유 변항이 나타난다는 주장과 그런 자유 변항이 나타나는 식이 보편 명제라는 주장에 의거했다. 본 논문에서 필자는 우선 그와 같은 독특한 자유 변항 개념에 호소하는 것이 여러 어려운 문제들을 낳는다는 것을 보인다. 그리고 그런 개념에 호소하지 않고서도 존재 예화 규칙이 다도 논법의 구조를 가진다는 통찰을 구체화할 수 있다는 것을 보여 주기위해서, 보다 기본적인 규칙인 보편 조건문화 규칙(Universalized Conditionalization Rule)을 도입한다. 그리고 필자는 우리가 그 보편 조건문화 규칙을 사용해 존재 예화 규칙이나 보편 일반화 규칙을 직관적으로 설명할 수 있다는 것을 보인다. 그리고 그런 과정에서 존재 예화 규칙이 다도 논법의 구조를 가진다는 김영정 교수의 통찰도 적절한 자리를 부여받게 된다.

• 논리연구
• /
• 제5권1호
• /
• pp.1-26
• /
• 2001

컴퓨터라는 새로운 매체의 도입의 이점이 컴퓨터 매체의 제반 특성들을 잘 활용함으로써 학생들의 호기심을 유발하고 학생들의 학습 효과를 높일 수 있다는 데에만 국한되는 것은 아니다. 새로운 컴퓨터 매체의 도입은 논리학의 여러 중심 개념들 자체에 대한 이해의 심도를 증진시킴으로써 논리학을 새로운 영역으로 확대시켜 주기도 한다. 그 새로운 영역은 그림과 같은 비언어적 표상을 핵심적으로 포함한 추론, 즉 문자와 그림을 동시에 포함하는 이질적인 추론(heterogeneous reasoning)을 허용하는 영역이다. 논리학은, 정보가 어떻게 표상되든 상관없이, 정보 추출의 타당한 형태들에 관한 연구이다. 전통적으로 논리학자들은 정보 추출의 타당한 형태들의 매우 작은 부분(즉, 언어적 표상)에만 초점을 맞추었다. 그러나 컴퓨터 매체의 활용과 더불어 이제 논리학은 시각적 표상을 포함하여 다양한 표상들을 어떻게 사람들이 사용하는지 파악해야 한다. 이러한 과업의 성취를 위해, 구문론, 의미론, 논리적 귀결, 증명, 반례 등의 전통적 개념을 이러한 새로운 형태의 표상들을 수용할 수 있는 방식으로 확장하고 풍부하게 만들어야 한다. 그림 표상과 문자 표상을 함께 사용하는 추론 체계인 Hyperproof에 대한 연구는 이러한 확장된 논리 이론을 형성하는 데 기여한다.