• 논리연구
• /
• 제12권1호
• /
• pp.1-24
• /
• 2009

이 논문에서 우리는 집합의 두 점 사이의 관계를 소개하고, '가깝다'와 '충분히 가깝다'의 위상적인 개념을 다양하게 정의할 수 있음을 보인다. 또한 직관주의 논리와 관계가 있는 De Morgan frame을 소개하고 pre-order에 의하여 정의된 동치관계로 만들어진 동치류들의 집합을 기저로 생성된 위상 공간이 extremally disconnected 임을 보인다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국지능시스템학회 2008년도 춘계학술대회 학술발표회 논문집
• /
• pp.311-312
• /
• 2008

퍼지 논리는 1965년 Zadeh[13]에 의하여 소개된 이후 꾸준히 확장, 발전하였다. 퍼지 논리와 관련된 수학사 및 수학교육 논문[1, 2, 3, 4, 5, 7]들이 많이 발표 되었지만 정작 퍼지 논리의 창시자인 Zadeh에 대한 연구 논문은 아직까지 나오지 않았다. 본 논문에서는 Zadeh의 생애와 업적을 알아보고 이를 통해 우리가 배워야 할 점들에 대해 논의한다. 또한 이가 논리, 다가 논리, 퍼지 논리, 직관주의 논리 및 직관적 퍼지 집합을 비교, 분석해보고 직관적 퍼지 집합에서 '직관적(intuitionistic)'이라는 용어의 부적절성에 대해 논의한다.

• 한국수학사학회지
• /
• 제21권1호
• /
• pp.29-44
• /
• 2008

퍼지 논리는 1965년 Zadeh([13])에 의하여 소개된 이후 꾸준히 확장, 발전하였다. 퍼지 논리와 관련된 수학사 및 수학교육 논문([1], [2], [3], [4], [5], [7])들이 많이 발표되었지만 정작 퍼지 논리의 창시자인 Zadeh에 대한 연구 논문은 아직 발표되지 않았다. 본 논문에서는 Zadeh의 생애와 업적을 알아보고 이를 통해 우리가 배워야 할 점들에 대해 논의한다. 또한 이가 논리, 다가 논리, 퍼지 논리, 직관주의 논리 및 직관적 퍼지 집합을 비교, 분석하고 직관적 퍼지 집합에서 '직관적(intuitionistic)' 이라는 용어의 부적절성에 대해 논의한다.

• 논리연구
• /
• 제21권1호
• /
• pp.59-96
• /
• 2018

순수하게 형식적인 견지에서 직관주의 논리는 거짓말쟁이 유형의 역설을 다루는데 어떠한 이점도 없다고 여겨진다. 이 글에서 우리는 표준 직관주의 자연연역체계가 거짓말쟁이 유형의 역설에 취약함을 논할 것이다. 다시 말해, 거짓말쟁이 유형의 문장을 수용함이 모순(${\perp}$)을 도출하는 추론을 야기한다는 것이다. 이러한 결과는 이중부정 제거규칙(DNE)에 대한 제약이 ${\perp}$을 도출하는 추론을 막지 못한다는 것을 보여준다. 하지만 이는 거짓말쟁이 유형의 역설에 대한 직관주의적 접근법이 잘못된 것이 아니라 표준 자연연역 체계의 표현력이 부족한 문제라고 할 수 있다. 우리는 주어진 체계 S에 대한 메타-레벨 부정 연산자 ⊬$_s$와 메타-레벨 모순 연산자 ⋏를 직관주의 체계에 도입할 것이다. 그리고 체계의 완전성에 대한 가정 없이는 이 체계에서 ${\perp}$에 대한 추론을 얻을 수 없음을 보일 것이다. 또한 우리는 이중 메타-레벨 부정 제거규칙(DMNE)을 고려할 것이다. 이 규칙은 체계의 완전성을 암묵적으로 가정하며 DMNE에 대한 제약은 ${\perp}$의 추론을 막을 수 있을 것이다.

• 논리연구
• /
• 제14권2호
• /
• pp.39-76
• /
• 2011

마틴뢰프의 직관주의적 유형론의 중요 사항들을 설명하고, 그 체계의 가장 중요한 특성 중의 하나인 명제와 판단의 구분에 관해 검토한다. 1절에서 문제를 도입한 후, 2절에서 직관주의적 유형론의 명제개념은 직관주의적 명제개념의 발전된 형태임을 보이고, 3절에서는 직관주의적 유형론에서 가장 기본적인 판단개념을 설명한 후, 4절에서 직관주의적 유형론의 기본적인 추론규칙들을 설명하고 그 적용의 한 사례를 검토할 것이다. 마지막으로 5절에서, 직관주의적 유형론에서 명제와 판단의 구분이 차지하는 중요성을 부연한 후, 기초론적 체계에서 명제와 판단의 구분이 필수적인지의 문제와 관련하여, 통상적인 프레게적 구분으로부터 시작하여 직관주의적 유형론에서와 같은 구분에 이르기 위해서는 어떤 것들이 전제되거나 정당화되어야 하는지 검토할 것이다.

• 한국수학사학회지
• /
• 제20권3호
• /
• pp.105-126
• /
• 2007

본 논문에서는 수학적 개념을 어떻게 가르쳐야 할 것인가를 고려한다. 특히 개념학습에 있어서 수학적 직관에 의해 개념이해, 계산기능, 응용의 3가지 요소를 균형적이고 통합적으로 달성하는 것을 목표로 삼는다. 이를 치한 방안으로 수학적 개념을 3종류의 수리철학인 직관주의, 논리주의, 형식주의에 의거하여 직관적 개념, 논리적 개념, 형식적 개념의 3가지 유형으로 분류한다. 또한 벡터이론의 중요한 9가지 개념을 통하여 유형의 차이에 대해 실제적인 고찰을 한다. 이로부터 벡터이론의 효과적인 개념학습을 위해서 요구되는 학습의 순서와 강조점을 제안한다.

• 한국수학사학회지
• /
• 제24권4호
• /
• pp.45-59
• /
• 2011

20세기 초반에 등장한 수학기초론의 주류 세 학파 (직관주의 논리주의 형식주의)는 상호 대립관계를 보인다. 큰 틀에서 볼 때, 논리주의는 프레게를 계승하는 입장이다. 이와 대립관계의 기초론 중 하나인 직관주의는 구성주의 수학철학의 주축으로 평가된다. 그리고 직관주의가 터를 닦은 구성주의 수학철학을 후속 개진시킨 주역은 의미론적 반실 재론을 주창한 마이클 더밋이다. 따라서 외형상으로는 더밋이 직관주의를 계승하는 후계세대처럼 여겨질 수 있지만 그의 철학적 기반은 분명 프레게이다. 더밋이 논리주의가 아닌 직관주의 계열에 합류한 사실의 속내는 구성주의 내부의 두 입장 (즉, 직관주의와 반실재론) 이 보이는 배중률을 둘러싼 태도의 드러난 일치뿐만 아니라 가려진 차이까지 헤아려질 때 해명될 수 있다고 본다. 본고는 이런 해명을 통해 구성주의 수학철학에 대한 이해도 한층 더할 수 있다는 판단에 따른 제안적 노력이다.

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

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

• 논리연구
• /
• 제2권
• /
• pp.119-150
• /
• 1998

이 글의 기본적인 목적은 논리 체계의 근간이 되는 구조의 중요성을 부각시키는데 있다. 이를 위하여 여기서는 그러한 구조 논의가 격자를 통해 마련될 수 있다는 점을 논리, 철학적으로 예증하였다. 구체적으로 첫째로 그간 이질적인 체계로 간주되어 온 명제를 대상으로 한 고전 논리와 직관주의 논리, 다치 논리가 모두 격지 구조를 갖는다는 것을 형식적으로 증명하였다. 둘째로 격자 구조가 갖는 철학적 함의를 멱등법칙을 중심으로 검토하였다.

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

이 글에서 우리는 연관 명제계산과 무한다치 명제계산 사이의 관계를 살핀다. 구체적으로 우리는 연관 명제계산 $BN_{c1}$이 무한다치 명제계산 $L{\L}C^+$를 포함하는 확장 체계로 간주될 수 있다는 것을 보인다. 즉 $L{\L}C^+$에 직관주의 명제논리에 사용된 부정을 첨가한 후, $BN_{c1}$이 이 체계 $L{\L}C^+$로 변역될 수 있다는 것을 보인다.