• Korean Journal of Logic
• /
• v.14 no.2
• /
• pp.1-38
• /
• 2011

Bernays has not drawn scholarly attention that he deserves. Only quite recently, the reevaluation of his philosophy, including the projects of editing, translating, and reissuing his writings, has just started. As a part of this renaissance of Bernays studies, this article tries to distinguish carefully between Hilbert's and Bernays' views regarding the axiomatic method. We shall highlight the fact that Hilbert was so proud of his own axiomatic method on textual evidence. Bernays' estimation of the place of Hilbert's achievements in the history of the axiomatic method will be scrutinized. Encouraged by the fact that there are big differences between the early middle Bernays and the later Bernays in this matter, we shall contrast them vividly. The most salient difference between Hilbert and Bernays will shown to be found in the problem of the uniformity of the axiomatic method. In the same vein, we will discuss the later Bernays' criticism of Carnap, for Carnap's project of philosophy of science in the late 1950's seems to be a continuation and an extension of Hilbert's faith in the uniformity of the axiomatic method.

• Proceedings of the KAIS Fall Conference
• /
• 2010.05b
• /
• pp.1149-1152
• /
• 2010

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

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.764-773
• /
• 2008

The web ontology language(OWL) has become a W3C recommendation to publish and share ontologies on the semantic web. In order to check the satisfiablity of concepts in OWL ontology, OWL reasoners have been introduced. But most reasoners simply report check results without providing a justification for any arbitrary entailment of unsatisfiable concept in OWL ontologies. In this paper, we propose dependency label based causing inconsistency axiom (CIA) detection for debugging unsatisfiable concepts in ontology. CIA is a set of axioms to occur unsatisfiable concepts. In order to detect CIA, we need to find axiom to cause inconsistency in ontology. If precise CIA is gave to ontology building tools, these ontology tools display CIA to debug unsatisfiable concepts as suitable presentation format. Our work focuses on two key aspects. First, when a inconsistency ontology is given, it detect axioms to occur unsatisfiable and identify the root of them. Second, when particular unsatisfiable concepts in an ontology are detected, it extracts them and presents to ontology designers. Therefore we introduce a tableau-based decision procedure and propose an improved method which is dependency label based causing inconsistency axiom detection. Our results are applicable to the very expressive logic SHOIN that is the basis of the Web Ontology Language.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.21 no.2
• /
• pp.207-214
• /
• 2015

In this paper the independence axiom, one of two principal axioms of axiomatic design theory, is applied to the leveling system development as an design criteria. After functional requirements and corresponding design parameters constitute an initial design matrix for the leveling system, sequence, which is compatible with the independence axiom, of the design parameters of the design matrix is determined and independent components of block leveling system are revealed. As a result of axiomatic design, system configuration related to the design sequence is developed. In order to verify and validate the developed block leveling system, test with real hull block leveling work in site by using total station which is used to acquire three dimensional coordinate of target point is performed. Comparison with measured data and output data from the block leveling system shows the system accuracy is under 1 mm so that the developed system is verified and validated to be used in site.

• Korean Journal of Logic
• /
• v.20 no.1
• /
• pp.69-96
• /
• 2017

Wittgenstein criticizes explicitly Russell's theory of types and, in particular, his axiom of reducibility in the Tractatus Logico-Philosophicus. What, then, is the point of Wittgenstein's criticisms of Russell's theory of types? As a preliminary study to answer this question, I will examine how Wittgenstein criticized Russell's axiom of reducibility. Wittgenstein declares that Russell's axiom of reducibility is not a logical proposition, that if it is true it will be so mere by a happy chance and that "we can imagine a world in which the axiom of reducibility is not valid." What, then, is the ground for that? I will endeavor to show that by explicating the ideas of Wittgenstein's 1913 letter to Russell, those ideas decisively influenced on Ramsey's and Waismann's model which intended to show that the axiom of reducibility is not valid.

• Education of Primary School Mathematics
• /
• v.17 no.3
• /
• pp.253-263
• /
• 2014

In this paper we review an axiomatic definition of the area of plane figures with area axioms, discuss what the area axioms mean, and analyze the contents about the area of plane figures in elementary school mathematics from the view point of area axioms. So we evaluate which aspects of the concept of area are emphasized or deemphasized in the current elementary school mathematics textbook.

• Journal for History of Mathematics
• /
• v.9 no.2
• /
• pp.30-42
• /
• 1996

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

• Korean Journal of Logic
• /
• v.2
• /
• pp.7-33
• /
• 1998

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

• Journal for History of Mathematics
• /
• v.25 no.1
• /
• pp.29-43
• /
• 2012

In this paper, we survey the history of search for axiomatic set theory and show that ${\exists}U(0{\in}U{\wedge}{\forall}x(x{\in}U{\leftrightarrow}{\exists}z(z{\in}U{\wedge}{\forall}y(y{\in}x{\rightarrow}y{\subseteq}z))){\rightarrow}$ ZR.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.26 no.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.