• 한국과학교육학회:학술대회논문집
• /
• 2008.01a
• /
• pp.125.1-125.1
• /
• 2008

• 한국과학교육학회:학술대회논문집
• /
• 2008.01a
• /
• pp.124.2-124.2
• /
• 2008

• The Journal of Korean Association of Computer Education
• /
• v.13 no.2
• /
• pp.1-14
• /
• 2010

Previous researches on the improvement of logical thinking in Informatics subject have used general logical thinking test and only limited improvement of logical thinking by programming learning result. In this study, the operational definition of the logical thinking in problem-solving process on Informatics education is different from the general logical thinking and the logical thinking of the other subjects. Firstly, we suggested the operational definition of components of logical thinking using the open questionnaire by expert and research team discussion. Also, we suggested the relationship between the operational definition and contents of the 'problem-solving methods and procedure' section in secondary Informatics subject. Finally, this study developed the evaluation contents based on the operational definition of components of logical thinking. The components of logical thinking which was required in problem-solving process on Informatics subject were ordering reasoning, propositional logic, controlling variables, combinatorial logic, proportional reasoning. We suggested the relationship between operational definition and problem-solving process and assessment of logical thinking in problem-solving process on Informatics subject. This paper will give meaningful insight to supply the guideline of the teaching strategy and evaluation methods for improving the logical thinking in Informatics education.

• Proceedings of the KIEE Conference
• /
• 2015.07a
• /
• pp.28-30
• /
• 2015

전기차 충전 장치가 전기차로부터 ISO/IEC 15118 국제 표준을 따르는 XML 형식의 통신 메시지를 받아 IEC 61850 국제 표준의 SCL (Substation Configuration Language)로 구성되는 논리 노드를 통해 통신 메시지를 전력 계통으로 보낸다. 역방향 통신 메시지의 경우에는 그 역순으로 진행된다. ISO/IEC 15118 국제 표준이 XML 형식을 스키마로 규정하고 있고 IEC 61850 국제 표준이 SCL 형식을 스키마로 규정하고 있으며 두 스키마를 변환하여 ISO/IEC 15118 통신 메시지와 IEC 61850 통신 메시지를 상호 변환할 수 있다.

• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2000.06a
• /
• pp.411-418
• /
• 2000

Hausser (1999)와 이기용 (1999a, 1999c)에서는 데이터베이스 관리 시스템(DBMS)을 이용하여 자연언어의 의미를 다루는 데이터베이스 의미론을 제안하였다. 특히 이기용 (1999c)에서는 수형도(tree), 논리 형태(logical fomulas), 자질 구조(feature structure)와 같은 다양한 언어 표상 형식들을 관계형 데이터베이스 관리 시스템(DBMS)의 표상 형식인 테이블 형식으로 전환 가능함을 보임으로써 데이터베이스 의미론에 관계형 데이터베이스 관리 시스템을 도입할 수 있음을 제시하였다. 한편, Lee (2000)에서 제시한 데이터베이스 의미론 모형에서는 데이터베이스 관리 시스템과 사용자(end-user)를 연결하는 언어 정보 처리 시스템(LIPS; Linguistic Information Processing System)을 제안하였다. 이 언어 정보 처리 시스템은 사용자에 의해 입력된 언어 자료를 처리하여 그 분석 결과를 데이터베이스 관리 시스템에 전달하고, 이를 통해 구축된 데이터베이스에서 추출한 정보를 다시 사용자에게 전달하는 시스템이다. 이 논문은 한국어 '이, 히, 리, 기' 피동형을 전산처리 할 수 있도록, 데이터베이스 의미론에서 핵심 요소인 언어정보 처리 시스템과 데이터베이스 관리 시스템을 구현하는 것이 목적이다.

• Proceedings of the KIEE Conference
• /
• 2002.07d
• /
• pp.2837-2839
• /
• 2002

인터넷의 발달로 인하여 웹을 통한 문서 송수신이 많아지면서 종래의 인쇄 매체 상에 기술된 문서들은 점차 전자문서화 되기 시작했다. 이러한 문서들을 서로 다른 시스템 사이에서 상호 교환하기 위해서는 사용자가 원하는 논리적 구조를 태그로 구현할 수 있는 정형화된 문서 형태가 필요하다. 본 연구에서는 XML 형식의 메일에 XSL 문서를 임베디드하여 보내는 XSL 메일 전송 기법을 제안하고자 한다. XSL 메일 서버를 통하여 수신된 메일은 XML과 XSL 형식에 따라 XSL 메일 데이터베이스에 따로 저장되기 때문에 분석이 매우 용이하다는 장점을 가지고 있다. 임베디드 XSL 메일은 HTML 형식의 문서와는 달리 얻고자하는 element를 메일로부터 쉽게 분리해 낼 수 있으므로 대량의 메일을 수신한 경우 메일들을 효과적으로 관리할 수 있는 장점이 있다.

• Sijohaknonchong
• /
• v.30
• /
• pp.147-164
• /
• 2009

The conclusion of this paper is as follows. First, the authentic syllable count of sijo can be summed up as following: Second, the structure of the statement can be summed up as following: 1) Each statement extremely excludes the use of modifiers to clarify the development of the logic. 2) The meaning of each of the three statement, chojang (the 1st statement), jungjang (the middle statement) and jongjang (the last statement), is connected to the previous one closely, so the text as a whole is perfect. 3) The last statement identifies itself as the conversion or conclusion of the whole text. Therefore, the last statement should begin with a connective adverb like 'Therefore' or 'Then'. But in ancient sijo works, this sort of connected adverb is normally omitted. 4) Each statement of sijo is composed of one of the 4 structures suggested below: a) subjective phrase + predicative phrase b) the formal clause + the latter clause c) location-indicating phrase + sentence d) objective phrase + predicative phrase Since the text of a sijo work is formed like this, sijo is said to be composed of three jang (statement) & six gu (phrase), which is the very feature that proves that sijo is a fixed form of verse.

• Korean Journal of Logic
• /
• v.16 no.1
• /
• pp.87-115
• /
• 2013

In my previous article "The Uncontested Principle and Wonbae Choi's Objections", I argued that the validity of modus ponens (as a deductive inference) is compatible with the claim that the Uncontested Principle is controversial. In his recent paper "The Uncontested Principle and Modus Ponens", Wonbae Choi criticizes my view again by making the following three claims: First, even though I do not take an inference of the form 'If A then (probably) C. A. $\therefore$ C' as an instance of modus ponens, this form of inference can be taken to be such an instance. Second, there is no grammatical indicator which allows us to distinguish between an indicative conditional based on a deductive inference and an indicative conditional based on an inductive inference, so that inferences based on these conditionals should not be treated as different types of inferences. Third, if we allow an indicative conditional based on an inductive inference, we thereby violate the so-called 'principle of harmony', which any logical concept should preserve. In this paper, I reply that his criticisms are all implausible.

• Korean Journal of Logic
• /
• v.15 no.1
• /
• pp.155-190
• /
• 2012

As far as Hilbert's Program is concerned, there seems to be important differences in the development of Wittgenstein's thoughts. Wittgenstein's main claims on this theme in his middle period writings, such as Wittgenstein and the Vienna Circle, Philosophical Remarks and Philosophical Grammar seem to be different from the later writings such as Wittgenstein's Lectures on the Foundations of Mathematics (Cambridge 1939) and Remarks on the Foundations of Mathematics. To show that differences, I will first briefly survey Hilbert's program and his philosophy of mathematics, that is to say, formalism. Next, I will illuminate in what respects Wittgenstein was influenced by and criticized Hilbert's formalism. Surprisingly enough, Wittgenstein claims in his middle period that there is neither metamathematics nor proof of consistency. But later, he withdraws his such radical claims. Furthermore, we cannot find out any evidences, I think, that he maintained his formerly claims. I will illuminate why Wittgenstein does not raise such claims any more.

• Journal of Korean Philosophical Society
• /
• v.141
• /
• pp.187-202
• /
• 2017

The aim of this paper is to clarify the difference between the concept of deduction-induction and Aristotle's concept of syllogismos-epagoge. First, Aristotle does not use the expression 'invalid syllogismos'. But a valid deduction is distinguished from a invalid deduction in modern logic. Second, from Aristotle's point of view syllogismos is paralleled by epagoge. Because syllogismos is equivalent to epagoge in logical form. But a disturbing lack of parallelism exists between deduction and induction by which the standards for establishing inductive conclusions are more demanding than those for deductive ones. Third, instructors in introductory logic courses ordinarily stress the need to evaluate arguments first in terms of the strength of the conclusion relative to the premises. Accordingly, students may be told to assume that premises are true. But Aristotle does not assume that premises are true. A syllogismos start from the conceptually true premise and a epagoge start from the empirically true premise.