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

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

• 건축사
• /
• 8호통권340호
• /
• pp.74-77
• /
• 1997

• 한국멀티미디어학회논문지
• /
• 제7권4호
• /
• pp.559-566
• /
• 2004

일반적으로 퍼지 생성규칙의 확신도와 규칙에 나타나는 퍼지 명제의 확신도는 0과 1사이의 실수로 표현한다. 만일 퍼지 생성규칙의 확신도와 퍼지 명제의 확신도를 구간값 퍼지 집합으로 표현한다면, 규칙기반시스템이 더 유연한 방법으로 퍼지 추론을 하는 것이 가능하게 된다. 본 논문에서는 퍼지 페트리네트와 이 네트에 기반을 둔 규칙 기반시스템을 위한 구간값 퍼지 집합 후진추론 알고리즘을 제안한다. 규칙 기반시스템에 있는 퍼지 생성규칙은 퍼지 페트리네트로 모형화된다. 여기에서 퍼지 생성규칙에 나타나는 퍼지 명제의 확신도와 규칙의 확신도는 구간값 퍼지 집합으로 표현한다. 여기에서 제안한 알고리즘은 목표노드에서 시작노드까지 후진추론 통로를 찾아낸 후 목표노드의 확신도를 계산한다. 구간값 퍼지 집합 후진추론 알고리즘은 규칙 기반 시스템이 더 유연하고 사람들이 하는 것과 같은 퍼지 후진추론을 가능하게 한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권5호
• /
• pp.625-631
• /
• 2004

일반적으로 퍼지 생성규칙의 확신도와 규칙에 나타나는 퍼지 명제의 확신도는 0과 1사이의 실수로 표현한다. 만일 퍼지 생성규칙의 확신도와 퍼지 명제의 확신도를 구간 값 퍼지 집합으로 표현한다면, 규칙기반시스템이 더 유연한 방법으로 퍼지 추론을 하는 것이 가능하게 된다[15］. 본 논문에서는 퍼지 페트리네트와 이 네트에 기반을 둔 규칙기반시스템을 위한 구간 값 퍼지 집합 추론 알고리즘을 제안한다. 규칙기반시스템에 있는 퍼지 생성규칙은 퍼지 페트리네트로 모형화 된다. 여기에서 퍼지 생성규칙에 나타나는 퍼지 명제의 확신도와 규칙의 확신도는 구간 값 퍼지 집합으로 표현한다. 제안한 구간 값 퍼지집합 추론알고리즘은 규칙기반시스템에서 더 유연한 퍼지추론을 하는 것을 가능하게 한다.

• 건축사
• /
• 10호통권342호
• /
• pp.83-83
• /
• 1997

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

아리스토텔레스 이후부터 프레게와 럿셀의 현대논리학이 등장하기 전까지 가장 중요한 논리학의 저서는 "포트로얄 논리학"이라고 알려진 "논리학 혹은 사유의 기술" 이다. 이 저서는 아리스토텔레스와 중세의 고전논리학적 요소와 프레게의 현대논리학적 요소를 동시에 지니고 있어 고전논리학과 현대논리학의 가교 역할을 하고 있다고 할 수 있다. 이 논문의 목적은 포트로얄 논리학에 나타난 서술문의 계사에 대한 설명과 그에 대한 대립되는 해석들을 살펴보고 포토로얄 논리학전체 체계에 비추어 볼 때 어떠한 해석이 보다 설득력있는 해석인가를 검토해 봄으로써 포트로얄 논리학이 지닌 고전적 요소와 현대적 요소를 대비해 보는 것이다. 즉 포트로얄 논리학의 서술문의 계사에 대한 설명을 통해서 그 저서의 한계와 의미를 알아보고, 논리학사에서 그 저서의 정당한 가치를 평가하는 것이 이 논문의 목적이다. 서술문의 계사에 대한 포트로얄 논리학의 설명은 계사는 주어와 술어 사이의 동일성 기호라는 고전적인 해석을 가능하게 하는 여지를 가지고 있는 것은 분명하다. 동시에 서술문의 계사는 술어의 속성들의 집합(comprehension)에 속한 성질들을 주어의 외연(extension)에 적용시키는 역할을 한다고 주장함으로써 프레게의 개념과 대상에 대한 설명과 유사함도 보이고 있다. 필자는 포트로얄 논리학의 계사에 대한 설명을 주어와 술어의 동일성 기호로 해석하는 최근의 빠리앙뜨의 주장(1978)을 비판적으로 살펴보고, 포트로얄 논리학의 계사에 대한 설명을 보다 정확하게 이해하는 것은 술어의 속성과 주어의 외연 사이의 서술적 기능이라고 보는 것이라고 주장한다. 계사를 동일성 기호로 해석하는 것은 첫째 포트로얄 논리학 전체를 살펴볼 때 빈약한 문헌적 증거밖에 갖지 못하고, 둘째 논리학과 의미론에서 포트로얄 논리학의 가장 중요한 기여라고 평가되는 속성집합과 외연의 구별에 대한 오해를 포함하고 있으며, 마지막으로 이러한 해석은 같은 술어도 주어가 달라짐에 따라 다른 의미를 갖는다는 주장을 포함함으로써 반직관적이다. 반면에 계사를 서술적 기능을 하는 것으로 해석하는 것은 포트로얄 논리학의 외연과 내포 사이의 구별에 대한 보다 정확한 이해에 근거한 것이고 종속절을 갖고 있는 명제에 대한 포트로얄 논리학의 분석에 의해서도 뒷받침됨을 보인다. 그러나 포트로얄 논리학은 주어의 외연이 공집합인 명제에 대한 분석에서 여전히 고전논리학적인 설명을 고수한다. 즉 그러한 면제에 대해 주어의 외연이 존재한다고 가정하는 존재적 관점의 해석만 허락함으로써 전칭명제를 조건적으로 해석하고$[({\forall}x)(Sx{\rightarrow}Px)]$, 특칭명제를 연언적으로 해석함으로써$[({\exists}x)(Sx&Px)]$, 그 문제를 해결하는 현대논리학과는 구별된다. 즉 포트로얄 논리학은 서술문의 계사를 동일성 기호가 아니라 주어와 술어의 외연과 내포사이의 서술적 기능으로 설명한다는 점에서 고전적인 견해와 구별되지만, 여전히 존재적 관점에서 모든 명제를 해석한다는 점에서 고전적이다. 이것이 바로 포트로얄 논리학의 평가를 위해서 주목해야 할 그 논리학의 가치이며 한계인 것이다.

• 호남수학학술지
• /
• 제3권1호
• /
• pp.41-60
• /
• 1981

다양체(多樣體)의 연구(硏究)에서 벡터속(束)의 개념(慨念)은 불가결(不可缺)하며 벡터속(束)의 연구(硏究)에는 엽층구조(葉層構造)의 연구(硏究)가 중요(重要)하다. 본(本) 논문(論文)은 권(圈) $\varrho$(M)의 응사보편공간(凝似普遍空間)에 관한 연구(硏究)(정리(定理) 4.8)로서 R. Bott의 엽층구조(葉層構造)에 관한 연구(硏究)([1])에서 착상(着想)된 것이다. 제이(第二), 삼절(三節)은 제사절(第四節)을 위한 준비(準備)로서, 제이절(第二節)에서는 벡터속(束)및 접속(接續)에 관한 성질(性質)을 논하고, 제삼절(第三節)에서는 위상권(位相圈), 층(層), 엽층구조(葉層構造) 및 $\Gamma_{q}$-cocycle 등에 관한 성질(性質)(명제(命題) 3.5, 3.7과 3.11)을 밝히고, 위상권(位相圈)의 구체적(具體的)인 예(例)(예(例)3.2, 3.3과 3.12)를 들었다. 제사절(第四節)에서는 $GL_{q}-cocycle$, 위상권(位相圈) $GL_{q}$, 집합(集合) $I_{so}(M_{k},\;GL_{q})$, $H^{1}(M_{k},\;GL_{q})$, $I_{so}(\varrho(M))$ 및 응사보편공간(凝似普遍空間)을 정의(定義)하고, 주정리(主定理) 4.8의 증명(證明)에 필요(必要)한 명제(命題)를 몇 개 기술(記述)하였다(명제(命題) 4.2, 4.5와 보제(補題) 4.9).

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.571-573
• /
• 2001

본 논문에서는 실시간 상태 기계(Real-time State Machine, RSM)로 명제된 실시간 시스템의 행위의 쉽고 간결한 이해, 분석을 위한 새로운 상태 최소화 방법을 기술한다. 시스템의 행위를 보여주는 RSM 실행에 대한 상태는 제어 변수, 자료 변수, 시간 변소의 집합에 의해 정의된다. 상태 최소화는 4단계 추상화인 계산(computation), 제너릭(generic) 패턴, 한계 간격(limit interval), 동일 범위(coordinate scope) 추상화를 통해 이루어진다. 계산 추상화 단계에서는 연속적인 계산으로 연결된 다수의 상태를 하나의 상태로, 일반 패턴 추상화 단계에서는 상수 또는 함수 관계에 있는 동일 제어의 연속된 일련의 상태들의 집합을 하나의 제너릭 패턴으로 통합한다. 한계 간격 추상화 단계에서는 특정 값으로부터 음의 무한대나 양의 무한대 값으로 단조 증가, 단조 감소하는 값 사이에 있는 상태들을 하나의 상태로 통합한다. 마지막으로, 동일 범위 추상화 단계에서는 같은 범위에 존재하는 일련의 상태들을 하나의 상태로 통합한다. 각 추상화의 적용은 제어, 데이터, 시간의 무한한 상태 공간을 유한한 상태공간으로 감소시킬 수 있으며 많은 상태 감소를 가능하게 한다. 따라서, 시스템 행위에 대한 이해와 분석이 복잡도가 적은 개념 단계에서 수행될 수 있다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제28권4호
• /
• pp.529-552
• /
• 2014

본 연구에서는 수학에서 추론의 중요성과 그 역할에 의미를 두고, 고등학교 수학 내용(문제)의 분석을 통해 학생들이 제공받는 추론의 유형이 얼마나 높은 수준, 즉 다양한 것인지에 대해 살펴보고자 한다. 현재, '수학 II' 교과목은 2009 개정에 따른 교과목들 중에서 '수학 I' 교과목을 이수한 후 선택하는 것(신이섭, 2011)으로, 중등 수학에서 가장 심도 있는 학습 내용을 다룬다고 볼 수 있다. 이러한 점에 감안하여 본 연구에서는 '수학 II' 교과목의 내용을 중심으로 Johnson, et al.(2010)의 여섯 가지 추론 유형을 재구성하여 이를 바탕으로 현행 9종의 모든 교과서에 수록된 추론 문제의 정도(비율) 및 유형을 파악하고자 한다. 이로써, 학생들에게 어느 정도의 추론 활동의 기회가 제공되고 있는지 살펴보고, 수학 수업에서의 추론 능력 신장의 긍정적 가능성을 가늠해 보고자 한다.

• 한국경영과학회지
• /
• 제27권4호
• /
• pp.87-109
• /
• 2002

A satisfiability problem in propositional logic is the problem of checking for the existence of a set of truth values of atomic prepositions that renders an input propositional formula true. This paper describes an empirical investigation of a particular integer programming approach, using the set covering model, to solve satisfiability problems. Our satisfiability engine, SETSAT, is a fully integrated, linear programming based, branch and bound method using various symbolic routines for the reduction of the logic formulas. SETSAT has been implemented in the integer programming shell MINTO which, in turn, uses the CPLEX linear programming system. The logic processing routines were written in C and integrated into the MINTO functions. The experiments were conducted on a benchmark set of satisfiability problems that were compiled at the University of Ulm in Germany. The computational results indicate that our approach is competitive with the state of the art.