• 논리연구
• /
• 제18권3호
• /
• pp.307-335
• /
• 2015

논증의 타당성에 대한 덤밋과 프라위츠의 증명론적 정의의 핵심사항 중의 하나는 열린 논증은 그 전제들에 대한 타당한 논증들을 그 결론에 대한 타당한 논증으로 전환하는 효과적인 방법이 있을 경우 타당하다는 조건이다. 그러나 그들의 정의에서 이 조건은 적절한 의미에서 결정 불가능한 전제들을 지니는 열린 논증들은 모두 사소하게 타당하게 된다는 부적절한 귀결을 지닌다. 필자는 프라위츠의 정의를 중심으로 증명론적 타당성 개념을 설명한 후, 이에 대한 사소성 문제를 제기하고 검토할 것이며, 이에 의거하여 프라위츠의 정의에 대한 수정안을 제시할 것이다.

• 논리연구
• /
• 제16권3호
• /
• pp.407-436
• /
• 2013

이 글의 목표는 직관주의적 유형론에서의 진리개념이 어떻게 이해될 수 있는지를 검토하고, 이에 의거하여 직관주의적이면서 객관적인 진리개념을 확보하는 문제에 있어서 프라위츠의 논증보다 진전된 논증을 제시하는 것이다. 이를 위해, 직관주의적 유형론에서의 명제, 유형 및 판단의 구분을 프레게의 판단이론과 비교하며 간략히 설명한 후, 직관주의적 유형론에서의 진리판단을 분석하고, 이에 의거해 증명의 존재의 확정성이 어떻게 이해될 수 있는지 밝힐 것이다. 또한 직관주의적 유형론에서 진리판단으로서의 존재판단이 어떻게 이해되어야 하는지, 특히 왜 그것이 존재양화명제가 될 수 없는지 그 이유를 밝히고, 존재판단을 생략적 판단으로 해석하는 한 견해를 비판할 것이다. 직관주의적 유형론에서의 진리개념에 관한 이 글에서의 분석은 증명의 존재의 확정성 문제와 증명의 존재의 비명제적 성격을 분명히 한 점에서 직관주의적이고 객관적인 진리개념에 대한 프라위츠의 규정보다 진전된 형태의 설명임을 밝히고, 이런 진리개념에 대한 주관적 진리개념의 옹호자들의 한 비판에 답할 것이다.

• 전자통신동향분석
• /
• 제11권3호통권41호
• /
• pp.71-84
• /
• 1996

Girard에 의해서 1987년에 처음 소개된 선형 논리(linear logic)는 컴퓨터 사이언스에 큰 관심을 불러 일으키며 빠르게 발전하고 있다. 선형 논리는 상태 및 자원을 논리적 수준에서 다루고 있는 특징이 있다. 본 고에서는 선형 논리의 의미, 동기 및 특성을 소개하며, Gentzen의 시퀀트 계산법과 Prawitz의 자연 연역법 사이의 연관성 및 여러 증명 사이의 '같음'에 대한 개념을 컷제거 정리 측면에서 논의하고, 이러한 개념에 의하여 선형 논리의 증명이 증명망으로서 표현될 수 있음을 보인다.