• Journal of Information Technology Applications and Management
• /
• v.21 no.4
• /
• pp.263-293
• /
• 2014

This study reviews Korean public informatization policy implemented in last 20 years from the philosophical perspective and attempts to suggest directions to be considered in the future. To accomplish the research goal, this study first analyzes literature in the relevant areas, including philosophy of value, administrative ideology, and public informatization policy. Second, based on the results of literature review, criteria to analyze the public informatization policy are established. Then, the Korean public informatization policy is analyzed based on the established criteria. Lastly, implications for planning and implementing public informatization policy are suggested. Significance of the study lies in its attempt to examine public informatization policy from the philosophical perspective. However, due to its exploratory nature, this study has limitations including less rigorous measurement instruments, limited source of data, limited number of propositions established. Therefore, further studies are needed in these areas.

• Nuclear Engineering and Technology
• /
• v.15 no.2
• /
• pp.154-159
• /
• 1983

The principles and practices of national nuclear regulatory agencies around the world differ significantly. This paper outlines the philosophical approach to nuclear regulation of the Atomic Energy Control Board of Canada and attempts to explain the principles which have governed the Board's licensing and compliance programs during the past 37 years.

• Journal of Engineering Education Research
• /
• v.16 no.5
• /
• pp.36-42
• /
• 2013

This paper explores the concept and historic context of appropriate technology to provide the academic community with better understanding, insights, current trends, and finally, implications for engineering education. To do that, a rigorous literature survey has been carried out. The result supports that the appropriate technology concept will meet present tasks of engineering education, which calls on policy development and further studies.

• Fashion & Textile Research Journal
• /
• v.4 no.4
• /
• pp.317-326
• /
• 2002

This study is to analyze the works introduced in the collections of Paco Rabanne in an aim to identify formative aesthetic and design concepts. As the data to study the creative concepts and expressions of the designer, fashion photographs were gathered in a focus on collections. Paco Rabanne's fashion philosophy is to shine women who has passion, energy and self-confidence, with glittering materials. For he had a career of fashion accessary designer and architect, he tried to make his work constructively with non-sewing technology. So, his works could be divided three parts of materials which he has made creative fashion with. They are metallic, non-metallic and fabric. In metallic, design concepts are cosmos, egypt, the middle ages, modern technology. And from these the formative aesthetic were mainly characterized by the futurism, cubism and eroticism. In non-metallic, building, purism of primitiveness, nature. And from these the formative aesthetic were mainly characterized by surrealism, primitivism, romantism. In fabric, design concepts are natural phenomena, optical illusion. And from these the formative aesthetic were mainly characterized by cubism, optical art.

• Journal of Service Research and Studies
• /
• v.12 no.3
• /
• pp.1-25
• /
• 2022

This study was conducted for technology development and industrial and enterprise system design for the sustainable life of mankind. Human society is facing a crisis. As the power of mankind has increased due to the development of nuclear weapons and information and communication technologies, the risk of human society has greatly increased. The value of growth and freedom is increasing due to capitalism and democratic systems, so technological innovation is accelerating, and industries and companies are growing significantly. New technologies and industries can greatly develop human society and put it at risk. This study was conducted with the aim of redesigning technology, industry, and enterprise systems so that humans who live on Earth can be more sustainable for a longer time. It presented a practical alternative for a long-term sustainable human society. It suggested alternatives for what philosophy and methodology should be developed for the whole of humanity and in each individual national society, for developing technologies, fostering industries, and operating corporate systems. First of all, the problems of the technology development system, industrial system, and enterprise system of human society were analyzed. The characteristics and problems were analyzed in terms of sustainability of human society. The necessary and sufficient conditions for an alternative system to solve the raised problems were derived. A system that satisfies these conditions was designed and presented. The alternative system was named as a servicism system as a system based on the service philosophy. The structure, operation model, and implementation plan of the new technology industry enterprise system were presented. In the future, follow-up studies are needed to be concreted at the level of individual countries and human society as a whole.

• Annual Conference on Human and Language Technology
• /
• 1994.11a
• /
• pp.51-56
• /
• 1994

우리는 쉽고 누구나 사용할 수 있는 증명 방식으로 "어떠한 경우에나 참이기 때문에 모든 경우에 참"이라는 방식을 쓴다. 그러나 증명이 한정될 수밖에 없었다는 것을 인정할 수밖에 없어서, 이러한 오래 사용하여 오던 방법을 얼마만큼 사용할 수 있는지를 연구할 수 밖에 없다. 이 증명 법칙 ${\Omega}$은 유한 모형에서는 그대로 사용할 수 있기 때문에, 다른 일반적인 모형에 어떻게 확대 적용할 수 있느냐는 문제가 남는다. A. Ignjatovic은 ${\Omega}$법칙이 한정된 추론 속의 더 일반적인 확대가 가능함을 말하고 있다. 이 글에서는 이 ${\Omega}$법칙의 실제적인 유용성을 말하여 본다.

• Annual Conference on Human and Language Technology
• /
• 1990.11a
• /
• pp.128-130
• /
• 1990

문장의 논리적인 내적이며 형식적이라고도 말하여지는 구조는 단순한 구문론적인 것이라기 보다는 우리의 외적 세계 이해의 범주라고도 말하여져 왔다. 이러한 이해에는 검증이 어렵다는 이유에서 쉽게 받아들일 수 없는 점이 있으나, 실제의 언어 이해에서 부인 할 수 없는 작용을 하는 것은 어쩔 수 없다. 원자 문장에서의 이러한 논리적인 제약이라고도 말하여지는 것은 거의 형이상학적인 측면이 있더라도 언어의 수학적인 성질로 받아들이지 않을 수 없다. 그래서 여기에서는 원자 문장 형성에서의 수학적인 성질들을 말하여 보고자 한다.

• Annual Conference on Human and Language Technology
• /
• 1992.10a
• /
• pp.629-636
• /
• 1992

컴퓨터의 언어이해 가능성을 반박하는 주된 근거는 형식적 기호들을 처리하는 프로그램이 의미론을 다룰 수 없다는 것이다. 그러나 인과적 계산이론에 따르면 컴퓨터 프로그램이 순전히 구문론적인 것은 아니고 컴퓨터 내부의 기호적 표상의 처리과정에서 의미론적인 지시와 해석이 일어난다고 할 수 있다.

• Steel and Composite Structures
• /
• v.42 no.4
• /
• pp.501-511
• /
• 2022

Earthquake Resistant Design Philosophy seeks (a) no damage, (b) no significant structural damage, and (c) significant structural damage but no collapse of normal buildings, under minor, moderate and severe levels of earthquake shaking, respectively. A procedure is proposed for seismic design of low-rise reinforced concrete special moment frame buildings, which is consistent with this philosophy; buildings are designed to be ductile through appropriate sizing and reinforcement detailing, such that they resist severe level of earthquake shaking without collapse. Nonlinear analyses of study buildings are used to determine quantitatively (a) ranges of design parameters required to assure the required deformability in normal buildings to resist the severe level of earthquake shaking, (b) four specific limit states that represent the start of different structural damage states, and (c) levels of minor and moderate earthquake shakings stated in the philosophy along with an extreme level of earthquake shaking associated with the structural damage state of no collapse. The four limits of structural damage states and the three levels of earthquake shaking identified are shown to be consistent with the performance-based design guidelines available in literature. Finally, nonlinear analyses results are used to confirm the efficacy of the proposed procedure.

• Korean Journal of Logic
• /
• v.17 no.1
• /
• pp.33-70
• /
• 2014

We still do not know against what histocial/philosophical background and motivation was Tarski's definition of logical consequence introduced, even if it has had such a strong influence. In view of the centrality of the notion of logical consequence in logic and philosophy of logic, it is rather shocking. There must be various intertwined reasons to blame for this uncomfortable situation. There has been remarkable progress achieved recently on the history of analytic philosophy and modern logic. In view of the recent developments of the controversies involved, however, we will have to wait years to resolve all this uneasiness. In this gloomy situation, Douglas Patterson's recent study of Tarski's philosophy of language and logic seems to have the potential to turn out to be a ground breaking achievement. [Patterson (2012)] This article aims at reporting the state-of-the-art in this problem area, and fathoming the future directions of research by examining critically some unclear components of Patterson's study.