• Korean Journal of Logic
• /
• v.22 no.1
• /
• pp.87-124
• /
• 2019

A dialetheic approach to the sorites paradox is to understand a borderline case as a true contradiction. In order to accommodate this approach, the possibility of an alternative that does not involve a contradiction should be considered first. Beall presents an alternative that has all virtues of dialetheic solution without contradiction. I do not think his alternative has no contradiction. Using the inclosure schema I will show it. Furthermore, I will show that all alternatives which do not accept the existence of cut-off point imply a contradiction. This means that we have to accept a true contradiction as long as we accept the intuition of vagueness, especially, what is called 'tolerance'.

• International journal of advanced smart convergence
• /
• v.8 no.1
• /
• pp.126-132
• /
• 2019

Creative thinking appears even before it is expressed in language, and its existence is revealed through emotion, intuition, image and body feeling before logic or linguistics rules work. In this study, Lego is intended to present experimental child interactive content that is applied with a computer vision based on image processing techniques. In the case of infants, the main purpose of this content is the development of hand muscles and the ability to implement imagination. The purpose of the analysis algorithm of the OpenCV library and the image processing using the 'VVVV' that is implemented as a 'Node' in the midst of perceptual changes in image processing technology that are representative of object recognition, and the objective is to use a webcam to film, recognize, derive results that match the analysis and produce interactive content that is completed by the user participating. Research shows what Lego children have made, and children can create things themselves and develop creativity. Furthermore, we expect to be able to infer a diverse and individualistic person's thinking based on more data.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.05a
• /
• pp.1142-1149
• /
• 2003

Various organizational factors effect successful implementation of IT enabled business transformation. Among them, the most critical success factor is deemed to overcoming change management problem. Lots of studies have been made on Implementation methodologies and business process formalizations to encourage organizational members to accept new business process changes. However, the logic or process redesign still depends on qualitative problem solving techniques mostly depending on basically human intuition such as brainstorming. cause-and-effect analysis. and so on. In this paper, we focused on developing analytic framework to design to-be business process structure. which can complement qualitative problem solving procedures. With effective use of IT as an enabler, we provide algorithmic framework applicable to designing various business process changes such as process automation, business process resequencing, and more radical process integration. The framework follows dynamic programming approach in the literature, which is based on the decision making paradigm of organizations to abstract business processes as quantitative decision models. As such, our research ran fill the gap of limited development of theory based analytic methodologies for business process design, by providing objective rationale to reach the consensus among the organizational members including senior management.

• Management Science and Financial Engineering
• /
• v.9 no.2
• /
• pp.21-45
• /
• 2003

Various organizational factors effect successful implementation of IT enabled business transformation. Among them, the most critical success factor is deemed to overcoming change management problem. Lots of studies have been made on implementation methodologies and business process formalizations to encourage organizational members to accept new business process changes. However, the logic of process redesign still depends on qualitative problem solving techniques mostly depending on basically human intuition such as brainstorming, cause-and-effect analysis, and so on. In this paper, we develop algorithmic procedure applicable to designing various business process changes such as process automation, business process resequencing, and more radical process integration. The framework is employed from dynamic programming approach in the literature, which is based on the decision making paradigm of organizations to abstract business processes as quantitative decision models. As such, our research can fill the gap of limited development of theory based analytic methodologies for business process design, by providing objective rationale to reach the consensus among the organizational members including senior management.

• Proceedings of the KIEE Conference
• /
• 1997.07b
• /
• pp.539-541
• /
• 1997

Fuzzy controller design consists of intuition, and any other information about how to control system, into a set of rules. These rules can then be applied to the system. If the rules adequately control the system, the design work is done well. If the rules are inadequate, the designer must modify the rules. Through this procedure, the system can be controlled. In this paper, we design fuzzy controller composed of two parts, one is balancing controller, the other is angle controller.

• Research in Mathematical Education
• /
• v.9 no.4 s.24
• /
• pp.329-333
• /
• 2005

Based on author's practice of instructing Chinese gifted students to join the Chinese Mathematics Olympic (CMO), the paper adopted test analysis model of the Scholastic Aptitude Test of Mathematics (SAT-M), tested mathematics ability of 212 mathematical gifted students to join the CMO, applied correlation analysis and factor analysis and proposed the mathematics ability structure in Chinese gifted students including comprehensive operation ability, logic thinking ability, abstract generalization ability, spatial imagination ability, memory ability, transfer ability and intuition thinking ability. And it analyzed the expression form of these abilities respectively and gave some suggestion on mathematics teaching about gifted Chinese students.

• The Mathematical Education
• /
• v.37 no.1
• /
• pp.55-72
• /
• 1998

We prove many statements in middle and high school mathematics, so it is necessary to have some method for understanding the modes of proof. But it is hard to discuss about the modes of proof without knowing logics. Venn-diagrams can be used in a great variety of situations, and it is useful to the students unfamiliar with logical procedure. Since knowing a mode of proof that could be used may still not guarantee success of proof, it is also necessary to illustrate many cases of proof strategies. To achieve the above reguirements, (1)Even though intuition, the modes of proof used in middle school mathematics should be understood by using venn-diagrams and the students can use the right proof in the right statement. (2)We must illustrate many kinds of proof so that the students can get the proof stratigies from these illustrations. (3)If possible, logic should be treated in middle school mathematics for students to understand the system of proof correctly.

• Journal for History of Mathematics
• /
• v.31 no.6
• /
• pp.291-313
• /
• 2018

This study aims to analyze Pardies' ${\ll}$Elements of geometry${\gg}$. This book is very interesting from the perspectives of mathematical history as well as of mathematical education. Because it was used for teaching Kangxi emperor geometry in the Qing Dynasty in China instead of Euclid's which was considered as too difficult to study geometry. It is expected that this book suggests historical and educational implications because it appeared in the context of instruction of geometry in the seventeenth century of mathematical history. This study includes the analyses on the contents of Pardies' ${\ll}$Elements of geometry${\gg}$, the author's advice for geometry learning, several geometrical features, and some features from the view of elementary school mathematics, of which the latter two contain the comparisons with other authors' as well as school mathematics. Moreover, some didactical implications were induced based on the results of the study.

• Journal of Educational Research in Mathematics
• /
• v.13 no.3
• /
• pp.351-364
• /
• 2003

by A.C. Clairaut is the first geometry textbook based on the historico-genetic principle against the logico-deduction method of Euclid's This paper aims to recognize Clairaut's historico-genetic principle by inquiring into this book and to search for its applications to school mathematics. For this purpose, we induce the following five characteristics that result from his principle and give some suggestions for school geometry in relation to these characteristics respectively : 1. The appearance of geometry is due to the necessity. 2. He approaches to the geometry through solving real-world problems.- the application of mathematics 3. He adopts natural methods for beginners.-the harmony of intuition and logic 4. He makes beginners to grasp the principles. 5. The activity principle is embodied. In addition, we analyze the two useful propositions that may prove these characteristics properly.

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

I will propose the radical indeterminacy for solving the higher-order vagueness' dilemma. The radical indeterminacy means that the indeterminacy of 'a is P' implies the indeterminacy of 'a is a borderline case of P.' I will compose my argument two steps: first I will suggest conditions for overcoming the dilemma by analyzing its structure and second I will offer the radical indeterminacy that satisfies aforementioned conditions. I think the higher-order vagueness' dilemma occurs owing to the misunderstanding about the unclarity or the indeterminacy of borderline cases that is an basic intuition of vagueness. So conditions for solving the dilemma are also criteria of adequacy on the theory of vagueness. Thus I will propose II-rule that satisfies above conditions and the radical indeterminacy as a new understanding about vagueness.