• Korean Journal of Logic
• /
• v.21 no.2
• /
• pp.155-174
• /
• 2018

This paper deals with Kripke-style semantics, which will be called algebraic Kripke-style semantics, for weakly associative fuzzy logics. First, we recall algebraic semantics for weakly associative logics. W next introduce algebraic Kripke-style semantics, and also connect them with algebraic semantics.

• Korean Journal of Logic
• /
• v.22 no.1
• /
• pp.25-42
• /
• 2019

This paper deals with Kripke-style semantics, which will be called set-theoretic Kripke-style semantics, for weakly associative substructural fuzzy logics. We first recall three weakly associative substructural fuzzy logic systems and then introduce their corresponding Kripke-style semantics. Next, we provide set-theoretic completeness results for them.

• Journal of The Korean Association For Science Education
• /
• v.24 no.5
• /
• pp.977-986
• /
• 2004

The purpose of this study was to investigate the general transfer effects of Thinking Science program on the problem solving with compensational reasoning of the elementary school students. For this study, 156 5th grade and 138 6th grade students were selected from four elementary schools. The students were tested with SRT(Science Reasoning Task) and compensational reasoning task. Statistically significant gains on the development of compensational reasoning were shown by the experimental group implemented with Thinking Science activities compared to the group implemented with compensation activity only. The achievement of the experimental group was higher than that of the compensation activity group in solving problem with compensational reasoning, specially for the boys and students in both the mature concrete and the concrete generalization stage. The results of this study implied that implementation of Thinking Science program related to several formal reasoning were effective for the development of reasoning ability as a general-transfer.

• Journal of Science Education
• /
• v.35 no.1
• /
• pp.68-79
• /
• 2011

The purpose of this study was to investigate the recognition of middle school students on 'Thinking Science' activities and the influence on the understanding of the gas particles behavior concepts. For this study 125 students of four classes first grade in middle school were divided into two groups, the experimental and the control group. The SRT II test was carried out to identify the cognitive level of the students. The logical factors, needed to understand of the gas particles behavior concepts, were extracted. And the 9 'Thinking Science' activities designed to develop these factors were chosen and then implemented to the students of the experimental group. After the lesson for the gas particles behaviors, the achievement test of understanding of the gas particles behavior concepts and the survey of the students' recognition on 'Thinking Science' activities were administered. According to the results of the achievement test, there was not significant difference between the two groups on the whole. But only mature concrete operational students in the experimental group got high scores than those in the control group in analyzing the effect size. According to the results of the ANCOVA analysis, there was significant difference between the two girls' group. When students in the experimental group had a positive perceptions about 'Thinking Science' activities, they got higher achievement scores. This implied that there was a correlation between perception about 'Thinking Science' activities and their achievement in the gas particles behavior concepts. Especially, students with positive perception in mature concrete operational period got higher scores in science achievement. After the 'Thinking Science' activities, there was a high perceptions about improving in scientific thinking.

• Korean Journal of Logic
• /
• v.4
• /
• pp.23-36
• /
• 2000

이 논문은 일상적인 직설 조건문에 대한 새로운 이해를 제시함으로써 반 맥기가 전건 긍정법에 대한 반례라고 주장하는 예들에 대한 체계적인 이해방식을 제시하고 이것들이 전건 긍정법의 반례가 아니라는 것을 보인다. 직설 조건문에 대한 새로운 이해란 그것이 전건인 경우 후건의 조건적 확률이 높다는 것을 주장하는 문장이며 따라서 이 조건적 확률이 높은 경우 참이 되는 문장으로 봄으로써 직설 조건문이 그 논리적 형식에 있어서 조건문이 아니라는 것이다. 또한, 이렇게 이해되었을 때 반 맥기가 염두에 두고 있던 직설 조건문의 세 가지 특징이 역시 설명될 수 있다는 것을 보임으로써, 이 새로운 이해방식이 타당함을 보인다.

• Korean Journal of Logic
• /
• v.7 no.1
• /
• pp.41-65
• /
• 2004

이 글은 박병철과 이승종의 저술에 대한 박정일의 서평을 중심으로 비트겐슈타인 철학의 몇몇 문제점을 고찰하면서 다음과 같은 것을 주장한다. 첫째 비트겐슈타인 철학의 현상학적 양상을 추적하고 있는 박병철의 현상학의 개념이 명백하지 않다. 둘째 "논리철학논고"의 유아론은 경험적 유아론이 아니라 선험적 유아론이다. 셋째 "논리철학논고"의 대상은 감각자료가 아니다. 넷째 우리에게 주어진 소여는 논리적인 것이다. 다섯째 박병철은 이 논리적인 것을 경험에 근거지우는 실책을 범하고 있다. 여섯째 모순의 형식적 개념에 대한 이승종의 비판은 성공적이지 않다. 일곱째 이것은 박정일이 지적한 것처럼 허수아비 공격의 오류를 범했기 때문인 것처럼 보인다. 여덟째 모순된 규칙에 대한 이승종의 이해는 박정일이 지적하듯이 잘못되었다.

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

Gila Sher believes that Tarskian definition of logical consequence is a conceptually and extensionally adequate explanation. She has tried to show this on the basis of Mostowskian conceptions of generalized quantifiers as being invariant under isomorphic structures and her own conceptions of models. In this paper I try to show that her attempt to justify the Tarskian definition is only partially successful. I admit that her conceptions of the logical as being invariant under isomorphic structures are enough to show the logical formality of logical consequence relations. But I think that since her conceptions of meanings of terms are quite inadequate for dealing with the problem of empty predicates, she fails to distinguish logically necessary truths from other kinds of truths.

• Journal of Korea Entertainment Industry Association
• /
• v.15 no.7
• /
• pp.33-43
• /
• 2021

The purpose of this study is to examine the transformation and characteristics of the Verse-Chorus form. The musical form of a musical song is a structural mechanism for expression to effectively convey the dramatic situation of the characters to the audience. This study identified four types of representative forms that can be used to explore the transformation with the verse-chorus form and examined their characteristics. First is the Verse-Chorus form which repeats the description of simple situations and characters in the early stage of the musical. Second is the Verse-Bridge-Verse form which is used to evoke the atmosphere and escape boredom through a slight transformation of the bridge while explaining a simple character. Third is the Verse-Prechorus-Chorus form, which sits just before the chorus, connects the verse and the chorus, and promotes the emotional rise of the characters by smoothing the drama and the harmonic progression. Lastly, this study examined the expanded Verse-BG dialogue-Chorus form used to represent the situation in which conflicts about the complex feelings of the characters and the decisions about them coexist. As such, musical songs use various types of verse-chorus forms. Through the formality and transformation of the verse-chorus, the logic of the music and the logic of the drama are balanced so that the development of the music and the drama does not enter the state of imbalance. Based on this study, further progressive research can take place on the correlation between musical form and dramatic structure, beyond the transformation of musical song form.

• Annual Conference of KIPS
• /
• 2003.05c
• /
• pp.1615-1618
• /
• 2003

최근 생물정보학 분야에서는 이질적인 데이터 형식으로 제공되는 모티프 자원들을 하나의 자원으로 통합하고자 하는 많은 연구가 진행되고 있다. 이러한 통합을 위해 웹 기반 cross-reference를 이용한 논리적 통합이 주로 사용되어져 왔고, 이러한 이질적인 데이터의 상호교환을 위한 표준 형식으로 XML을 정의하여 이응하기 시작하였다. 피러나 이러한 웹 기반 cross-reference를 이용한 논리적 통합은 복잡한 질의 처리 문제, 중복된 데이터베이스 핸들링 문제 등을 지니고 있다. 따라서 이 논문에서는 이러한 문제점들을 개선하기 위해 물리적으로 모티프 자원들을 하나의 통할 데이터베이스로 구축하였고, 통합된 모티프 자원의 표준적 상호 교환을 위해 XML 생성기를 구현하였다.

• Journal of the Korean Society for information Management
• /
• v.12 no.2
• /
• pp.85-101
• /
• 1995

Conventional indexing sytstems support only full-text indexing method for electronic documents and do not use logical structure of documents in retrieval. Most electronic documents are in different formats depending on various systems. Also, they only indicate physical style of the document without considering any logical structure. Thus, in the effort to standardize the exchange of documents. IS0 developed SGML(Stadard Generalized Markup Language) which contains information about logical structure of the documents. In this paper, to resolve the disadvantages of full-text indexing method and to use standard document format. indexing system for SGML document is designed and implemented. In this system, user can assign indexing domain on elements, thus the logical structure of document is reflected in retrieving information. Various retrieval methods can be implemented by using the structural information of the document. In addition, automatic indexing for SGML Hangul document is supported in this system