• 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.

• Journal of Korean Home Economics Education Association
• /
• v.27 no.1
• /
• pp.51-65
• /
• 2015

The purpose of the study was to describe the operating status of "Logic and Writing in Home Economics Education(HEE)" course and the students' perception about the course. For this study, the syllabuses of "Logic and Writing" course in HE education department were reviewed. The survey method was used in this descriptive study. Respondents in this study were 116 students taking the "Logic and Writing in Home Economics Education" course. Questionnaires from the students were collected through on-line and off-line mail. The results of the study were as the follows: First, goals of the "Logic and Writing in HE Education" course were as the follows in order: to enhance writing skill about various subjects related to Home Economics; to foster HE teachers' professionalism through persuasive power logically; to foster writing skill logically; to prepare HE teacher recruitment exam; and to foster teaching skills to enhance students' writing. The student evaluation methods in the course were mainly attendance, examination, tasks, discussion and presentation, and class participation. Second, degree of satisfaction of students taking the course was higher than average. The student respondents perceived that the course was helpful to improve their logical thinking and critical analytical skill, writing skill related to HE education and education, ability to express one's opinion clearly and exactly, understanding of the fundamental concept of logic and the structure and method of the essay, comprehensive understanding of HE education, and ability to solve the problems specifically. However, they responded that it was difficult to practice writing, to discuss and debate frequently, to follow uncertain assessment criteria, and to present frequently. They wanted the instructor to give the feedback more frequently.

• (The)Study of the Eastern Classic
• /
• no.68
• /
• pp.35-67
• /
• 2017

This paper examines the petition to the king of Doam(陶菴) Leejae(李縡), one of the key figures of 18th century. He wrote a total of 49 he petition to the king, mostly resignation petition to the king. He emphasized the genuine feelings and emphasized the accurate persuasion logic when he was writing a petition to the king. It is not contradictory to these elements, looking at his actual situation he wrote. He wrote the resignation petition to the king three times to resign Daejehak (大提學), he changed his persuasion logic in each of the resignation petition to the king. We can look at the aspect of transforming persuasion logic on the same topic. His resignation petition to the king, for the first time, was particularly well structured in terms of composition, and used a proper accent method. His resignation petition to the king has the beautiful literary art of gomun(古文), such as the expression of the so-called munjongjasoon(文從字順) and the composition of paragraph organically corresponding. The best work of his resignation petition to the king is Maneonso(萬言疏). The contents criticized Yeongjo(英祖)'s tangpyeongchaek(蕩平策) while evaluating Sinimoksa(辛壬獄事). It consists of a total of 5,300 letters. This work repeatedly used the irony, the method of seolui(設疑), and the incremental method to criticize the tangpyeongchaek(蕩平策), and put Yeongjo(英祖)'s position to the corner. This work is an example of other the resignation petition to the king.

• The Journal of Korean Association of Computer Education
• /
• v.11 no.1
• /
• pp.23-32
• /
• 2008

In this paper, we have investigated the education effect of a web-based virtual laboratory for digital logic circuits which consists of multimedia contents about the usages of equipments for logic circuit experiments and the experimental logic circuits. In case of the engineering experiment of the lower grades in universities, preunderstanding about the usages of experimental equipments and the experimental circuits is necessary for the learners to conduct the experiments well. But it is impossible for the learners to have access to the real experimental equipments earlier due to the lack of equipments and the difficulty in management of the equipments. We have implemented the digital logic circuit virtual laboratory which provides the same experimental environment as a real experimental lab, and the learner can conduct the same experiments as the real ones before the real laboratory class. The learners using the laboratory have reduced the experiment completion time by the average of about 8.2% during a term, compared with the learners not using the lab.

• Journal of The Korean Association of Information Education
• /
• v.24 no.4
• /
• pp.379-390
• /
• 2020

Recently, interest in online teaching·learning and evaluation tools has increased in the context of Covid-19. In order to use tools effectively, it is necessary to identify the structural influence and causal relationship between the learner's affective and cognitive variables. In this study, to identify a causal relationship between motivation and thinking while using online judge, research and competing model were established and model fit/path analysis were performed. It was found that there was a linear causal relationship from tool usage, self-efficacy, flow, logical thinking, to computational thinking. It was confirmed that 'self-efficacy → flow', or 'flow' had mediating effect on the path from tool usage to thinking, and tool usage was not exerted to thinking through 'flow → self-efficacy'. The causality of 'logical thinking → computational thinking' was identified on the path where tool usage affects thinking ability through learning motivation, but the causality of 'computational thinking → logical thinking' was not identified.

• 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

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.40 no.3
• /
• pp.144-154
• /
• 2003

In this paper we present Logical Evolution method which is a new teaming algorithm for the concepts expressed as binary logic function. We try to solve some problems of Inductive Learning algorithms through Logical Evolution. First, to be less affected from limited prior knowledge, it generates features using the gained informations during learning process and learns the concepts with these features. Second, the teaming is done using not the whole example set but the individual example, so even if new problem or new input-output variables are given, it can use the previously generated features. In some cases these old features can make the teaming process more efficient. Logical Evolution method consists of 5 operations which are selected and performed by the logical evaluation procedure for feature generation and learning process. To evaluate the performance of the present algorithm, we make experiments on MONK data set and a newly defined problem.

• Journal of Engineering Education Research
• /
• v.6 no.1
• /
• pp.5-14
• /
• 2003

This paper presents a simplified web-based simulator for digital logic circuits with which several important principles related to digital logic circuits can be understood and confirmed. The proposed simulator is implemented to have several simplified functions which are essential to the learning process of digital logic circuits. The learners by themselves simulate several digital logic circuits on the web under specific input conditions and the design/analysis of digital logic circuits can be available. The proposed simulator, combined with multimedia contents, can be used as an auxiliary educational tool and enhance the improved learning efficiency. The results of this paper can be widely used to improve the efficiency of web-based educations in the cyber space. Several simulation results are illustrated as examples to show the validity of the proposed web-based simulator.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.26 no.5
• /
• pp.682-687
• /
• 2022

In this paper, the research results on monolithic three-dimensional integrated-circuit (M3DICs) stacked with tunneling field effect transistors (TFETs) are introduced. Unlike metal-oxide-semiconductor field-effect transistors (MOSFETs), TFETs are designed differently from the layout of symmetrical MOSFETs because the source and drain of TFET are asymmetrical. Various monolithic 3D inverter (M3D-INV) structures and layouts are possible due to the asymmetric structure, and among them, a simple inverter structure with the minimum metal layer is proposed. Using the proposed M3D-INV, this M3D logic gates such as NAND and NOR gates by sequentially stacking TFETs are proposed, respectively. The simulation results of voltage transfer characteristics of the proposed M3D logic gates are investigated using mixed-mode simulator of technology computer aided design (TCAD), and the operation of each logic circuit is verified. The cell area for each M3D logic gate is reduced by about 50% compared to one for the two-dimensional planar logic gates.

• Journal of IKEEE
• /
• v.6 no.1 s.10
• /
• pp.30-39
• /
• 2002

In this paper, we proposed a new circuit construction method that reduces the number of circuit devices of fuzzy controller. Sasaki had defined a new operator to eliminate the divide circuit comparing with the center of gravity method which often using to design the fuzzy controller. In this paper we obtained the more compacted fuzzy controller's circuit by using the proposed definition of fuzzification and defuzzification than using the Sasaki's method and the fuzzification and defuzzification are reverse operation each other. Using these definitions we exhibit the new design method and circuit structure that can eliminate the bounded product(BP) circuit included in Sasaki's circuit. Using the proposed method to level controlling of the water tank, we verified the fuzzy controller's performance by using existent method and proposed method. As a result that are calculated by using the Proposed fuzzy controller to level controlling of the water tank, total numbers of blocks and devices were decreased. If the number of variables and antecedents are Be11ing larger, this method is more efficient.