• Korean Journal of Logic
• /
• v.5 no.2
• /
• pp.1-21
• /
• 2002

A semantics for logical necessity, based on Carnap's criterion of adequacy, is given with respect to the ontology of logical atomism. A calculus for sentential (propositional) modal logic is described and shown to be complete with respect to this semantics. The semantics is then modified in terms of a restricted notion of 'all possible worlds' in the interpretation of necessity and shown to yield a completeness theorem for the modal logic S5. Such a restricted notion introduces material content into the meaning of necessity so that, in addition to atomic facts, there are "modal facts" that distinguish one world from another.

• (The)Study of the Eastern Classic
• /
• no.35
• /
• pp.275-295
• /
• 2009

The aim of this paper is to reject Graham's interpretation of bi (必) and xianzhi (先知) of Later Mohists' Mojing ("墨經") as logical necessity and a priori knowledge respectively. Graham's interpretations of them are based on his beliefs that Mojing distinguishes lun (論), the art of description from bian (辯), the art of inference in the Mohist disciplines and that the latter art should be seen as such a rigorous proof as Euclidean geometry even though it is not a Western formal logic. His beliefs also start from his distinguishing 'knowledge of names' from 'knowledge of conjunction of names and objects' according to the objects of knowledge. In my reading, the art of description and the art of inference, however, can't be sharply distinguished each other in Mojing and bi and xianzhi should be taken as suggesting both a normative necessity and an empirical necessity. A normative necessity is derived from 'normative theory of definition' which comes form the theory of rectification of names in China. The normative theory of definition, unlike the descriptive theory of definition, defines terms normatively rather than descriptively. For example, although such a definition of father, 'father is beneficient', has the form of being descriptive, but it actually is prescriptive and therefore means 'father should be beneficient'. Through this normative theory of definition, empirical knowledge, as long as it is a knowledge, is seen as necessary and so can't be wrong. To conclude, for Mohists an empirical knowledge is always a basis of an inferential knowledge or a priori knowledge, so Mohists' a priori knowledge is not really a fundamental knowledge and its necessity therefore is nothing but both a normative necessity and an empirical necessity.

• Journal of KIISE:Software and Applications
• /
• v.36 no.6
• /
• pp.498-507
• /
• 2009

There has been insufficient studies on the effect of programming language learning on logical thinking ability. Each study result on the improvement degree and items of logical thinking ability is different according to the object of the study, its method, and the learning subject, which makes the generalization process difficult. Moreover, the necessity of programming language learning seems not proved, because it is not apparent whether the improvement of logical thinking ability is due to the advancement of knowledge or programming language learning. In this study, we instructed educational programming languages to elementary students in 6th grade for 7 hours, investigated its effect on logical-thinking ability by the meta-cognition level, and compared the result with that of computer skill learning. As a result, for Dolittle, LOGO, and Powerpoint learning groups, the logical-thinking ability of high meta-cognition level students has increased with significance, but that of low meta-cognition level students has significantly increased for Dolittle and LOGO groups only. However, regardless of meta-cognition levels, there was no significant difference of logical-thinking ability between all three groups.

• Language and Information
• /
• v.9 no.2
• /
• pp.1-22
• /
• 2005

In this paper I propose the semantics of two modality markers in Korean, keyss and (u)1 kes. I compare the two modality markers with respect to some properties. First, keyss is used to express logical necessity while (u)1 kes can be used to express a simple prediction as well. Second, keyss expresses some logical conclusion from the speaker's own information state without claiming it is true. On the other hand, (u)1 kes expresses the claim that the speaker's prediction will be true. Third, the prediction of keyss is non-monotonic: it can be reversed without being inconsistent. However, that of (u)1 kes cannot. Fourth, (u)1 kes can be used freely in epistemic conditionals, but keyss cannot. Finally, when keyss is used, the prediction cannot be repeated. The prediction from the use of (u)1 kes can be repeated. To account for these differences, I propose that keyss is used when the speaker makes a purely logical presumption based on his/her own information state, and that (u)1 kes is used to make a prediction which is asserted to be true. This proposal accounts for all the differences of the two modality markers.

• Research in Mathematical Education
• /
• v.12 no.4
• /
• pp.259-270
• /
• 2008

The change of the developed countries to highly technological societies continuously requires that they nurture and use the full potential of mathematically and scientifically talented people. As this is a process that should start early in order to be efficient, the main responsibility of identifying and addressing the specific needs of these people is assigned to public school systems and, in particular, to elementary teachers. In this regard, three significant areas of concern arise and are discussed in this paper: (a) The complexity in identifying mathematically promising and mathematically talented elementary students; (b) The highly responsible and difficult task for elementary teachers to differentiate and serve the mathematically promising students within an inclusive classroom; and (c) The need of teachers with specialized training and mathematics knowledge in pre-high school grades. The last one should be considered predominantly as a logical consequence of the first two. The main goal and, hence, the purpose of the paper is to promote understanding of this crucial necessity of mathematics specialists and to advocate for a change in this direction.

• Journal of the Korean Society of Safety
• /
• v.31 no.4
• /
• pp.120-125
• /
• 2016

Usually, a risk can be expressed as a product of likelihood and consequence of a hazard factor. Therefore, conventional risk assessment is carried out by frequency analysis and severity analysis, in turns. However, it is well known that intuitive thinking is another excellent way of thinking of human beings. This study aimed to confirm whether there exist any difference in risk assessment results derived by two different procedures - intuitive and analytical. Thus, the present study showed 10 different illustrations to 30 undergraduate students. Their responses were organized as fuzzy membership functions, and summarized as risk assessments, and compared. The results were also verified with the help of statistical hypothesis testing, which showed no significant difference. On the contrary, however, similarity measure used in fuzzy set theory was not credible as anticipated. Many cases failed to satisfy statistical hypothesis even with similarity measure higher than 0.60 so that only a trend could be accepted. In addition, a subject showed a somewhat consistent logical discrepancy in his response, which implied the necessity of sincere analysis in fuzzy formulations.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.13 no.2
• /
• pp.258-267
• /
• 2010

The necessity of the new system development arises in both defence and commercial systems industry either when a breakthrough in technology needs to be realized in the form of a brand-new system or when the existing product already in operation needs to be upgraded to satisfy the increasing stakeholder's requirements. In the latter case, it is not rare that specific system technical specifications on the existing products are not available. The purpose of this study is to investigate how to handle the difficulty when an upgraded system is required to be developed based on the existing product whose detailed technical specifications cannot be obtained. A step-by-step process is described based on the reverse engineering of the existing product. As a result, a logical system model is obtained for the product. The process developed is further enhanced and evaluated by the computer-aided system engineering tool. The resulting logical system model should be helpful in the next phase of the new product development.

• Archives of design research
• /
• v.21
• /
• pp.77-86
• /
• 1997

Modern society has created the age of mass media image. Advertising media strongly stimulate and influence the image contact and the frequency of receivers by visual communication media in everyday life. Until today no consciousness concerning the necessity of typographic visual image and it's selection for newspaper advertising has been developed. The necessity of headline typography visual image in newspaper advertising and it's selection should be considered a problem that must be solved by a more reasonable and logical approach, like it is done in the case of advertising copy, in order to increase the efficiency of advertising for the consumer.

• Journal of Elementary Mathematics Education in Korea
• /
• v.14 no.1
• /
• pp.65-80
• /
• 2010

The aims of our study are to investigate the nature of mathematical reasoning and the teaching of mathematical reasoning in school mathematics. We analysed the process of shaping deduction in ancient Greek based on Netz's study, and discussed on the comparison between his study and Freudenthal's local organization. The result of our analysis shows that mathematical reasoning in elementary school has to be based on children's natural language and their intuitions, and then the mathematical necessity has to be formed. And we discussed on the sequences and implications of teaching of the sum of interior angles of polygon composed the discovery by induction, justification by intuition and logical reasoning, and generalization toward polygons.

• Journal of The Korean Association of Information Education
• /
• v.16 no.4
• /
• pp.463-474
• /
• 2012

The necessity of computer science education has been increased in the society which has been changing rapidly by the development of information science. But most elementary school teachers don't realize its necessity and don't recognize the notion of computational thinking which is the fundamental principle of computer science. In this research, we designed and implemented an algorithm learning program based on computational thinking with using Logo, which was for pre-service elementary school teachers to be able to realize the necessity of computer science education and recognize computational thinking. As the findings analyzed between pre- and post-test, the averages of correlational reasoning, combinatorial reasoning and the sum of overall logical thinking increased significantly. Also, participants' awareness of computer science education and computational thinking changed positively.