• Korean Journal of Logic
• /
• v.21 no.2
• /
• pp.231-268
• /
• 2018

Wittgenstein asserts in the Tractatus Logico-Philosophicus 5.542 that "A believes that p" is of the form "'p' says p" and "here we have no co-ordination of a fact and an object, but a co-ordination of facts by means of a co-ordination of their objects." What does, then, it mean exactly that 'p' says p? What are "facts" and "a co-ordination" in the expression "a co-ordination of facts"? Are propositional attitude statements significant propositions or not? Furthermore, what is the point of Wittgenstein's criticism of Russell's theory of judgement? In this paper, I will answer these questions on the basis of Wittgenstein's explication of the concept of thought and Ramsey's relevant remark on propositional attitude. Meanwhile propositional attitude statements are bound up with solipsism of the Tractatus Logico-Philosophicus and some of them have senses. Hence both of assertions that all the propositional attitude statements are significant and all of them are nonsense in the Tractatus Logico-Philosophicus are not correct.

• Journal of Korean Philosophical Society
• /
• v.116
• /
• pp.257-280
• /
• 2010

I try to formalize the system of modal logic and interpret it in view of constructivism through this study. As to the meaning of a sentence, as we saw, Frege endorsed extensions in view of the fact that they are enough to provide for a compositional account for truth, in particular that (1) the assignment of extensions to expressions is compositional ; (2) the assignment of extensions to sentences coincides with the assignment of truth values. But nobody would be willing to admit that a truth value is what a sentence means and that consequently all true sentences are synonymous. So, if what we are after is meaning in the intuitive sense, then extensions would not do. This consideration has later become the point of departure of modal and intensional semantics. So, it is clear that the language of modal logic do not allow for an extensional interpretation. ${\square}$ is syntactically on a par with ${\vdash}$, hence within the extensional framework it would have to denote a unary truth function. This means that if modal logic is to be interpreted, we need a semantics which is not extensional. The first attempt to build a feasible intensional semantics was presented by Saul Kripke. He came to the conclusion that we must let sentences denote not truth values, but rather subsets of a given set. He called elements of the underlying set possible world. Hence each sentence is taken to denote the set of those possible world in which it is true. This lets us explicate necessity as 'truth in every possible world' and possibility as 'truth in at least one possible world'. But it is clear that the system of modal logic is not only an enlargement of propositional logic, as long as the former contains the new symbols, but that it is of an other nature. In fact, the modal logic is intensional, in that the operators do not determine the functions of truth any more. But this new element is not given a priori, but a posteriori from construction by logicist.

• Korean Journal of Logic
• /
• v.7 no.2
• /
• pp.121-146
• /
• 2004

본 논문은 베이즈주의가 확률론을 이용해서 제거적 귀납을 정교하게 발전시키고 있다고 주장한다. 이를 위해 본 논문은 두 가지 작업을 진행한다. 하나는 제거적 귀납이 무엇인가 하는것이고 다른 하나는 제거적 귀납이 베이즈주의에 기여하는 바가 무엇인가 하는 것이다. 먼저 본 논문은 제거적 귀납이 참인 가설을 포함하는 가능한 가설들의 총체로부터 경쟁가설들을 연역적 또는 귀납적으로 제거하고 남는 가설을 선택하는 추론형식임을 밝히고, 이 때 베이즈주의는 제거적 귀납을 정교하게 발전시킨 모습이기 때문에 제거적 귀납으로부터 기술적으로 도움 받을 측면은 없다고 주장한다. 그 대신 본 논문은 베이즈주의가 과학방법론으로 발전되는 데에서 직면하는 여러 가지 문제점을 해결하는 방법에 대해 제거적 귀납으로부터 조언을 얻을 수 있다고 주장한다. 이와 같은 논의를 통해 본 논문은 베이즈주의와 제거적 귀납주의의 결합은 유용한 과학방법론을 만들 수 있을 것으로 전망한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.787-789
• /
• 2002

인터넷상의 B2B(Business to Business)와 EDI(띠ectronic data Interchange)가 급속도로 발달 하면서XML이 메시지 교환 형식으로 활발하게 이용되고 있다. XML 문서는 논리적으로 통일하나 물리적으로는 여러 가지 표현이 존재만 수 있다는 특성을 가지고 있다. 이러한 점은 XML 디지털 서명과 같이 문서의 물리적 형태로써 유효성 여부를 판단하는 응용 등에서 치명적인 문제를 야기시킬 수 있다. 이와 같은 단점을 해결하기 위해 W3C에서는 상호 교환되는 XML 문서간의 논리적인 동일성을 물리적 수준에서 확인하기 위한 Canonical XML 알고리즘을 제안하여 사용하도록 권고하고 있다. 본 논문에서는 XML 디지털 서명 환경에서 Canonical XML 알고리즘을 수행하는 XML Canonicalizer를 설계하고 구현하였으며. 우리의 XML Canonicalizer는 XML 디지털 서명에서 뿐만 아니라 XML문서의 교환 시 물리적인 동일성이 요구되는 어떠한 응용에서도 사용 가능하다.

• Korean Journal of Logic
• /
• v.11 no.1
• /
• pp.91-129
• /
• 2008

이 논문은 '만약(If)$\sim$라면, (then) ...이다.' 형식의 조건문 중에서도 직설법적 조건문의 적법한 사용이 어떠한 조건을 만족시켜야 하는가에 대한 글이다. 일반적으로 직설법적 조건문은 발화자가 전건을 확신하지 못하는 인식적 상태를 표현하는 것으로 이해되며, 가정법적 조건문은 전건이 성립하는 특정한 세계에 대한 진술로 이해된다. 직설법적 조건문의 인식적 수용조건을 도출하기 위해, 기존 이론의 조건문의 수용과 주장을 진리조건적으로 설명하는 것이 불만족스럽다. 기존 이론의 문제점을 고찰하여 보면, 한 언어의 유창한 사용자가 조건문에 대해서 기대하고 있는바가 무엇인지, 그리고 적절한 직설법적 조건문의 사용이 어떤 조건을 요구하는지가 드러난다. 그리고 이 요구를 수용함으로써 직설법적 조건문에 대한 대안적 사용 조건인 '인식적 수용조건'을 정식화 할 수 있다.

• Korean Journal of Logic
• /
• v.9 no.1
• /
• pp.97-136
• /
• 2006

비트겐슈타인의 규칙따르기 개념에 대한 올바른 이해는 그의 후기 철학의 궤적을 살피는데 있어서 중요하다. 비트겐슈타인의 규칙따르기 문제에 대해 회의적 해석으로 유명한 크립키는 "탐구"의 201절을 문제 삼으며 '역설'의 문제를 새로운 형식의 철학적 회의주의로 간주했다. 본 논문은 규칙의 역설에 대한 크립키의 논증이 비트겐슈타인의 관점과 무엇 때문에 충돌하는지를 밝히면서 그와 함께 비트겐슈타인이 '규칙의 역설'을 제시한 궁극적 이유를 규명하는데 있다. 규칙의 역설에 대한 크립키 논증의 의의와 한계를 비판적으로 다룸으로서 필자는 다음과 같은 점을 주장할 것이다. 비트겐슈타인에게 있어서 규칙은 우리들의 행동을 이끄는 지침의 역할을 하며, 규칙의 문제를 추론과 연관시켜 수학이 엄격한 규칙을 따르는 인간의 지적 활동이며, 규칙에 대한 비트겐슈타인의 관점은 귀납적 회의주의와 무관하다. 이런 맥락에서 비트겐슈타인을 회의주의자 혹은 상대주의자로 평가하는 것은 문제가 있다. 그런 점에서 비트겐슈타인은 오히려 어떤 이론이나 선입견에 사로잡히지 않은 봄의 방식을 강조한 철학자로 평가하는 것이 옳다.

• Journal of the Korean Society for Precision Engineering
• /
• v.17 no.1
• /
• pp.138-144
• /
• 2000

Robot manipulators, which are nonlinear structures and have uncertain system parameters, have complex in dynamics when are operated in unknown environment. To compensate for estimate errors of the uncertain system parameters and to accomplish the desired trajectory tracking, nonlinear robust controllers are appropriate. However, when estimation errors or tracking errors are large, they require large input torques, which may not be satisfied due to torque limits of actuators. As a result, their stability can not be guaranteed. In this paper, a new robust control scheme is presented to solve stability problem and to achieve fast trajectory tracking in the presence of torque limits. By using fuzzy logic, new desired trajectories which can be reduced are generated based on the initial desired trajectory, and torques of the robust controller are regulated to not exceed torque limits. Numerical examples are shown to validate the proposed controller using an uncertain two degree-of-freedom underwater robot manipulator.

• Korean Journal of Logic
• /
• v.13 no.2
• /
• pp.61-82
• /
• 2010

The argument from ignorance that knowledge conclusion is derived from ignorance premises is claimed to be fallacious by many logicians such as I. Copi. According to them, some arguments from ignorance which seem to be acceptable are not really the arguments from ignorance. They say that such arguments have implicitly conditional knowledge premise. Against them, I argue that every argument from ignorance can be interpreted as having a hidden conditional premise, and that every argument from ignorance is not fallacious. I propose the criterion to judge which argument from ignorance is fallacious and which is persuasive. In particular, I argue that social contexts play a crucial role to judge whether a practical argument is fallacious or not.

• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2002.05a
• /
• pp.145-150
• /
• 2002

의도와 관심의 실현을 위하여, 언어 행동을 주도하는 '의식'이 사고와 언어를 연결할 때에 드러내는 특성과 기능 일부를 밝히기 위해, <실용 논리> 수업 시간에 녹화한 한 대학생의 토론 첫 부분 내용을 Chafe의 '억양 단위' 분석법에 따라 분석한 결과, 억양의 단위는 평균 1.8초, 9.5음절로 구성되며, 언어와 사고는, 물처럼 흐르는 것이 아니라, 억양 단위로 끈어진 토막들이 의식에 의해 연결되면서 '관심점'의 내용이 전개되고 있는 것임을 발견하였다. 각 억양 단위 속에는 뚜렷하게 발음하는 하나 정도의 '초점'과, 그렇지 않은'주변' 내용과 형식으로 구성됨을 확인하고, 초점들을 서로 이으면 결국, 이어진 말 중심 내용이 드러남도 발견하였다. 한국어와 일본어 억양 단위는 주어＋동사 형식을 갖추지 않은 예가 60％와 67.4％이므로, 주어＋동사 모형은 언어와 사고 전개 모형의 한 예에 불과하다고 해석한다. 각 단위들의 연결 면에는 문제가 있음도 발견하였다.

• Proceedings of the KIEE Conference
• /
• 2002.11c
• /
• pp.476-480
• /
• 2002

인터넷의 발달로 인하여 웹을 통한 문서 송수신이 많아지면서 종래의 인쇄 매체 상에 기술된 문서들은 점차 전자문서화 되기 시작했다. 이러한 문서들을 서로 다른 시스템 사이에서 상호 교환하기 위해서는 사용자가 원하는 논리적 구조를 태그로 구현할 수 있는 정형화된 문서 형태가 필요하다. 또한 이메일을 통한 개인적 정보를 얻고 또한 메일의 양이 갈수록 늘어나는 상황에서 카테고리별 자동 분류를 할 수 있는 에이전트가 현안이 되고 있다. 본 논문에서는 XML 형식의 메일에 XSL 문서를 임베디드하여 보내는 XML 이메일 시스템을 설계하여, 본 시스템을 이용하여 본문 내용을 카테고리별 자동 분류해주는 필터링 에이전트 인터페이스(Filtering Agent Interface)를 제안하고자 한다. XML 메일 서버를 통하여 수신된 메일은 XML과 XSL 형식에 따라 XML 메일 데이터베이스에 따로 저장되기 때문에 분석이 매우 용이하다는 장점을 이용하였다.