• 논리연구
• /
• 제14권2호
• /
• pp.1-38
• /
• 2011

베르나이스는 국내외를 막론하고 그의 업적에 상응하는 집중적 관심의 대상이 되지 못했다. 극히 최근에 이르러 베르나이스의 저작의 재출간을 비롯하여 그의 철학에 대한 재조명이 시작되고 있다. 본 논문은 이러한 흐름에 발맞춰 공리적 방법을 초점으로 베르나이스의 사상을 힐버트의 사상으로부터 섬세하게 가려내는 시도를 시작해보고자 한다. 우선 힐버트가 자신의 공리적 방법에 대해 대단한 자부심을 지녔었다는 점을 전거를 제시해가며 부각시킨다. 그리고 힐버트의 공리적 방법이 공리적 방법의 역사 전체 안에서 어떤 위치를 지니는지에 관한 베르나이스의 견해를 정리해볼 것이다. 또한 중전기 베르나이스와 후기 베르나이스가 이 문제에 관하여 상당히 다른 입장을 취하는 것으로 보인다는 점에 착안하여, 중전기 베르나이스의 견해와 후기 베르나이스의 견해를 대조해 보일 것이다. 그리하여 공리적 방법에 관하여 가장 뚜렷하게 부각되는 힐버트와 베르나이스의 견해의 차이가 공리적 방법의 제일성의 문제에서 찾아진다는 점을 보여줄 것이다. 같은 맥락에서 1950년대 중반 이후 과학철학에서의 카르납의 프로젝트가 공리적 방법의 제일성에 대한 힐버트의 신념을 계승하려는 것으로 보고, 후기 베르나이스의 카르납 비판을 논의할 것이다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2010년도 춘계학술발표논문집 2부
• /
• pp.1149-1152
• /
• 2010

본 연구의 목적은 리브를 갖는 사출제품을 설계할 때 공리적 접근방법을 이용하여 좋은 설계를 수행할 수 있도록 하려는 것이다. 또한 공리적 접근을 통해 최종 얻어진 설계행렬을 Acclaro DFSS(주) 프로그램을 이용하여 정렬함으로써 최종 설계행렬이 공리적 설계임을 쉽게 알 수 있도록 시도 하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.764-773
• /
• 2008

W3C는 시맨틱 웹 환경에서 온톨로지를 저작하고 공유하기 위해 온톨로지 구축 언어인 OWL을 발표하였다. 현재 OWL 온톨로지의 논리적 정당성을 검사하기 위해서, OWL 추론 엔진들이 소개되고 있다. 그러나 대부분의 추론 엔진들은 정당하지 못한 개념의 탐지 과정 없이 결과만을 보여준다. 본 논문에서는 온톨로지내의 정당하지 못한 개념을 디버깅하기 위해 종속 부호 기반 비논리적 공리(CIA-Causing Inconsistency Axiom) 탐색 기법을 제안한다. 비논리적 공리는 정당하지 못한 개념들을 유발하는 공리들의 집합이다. 비논리적 공리를 탐지하기 위해서는 온톨로지 내에서 비 일관성을 유발하는 공리를 찾아내야 한다. 온톨로지 저작 도구에 정확한 비논리적 공리가 제공된다면, 온톨로지 저작 도구는 온톨로지 내에서의 정당하지 못한 내용을 수정할 수 있도록 수정될 일부 내용만을 보여줄 것이다. 따라서 본 논문은 두 부분에 초점을 맞추었다. 첫 번째, 정당하지 못한 내용을 가진 온톨로지가 주어졌을 때 비 정당성을 유발하는 공리들을 도출하고, 이들의 근원을 식별한다. 두 번째 비 정당성을 유발하는 공리가 탐지되었을 때 이들만을 추출하여, 온톨로지 설계자에게 보여주는 것이다. 따라서 먼저 기존에 발표되었던 테이블로 알고리즘 기반의 결정 모듈을 소개하고, 이보다 향상된 기법인 종속 부호 기반 비논리적 공리 탐지 기법을 제안한다. 본 논문의 결과물은 현재 온톨로지 언어의 기본이 되는 SHOIN 서술 논리 응용시스템에 적용가능하다.

• 해양환경안전학회지
• /
• 제21권2호
• /
• pp.207-214
• /
• 2015

본 연구에서는 공리적 설계 방법론에서 중요한 2가지 공리 중 독립공리를 시스템 개발에서 설계 기준으로 적용하였다. 기능 요구사항과 대응하는 설계 파라메터는 설계행렬을 구성하고 이를 이용하여 독립공리에 부합하는 설계 파라메터의 순서를 정한 후 블록 레벨링 시스템에서의 독립적 구성요소를 판별하였다. 이러한 공리적 설계의 결과로서 설계 순서에 맞는 블록 레벨링 시스템 구성을 도출하였다. 도출된 블록 레벨링 시스템 구성의 검증과 확인을 위해 블록 조립 현장에서 사용하고 있는 3차원 좌표 측정기인 토털 스테이션을 사용하여 실제 조립이 완료된 블록에 대하여 구현된 블록 레벨링 시스템을 적용하여 데이터를 비교하는 시험을 수행하였다. 토털 스테이션의 측정 데이터와 블록 레벨링 시스템의 수신 데이터를 비교하여 1 mm 이내의 정밀도로 블록 레벨링 시스템이 동작함을 검증하고 확인하였다.

• 논리연구
• /
• 제20권1호
• /
• pp.69-96
• /
• 2017

비트겐슈타인은 "논리-철학 논고"에서 러셀의 유형 이론과 특히, 환원 가능성 공리를 명시적으로 비판한다. 그렇다면 러셀의 유형 이론에 대한 비트겐슈타인의 비판의 요점이란 무엇인가? 나는 이 물음에 대답하기 위한 예비적인 작업으로서, 비트겐슈타인이 러셀의 환원 가능성 공리를 어떻게 비판했는지를 살펴보려고 한다. 비트겐슈타인은 러셀의 환원 가능성 공리가 논리적 명제가 아니고, 그것이 참이라면 그저 "오직 운 좋은 우연에 의해서만" 참일 수 있으며, "환원 가능성 공리가 적용되지 않는 세계가 생각될 수 있다"고 선언한다. 그렇다면 그 근거는 무엇인가? 나는 1913년 노르웨이 편지에서의 비트겐슈타인의 생각을 해명함으로써, 그러한 생각이 환원 가능성 공리가 성립하지 않는다는 것을 보여주는 램지와 바이스만의 모델에 결정적인 영향을 주었다는 것을 보이고자 한다.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제17권3호
• /
• pp.253-263
• /
• 2014

본고에서는 도형의 넓이에 대한 정의 및 그 속에 내재된 공리와 그 의미를 고찰하고, 이들 공리의 관점에서 초등학교 수학에서의 넓이 지도 내용을 해석하였다. 이를 통해 현행 초등학교 수학에서의 넓이 지도 내용이 넓이 공리의 관점에서 볼 때 넓이 개념의 여러 측면 중 어떤 측면에 초점을 두고 있고 어떤 측면이 소홀히 다루어지고 있는지 살펴보았다. 이에 따르면 현행 초등학교 수학의 넓이 지도에서는 넓이의 합동 불변성과 가법성을 이용한 넓이의 직접 비교 관련 내용이 수치화를 통한 넓이의 간접 비교에 비해 그 비중이 작으며, 전체적으로 단위넓이 및 이를 이용한 넓이의 간접 비교가 넓이 지도 내용의 핵심을 이루는 것으로 나타났다.

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

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

• 논리연구
• /
• 제2권
• /
• pp.7-33
• /
• 1998

최근 에체멘디는 초과생성과 미달생성의 문제를 들어 타르스키의 모델이론적 논리적 귀결의 정의의 외연적 적합성을 공격하였다. 그러한 공격의 기저에는 우연성 문제가 도사리고 있다고 보이고, 실질적으로 타르스키류의 정의를 적용함에 있이 무만 공리를 통해 논리외적 요소기 개입할 위험이 있다는 것이 그의 근본적 가정이라 생각된다. 이 글에서는 무한 공리가 논리적 진리일 기능성을 조심스레 타진이고, 논리상항과 비논리상항을 기리는 문제가 에체멘디가 생각하듯 신화가 아니라 논리적인 것과 논리외적인 것을 구별하는 문제와 동일한, 진정한 철학적 문제임을 보이는 데 노력한다.

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

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

• 대한기계학회논문집A
• /
• 제26권9호
• /
• pp.1727-1735
• /
• 2002

The usage of beam scanning type laser marker is rapidly increasing in the field of semiconductor equipment. A device called ″beam adjuster″ is employed to adjust the visible diode laser, which points the marking position for various setting. The device is very sensitive to manufacturing tolerance and assembly condition. Axiomatic approach has been applied to the design of the device. An existing design is analyzed based on the Independence Axiom. The existing design is found to violate the axiom. Two new designs are proposed to satisfy the Independence Axiom. The Information Axiom is utilized to evaluate the designs. A design is selected to have the minimum information content. The significance of this research is that a full cycle of axiomatic design is applied to a real engineering product.