• 한국수학사학회지
• /
• 제9권2호
• /
• pp.30-42
• /
• 1996

최근 <수학기초론>이란 용어는 Burali-Forti paradox 이후 족(class)과 집합(set) 개념을 이해하려는 시도에서 출발한 20세기적 문제에 적용되고 있다. 이 글에서는 그 해결책으로 제시된 주의ㆍ주장 중 논리적인 모순을 해결하기 위한 Russel의 논리주의적 공리론에 바탕을 두고 살펴보려고 한다. 제 2장에서는 무한의 심연 속에 웅크리고 있는 집합론에서의 역설과 발생 원인에 대하여 살펴보았다. 제 3장에서는 공리론적 집합론 중에서 러셀의 유형론과 그것을 단순화시킨 현대의 유형론을 살펴보고, ZF 집합론과 ZF 집합론의 연장인 처치 집합론의 기본 공리를 살펴보았다.

• 한국수학사학회지
• /
• 제23권2호
• /
• pp.23-56
• /
• 2010

본 논문의 목적은 집합론이 메타논리학에 필수불가결하다는 주장, 즉 필수불가결성 논제에 반대하는 것이다. 만일 집합론이 메타논리학에 필수불가결하다면, 집합론을 포함하게 되는 논리적 탐구는 논리학의 가장 근본적인 특성들인 주제중립성과 보편적 적용가능성을 결여하게 되기 때문이다. 논리학의 주제중립성은 논리학의 명제들이 개별 과학과 같은 특정한 지식 분야에 국한되지 않는다는 것을 말하며, 논리학의 보편적 적용가능성은 논리학의 명제들과 추론 규칙들이 모든 과학 분야들과 합리적 담론들에서 사용될 수 있다는 것을 말한다. 나아가 주제중립성과 보편적 적용가능성을 지니기 위해서는, 논리학을 기술하는 메타논리적 용어들과 개념들 역시 이러한 특성들을 지녀야만 한다. 하지만 필수불가결성 논제를 받아들이게 되면, 우리는 논리학이 적용되는 모든 분야에서 집합론의 용어들과 집합론적 개념들이 필수불가결하다는 것을 받아들여야만 한다. 그리고 이는 분명 불합리한 일이다. 필수불가결성 논제가 그럴듯하지 않다는 것을 보이기 위해서 나는 집합과 관련된 존재론적 문제를 살펴볼 것이다. 이러한 탐구는 집합이 어떤 식으로 이해되든지 간에 존재론적으로 보수적인 "논리적 존재자" 로 간주되기 어렵다는 것을 보여줄 것이다.

• 논리연구
• /
• 제13권2호
• /
• pp.167-201
• /
• 2010

본 논문의 목적은 철학적으로 만족스러운 메타논리학으로서 부분전체론의 가능성을 살펴보는 것이다. 그 이유는 명백하다. 소위 수리 논리학으로 알려진 메타논리학에 대한 전통적인 접근은 집합들, 함수들, 모형들과 같은 수학적 존재자들의 존재를 미리 상정하고 있다. 이는 우리가 논리학을 개별 과학 분야에 적용할 때마다, 이러한 집합론적 메타논리학이 이들 분야의 논의영역에 언제나 이들 특수한 존재자들을 부가한다는 것을 의미한다. 이러한 사실은 집합론적 메타논리학이 논리학의 존재론적 보수성과 상충한다는 것을 보여준다. 반면에 집합론과 유사한 형식 체계인 부분전체론은 존재론적으로 무고하다고 주장되어 왔다. 따라서 우리가 논리학의 존재론적 보수성을 보장할 수 있는 중립적인 메타논리학으로 이 부분전체론을 고려하는 것은 상당히 자연스러운 일일 것이다. 하지만 부분전체론의 존재론적 무고함을 주장하는 논변들을 살펴보면, 우리는 부분전체론적 합 혹은 융합체와 같은 부분전체론적 존재자들이 존재론적으로 중립적인, 무고한 존재자가 아니라는 것을 알게 된다. 결국 우리는 부분전체론을 통한 메타논리학 역시도 논리학의 기초로서 올바른 접근이 될 수 없다고 결론 내리게 된다.

• 논리연구
• /
• 제17권2호
• /
• pp.349-358
• /
• 2014

불완전한 지식의 문제는 오랫동안 인간이 해결하려는 것이었다. 인공지능에서 불완전한 지식의 문제를 다루기 위해 파블락은 러프집합론을 1982년에 제안하였다. 러프집합론은 다음과 같은 두 가지 흥미있는 성질을 가지고 있다. 먼저 하나의 러프집합은 지식기반에 따라 같은 집합이 아닌 다른 집합으로 간주된다는 것이다. 그리고 서로 다른 러프집합도 어떤 지식 기반에서 보면 서로 같은 집합으로 여겨진다는 것이다. 이러한 성질은 의미있는 철학적 해석을 낳는다. 즉 하나의 개념이나 사건은 다른 철학적 관점에서 다른 것으로 이해되기도 하고, 서로 다른 개념이나 사건도 어떤 관점에 따라서는 같은 것으로 간주될 수 있다는 것이다. 본고에서는 이러한 러프집합의 성질은 비판적 실재론이나 과학철학에서 관찰의 이론적재성을 지지하는 수학적 모델로 취급될 수 있다고 주장한다.

• 논리연구
• /
• 제19권1호
• /
• pp.83-106
• /
• 2016

프레게의 Grundgesetze에 소개된 시스템과 그 이후에 집합론 및 유형론에서 중요한 역할을 한 시스템들에서 사용된 귀납법에 대해 살펴본다. 먼저 프레게의 자연수 귀납법에 대한 이해를 살펴 본 후에 현대 집합론과 유형론에서 귀납법이 어떻게 정의 및 활용되는가를 살펴본다. 또한 프레게의 접근방식과 기타 접근방식의 차이점을 predicativity와 impredicativity 차원에서 조명한다.

• 응용통계연구
• /
• 제3권1호
• /
• pp.59-78
• /
• 1990

지난 30여년간 급격히 발전해 온 다중결정이론 중 부분집합선택론은 매우 중요한 위치를 차지하고 있다. 특히 여러가지 형태의 부분집합선택절차론 중에서 최초로 소개된 Gupta형 선택절차론은 모든 절차론들의 기본이 되어 오고 있음으로 그 중요성은 널리 인식되고 있다. 더우기 응용부문에 있어서도 가장 많이 사용되고 있는 선택절차론들 중의 하나이기도 하다. 따라서 Gupta형 선책절차론에 대한 일반적인 성질들도 많이 규명되어 왔다. 특히 결정론적 측면에서나 베이스 이론적 측면에서의 최적성 및 점근적 효율성에 있어서는 Gupta와 Hsu(1978), Bj$\phi$rnstad(1980), 그리고 Bickel과 Yahav(1982)가 성질 들을 규명내지는 다른 형의 부분집합선택절차론들과 특정분포에 대해 비교 검토하였다. 또한 수집된 자료가 선택절차론의 근본 가정들을 위반할 경우가 실제로 다반사로 일어난다. 따라서 근본가정이 위배될 경우 선택절차론의 강건력에 대해서도 연구가 부분적으로 진행되었다. Gupta형 선택절차론과 중앙값 선택절차론과의 비교도 Gupta와 Singh(1980)과 Sohn(1985)에 의해 진행되었으며, 특히 스피리지 배치에서 점근적 효율성을 연구하였다. 하지만 부분집합선택절차론이 차지하는 중요성에 비해 그 자체에 대한 여러 측면에 있어서의 성질 및 운용특성에 대한 포괄적이고 일반적인 연구는 미흡한 편이다.

• 한국수학사학회지
• /
• 제5권1호
• /
• pp.5-37
• /
• 1988

• 한국수학사학회지
• /
• 제6권1호
• /
• pp.1-16
• /
• 1990

• 한국수학사학회지
• /
• 제25권1호
• /
• pp.29-43
• /
• 2012

본 논문에서는 공리론적 집합론의 역사를 살펴보고 순서수, 노이만 영역, ZR공리계를 동시에 전개할 수 있는 공준을 소개한다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제35권4호
• /
• pp.413-423
• /
• 2021

수학적 대상 중 하나인 공집합에 대하여 고찰해본다. 공집합과 관련된 학생들의 다양한 오개념과 그 원인을 살펴보고 역사적 공집합의 도입배경과 이와 관련된 집합론의 공리계를 살펴본다. 순수한 개념적 대상인 공집합을 통하여 수학적 대상의 속성을 알아보고, 공리적 집합론에 기반하였다고 알려진 현대 철학자 알랭 바디우(Alian Badiou)의 존재론을 살펴본다. 이상의 논의를 바탕으로 연립방정식의 해와 해집합을 집합을 통해 설명하고 이와 관련하여 공집합의 존재성이 갖는 의미를 고찰하여본다. 이러한 관점으로 집합적 사고를 재해석해보고, 수학의 공리적 철학적 측면이 갖는 의의를 제시한다.