• Journal of Korean Philosophical Society
• /
• no.93
• /
• pp.175-199
• /
• 2011

The development of contemporary utilitarianism can be taken to be an aggregation of many attempts to surmount the limitations of classical utilitarianism. In these attempts, contemporary utilitarianism suggests alternatives to 'hedonism' and 'act-utilitarianism' which have been regarded as the common essential elements of classical utilitarianism. First, contemporary utilitarianism replaces the concept of 'happiness' or 'pleasure' in the classical utilitarianism with that of 'desire-fulfillment' or 'preference-satisfaction'. Through this replacement, contemporary utilitarianism tries to avoid the skeptical challenge to the mental state theory inherent in the classical concept of utility, and also to provide a more extensive conception of utility for a more satisfactory explanation of human welfare. Second, the development of rule-utilitarian theories which can evade the criticisms about 'counter-productivity' and 'counter-intuitiveness' of act-utilitarianism constitutes another important trend of contemporary utilitarianism. Characteristically, rule-utilitarian theories developed in the contemporary utilitarianism grope for some utilitarian system that can embrace socially accepted general norms. Lastly, contemporary utilitarianism responds to the criticisms related the problem of justice by reinterpreting the first principle of utilitarianism. This reinterpretation is an attempt to explain the egalitarian basis of utilitarianism through Bentham's dictum 'everyone counts for one, none for more than one'. It seems true that many influential criticisms in the latter half of 20th century cast a deep shadow on utilitarianism. But through the above attempt, contemporary utilitarianism proceeds to a better explanation of human welfare.

• 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 for Library and Information Science
• /
• v.46 no.2
• /
• pp.157-174
• /
• 2012

This study tries to describe personal name access point control ontology for the American novelist Mark Twain using RDF/OWL axiom to control access point based on the ontology. The Axiom used in this study are disjoint with class, domain and range, property cardinality, inverse functional property, individual and literal data property. As a result, in the ontology environment we can accept various access points as equal access points exclusive of authority heading and heading concept. It can successfully describe Mark Twain's personal name access point control ontology and display using the OntoGraf.

• Korean Journal of Logic
• /
• v.3
• /
• pp.53-93
• /
• 2000

프레게의 논리주의 프로그램은 기본적인 산수 법칙 혹은 가장 단순한 수의 법칙을 논리적 원리로부터 유도해 냄으로써 달성된다. 프레게는 이른바 외연 공리를 포함하는 논리적 원리로부터 흄의 원리로 지칭되는 원리를 거쳐 '기본적인' 산수 법칙을 이끌어내고 있다. 외연 공리가 흄의 원리를 연역하는 과정에서만 사용되고 인다는 사실은 프레게가 말하는 기본적인 산수 법칙을 외연 공리 대신 흄의 원리를 공리로 채택함으로써 유도해낼 수 있음을 암시한다. 여기서는 흄의 원리로부터 페아노의 다섯 가지 공리를 연역해 내는 프레게의 과정을 조상 관계에 대한 일반적인 고찰에 기초하여 보다 단순화하고 있다.

• Journal of Educational Research in Mathematics
• /
• v.21 no.2
• /
• pp.135-148
• /
• 2011

Middle school mathematics treats axiom as mere fact verified by experiment or observation and doesn't mention it axiom. But axiom is very important to understand the difference between empirical verification and mathematical proof, intuitive geometry and deductive geometry, proof and nonproof. This study analysed textbooks and surveyed gifted students' conception of axiom. The results showed the problem and limitation of middle school mathematics on the treatment of axiom and proof.

• Korean Journal of Logic
• /
• v.10 no.2
• /
• pp.23-46
• /
• 2007

이 논문의 목적은 "왜 프레게는 공리 V 대신 흄의 원리를 기본 원리로 삼지 않았을까?"라는 물음에 답하는 데 있다. 이 물음은 프레게 철학의 해석에 관한 물음이기도 하지만, 최근의 새로운 논리주의의 기획이 정당한가를 묻는 물음이 기도 하다. 이 물음에 답하기 위해, 나는 프레게 철학의 틀 안에서 흄의 원리를 공리로 삼는 방안과 정의로 삼는 방안을 차례로 살펴보았다. 우리 논의를 통해 흄의 원리를 공리로 간주하는 방안은 프레게의 논리주의 기획이나 공리관과 어울리지 않으며, 그것을 정의로 간주하는 방안 또한 그의 정의관과 어울리지 않는다는 점을 밝힌다. 나아가 흄의 원리를 기수 개념의 암묵적 정의로 간주하려는 시도가 해결해야 할 문제가 어떤 것인지를 규명하였다.

• Korean Journal of Logic
• /
• v.8 no.1
• /
• pp.23-46
• /
• 2005

The purpose of the paper Is to discuss and estimate early Popper's theory of probability, which is presented in his book, The Logic of of Scientific Discovery. For this, Von Mises' frequency theory shall be discussed in detail, which is regarded as the most systematic and sophisticated frequency theory among others. Von Mises developed his theory to response to various critical questions such as how finite and empirical collectives can be represented in terms of infinite and mathematical collectives, and how the axiom of randomness can be mathematically formulated. But his theory still has another difficulty, which is concerned with the inconsistency between the axiom of convergence and the axiom of randomness. Defending the objective theory of probability, Popper tries to present his own frequency theory, solving the difficulty. He suggests that the axiom of convergence be given up and that the axiom of randomness be modified to solve Von Mises' problem. That is, Popper introduces the notion of ordinal selection and neighborhood selection to modify the axiom of randomness. He then shows that Bernoulli's theorem is derived from the modified axiom. Consequently, it can be said that Popper solves the problem of inconsistency which is regarded as crucial to Von Mises' theory. However, Popper's suggestion has not drawn much attention. I think it is because his theory seems anti-intuitive in the sense that it gives up the axiom of convergence which is the basis of the frequency theory So for more persuasive frequency theory, it is necessary to formulate the axiom of randomness to be consistent with the axiom of convergence.

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

• Journal for History of Mathematics
• /
• v.22 no.4
• /
• pp.115-128
• /
• 2009

In this paper, we modify the axiom of infinity of von Neumann's axioms modified by Pinter([5]), and then discuss an existence of an unknowable class in the system and a relationship between the unknowable class and the axiom of choice.

• Journal of the Korean School Mathematics Society
• /
• v.18 no.4
• /
• pp.371-385
• /
• 2015

In this paper we investigate the axioms defining area and volume so that revisit area formula for triangle, volume formula for triangular pyramid, and related contents in school mathematics from the view point of axiomatic method and Hilbert's third problem.