• Korean Journal of Logic
• /
• v.13 no.1
• /
• pp.83-100
• /
• 2010

In his recent paper "Early Wittgenstein, Logic, and Metaphysics" Professor Jinho Kang argues that there has been an important change in Wittgenstein's view on the nature of logic between October 1913 and December 1916, which resulted in his change of attitude toward metaphysics. In my paper, raising some questions regarding his basic assumptions and arguments, I attempt to show that Professor Kang's paper fails to provide convincing solution to the points at issue.

• Journal for History of Mathematics
• /
• v.21 no.1
• /
• pp.17-28
• /
• 2008

This Paper introduces a historical background of mathematical logic. Logic and mathematics were not developed dependently until the mid of the nineteenth century, when two streams of logic and mathematics came to form a river so that brought forth synergy effects. Since the mid-nineteenth century mathematization of logic were proceeded while attempts to reduce mathematics to logic were made. Against this background $G{\ddot{o}}del's$ proof shows the limitation of formalism by proving that there are true arithmetical propositions that are not provable.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.04a
• /
• pp.1012-1013
• /
• 2014

본 논문에서는 일상생활 중 지속적으로 심장 상태를 모니터링 할 수 있는 무구속 의자형 심탄도 측정시스템을 개발하였다. 또한 구현된 시스템에서 측정된 생체신호를 이용하여 주관적인 감정자극의 스트레스를 분석하기 위한 연구를 수행하였다. 수준을 분석하고자 하였다. 실험은 시스템에 착석하여 실시간으로 시청각 자극 실험을 수행하였고, 심박수와 심박변이도의 시간영역 및 주파수영역 파라미터를 확인하였다. 확인된 심박변이도의 파라미터는 시청각 도중 기술한 인간의 감정들을 체계화하여 2차원 공간에 여러 감정들의 관계를 나타낸 제임스 러셀(J. Russell)의 감정모델을 주관적인 감정 자극에 의한 스트레스 지표 나타내어 비교 분석하였다. 실험결과는 RMSSD, LF/HF 파라미터가 스트레스 수준 분류에 사용될 수 있는 잠재력을 가지고 있음을 증명한다.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.19 no.39
• /
• pp.19-26
• /
• 1996

A solution procedure to minimize the number of storage carousels has been developed under the carousel throughput rate and total storage capacity requirements. The number of carousels can be reduced by increasing the throughput rate of carousels which depends upon the size of carousels, the storage item allocation to carousels, and the item position assignments in each carousel. Since the problem is very complicated and hard to solve optimally, the following solution procedure to solve the problem hierarchically is proposed: With a given number of carousels, the storage items are allocated to carousels so that the slowest average transaction time among carousels may be minimized, and then the position of each item is assigned in the allocated carousel so that the throughput of the carousel can be maximized.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.04a
• /
• pp.1090-1093
• /
• 2009

최근 혁신적으로 발전하고 있는 데이터 방송은 사용자를 만족시키기 위해 더 높은 품질의 영상과 음성은 물론 다양한 어플리케이션을 제공하고 있다. 이러한 어플리케이션은 DSM-CC 프로토콜에 의해 STB(Set-top Box)에 전송되는데 각각의 DTV 미들웨어에 따라 DSM-CC 프로토콜의 데이터 구조가 다르다. 그리고 방송 환경의 특성상 데이터를 놓치게 되면 한 Cycle을 기다려야 하는 문제가 발생한다. 또한 캐시 관리 전략에 따라 사용자가 원하는 어플리케이션의 응답 속도가 다르기 때문에 효율적인 캐시 관리 전략이 필요하다. 본 논문에서는 각 미들웨어에서 사용하는 DSM-CC 프로토콜의 차이점을 파악하여 변경이 필요한 부분은 모듈화해서 쉽게 확장 할 수 DSM-CC 처리 시스템을 제안했다. 또한, 어플리케이션을 실행시키기 위한 응답 시간을 줄이기 위해 사용자의 선호도와 사용 빈도수를 고려한 캐시 전략을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.418-421
• /
• 2011

인간의 감성은 개인이 생활을 통하여 갖게 되는 자신의 기준에 의하여 동일한 외부자극에 대해서 다양하게 나타난다. 대부분 우리는 인간이 수행하는 각각의 행동들을 통해 문제 해결을 위한 감성의 변화와 생각, 사고의 절차 등을 인지할 수 있기 때문에 감성은 인간의 작업 능력과 정보 분석 및 해결 등의 문제들과 밀접하게 관계가 있다. 본 논문에서는 이미지의 내재 정보에서 특징점을 추출하고 추출한 특징점을 SVM 알고리즘을 이용하여 학습시킨 후 결과 클래스를 러셀 평면 좌표계에 맵핑함으로써 이미지의 감성 정보를 추출하는 연구를 진행하였다.

• Journal of Physiology & Pathology in Korean Medicine
• /
• v.21 no.3
• /
• pp.583-590
• /
• 2007

The significance of Han medicine (韓醫學), the Korean traditional medicine, that has lasted throughout the past couple millenniums relies upon Han Philosophy distinguished by its uniqueness. In brief, the specificity of Han medicine is characterized by unity of spirit and body, part and whole. According to this theory, when curing a frozen shoulder, it is usually cured by acupuncturing the area around the part that aches, but also doing so on the area that is totally different from the aching part such as the opposite part of the body. In fact, this can be pursued only through aspects that enable one to realize the unity of part and whole, and a ground for this possibility bases upon the crux of Eastern Philosophy, I-ching(역), such as theory of Five Elements (음양오행) and Three Pillars(삼재). In Western set theory, the issues of Class(부류) and elements(요원), whole and part were independently discussed in the area of mereology, and the question of part and whole was encountered with aporia and paradox since Greek ancient philosophy. At the turn of this century, many philosophers endeavored to pursue academic inquiry to resolve this paradox, especially by Russell and Whitehead through ${\ll}$Principia Mathematica${\gg}$ at the beginning of this century. in the process, there came out a phrase 'Russell's Paradox'. Russell himself proposed a typological resolution as an answer to the inquiry. However, 'Russell's Paradox' still remains as an aporia even till present days. During medieval period, this inquiry was even considered as 'insolubia'. Throughout this paper, 1 attempt to provide an analytic aspect on 'Russell's Paradox' from an unique thinking method and perspective of Han medicine that embodies the concept of 'unity of part and whole'. To do so, 1 suggest a physiological model in the first place depicted by diagrams of Circle 원, Quadrangle 방, Triangle 각(CQT) that portray the logic of Hado or Hotu 하도 which is 'the pattern from the river Ho'. That is to suggest that CQT원방각 of Hado can De a logical foundation that explains the notions of spirit (정신,뇌), internal organs(장부), and meridian system which functions as a solution to the question of 'Russell's Paradox'. There are precedent academic works examining the issue from philosophical aspect such as Sangil Kim's ${\ulcorner}$Han medicine과 러셀역설 해의${\lrcorner}$ Han Medicine and Resolution of Russell's Paradox(2005), and this analysis will further attempt to critically examine such works from a perspective of Han medicine.

• Korean Journal of Logic
• /
• v.17 no.1
• /
• pp.1-32
• /
• 2014

Both 5.52 and 5.521 of the Tractatus Logico-Philosophicus raise several questions. In this paper I will explicate Wittgenstein's concept of generality by answering such questions. These questions and problems are closely intertwined. I will try to show what follows. It is ${\xi}$-conditions that are most decisive on the concept of generality of the Tractatus. Except Ramsey, commentators such as Anscombe, Glock, Kenny etc. failed in accurately grasping the Wittgenstein's thoughts concerning ${\xi}$-condition and their claims are not fair at all. Futhermore, from a view point of history of logic, 5.52 has very important significances. That is to say, it anticipates for the first time a possibility of infinitary logic and the concept of universe of discourse in model theory.

• Korean Journal of Logic
• /
• v.23 no.2
• /
• pp.117-159
• /
• 2020

In the early Wittgenstein's Tractatus, both philosophy of logic and that of mathematics belong to the most crucial subjects of it. What is the philosophical view of the early Wittgenstein in the Tractatus? Did he, for example, accept Frege and Russell's logicism or reject it? How did he stipulate the relation between logic and mathematics? How should we, for example, interpretate "Mathematics is a method of logic."(6.234) and "The Logic of the world which the proposition of logic show in the tautologies, mathematics shows in equations."(6.22)? Furthermore, How did he grasp the relation between mathematical equations and tautologies? In this paper, I will endeavor to answer these questions.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10d
• /
• pp.462-466
• /
• 2007

본 논문에서는 데이터 방송 환경에서의 DSM-CC 관련 Object Carousel Manager를 구현하고, 성능향상을 위한 캐싱 기법을 제안한다. Object Carousel Manger 구현은 다음과 같은 순서로 이루어진다. 먼저, 방송스트림에서 해당 PID별로 얻어온 모듈을 캐시에 저장한 후, 모듈에서 BIOP 메세지 오브젝트별로 분석한 뒤 파싱 한다. 그런 후, 파싱된 BIOP 메시지 오브젝트를 해당 서비스 게이트웨이, 디렉터리. 파일로 변환해준다. 마지막으로, 변환된 파일시스템에서 해당하는 Xlet Application을 실행시켜 주게 된다. 시스템성능 향상을 위해서 제안하는 캐싱 기법은 다음과 같다. DII의 Caching Priority Descriptor를 이용하여, Object들을 포함하고 있는 각각의 모듈에 대해서 Version Number를 Checking하는 주기인 Transparency_level을 부여하고, Application 실행 시 보여 주는 화면 순서대로 필요한 모듈에 대해 우선순위를 부여하여, 캐시에 업데이트 시 이를 반영하여, 시스템 전체의 성능을 향상시킨다.