• Korean Journal of Logic
• /
• v.19 no.3
• /
• pp.341-368
• /
• 2016

Asserting a sentence of the form "p but I do not believe that p" sounds inappropriate, and even absurd or contradictory. The problem that Moore's paradox raises is to explain why asserting such a sentence is absurd despite the fact that there is apparently no logical contradiction in it. Many of the influential accounts of Moore's paradox try to locate its source in the nature of belief or in the nature of assertion. In this paper, I argue that these accounts are not satisfactory, and develop and defend a novel account. According to this account, the source of Moore's paradox should be located in self-reference. Self-reference is constituted by a certain disposition to form second-order beliefs. A subject who is ready to assert "p but I do not believe p" fails to conform to the disposition that is constitutive of self-reference, while at the same time referring to the relevant individual with "I."

• Journal of the Korean School Mathematics Society
• /
• v.11 no.3
• /
• pp.337-362
• /
• 2008

Nowadays the education of Mathematics is more important than any other courses in the school. But the most students have felt the difficulty and uncomfortableness in studying Mathematics, especially the geometry course. Moreover teachers also consider that the teaching of geometry is the hardest part of Mathematics. Therefore we suggest an effective method of teaching the geometry course for the middle school students. We provide the activity papers which contain mathematics problems based on the practical life of students. And we analyze the effects of the activity papers using the questionnaire.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.6
• /
• pp.816-833
• /
• 1999

스타일 정보를 중심으로 하는 기존의 워드 프로세서의 출력 문서들을 차세대 인터넷 문서인 XML문서방식에 따라서 표기하고 또한 제목, 초록, 장 및 단락 등과 같은 논리적인 구조를 반영할 수 있도록 구조화함으로써 문서들의 상호교환뿐만 아니라 인터넷에서 유효하게 사용할 수가 있다. 본 논문에서는 스타일 또는 표현 속성 중심으로 하는 다양한 문서의 평면 구조를 XML의 계층적인 논리적인 구조로, 또한 다양한 DTD(Document Type Definition)환경하에서 변경시킬 수가 있는 변환 스크립트 언어를 표현할 수 있도록 하기 위하여 XTML(XML Transformation Markup Language)을 DTD형식으로 정의하고 이를 이용하여 변환 스크립트를 작성하였으며 자동태깅에 적용하여 보았다.XTML은 그 인스턴스에 해당하는 변환 알고리즘의 효과적인 수행을 위하여 즉 기존의 XML문서를 효과적으로 다루기 위하여 문서를 GROVE라는 트리 구조로 만들어 저장하고 또한 이를 조작할 수 있는 기능 및 다양한 명령어 인터페이스를 제공하였다. Abstract Output documents of existing word processors based on style informations or presentation attributes can be structured by converting them into XML(Extensible Markup Language) documents based on hierarchically logical structures such as title, abstract, chapter and so on. If so, it can be very useful to interchange and manipulate documents under Internet environment. The conversion need the complicate process calling auto-tagging by which elements of output documents can be inferred from style informations and sequences of text etc, and which is different from various kinds of simple conversion.In this paper, we defined XTML(XML Transformation Markup Language) of DTD(Document Type Definition) form and also defined the script language as instances of its DTD for the auto-tagging. XTML and its DTD are represented in XML syntax.Especially XTML includes various functions and commands to generate tree structure named as "GROVE" and also to process, store and manipulate the GROVE in order to process efficiently XML documents.documents.

• Journal of The Korean Association For Science Education
• /
• v.19 no.1
• /
• pp.41-61
• /
• 1999

In this study I defined the direction Integrated Science Education(ISE) should take. So that I groped for the direction ISE should take in the inherent nature of science and education, analyzing their respective validity from philosophical and psychological angles. Based upon these researches, I formulated the three directions for ISE to take; knowledge-centered, social problem-centered, and individual interest-centered. The results of this thesis may be summed up as follows: 1. The knowledge-centered ISE that thinks the inherent nature of science is in the scientific knowledge is based upon Hirst's integrated logic which is built on discipline-centered educational viewpoint. Now, the focus of interdisciplinary integration consists in clarifying the meanings of knowledge and the logical relations between one knowledge and another according to the respective form of exploration. The knowledge-centered ISE, therefore, was analyzed to find its justification in the educational philosophy of idealism, realism, neo-scholasticism; in the educational theories of essentialism, behaviorism, perennial ism; in the scientific philosophy of empiricism. positivism; in the educational psychology of developmental psychology and constructivism. 2. The social problem-centered ISE that thinks the inherent nature of science is the process of social concord is based upon Dewey's integrated logic which is built on experience-centered educational viewpoint. Now, the focus of interdisciplinary integration consists in the methodological aspect facilitating the process of experience. The social problem-centered ISE, therefore, was analyzed to find its theoretical justification in the educational philosophy of pragmatism; in the educational theory of progressivism; in the scientific philosophy of relativism and rationalism; and in the educational psychology of developmental psychology and constructivism. 3. The individual interest-centered ISE is based upon Patterson's integrated logic which is built on human-centered educational viewpoint. The focus of education here is self-realization. Therefore, rather than provide in learning conditions from outside, one is made to choose them oneself and the process of satisfying one's motive is emphasized. The individual interest-centered ISE, therefore, was analyzed to find its theoretical justification in the educational philosophy of existentialism; in the educational theory of humanism; in the scientific philosophy of relativism; and in Gestalt psychology.

• Journal of KIISE:Software and Applications
• /
• v.37 no.11
• /
• pp.851-858
• /
• 2010

Most mobile devices use a NAND flash memory as their secondary memory. A compressed code of the firmware is stored in the NAND flash memory of mobile devices in order to reduce the size and the loading time of the firmware from the NAND flash memory to a main memory. In order to use a demand paging properly, a compressed code should be decompressed very quickly. The thesis introduces a new dictionary based compression algorithm for the fast decompression. The introduced compression algorithm uses a different method with the current LZ method by storing the "exclusive or" value of the two instructions when the instruction for compression is not equal to the referenced instruction. Therefore, the thesis introduces a new compression format that minimizes the bit operation in order to improve the speed of decompression. The experimental results show that the decoding time is reduced up to 5 times and the compression ratio is improved up to 4% compared to the zlib. Moreover, the proposed compression method with the fast decoding time leads to 10-20% speed up of booting time compared to the booting time of the uncompressed method.

• Journal of KIISE:Databases
• /
• v.32 no.6
• /
• pp.603-615
• /
• 2005

As recent business environments are changed and become complex, a more efficient and effective business process management are needed. This paper proposes a new approach to the automatic execution of business processes using Event-Condition-Action (ECA) rules that can be automatically triggered by an active database. First of all, we propose the concept of blocks that can classify process flows into several patterns. A block is a minimal unit that can specify the behaviors represented in a process model. An algorithm is developed to detect blocks from a process definition network and transform it into a hierarchical tree model. The behaviors in each block type are modeled using ACTA formalism. This provides a theoretical basis from which ECA rules are identified. The proposed ECA rule-based approach shows that it is possible to execute the workflow using the active capability of database without users' intervention.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.2
• /
• pp.512-521
• /
• 1999

SGML, defined as the ISO 8879, is a meta-language to define a document type, used as basic format for electronic documents. Since an SGML document is composed of a document type definition and a document instance conforms to the definition, it is necessary for SGML document authoring tools to compose and validate document type and document instance. In present, formal models and procedures for SGML documents are not defined, it's not easy to construct such tools. We propose a model of SGML authoring tool consists of SGML parser, document type definition editor, SGML document editor and style editor. We also introduce and implement formal procedure for each component. For user convenience, we adopted icon based visual programming method, and solved the HANGUL problems. The SGML authoring tool is implemented I Windows NT system using java and C++ programming language.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2015.05a
• /
• pp.627-627
• /
• 2015

기존 물관련 시스템들은 독자적인 DB 구조를 가지고 있고 검색 서비스는 자체 시스템의 DB를 직접 접근하여 사용자에게 결과를 제시하는 형식이다. 이러한 서비스의 단점은 사용자가 개별 시스템의 서비스에 대한 지식이 없으면 접근하기 어렵다는 점이다. 개별 시스템의 개별 서비스의 개념을 벗어나기 위하여 물관련 시스템에 있는 하천공간자료 검색 정보를 카탈로그 서버에 등록하고, 카탈로그 서버에 등록된 검색정보를 사용자가 검색하는 방식을 적용하고자 한다. 카탈로그 서버에 자료에 대한 정보를 등록할 때 자료의 정보를 어떻게 기술할 것인가의 문제가 발생한다. 개별 서버마다 등록하게 된다면 용어 및 문화에 의한 차이로 같은 개념을 다른 용어로 등록하게 되는 혼란이 발생할 소지가 있다. 예를 들어 강우자료에 대하여 "강우", "Precipitation", "Railfall", "비" 등으로 등록할 소지가 있다. 이러면 실제 자료가 존재하는 데도 등록 방법에 따라 자료의 검색이 어려워진다. 이러한 상황을 제어하기 위하여 검사어휘(Controlled Vocabulary)를 도입한다. 이는 포털의 운영자가 미리 용어의 개념과 용어의 분류체계를 설정하고 등록 자료의 검색어를 미리 설정하여 자료의 원천 소유자가 자료를 등록 시 검사어휘를 참고하여 등록하거나 또는 등록되지 않는 용어의 자료인 경우 이 용어를 포탈에 신규로 등록한다. 검색용어의 난립을 피하기 위하여 사용자의 신규등록은 포탈의 운영자가 어느 정도 제어할 필요가 있다. 검사어휘의 정립과 하천 관련된 분류체계는 하천공간정보 검색의 포탈을 위한 필수사항이다. 검사어휘의 정립의 주된 목적은 이질성의 극복이다. 이질성의 종류는 문법적 이질성, 데이터 형식과 구조 및 문맥적 이질성이 있다. 이 중에서 문맥적 이질성이 가장 넓고 어려운 문제이다. 단위는 분야마다 호칭이 다르고 채택하는 기준마다 다르다. 유사어는 전문용어라도 분야마다 다르다. 우리나라에서 서비스 인코딩시 국어와 영어를 어떻게 처리할 지에 대한 대책도 필요하다. 수문학의 시계열 자료를 다루는 CUAHSI/HIS의 온톨로지는 대 개념으로 물리학적, 화학적 및 생물학적인 분야로 분류하고 있다. 하천공간정보의 온톨로지 구축을 위해 데이터 분석 및 분류, 온톨로지 요소 설정, 온톨로지 데이터 테이블 작성, 클래스 생성 및 계층화, 클래스 계층화에 따른 속성 설정, 클래스에 적합한 개체 삽입, 논리 관계 확인 및 수정과 같은 과정으로 온톨로지 개발을 진행하고자 한다.

• Nuclear Engineering and Technology
• /
• v.27 no.4
• /
• pp.571-581
• /
• 1995

The generation, verification and validation of Emergency Procedures for Nuclear Power Plant is a difficult and complex process. Atomic Energy Control Board(AECB) requires that emergency procedure and plan be produced before obtaining the Operating License, that is, detailed plans and procedures to handle emergency situations for both on-site actions and off-site actions be developed. In this report Emergency Operating Procedures Standard for Canadian Nuclear Utilities which makes reference to U. S. practices and the current direction of emergency procedures for CAN-DU reactors are reviewed and compared based on scope(events covered), methodology (event-oriented or symptom-oriented or hybrid) and format(method of presentation) preponderantly, and an attempt is made to integrate these procedures and as a result the recommended strategy for Wolsong unit 2, 3, & 4 is presented as event-specific procedures, generic procedures(when event is not diagnosed) and whose format is combination of logic diagram and text.

• Journal for History of Mathematics
• /
• v.24 no.4
• /
• pp.45-59
• /
• 2011

Constructionists believe that mathematical knowledge is obtained by a series of purely mental constructions, with all mathematical objects existing only in the mind of the mathematician. But constructivism runs the risk of rejecting the classical laws of logic, especially the principle of bivalence and L. E. M.(Law of the Excluded Middle). This philosophy of mathematics also does not take into account the external world, and when it is taken to extremes it can mean that there is no possibility of communication from one mind to another. Two constructionists, Brouwer and Dummett, are common in rejecting the L. E. M. as a basic law of logic. As indicated by Dummett, those who first realized that rejecting realism entailed rejecting classical logic were the intuitionists of the school of Brouwer. However for Dummett, the debate between realists and antirealists is in fact a debate about semantics - about how language gets its meaning. This difference of initial viewpoints between the two constructionists makes Brouwer the intuitionist and Dummettthe the semantic anti-realist. This paper is confined to show that Dummett's proposal in favor of intuitionism differs from that of Brouwer. Brouwer's intuitionism maintained that the meaning of a mathematical sentence is essentially private and incommunicable. In contrast, Dummett's semantic anti-realism argument stresses the public and communicable character of the meaning of mathematical sentences.