• (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 KIISE:Computer Systems and Theory
• /
• v.26 no.12
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• Journal of Korea Game Society
• /
• v.17 no.5
• /
• pp.27-38
• /
• 2017

The purpose of this study is to analyze the game dynamics of 'Battle Royale' genre and how these dynamics create dramatic tension, focused on . Battle Royale games maintain the dramatic tension through the intersection of uncertainty and inevitability. Uncertainty is reinforced by randomness of the game world and hidden information of player statement. Inevitability is emerged from the level design with choke point, and restriction of playable field over time. From this mechanism, Battle Royale genre establishes the gameness which derives player's meaningful choice and maintains player's tension until the end of the game.

• Journal of Korean Philosophical Society
• /
• v.131
• /
• pp.273-301
• /
• 2014

This study aims to reconstruct Leibniz's theodicy. Theodicy is to defense of the highest wisdom of the creator against the charge which reason brings against it for whatever is the evil in the world. For this defense, Leibniz created his own new kind of concepts: the principle of sufficient reason, the principle of perfection, the best of all possible worlds, moral necessity. Leibniz's theodicy is developed as following. Most good and wisest God created this world freely by moral necessity. God's will was to choose the goods antecedently. But God's will could not create goods only. For God's final purpose is to create the best. For this reason, it happens that the evils may come about by concomitance, and as a result of other greater goods. Therefore the evils are necessary in the world. And evil consists in imperfection. Man has free will as God. Freedom, according to Leibniz, consists in intelligence, which involves a clear knowledge of the object of deliberation. Man has freedom, but man's freedom is imperfect. Evil is originated in man's imperfect freedom.

• 주류산업
• /
• v.22 no.4
• /
• pp.22-29
• /
• 2002

• Science & Technology Policy
• /
• v.8 no.7 s.112
• /
• pp.102-104
• /
• 1998

• Cement
• /
• s.27
• /
• pp.28-31
• /
• 1968

• Journal of the Daesoon Academy of Sciences
• /
• v.13
• /
• pp.391-428
• /
• 2001

• Proceedings of the IEEK Conference
• /
• 2003.07a
• /
• pp.454-457
• /
• 2003

대규모 시스템 명세의 올바름을 검증하기 위한 유한상태 LTS(Labeled Transition System)에 기반을 둔 CTL(Computation Tree Logic) 논리 적용의 문제점은 시스템 내부의 병렬 프로세스간 상호 작용으로 인한 상태폭발이다. 그러나 medal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결된다. 본 논문에서는 LTS 로 명세화 된 철도 신호제어용 프로토콜 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증하기 위해 시제 논리로 사용된 modal mu-calculus를 사용하여 해당 검정 알고리즘을 구현 및 적용하였다.

• The Korean Publising Journal, Monthly
• /
• s.250
• /
• pp.12-13
• /
• 1999

영상시대, 책에도 사진저작물의 이용이 늘어나면서 저작권 문제가 새로운 쟁점으로 떠올랐다. (본지 제231호 참조) 출판사들은 사진저작물의 이용 한계와 범위에 대해 정확히 모른 채 제작을 해온 것도 사실이다. 이 글에서 필자는 "본문과 필연성이 인정되는" 인용의 경우, 별도로 저작권자의 허락을 받지 않아도 사진저작물으 이용이 가능하다고 해석하고 있다. 이같은 해석은 저작권 문제에 새로운 논쟁의 단초가 될 수 있다. 많은 관심을 바란다.