• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.404-406
• /
• 1998

확정절 문법은 구 구조문법을 명시하는데 사용된 후 계산이론적 언어학자들이 많은 연구를 하는 분야이다. 확정절 문법은 혼절에 근거하고 있기 때문에 관계절 공간연결 파서를 구성할 때 메우개-공간 의존을 자연스럽게 설명할 수 없다. 본 논문에서는 메우개-공간 의존을 처리할 수 있는 일반 구 구조문법 GPSG의 특성에 대해서 논하고 일반 구 구조 문법을 논리 문법으로 확장할 수 있는 방법에 대해서 기술하였다. [7]에서는 메우개-공간 의존을 설명하기 위해서 직관적 논리를 이용하였다. 여기에서는[7]의 직관적 논리 문법의 한계에 대해서 논하였다. 또 [5]에서는 일차 선형 논리를 이용하였는데, 이는 공간연결 파서로 자연어 문장을 논리식으로 번역하는데 사용될 수 없다. 따라서 본 연구에서는 고차 선형 논리문법을 이용하여 자연어 파서를 구성하였다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.2 no.1
• /
• pp.89-101
• /
• 1997

본 논문에서는 기존의 비디오 편집 시스템에서의 단점을 보완하여 논리적인 비디오 편집을 위한 방법을 제안하였다. 또한 본 논문에서는 비디오를 체계적으로 관리하고 비디오 편집등의 비디오 응용 분야에 효과적으로 적용할 수 있도록 기존의 비디오를 구조화된 형태의 논리적 비디로로 재구성한 구조화된 논리적 비디오를 제안하였다. 제안한 구조화된 비디오는 비디오의 물리적 정보뿐만 아니라 비디오의 논리적 정보를 포함하며 이러한 정보를 이용하여 기존의 비디오가 제공하지 못하는 비디오의 논리적 단위 편집등의 다양한 기능을 제공할 수있고, 비디오 브라우징, 검색, 비디오 편집등의 여러 비디오 응용 분야에 효과적으로 적용할 수 있으므로 비디오 재사용성을 높일 수 있다. 본 논문에서는 기존의 비디오를 구조화된 논리적 비디오로 재구성하여 관리하는 비디오 데이터베이스 관리 시스템과 이를 이용한 논리적 단위의 비디오 편집 시스템을 설계 및 구현하였다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.13 no.7
• /
• pp.1467-1474
• /
• 2009

What matters in the society of knowledge and information is not that they just know certain facts, but that when faced with new situations, they should be able to develop novel ideas, apply them and do the problems or the tasks confronting them. This cannot be achieved through learning of mere knowledge. Computer programming lessons have shown positive effects on general thinking ability, metacognitive aspects, and logical thinking. The ACM has suggested that 8th grade students at the first level (second year students of middle school) be educated in programming languages such as LOGO to raise their ability to think logically. Previous studies have confirmed educational programming languages such as LOGO and BASIC, which are currently used, are helpful in improving the ability to think logically and to solve problems. However these languages lack connectivity with later learning. Little research has been done on 'Dolittle', an educational programming language, newly developed, using object-oriented notions. Few studies have been made of the effects of 'Dolittle' on the ability to think logically. The following results were obtained. The research didn't lead to a statistically significant improvement of the students' cognitive development level. However, proportional logic and combinational logic, among the six subcategories of logic, improved through the introduction of 'Dolittle' programming lessons. This leads to the conclusion that in the processing of solving the problems given, the students learned by themselves and improved their ability to think logically.

• 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.

• Journal of Korean Philosophical Society
• /
• v.131
• /
• pp.245-272
• /
• 2014

이 논문은 풍우란(馮友蘭:1895~1990)의 신리학적 철학과학관을 해명하는 것이다. 풍우란은 과학의 역할과 중요성을 긍정하면서도, 철학의 독자적인 역할을 인정한 철학자이다. 그에 따르면 과학은 실제세계에 대한 구체적 적극적 지식을 추구하고, 철학은 '인생경지(경계(境界))의 고양'을 추구하며 나아가 정신의 '자유와 불멸'을 목표로 하는 학문이다. 과학과 철학은 학문의 대상 방법 목표가 상이한 별개의 학문이다. 그는 신실재론의 논리분석방법을 빌어 중국전통철학을 재해석하여 신리학적 철학체계를 수립함으로써 그 혼동을 정리하려했다. 과학은 구체적 객관세계[기(器)] 즉 실제(實際)에 관한 학문이고, 철학은 추상적 보편세계[이(理)] 즉 진제(眞際)에 대한 학문이라는 것이다. 그래서 과학은 구체적인 실제세계에 대한 적극적[긍정적] 지식의 축적을 목표로 하고, 철학은 보편적 세계에 대한 이지적 분석 종합 해석을 목표로 한다. 가장 철학적인 철학인 형이상학은 인생의 경지를 드높이는 것을 추구한다. 철학은 최고의 인생경계 즉, 천지경계(天地境界)의 도달을 목표한다. 이를 위해 철학은 진제에 대한 개념적 논리적 분석을 통해 실제를 초월하는 네 가지 형이상학적 관념을 얻어 천지경계에 도달할 수 있다. 천지경계에 도달하는 형이상학적 방법은 두 가지이다. 하나는 정(正)의 방법으로 논리분석법인데, 경험에 대해 논리적 분석 종합 해석을 하는 것이다. 다른 하나는 부(負)의 방법으로 중국화(中國畵)의 '홍운탁월(烘雲托月)'처럼 말할 수 없는 것을 말하는(불가사의(不可思議), 불가언설(不可言說)) 방법이다. 형이상학은 이를 통해 인간의 삶에 자유와 불멸을 가져다줄 수 있다. 이런 형이상학적 활동은 과학이 목표로 하지도 않고 할 수도 없다는 것이 풍우란의 견해이다. 이로서 풍우란은 참과 거짓을 밝힐 수 없는 무의미한 명제의 추방을 주장한 논리실증주의와 대립되는 철학관에 도달했다.

• Management & Information Systems Review
• /
• v.30 no.3
• /
• pp.107-132
• /
• 2011

The purposes of this paper are to examine the effect of emotional intelligence and logic intelligence on organizational citizenship behavior and to examine the moderating effect of intelligence labor on these relationship. For these purposes, literature review and survey research were conducted. The 420 questionnaires were sent to the 12 manufactural firms in the Busan and Kyungsang Nam-Do region for empirical analysis. Total 363 usable responses were collected(effective response rate : 86.40%). The major findings of the empirical research are as follows ; First, emotional intelligence and logic intelligence have positive influence organizational citizenship behavior. but emotional intelligence have more positive influence than logic intelligence on organizational citizenship behavior. Second, emotional intelligence has differential influence on organizational citizenship behavior by emotional labor, but logic intelligence hasn't that. In conclusion, emotional intelligence is expected to improve organizational citizenship behavior which is extra-role behavior in an organization. Therefore, managers have to develop organizational citizenship behavior by exhibiting emotional intelligence, considering emotional labor.

• Korean Journal of Logic
• /
• v.13 no.2
• /
• pp.167-201
• /
• 2010

This paper aims to scrutinize the possibility of mereology as philosophically satisfiable metalogic. Motivation for this is straightforward. As I see, a traditional approach to metalogic presented in the name of mathematical logic posits the existence of mathematical entities such as sets, functions, models, etc. to give definitions of logical concepts like logical consequence. As a result, whenever logic is used in any individual sciences, this set-theoretical metalogic cannot but add these mathematical entities to the domain of them. This fact makes this approach contradict to the ontological conservativeness of logic. Mereology, however, has been alleged to be ontologically innocent, while it is a formal system very similar to set theory. So it may well be that some people thought of mereology as a good substitute for set theoretic metalanguage and concepts for ontologically neutral metalogic. Unfortunately, when we look into argument for the ontological innocence of mereology, we can find that mereological entities such as mereological sums or fusions are not ontologically neutral. Thus we can conclude that mereological approach to metalogic is not promising at all.

• Journal for History of Mathematics
• /
• v.22 no.4
• /
• pp.129-144
• /
• 2009

The purpose of this study is what exactly De Morgan contributed to abstract algebra and mathematical logic. He recognised the purely symbolic nature of algebra and was aware of the existence of algebras other than ordinary algebra. He madealgebra as a science by introducing the ordered field and made the base for abstract algebra. He was one of the reformer of classical mathematical logic. Looking into De Morgan's works, we made it clear that the developments of algebra and mathematical logic in 19C.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.7
• /
• pp.35-48
• /
• 2022

In this study, it propose a proof theory method for expressing and reasoning knowledge in a multiagent environment. Since this method determines logical results in a mechanical way, it has developed as a core field from early AI research. However, since the proposition cannot always be proved in any set of closed sentences, in order for the logical result to be determinable, the range of expression is limited to the sentence in the form of a clause. In addition, the resolution principle, a simple and strong reasoning rule applicable only to clause-type sentences, is applied. Also, since the proof theory can be expressed as a meta predicate, it can be extended to the metalogic of the proof theory. Metalogic can be superior in terms of practicality and efficiency based on improved expressive power over epistemic logic of model theory. To prove this, the semantic method of epistemic logic and the metalogic method of proof theory are applied to the Muddy Children problem, respectively. As a result, it prove that the method of expressing and reasoning knowledge and common knowledge using metalogic in a cooperative multiagent environment is more efficient.

• Journal of Korea Fair Competition Federation
• /
• no.89
• /
• pp.9-11
• /
• 2003

공정거래법의 새로운 도약을 위한 체제정비 중에서도 가장 시급히 요청되는 것은 공정거래위원회의 조직과 절차의 정비라고 할 것이다. 공정거래위원회가 오늘과 같이 발전할 수 있었던 데는 정부가 과감하게 공정거래위원회를 경제기획원에서 분리하여 독립부처로 만들었다는 점이 크게 작용하였다고 생각된다. 왜냐하면 공정거래위원회가 독립부처가 됨으로써 산업정책의 논리나 정치논리에 휘말리지 않고 경쟁의 논리를 일관성 있게 적용할 수 있었기 때문이다.