• Title/Summary/Keyword: 필연

Search Result 1,225, Processing Time 0.027 seconds

On bi(必, necessity) and xianzhi(先知, a priori knowledge) of Mojing (『묵경』에 있어서 '선지(先知)'와 '필(必)' 개념의 문제)

  • Chong, Chaehyun
    • (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.

A Proof of Safety and Liveness Property in Modal mu-Calculus and CTL for Model Checking (모형검사를 위한 Modal mu-Calculus 와 CTL의 안전성 및 필연성 및 논리식 증명)

  • Lee, Bu-Ho;Kim, Tae-Gyun;Lee, Jun-Won;Kim, Seong-Un
    • 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.

사진저작물, '필연적 인용' 가능하다

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

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

  • PDF

대학 개혁과 언론

  • Yu, Il-Sang
    • 대학교육
    • /
    • s.84
    • /
    • pp.97-105
    • /
    • 1996

  • 대학 개혁의 개념, 대상과 목표를 지적하고 이에 대한 여론의 강력한 지원을 이끌어내는 것은 바로 언론이다. 그런데 언론 역시 대학과의 밀착 정도가 지나칠 정도이기 때문에 과연 언론이 대학 개혁을 필연적인 시대정신이라고 여기고 지원할 능력과 의사가 있는지는 미지수다. 대학 개혁은 필연적으로 언론 개혁과 동시에 진행되어야 할 것인 바, 다른 부문과 달라서 이 개혁은 각각의 내부역량의 민주화 정도가 그 성패를 좌우할 것으로 판단된다.

  • PDF

Freiheit vom Zwang und Freiheit von der Notwendigkeit: Eine Untersuchung des Begriffs der Freiheit des Willens bei Kant im Vergleich mit Leibniz (강제로부터의 자유와 필연으로부터의 자유: 라이프니츠와 칸트의 의지자유개념 비교연구)

  • Yun, Sunkoo
    • Journal of Korean Philosophical Society
    • /
    • no.114
    • /
    • pp.177-212
    • /
    • 2016

  • Kants Begriff der Freiheit des Willens ist sehr kompliziert und verwirrend. Denn sowie es Ziel der ${\gg}$Kritik der praktischen Vernunft${\ll}$ ist, die reine praktische Vernunft zu beweisen, liegt der Fokus von Kants Begriff der Freiheit auf der Freiheit von Zwang, wobei Kant eine unbestimmte Haltung zur Freiheit von Notwendigkeit einnimmt und sie dann $schie{\ss}lich$ leugnet. Leibnizens Begriff der Freiheit dagegen hebt die Freiheit von Notwendigkeit hervor, denn er sagt, dass der menschliche Wille nicht nur vom Zwang der Leidenschaft, sondern auch von Notwendigkeit frei sei. Die Struktur von Leibnizens Freiheitslehre unterscheidet sich zwar sehr von der Kants, aber die Charakterlehren beider Denker, in denen die $M{\ddot{o}}glichkeit$ der Vereinbarkeit von Freiheit und Notwendigkeit behandelt werden, weisen viele Parallelen auf. Zudem ist Leibnizens Begriff der Freiheit sehr eindeutig. Daher ist ein Vergleich von Leibnizens und Kants Begriff der Freiheit nicht nur sinnvoll und $f{\ddot{u}}hrt$ zu einem besserem $Verst{\ddot{a}}ndnis$ von Kants Freiheitsbegriff, durch die vergleichende Analyse stellt sich zudem auch heraus, dass auch bei Kant nicht nur Freiheit von Zwang, sondern auch Freiheit von Notwendigkeit $m{\ddot{o}}glich$ ist. Leibniz geht $f{\ddot{u}}r$ seine Freiheitslehre von dem Begriff der Freiheit vom Zwang der Leidenschaft, welcher von allen Rationalisten anerkannt wird, sowie von dem Begriff der Freiheit von der Notwendigkeit, welcher von Spinoza negiert wird, aus. Kant dagegen definiert Freiheit als $Unabh{\ddot{a}}ngigkeit$ von den Naturgesetzen, was diesen Begriff von Anfang an unklar macht. Kant war sich anfangs der Zweideutigkeit dieses Konzepts nicht $bewu{\ss}t$ und hat es undeutlich gebraucht, doch in der Neuauflage von ${\gg}$Die Religion innerhalb der $blo{\ss}en$ Vernunft${\ll}$ erkennt er den Unterschied in den zwei Begriffen der Willensfreiheit, weshalb er bei der Rechtslehre in der ${\gg}$Metaphysik der Sitten${\ll}$ dazu kommt, die Wahlfreiheit zu negieren. Aber in den Abschnitten, wo Kant in der ${\gg}$Kritik der reinen Vernunft${\ll}$ und der ${\gg}$Kritik der praktischen Vernunft${\ll}$ die Vereinbarkeit von Freiheit und Notwendigkeit behandelt, $f{\ddot{u}}hrt$ Kant aus, so wie auch Leibniz, dass der intelligible Charakter des Menschen sich durch wiederholte freie Wahl formt, womit sich $best{\ddot{a}}tigt$, dass auch Kant die Freiheit der Wahl anerkannt hat. Kant leugnet die Wahlfreiheit, weil er der Ansicht ist, dass der Begriff der Freiheit als ein einheitlicher Begriff definiert werden muss. Doch Freiheit muss nicht zwingend einheitlich definiert werden. Da Freiheit von Zwang und Freiheit von Notwendigkeit nicht $widerspr{\ddot{u}}chliche$ Begriffe sind, $k{\ddot{o}}nnen$ sie dem selben Willen gleichzeitig zugeteilt werden. Auch wird erst hierdurch Autonomie $m{\ddot{o}}glich$ gemacht.

Gigabit Communication Technology (기가비트 통신 기술)

  • Lee, Y.H.
    • Electronics and Telecommunications Trends
    • /
    • v.10 no.1 s.35
    • /
    • pp.123-134
    • /
    • 1995

  • 3차원 의료 영상 서비스, 고해상도 영상 기반 응용 서비스의 출현에 따라 기가급 속도의 통신망에 대한 수요가 날로 확산되고 있다. Bips급의 컴퓨터 처리 속도가 곧 일반화되는 시점이므로 컴퓨터의 입출력이나 네트워킹을 위하여는 기가비트 통신망이 필연적이다. 또한 현재 초고속 정보통신 응용 서비스 추세를 보면 멀티미디어의 네트워킹화가 필연적인데, 멀티미디어 기술이 국부적인 환경에서는 빠른 발전을 보이고 있으나 네트워크 환경과 결합하는 데는 많은 문제점을 노출하고 있다. 본 논문에서는 기가비트 통신망의 기본적인 특성으로부터 분야별로 주요한 기술적인 문제 및 연구 개발 추세를 종합적으로 고찰한다.

  • https://doi.org/10.22648/ETRI.1995.J.100112 인용 PDF