괴델의 불완전성 정리가 양진주의의 근거가 될 수 있는가?

최승락,Choi, Seungrak Korean Association for Logic 2017 논리연구 Vol.20 No.2

Dialetheism is the view that there exists a true contradiction. This paper ventures to suggest that Priest's argument for Dialetheism from $G{\ddot{o}}del^{\prime}s$ theorem is unconvincing as the lesson of $G{\ddot{o}}del^{\prime}s$ proof (or Rosser's proof) is that any sufficiently strong theories of arithmetic cannot be both complete and consistent. In addition, a contradiction is derivable in Priest's inconsistent and complete arithmetic. An alternative argument for Dialetheism is given by applying $G{\ddot{o}}del$ sentence to the inconsistent and complete theory of arithmetic. We argue, however, that the alternative argument raises a circularity problem. In sum, $G{\ddot{o}}del^{\prime}s$ and its related theorem merely show the relation between a complete and a consistent theory. A contradiction derived by the application of $G{\ddot{o}}del$ sentence has the value of true sentences, i.e. the both-value, only under the inconsistent models for arithmetic. Without having the assumption of inconsistency or completeness, a true contradiction is not derivable from the application of $G{\ddot{o}}del$ sentence. Hence, $G{\ddot{o}}del^{\prime}s$ and its related theorem never can be a ground for Dialetheism.

문화개방과 애니메이션

최승락,최영철,Choi, Seung-Rak,Choi, Young-Chul 한국만화애니메이션학회 2005 만화애니메이션연구 Vol.- No.9

라틴어의 '영혼', '정신', '생명' 혹은 '활력'에서 유래한 용어인 '애니메이션', 그 오리지널의 의미는 인위적 조작을 통해서 가동성을 제공하는 것으로서 무생물, 비기존의 실체에 생명의 생성 혹은 활력의 편입과 다소 관계가 있었다. 애니메이션 생산에 관계하는 자, 영역을 관련지은 전문가는 활력소로 불린다. 애니메이션 생산의 현재의 세계적인시장은 막대하게 진보하고 있어 확대되고 있다. 국내의 애니메이션 시장은 전면적인 퀄리티로부터 제 3의 세계에서자리 매김 되고 있지만, 실제는 글로벌 시장에서 외국의 애니메이션 제품과 경쟁할 수 있는 고품질 제품이 거의 없다고 하는 것이다. 이 문제는 국내의 애니메이션 기술 및 생산이 현재의 시스템과 함께 이 논문으로 한층 심의 있게 외국·국내의 애니메이션상의 문학 데이터의 비교 분석의미가 있다. 이것은 국제적으로 경쟁력 높은 애니메이션제작의 생산적기지가 될 수 있는 근거일 수 있다. The term 'animation' derived from the Latin 'anima' meaning spirit, life, or vitality. Although its original meaning was somewhat related to creation of life or incorporation of vitality into an inanimate or nonexisting entity by providing mobility through artificial manipulation, it is now used in a rather narrow sense to define collectively the cartoon-based films or tape-recordings and specialists who are involved in animation production or related areas are called animators. The current worldwide market for animation production is progressing and expanding enormously. Although the domestic animation market is ranked as third in the world in terms of overall quantity, the reality is that there are few high quality products that can compete with foreign animation products in the global markets. This issue is further discussed in this paper along with the current status of the domestic animation technology and production. This investigation concerns the comparative analysis of literature data on foreign and domestic animation, which can be a basis for the production of internationally competitive animation work.

AI

Choi, Seung Rak(최승락) 한국기초조형학회 2024 한국기초조형학회 작품집 Vol.2024 No.11

커뮤니케이션 예술작품에서 손으로 쓰는 글씨체의 힘

최승락 ( Seung Rak Choi ),김헌준 ( Heon Jun Kim ) 한국디자인트렌드학회 2003 한국디자인포럼 Vol.8 No.-

A person`s handwriting may represents the person`s character and shows the feeling and mentality of the person. What types of letters would be used in the story copies for the communication materials have been settled as an important expression technology. As the messages conveyed to the consumers can be differentiated according to the expression concepts of the communication materials, the varieties of the emotion, curiosity, and characters of the authors included in the contents of the communication materials should be expressed in differently. Although the type points of English have been developed into thousands of various styles, those of Korea points have been developed into only dozens of styles and it is true that the expressions in Korean types may be lacked in the viewpoints of variety. In addition, the contents of the copies of almost all the communication materials used to be treated in digital points. Therefore, the communication materials in which some handwritings are used have succeeded in the visual differentiation in the viewpoint of scarcity. Furthermore, free styled handwritings would present the consumers some good senses. When the concepts of the communication materials correspond to the images of the handwritings, the quality effectiveness of the materials would be increased. For example, as the animation materials in a museum should have the historical image, the type points of handwritings are recommended for the harmonization. In addition, in case of the fairy tales for children, the handwritings written by children is judged to be better for them considering the curiosity and level of the children. It is said that the core of the communication materials would be the differentiated expression. Considering the situations, the creative ideas of what kinds of the elements should be differentiated may produce some fruitful results by accident.

variety

최승락(Choi, Seung Rak) 한국기초조형학회 2023 한국기초조형학회 작품집 Vol.2023 No.12

고차원 벡터 공간에서 k - 최근접 검색에 관한 분석

최승락(SeungLak Choi),곽태영(TeaYeong Kawk),신봉근(BongKeun Shin),이윤준(Yoon Joon Lee),김명호(Myoung Ho Kim) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.2Ⅰ

지금까지 제시된 최근접 질의 알고리즘은 다소간의 차이는 있으나 기본적으로 질의 점과 MBR간의 최소 거리에 기반한 분기와 한정 기법을 이용하고 있다. 그러나 차원이 증가함에 따라 질의 구와 겹치는 노드가 급속히 증가하기 때문에 최근접 질의 알고리즘의 성능은 매우 비효율적이다. 이러한 문제를 해결하기 위해서 MBR 간의 중첩을 줄이고 MBR 내에 가급적 많은 점을 포함할 수 있는 다양한 다차원 색인 구조가 제시되었다. 그러나 우리의 실험에 의하면 이러한 방법이 근본적인 해결책이 되지 못함을 알 수 있다. 고차원 벡터 공간 모델이 가지는 문제로써 임의의 질의 점으로부터 모든 데이터 점들까지의 거리가 차원이 올라감에 따라 유사해지는 현상 때문에 비효율적인 성능이 나옴을 본 논문에서 지적한다.

선언적 삼단논법을 지닌 1차 고전 자연연역 체계의 정형화 정리

최승락 ( Seungrak Choi ) 한국논리학회 2021 論理硏究 Vol.24 No.2

In the present paper, we prove the normalization theorem and the consistency of the first-order classical logic with disjunctive syllogism. First, we propose the natural deduction system S_CD for classical propositional logic having rules for conjunction, implication, negation, and disjunction. The rules for disjunctive syllogism are regarded as the rules for disjunction. After we prove the normalization theorem and the consistency of S_CD, we extend S_CD to the system S_PCD for the first-order classical logic with disjunctive syllogism. It can be shown that SPCD is conservative extension to S_CD. Then, the normalization theorem and the consistency of S_PCD are given.

거짓말쟁이 유형 역설과 직관주의 자연연역체계

최승락 ( Seungrak Choi ) 한국논리학회 2018 論理硏究 Vol.21 No.1

It is often said that in a purely formal perspective, intuitionistic logic has no obvious advantage to deal with the liar-type paradoxes. In this paper, we will argue that the standard intuitionistic natural deduction systems are vulnerable to the liar-type paradoxes in the sense that the acceptance of the liar-type sentences results in inference to absurdity (⊥). The result shows that the restriction of the Double Negation Elimination (DNE) fails to block the inference to ⊥. It is, however, not the problem of the intuitionistic approaches to the liar-type paradoxes but the lack of expressive power of the standard intuitionistic natural deduction system. We introduce a meta-level negation, □s, for a given system S and a meta-level absurdity, □, to the intuitionistic system. We shall show that in the system, the inference to ⊥ is not given without the assumption that the system is complete. Moreover, we consider the Double Meta-Level Negation Elimination rules (DMNE) which implicitly assume the completeness of the system. Then, the restriction of DMNE can rule out the inference to ⊥.

테넌트의 자기지시적 역설에 관한 가설과 그에 대한 고전적 반례

최승락 ( Seungrak Choi ) 한국논리학회 2021 論理硏究 Vol.24 No.1

In his paper, “On paradox without self-reference”, Neil Tennant proposed the conjecture for self-referential paradoxes that any derivation formalizing self-referential paradoxes only generates a looping reduction sequence. According to him, the derivation of the Liar paradox in natural deduction initiates a looping reduction sequence and the derivation of the Yablo's paradox generates a spiral reduction. The present paper proposes the counterexample to Tennant's conjecture for self-referential paradoxes. We shall show that there is a derivation of the Liar paradox which generates a spiraling reduction procedure. Since the Liar paradox is a self-referential paradox, the result is a counterexample to his conjecture. Tennant has believed that classical reductio has no essential role to formalize paradoxes. As our counterexample applies the rule of classical reductio, he may reject the counterexample. In this sense, it will be briefly argued that classical reductio and his rules for the liar sentence share some inferential role. If classical reductio should not be used in paradoxical reasoning, neither should be his rules for the liar sentence.

증명의 동일성과 허용가능한 환원 절차의 기준

최승락 ( Seungrak Choi ) 한국논리학회 2021 論理硏究 Vol.24 No.3

Dag Prawitz (1971) put forward the idea that an admissible reduction process does not affect the identity of proofs represented by derivations in natural deduction. The idea relies on his conjecture that two derivations represent the same proof if and only if they are equivalent in the sense that they are reflexive, transitive and symmetric closure of the immediate reducibility relation. Schroeder-Heister and Tranchini (2017) accept Prawitz’s conjecture and propose the triviality test as the criterion for admissible reductions. In the present paper, we will consider two main troubles of the triviality test. The first is the obscurity of a method of evaluating admissible reductions. The second is the circularity problem that the triviality test already assumes the set of admissible reduction procedures. For the solution of the problems, we will propose the spoiler test which immunes the problems of the triviality test and has the role of the criterion for admissible reductions. At last, we shall cover a plausible problem of the spoiler test that can be caused by Crabbé’s case.