• (The)Study of the Eastern Classic
• /
• no.35
• /
• pp.275-295
• /
• 2009

The aim of this paper is to reject Graham's interpretation of bi (必) and xianzhi (先知) of Later Mohists' Mojing ("墨經") as logical necessity and a priori knowledge respectively. Graham's interpretations of them are based on his beliefs that Mojing distinguishes lun (論), the art of description from bian (辯), the art of inference in the Mohist disciplines and that the latter art should be seen as such a rigorous proof as Euclidean geometry even though it is not a Western formal logic. His beliefs also start from his distinguishing 'knowledge of names' from 'knowledge of conjunction of names and objects' according to the objects of knowledge. In my reading, the art of description and the art of inference, however, can't be sharply distinguished each other in Mojing and bi and xianzhi should be taken as suggesting both a normative necessity and an empirical necessity. A normative necessity is derived from 'normative theory of definition' which comes form the theory of rectification of names in China. The normative theory of definition, unlike the descriptive theory of definition, defines terms normatively rather than descriptively. For example, although such a definition of father, 'father is beneficient', has the form of being descriptive, but it actually is prescriptive and therefore means 'father should be beneficient'. Through this normative theory of definition, empirical knowledge, as long as it is a knowledge, is seen as necessary and so can't be wrong. To conclude, for Mohists an empirical knowledge is always a basis of an inferential knowledge or a priori knowledge, so Mohists' a priori knowledge is not really a fundamental knowledge and its necessity therefore is nothing but both a normative necessity and an empirical necessity.

• Journal of the KSME
• /
• v.31 no.9
• /
• pp.789-799
• /
• 1991

우리 나라 전역에 대한 거시적인 풍력자원조사와 20kW급의 소형 풍력발전시스템의 개발 연구가 현재 진행중이나 풍력발전에 대한 산업체의 경험과 실용화를 위한 기반요소 기술은 아직 미약한 상태이므로 좀더 집약적인 투자와 연구개발노력으로 기존시스템에 대한 운영경험과 기술분석을 꾀하여 중형급 풍력발전시스템의 국산화 개발에 힘을 기울여야 한다. 개발과정에서 필연적으로 수반될 수 있는 시행착오 요인을 최소화하고 단시간 내에 신뢰성있는 시스템을 개발하기 위해 서는 기존의 실용화 시스템을 최대한 이용토록 하며 산. 학. 연의 협동 연구개발체제의 구성을 통해 집중적인 개발노력이 가해져야 하며, 산 . 학. 연의 협동체제가 현실성 있는 대안이 될 수 있도록 정부차원의 지원책이 선행되어야 한다.

• Korean Journal of Logic
• /
• v.9 no.2
• /
• pp.59-98
• /
• 2006

유아론에 대한 비트겐슈타인의 철학적 투쟁을 조명하는 것은 그의 전체 철학의 핵심을 조명하는 것에 상당한다. 요컨대 유아론의 문제는 언어놀이, 놀이와 언어의 유사성, 가족 유사성, 규칙 따르기, 규칙 따르기의 역설, 사적 언어 논변, 뜻함, 봄과 -로서 봄, 모순, 논리적 필연성, 함 또는 실천과 같은 후기 비트겐슈타인의 핵심 개념이나 주제와 얽혀 있다. 이를 보이기 위해서 이 글에서는 유아론의 개념, 유아론에 대한 청년 비트겐슈타인의 생각, 후기 비트겐슈타인의 진단을 논의하게 될 것이다. 이러한 과정에서 우리는 비트겐슈타인이 유아론(넓게는 데카르트주의, 영국경험론, 현상학)에서 실천으로 나아가는 패러다임의 전환을 수행하고 있다는 것을 확인하게 될 것이다. 이러한 논의가 진행되면 우리는 유아론에 대한 후기 비트겐슈타인의 비판과 '사적 언어'가 어떻게 연결되는지 자연스럽게 문제 삼게 된다. 많은 학자들이 주장하는 바에 따르면, 비트겐슈타인은 사적 언어가 불가능하다고 간주했다. 그러나 나는 이러한 주장은 비트겐슈타인이 처한 패러다임의 전환 상황을 간과하는 처사로서 설득력 없는 것임을 보이고자 한다.

• The Journal of the Convergence on Culture Technology
• /
• v.9 no.6
• /
• pp.545-551
• /
• 2023

In this paper, we present the environment interface as a method of bringing the virtual environment in the interface to reality, and explain the experience of the virtual that can be sensed in the real environment. Expanded experience by discussing the transparency of the interface and interactivity that expands synesthesia as a condition for an interface to express virtual without distinction from the real environment, and establishing a discussion on the composition and inevitability of an environment interface that satisfies these conditions The environment interface is discussed as a tool for realizing the interface that extends from the real environment, the expansion of cognition into the environment by interaction, and the virtual for immersion into the environment due to these conditions.

• Journal of Korean Philosophical Society
• /
• v.147
• /
• pp.215-237
• /
• 2018

The purpose of this study is to illuminate the precise nature and the central line of Kant's proof of the causal principle stated in the Second Analogy of the 2nd. edition of the Critique of Pure Reason. The study argues for the following thesis: 1. The proof of the Second Analogy concerns only the causal principle called the "every-event-some-cause" principle, and not the causal law(s) called the "same-cause-same-event" principle. 2. The goal of the proof is to establish the possibility of knowledge of an temporal order of successive states of an object. 3. The proof is broadly an single transcendental argument in two steps. The 1st. step is an analytic argument that infers from the given perceptions of an oder of successive states of an objects to the conclusion that the causal principle is the necessary condition for the objectivity of dies perceived order. The 2nd. step is a synthetic argument that infers from the formal nature of time to the conclusion that the causal principle is a necessary condition for die possibility of objective alterations and of empirical knowledge of these alterations. 4. The poof involves not the 'non sequitur' assumed by P. F. Strawson, that is, Kant infers not directly from a feature of our perceptions to a conclusion regarding the causal relations of distinct states of affairs that supposedly correspond to these perceptions.

• 전기의세계
• /
• v.26 no.2
• /
• pp.10-13
• /
• 1977

컴퓨터가 다양한 목적에 이용됨에 따라 신뢰도가 높은 즉 고장허용의 전산체계의 필요성은 증가되고 있다. 임상응용의 경우 컴퓨터의 오동작은 치명적일 수 있고 또 공정제어의 경우 귀중한 자원의 막대한 손실을 초래할 수 있다. 따라서 고장허용의 전산체계에 관한 연구는 필연적이다. 역사적으로 최초의 고장허용의 전산체계는 SAGE와 같은 군사적인 응용에 시도하였다. 2절에서는 이러한 신뢰도가 높은 기계의 시험적인 결과와 실제 운영의 경험에 입각한 고장허용의 전산체계의 설계원리를 논한다. 이어서 3절에서는 현재까지 설계된 고장허용 전산체계의 구조를 기술하며 4절에서는 현재까지 범용의 컴퓨터에 사용한 고장허용기법을 소개한다.

• School Mathematics
• /
• v.13 no.3
• /
• pp.405-422
• /
• 2011

In this study, we consider the meaning of one-to-one correspondence through theoretical background under operation of matrix. On algebraic point of view, its significance is 'through one-to-one correspondence from a set with given structure, become a methods in order to induce an algebraic system in to a new set.' That is a key idea making isomorphic structure. Such process experiences necessity of mathematical fact, as well as the deep understanding of one-to-one correspon -dence. Also that becomes a base for develop a various mathematical concepts, such as matrix, exponential laws, symmetric difference, permutation and so on. This study help teachers and students to understand of mathematical concepts meaningfully and to facilitate teacher's professional development.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2019.05a
• /
• pp.57-57
• /
• 2019

최근 수문기상학 분야에서 레이더 강수량을 활용한 응용연구가 활발하게 진행되고 있다. 하지만 레이더 강수량은 경험적으로 설정된 레이더 반사도-강우강도 관계식을 활용하여 레이더 강수량을 산정하기 때문에 실제지상에 도달하는 강수량과 정량적인 오차가 필연적으로 발생한다. 따라서 고해상도의 레이더 강수량을 활용한 신뢰도 높은 수문해석을 위하여 레이더 강수량의 편의보정이 필수적으로 선행되어야한다. 본 연구에서는 불확실성을 고려한 레이더 강수량 편의보정을 위하여 Bayesian 추론기법과 일반화 선형모형(generalized linear model)을 연계하여 레이더 강수량 편의보정 매개변수를 산정하였다. 일반화 선형모형을 적용한 레이더 강수량 편의보정 결과는 현재 널리 사용되고 있는 평균보정(mean field bias) 기법에 비하여 통계지표가 개선된 레이더 강수량 편의보정 결과를 도출하였다. 추가적으로 지형학적 특성에 따른 레이더 강수량 편의보정 매개변수의 변동성을 분석하여 고도 및 이격거리에 따른 편의보정 매개변수의 지역화 공식을 제시하였다. 본 연구를 통하여 개발된 레이더 강수량 편의보정 매개변수 산정 및 지역화 연구는 레이더 관측전략 수립과정에 유용한 기초자료로 활용될 것으로 판단된다.

• The Journal of Information Systems
• /
• v.4
• /
• pp.43-62
• /
• 1995

지방자치제의 실시에 따라 지방행정 부서는 보다 독립적으로 업무를 수행하게 되 고 이와 함께 정보화 시대의 도래에 따라 신속, 정확 및 원활한 정보제공의 필요성이 증대 하게 되었다. 따라서 행정정보시스템(Public Management Information System)의 구축은 필연적이며, 이에 따라 행정전산화에 대한 공무원들의 의식구조도 능동적인 대처가 요청된 다. 본 연구는 행정전산화의 구축에 대한 준비도와 기대효과에 대해 설문 방법을 이용하여 지방공무원들의 의식을 조사하였다. 연구결과 공무원들은 동료직원과의 인간관계, 컴퓨터 관련 교육의 경험 및 전산화 장비의 보유정도가 행정전산화의 효율성에 중요한 영향을 미친 다고 생각하고 있었다. 이와 함께 남자공무원이고, 학력이 낮을수록 행정전산화에 대해 수 동적인 입장을 가지고 있었다. 또한, 중간계층의 직급일수록 행정전산화의 효율화에 필요한 직접적인 요인들의 중요성을 강조하였다. 이와 함께 근무년한이 낮을수록 전산화와 직접적 으로 관계되는 요인들의 중요성을 강조하는 반면, 근무년한이 높을수록 간접적인 요인들의 중요성을 강조하였다. 본 연구는 제한된 지역에서 데이터를 수집하였기 때문에 연구결과에 한계점을 지니고 있다. 따라서 본 연구결과를 일반화하기 위해서는 보다 넓은 지역에서의 데이터 수집 및 분석이 필요하다고 본다.

• Journal of Korean Philosophical Society
• /
• v.141
• /
• pp.187-202
• /
• 2017

The aim of this paper is to clarify the difference between the concept of deduction-induction and Aristotle's concept of syllogismos-epagoge. First, Aristotle does not use the expression 'invalid syllogismos'. But a valid deduction is distinguished from a invalid deduction in modern logic. Second, from Aristotle's point of view syllogismos is paralleled by epagoge. Because syllogismos is equivalent to epagoge in logical form. But a disturbing lack of parallelism exists between deduction and induction by which the standards for establishing inductive conclusions are more demanding than those for deductive ones. Third, instructors in introductory logic courses ordinarily stress the need to evaluate arguments first in terms of the strength of the conclusion relative to the premises. Accordingly, students may be told to assume that premises are true. But Aristotle does not assume that premises are true. A syllogismos start from the conceptually true premise and a epagoge start from the empirically true premise.