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

Both 5.52 and 5.521 of the Tractatus Logico-Philosophicus raise several questions. In this paper I will explicate Wittgenstein's concept of generality by answering such questions. These questions and problems are closely intertwined. I will try to show what follows. It is ${\xi}$-conditions that are most decisive on the concept of generality of the Tractatus. Except Ramsey, commentators such as Anscombe, Glock, Kenny etc. failed in accurately grasping the Wittgenstein's thoughts concerning ${\xi}$-condition and their claims are not fair at all. Futhermore, from a view point of history of logic, 5.52 has very important significances. That is to say, it anticipates for the first time a possibility of infinitary logic and the concept of universe of discourse in model theory.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.21 no.2
• /
• pp.375-382
• /
• 1996

In this paper, aneffective method for computing source to terminal reliability of network by decomposition is described. A graph is modeled after a network, and decomposed into two subgraphs. A logic product term of one subgraph is computed, and a graph of the other subgraphs is made according to the event representing the logic product term, and it's logic product term is compted. By multiplying the logic product term of one subgraph by that of the other subgraphs, a method for computing the source to terminal reliability is proposed. the time complexity for computing all the logic product terms of one subgraph is the product of copies of the number of edges in the subgraph of 2, and that of the other subgraph is the number of edges multiplied by the number of logic product terms. This method requires less computation time than that not by decomposition.

• Journal of the Korean Society of Earth Science Education
• /
• v.10 no.1
• /
• pp.17-25
• /
• 2017

The purpose of this study is to investigate the impact of logical thinking when applying STEAM program for middle school students. Therefore, you're creative, framework governing the conditions and be present, creative design of the emotional experience of class under the procedures of the program from a program by previous studies. STEAM improve program is entirely logical thinking to determine that 47 2nd grade in middle school student radio sampling four weeks, six round of poetry classes. Awareness stage after the program STEAM improved but there was little change in logical thinking and appears to be effective, particularly in conservation, combined logic.(p<0.05)

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

이기종 시스템들간의 멀티미디어 문서 교환을 목적으로 제정된 국제 표준인 SGML(Standard Generalized Markup Language)이다[2]. 이 SGML 문서를 만들기 위해서는 DTD(Document Type Definition)의 생성이 이루어져야 하며, 이 DTD는 문서의 논리구조에 따라 각각 다르게 생성되기 때문에 여러 개의 데이터베이스(Database)를 구축하게 된다. 그러므로 구축하는데 비용이 증가되며 검색하는데 비효율적이다. 따라서 본 논문에서는 유사한 논리구조를 가지는 문서에 대하여 그들 각각의 DTD를 하나로 통합할 수 있는 통합 DTD 작성 알고리즘을 제안한다. 이러한 알고리즘에 따라 적용하게 되면 하나의 논리 구조를 가지는 SGML 문서의 데이터베이스만을 구축하므로 효과적인 검색 환경을 제공할 수 잇다. 이를 위해 본 논문에서는 국내 학회의 논문지에 게재된 논문을 대상으로 적용하여 통합 DTD를 생성하였고 이의 따른 효용성을 입증하였다.

• Journal of The Korean Association For Science Education
• /
• v.22 no.4
• /
• pp.696-705
• /
• 2002

The main purpose of this study is to investigate whether the correlational reasoning activities could improve middle school students' correlational reasoning abilities. The subjects were 8th grade students, and the correlational reasoning activities of the CASE(cognitive acceleration through science education) program was intervened to the experimental group(n=111) during science class while usual science instruction was given to the control group(n=55). The correlational reasoning test was administered before and after the intervention. The pre-test results showed that most of subjects performed poorly in correlation problems and no significant differences were found between the two groups. In the post-test, the experimental group showed enhanced performance while the control group did not. Therefore it can be concluded that CASE program activities help the students to improve correlational reasoning ability. However, the proportions of students gave correct response were not so high: 27% for the multiple-choice item and about 6% for the essay-type items.

• Journal of the Korean School Mathematics Society
• /
• v.16 no.4
• /
• pp.821-840
• /
• 2013

Definition of geometric figure in middle school geometry seems to mere meaning of the term which could be perceived visually through its shape. However, Much research reported the low achievements of definitions of basic geometric figures. It suggested the limitation of instrumental understanding. In this research, I guided gifted middle school students to reinvent definitions of basic geometric figure by the deductive organization of its properties as Freudenthal pointed. These students understood relationally about why some geometric figure can be defined this way and how it could be defined equally via other properties. This analysis of reinventing of definitions will be a stepping stone to reflect on the pedagogical problems in teaching geometry and to search the new alternatives.

• Korean Journal of Logic
• /
• v.4
• /
• pp.63-87
• /
• 2000

내일 눈이 올 것이다. 이 명제의 모순적 반대는 '내일 눈이 오지 않을 것이다'이다. 오늘 이 둘 중의 어느 한 명제가 참일 경우, 그 명제는 이미 오늘 참이고 그리고 그의 모순적 반대의 다른 한 명제는 오늘 이미 거짓이다. 만약 오늘 둘 중의 어느 명제가 참인지 이미 결정되어 있다면, 그러한 결정된 사태가 내일 발생되지 않을 조바심에 안달이 날 것이다. 만약, 둘 중의 어떤 한 명제가 참인지 결정되어있지 않으면, 그 역시 내일의 사태가 어떠한 결정적 태도로 주어지고 있지 않은 현재가 찝찔한 것이다. 전자를 결정론, 후자는 비결정론의 입장인데, 에피쿠어의 절충적 의견에 따르면, '눈이 온다'와 그리고 '눈이 오지 않는다'는 둘 다의 결과들이 가능하다. 그에 따르면 실제로 일어나는 것만 가능하므로, 세계의 전 과정에서 결코 일어나지 않았던 것은 언제라도 가능하지 않았다. 전자를 대표하는 디오도어는 현존하는 한 언명은 시간의 질서 안에서 가까운 훗날에나 먼 훗날에도 명제 논리적으로 결정되어있다고 주장한다. 이에 후자를 표방한 크리십은 한 언명의 결과는 그의 모든 조건들이 채워진다면 가능하고, 그의 필연적인 조건들이 결코 충족적으로 채워지지 않으면 다른 한 결과는 결코 일어나지 않는다고 주장한다. 여기서 벌어진 논쟁에서 본고는 명제의 가치를 선형적 구조의 시간에서 해석한 디오도어의 결정론에 대하여 흐트러진 시간의 구조에서 해석한 크리십의 숙명론의 논의의 대비를 보여줄 것이다.

• Korean Journal of Logic
• /
• v.12 no.2
• /
• pp.115-139
• /
• 2009

This paper investigates an extension of the uninorm (based) logic UL, which is obtained by adding (t-weakening, $W_t$) (($\phi$ & $\psi$) ${\wedge}$ t) $\rightarrow$ $\phi$ to UL introduced by Metcalfe and Montagna in [8]. First, the t-weakening uninorm logic $UL_{Wt}$ (the UL with $W_t$) is introduced. The algebraic structures corresponding to $UL_{Wt}$ is then defined, and its algebraic completeness is established. Next standard completeness (i.e. completeness on the real unit interval [0, 1]) is established for this logic by using Jenei and Montagna-style approach for proving standard completeness in [3, 6].

• Journal of the Korean Society for information Management
• /
• v.15 no.1
• /
• pp.129-148
• /
• 1998

The objective of this study is to develop a useful relevance feedback retrieval technique that can be applied to the current Boolean retrieval system. A feedback retrieval technique based on user model is recommended here to achieve this objective. To prove the usefulness of this feedback retrieval technique, two enhanced Boolean retrieval models including DNF model and P-norm model were evaluated first through retrieval effectiveness experiments. After selecting DNF model as the retrieval model, two feedback retrieval experiments were performed using initial and extended user models. It is proved that the feedback retrieval based on user model can greatly enhance the effectiveness of a Boolean retrieval system with a small modification.

• The KIPS Transactions:PartA
• /
• v.15A no.2
• /
• pp.69-74
• /
• 2008

This paper proposes a structure of low-power MOS current-mode logic circuit with sleep-transistor to reduce the leakage current. The sleep-transistor is used to high-threshold voltage transistor to minimize the leakage current. The $16\;{\times}\;16$ bit parallel multiplier is designed by the proposed circuit structure. Comparing with the conventional MOS current-model logic circuit, the circuit achieves the reduction of the power consumption in sleep mode by 1/50. This circuit is designed with Samsung $0.35\;{\mu}m$ CMOS process. The validity and effectiveness are verified through the HSPICE simulation.