• 동양고전연구
• /
• 제35호
• /
• pp.275-295
• /
• 2009

이 글은 그레이엄 (A. C. Graham)이 후기묵가의 저작인 "묵경"에서 보이는 필(必)과 선지(先知)를 각각 '논리적 필연성'과 '선험적 지식'(a priori knowledge)으로 보는 해석을 비판하기 위한 것이다. 그레이엄은 묵가의 논리학을 '이름과 대상을 짝짓는' '기술의 학'(論)과 '이름과 이름간의 관계를 따지는' '추론의 학'(辯)으로 나누고 특히 후자에 대해 비록 그것이 서구의 형식논리학은 아니지만, 유클리드 기하학과 같은 엄밀한 증명의 과정으로 보아야 한다고 하였다. 이러한 그의 주장들은 지식을 그 대상에 따라 명지(名知)와 합지(合知)로 나누어보는 데서 출발한다. 그러나 내가 보기에 기술의 학과 이름의 학은 후기묵가의 저작인 "묵경"안에서 명확히 구분될 수 없고, 게다가 묵가의 선지(先知)와 이 선지(先知)가 가진 필연성은 기본적으로 논리적 필연성이 아니라 규범적 필연성 및 경험적 필연성의 개념이다. 규범적 필연성은 중국의 정명(正名)사상에서 제시된 '규범적 정의이론'으로부터 기인하는 것이다. 규범적 정의이론이란 기술적 정의이론과는 달리 규범적으로 개념을 정의하는 것이다. 예컨대 '아버지는 자애롭다'의 정의는 형태는 기술적이나 사실은 '아버지는 자애로워야한다'의 규범적인 것이다. 이러한 규범적 정의이론을 통해 경험적 지식은 그것이 지식인한 당연히 필연적으로 오류 불가능임이 주장된다. 한마디로 묵가에서는 경험적 지식이 추론적 지식 혹은 선험적 지식보다 항상 더 우선적이기에 묵가의 선험적 지식은 사실 엄밀하게 선험적인 것이 아니고, 이러한 지식이 갖는 필연성도 규범적 필연성 및 경험적 필연성에 불과하다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권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.

• 한국게임학회 논문지
• /
• 제17권5호
• /
• pp.27-38
• /
• 2017

본 연구는 디지털 게임의 신생 장르 중 하나인 '배틀로얄(Battle Royale)' 장르의 형성과 다이나믹을 고찰하고, 극적 긴장을 유발시키는 게임성의 구성요소를 밝히는 데에 목적을 둔다. 이를 위해 장르의 정전 텍스트로 <배틀그라운드>를 선정하고 MDA 프레임워크를 기반으로 게임의 구성 요소를 살펴보았다. 게임 다이나믹 차원에 있어, 배틀로얄 장르는 불확실성과 필연성의 교차를 통해 게임의 긴장감을 유지하는 게임성을 드러낸다. 불확실성은 게임 월드의 무작위성과 플레이어의 상태 정보 은닉을 통해 강화되며, 필연성은 전투가 빈번하게 발생할 수밖에 없는 지형의 설계와 시간에 따라 활동 가능한 공간을 제약하는 두 형태를 통해 발현된다. 이와 같은 기법은 플레이어의 의미있는 선택을 유도하고 긴장감을 끝까지 유지시키는 역할을 수행하면서 배틀로얄 장르의 게임성을 구축하고 있다.

• 철학연구
• /
• 제131권
• /
• pp.273-301
• /
• 2014

이 논문의 목적은 라이프니츠 변신론의 논증을 재구성해보고, 있을 수 있는 몇 가지 쟁점을 검토하는 것이다. 변신론의 핵심은 이 세계 안에서 발견되는 여러 가지 종류의 악이 무엇이든 그 악의 기원을 신에게 돌리려는 모든 이론을 반박하여 신의 선함, 지혜, 정의를 옹호하는 것이다. 라이프니츠는 과거의 변신론자들과 달리 자신의 독특한 개념을 사용하여 자신만의 독특한 변신론을 구성하고자 한다. 이때 사용되는 개념이 영원한 진리, 우연성, 필연성, 충족이유율, 완전성의 원리, 도덕적 필연성, 있을 수 있는 세계 중 최선의 세계 등이다. 라이프니츠의 변신론은 다음처럼 전개된다. 선하고 지혜로운 신이 도덕적 필연성에 의해서 자유롭게 이 세계를 창조하였다. 신의 의지는 일차적으로 선을 창조하는 것이었다. 그러나 신은 선만을 창조할 수 없었다. 왜냐하면 최종적인 신의 의지는 최선을 선택하는 것이었기 때문이다. 이 세계 전체가 최선이 되기 위해서는 개개의 모두가 선일 필요는 없다. 예컨대 두 개의 악의 합이 두 개의 선의 합보다 더 좋은 결과를 낳을 수도 있기 때문이다. 그러므로 최선의 세계에서는 악이 존재할 수밖에 없다. 그리고 그 악은 불완전성에서 야기하는 것이기 때문에, 그리고 인간은 자유롭지만 불완전하기 때문에, 악의 원천은 인간일 수밖에 없다. 이렇게 해서 신에 대한 라이프니츠의 변호는 완료된다.

• 주류산업
• /
• 제22권4호
• /
• pp.22-29
• /
• 2002

• 과학기술정책
• /
• 제8권7호통권112호
• /
• pp.102-104
• /
• 1998

• 시멘트
• /
• 통권27호
• /
• pp.28-31
• /
• 1968

• 대순사상논총
• /
• 제13권
• /
• pp.391-428
• /
• 2001

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 I
• /
• pp.454-457
• /
• 2003

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

• 출판저널
• /
• 통권250호
• /
• pp.12-13
• /
• 1999

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