• Korean Journal of Logic
• /
• v.11 no.2
• /
• pp.1-56
• /
• 2008

This article intends to examine the widespread assumption, which has been uncritically accepted, that Zermelo simply adopted Hilbert's axiomatic method in his axiomatization of set theory. What is essential in that shared axiomatic method? And, exactly when was it established? By philosophical reflection on these questions, we are to uncover how Zermelo's thought and Hilbert's thought on the axiomatic method were developed interacting each other. As a consequence, we will note the possibility that Zermelo, in his early as well as late thought, had views about the axiomatic method entirely different from that of Hilbert. Such a result must have far-reaching implications to the history of set theory and the axiomatic method, thereby to the philosophy of mathematics in general.

• 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 Technology Innovation Conference
• /
• 2004.02a
• /
• pp.246-263
• /
• 2004

신뢰성 있는 프로젝트 가치평가를 위해서는 프로젝트 투자에 의해 발생하는 효과들을 정확하게 파악하고, 이를 계량적이고 객관적으로 측정할 수 있는 평가방법론을 개발하는 것이 매우 중요하다. 전통적으로 제조시스템에서의 프로젝트 가치평가는 재무적 방식에 의한 평가에 기초해 왔다. 그러나 제조시스템에서의 프로젝트 가치평가는 재무적 방식에 의한 평가에 기초해 왔다. 그러나 제조시스템에서 품질, 재고, 리드타임 등 비재무적 성과지표를 화폐가치로 정량화하는 것은 매우 어렵다. 따라서 최근에는 재무적 성과지표와 비재무적 성과지표를 모두 고려하는 성과지표 중심의 프로젝트 평가방법의 개발이 보편화되고 있으며, 전통적인 프로젝트 평가에서는 고려하지 않았던 불확실성을 확률분포로 고려하는 평가방법의 개발이 요구되고 있다. 그러나 현재까지 성과지표 간의 상호관계를 고려하여 프로젝트 투자에 의한 개별 성과지표의 개선을 정량적으로 평가하는 방법론에 관한 기존연구는 거의 없다. 본 논문은 제조시스템에서의 성과지표를 중심으로 공리적 설계에서의 정보공리의 정보량 개념을 이용한 프로젝트 평가방법론에 대해 제안한다. 본 논문에서는 개별 성과지표의 정보량 계산을 위한 수학적 모델링에 대해 고찰하고, 해석적 분석의 어려움을 해결하기 위해 몬테카를로 시뮬레이션의 적용에 대해 서술한다.

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

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

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.05a
• /
• pp.52-52
• /
• 2004

공리적 설계는 미국 매사추세츠 공과대학의 서남표 교수에 의해 창출되고 보급되어 온 설계이론이다. 그러나 좀 더 정확히 말한다면 설계이론 이라기보다는 일반적인 공학적 과정에 적용할 수 있는 원리를 포함하는 설계프레임워크라 할 수 있다. 기계공학에서의 역학과 같이 설계를 하기 위해서는 과학적인 기본원리에 따라 설계해야 한다는 것이다. 그러므로 공리적 설계는 설계과정에서 설계자에게 과학적 원리를 제공하여 설계자가 이성적이고 논리적으로 설계를 진행할 수 있도록 하여, 시행착오를 줄이며, 좀 더 창조적이고 최상의 설계를 선택할 수 있도록 도움을 주는 것이다.(중략)

• Journal of Educational Research in Mathematics
• /
• v.21 no.1
• /
• pp.57-65
• /
• 2011

The conceptions of definition and proof radically change in the transition from secondary to tertiary mathematics. Specifically this paper analyses the historical development of the axiomatic method from Greek to modern mathematics. To understand Greek and modern axiomatic method, it is important to know the different characteristics of the primitive terms, constant and variable. Especially this matter of primitive terms explains the change of conceptions of definition, proof and mathematics. This historical analysis is useful for introducing the meaning of formal definition and proof.

• The Journal of Society for e-Business Studies
• /
• v.19 no.2
• /
• pp.75-93
• /
• 2014

We deal with the design of the effective block logistics operating system in shipyard. The block logistics operation is one of the critical managerial problems in shipbuilding. The block logistics operation in shipyard consists of storage operation for temporary storage in the limited storage area and transfer equipment operation of blocks from the given storage area to next process according to the block production schedule. We propose a design method of block logistics operating system based on the axiomatic design and IDEF0 method. As a result of axiomatic design, system functions are determined regarding implementation sequence. We validated the proposed design by implementation of a block logistics operating system for a large scale shipyard.

• Journal of the Society of Naval Architects of Korea
• /
• v.36 no.3
• /
• pp.107-114
• /
• 1999

Design Axiom proposed by N. P. Such consists of Independence Axiom & Information Axiom. Based on the Independence Axiom, it is very useful specially for early design stage such as conceptual design to generate the design alternatives by considering both functions and structures of product. Since the Information Axiom shows that the design solution should have a least information to be the best one among the many alternatives, this axiom can be used for the best selection purpose during the preliminary design stage. In this paper, the possibility of Design Axiom in marine design application is checked by carrying out three examples of marine design. In the conceptual design of thruster, it is proven to use the Independence Axiom very effective by relating directly functional requirements with design parameters, one by one. In main engine selection example, Information Axiom is used to select best solution among alternatives by choosing the one having the minimum information quantity. For similarity based design in which the selection of changing design variables and the amount of those are important, it is proved that design axiom applied to Barge design case would be very effective and useful. As functional requirements and constrains were not clarified in early design stage, design axiom shows some difficulty for larger system design like ship which is basically carried out by an incremental and iterative process.

• 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.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.05a
• /
• pp.437-440
• /
• 2004

신제품 개발에서 고객의 요구를 정확히 분석하여 제품설계에 반영하는 것은 매우 중요한 일이다. 하지만, 제품의 설계시 고객의 요구를 정확히 분석하고 정량화해서 이를 충족시키는 제품을 개발하는 것은 많은 노력과 시간을 필요로 한다. 본 연구에서는 효율적인 제품설계를 지원하기 위한 방법론으로 품질기능전개와 공리적 설계를 통합적으로 적용하는 방안을 제안한다. 우선, 고객의 애매한 요구들을 분석하여 제품기능요구로 변환하고, 제품설계 과정에서 품질기능전개와 공리설계이론을 적용시킨다. 효과적인 제품설계를 위한 품질기능전개와 제품설계의 성능평가를 제공하는 공리적 설계를 통하여 품질기능전개의 의미를 확장하는 프레임워크를 제안한다.