• Journal of The Korean Association For Science Education
• /
• v.32 no.3
• /
• pp.486-501
• /
• 2012

The aims of this study are to investigate two main problems for the hypothetico-deduction method and to develop a scientific inquiry model to resolve these problems. The structure of this scientific inquiry model consists of accounts of the context of discovery and justification that the hypothetico-deduction holds as two main problems : 1) the heuristic flaw in the hypothetico-deduction method is that there is no limit to creating hypotheses to explain natural phenomena; 2) Logically, this brings into question affirming the consequent and modus tollens. The features of the model are as follows: first, the generation of hypotheses using an analogical abduction and the selection of hypotheses using consilience and simplicity; second, the expansion phase as resolution for the fallacy of affirming the consequent and the recycle phase as resolution for modus tollens involving auxiliary hypotheses. Finally, we examine the establishment process of Copernicus's Heliocentric Hypothesis and the main role of the history of science for the historical invalidity of this scientific inquiry model based on three examples of If/and/then type of explanation testing suggested by Lawson (International journal of science and Mathematics Education, 2005a, 3(1): 1-5) We claim that this hypotheticho-deduction process involving abduction approach produced favorable in scientific literacy rising for science teacher as well as students.

• Korean Journal of Logic
• /
• v.21 no.1
• /
• pp.59-96
• /
• 2018

${\bot}$It is often said that in a purely formal perspective, intuitionistic logic has no obvious advantage to deal with the liar-type paradoxes. In this paper, we will argue that the standard intuitionistic natural deduction systems are vulnerable to the liar-type paradoxes in the sense that the acceptance of the liar-type sentences results in inference to absurdity (${\perp}$). The result shows that the restriction of the Double Negation Elimination (DNE) fails to block the inference to ${\perp}$. It is, however, not the problem of the intuitionistic approaches to the liar-type paradoxes but the lack of expressive power of the standard intuitionistic natural deduction system. We introduce a meta-level negation, ⊬$_s$, for a given system S and a meta-level absurdity, ⋏, to the intuitionistic system. We shall show that in the system, the inference to ${\perp}$ is not given without the assumption that the system is complete. Moreover, we consider the Double Meta-Level Negation Elimination rules (DMNE) which implicitly assume the completeness of the system. Then, the restriction of DMNE can rule out the inference to ${\perp}$.

• Journal for History of Mathematics
• /
• v.23 no.3
• /
• pp.45-56
• /
• 2010

Sequent Calculus is a symmetrical version of the Natural Deduction which Gentzen restructured in 1934, where he presents 'Hauptsatz'. In this thesis, we will examine why the Cut-Elimination Theorem has such an important status in Proof Theory despite of the efficiency of the Cut Rule. Subsequently, the dynamic side of Curry-Howard correspondence which interprets the system of Natural Deduction as 'Simply typed $\lambda$-calculus', so to speak the correspondence of Cut-Elimination and $\beta$-reduction in $\lambda$-calculus, will also be studied. The importance of this correspondence lies in matching the world of program and the world of mathematical proof. Also it guarantees the accuracy of program.

• Journal of Educational Research in Mathematics
• /
• v.12 no.2
• /
• pp.275-290
• /
• 2002

This Study takes Peirce' abduction which is Phenomenology' first reasoning mode, as a part of mathematical reasoning with deduction and induction. Abduction(retroduction, hypothesis, presumption, and originary argument) leads a case through a result and a rule, while deduction leads a result through a rule and a case and induction leads a rule through a case and a result. Polya(1954) involved generalization, specialization, and analogy within induction, but this paper contain analogy in abduction. And metaphors and metonymies are also contained in abduction, in which metaphors are contained in analogy. Metaphors and metonymies are applied to semiosis i.e. the signification of mathematical signs. Semiotic analysis for a student's problem solving showed the semiosis with metaphors and metonimies. Thus, abductions should be regarded as a mathematical reasoning, and we must utilize abductions in mathematical teaming since abductions are thought as a natural reasoning by students.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2007.04a
• /
• pp.189-192
• /
• 2007

This study proposes a Natural Language Query Framework (NLQF) on the semantic web to support the intelligent deduction at semantic level. A large number of former researches are focused on the knowledge representation on the semantic web. However, to revitalize the intelligent agent (IA)-based automated e-business contract with human customers, there is a need for semantic level approach to the web information. To enable accessing web information at semantic level, this paper discusses the pattern of complex natural language processing at first, and then the semantic web-based natural language inference in e-business environment. The NL-based approach could help the IAs on the web to communicate with customers and other IAs with more natural interface than traditional HTML-based web information. Therefore, our proposed NLQF will be used in semantic web-based intelligent e-business contracts between customers and IAs.

• Journal of the Korean Society for Railway
• /
• v.9 no.1 s.32
• /
• pp.12-17
• /
• 2006

The bridge to be analyzed is a self-anchored suspension bridge which is constructed within the country. Forced vibration test was performed with oscillator for verification of safety, maintenance and management. In this study, the feasibility of deduction was verified with the modified analysis model by comparing natural frequency, natural mode and damping ratio of the real bridge, which are obtained from the vibration test of the whole bridge after construction of 3-dimensional self-anchored cable suspension bridge, with the eigenvalue of analytic computation model and evaluating them. As a result of study, the friction of bridge bearing must be considered to get the natural frequencies of flexural vibration, and evaluating the polar moment of inertia is critical factor in analysis modeling in case of torsional vibration. The logarithmic damping ratio of the test appeared to exceed the ordinary one assumed at the design phase.

• 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 Society of Environmental Restoration Technology
• /
• v.26 no.3
• /
• pp.1-17
• /
• 2023

Korea's natural parks are managed by dividing them into four use districts: nature preservation district, natural environment district, cultural heritage district, and park village district within the park under the goal of 'conservation and sustainable use of natural parks'. However, the use districts divided in this way are designated by reflecting the results derived from the simple drawing overlapping method, and there is a limit in that objective and scientific evidence for this is insufficient. In addition, in Taeanhaean National Park, the case of this study, only a very small area of less than 1% of the nature preservation district is designated, and the natural environment district that serves as a buffer space is designated on an excessively wide scale, making it difficult to efficiently manage the national park. Therefore, the use district is not fulfilling its role. In this study, the purpose of this study was to present a method for analyzing the spatial characteristics of natural parks using environmental indicators and unsupervised learning analysis methods to set the use districts of natural parks. In this study, evaluation indicators that can evaluate the natural and human environments were derived, and the distribution patterns for each indicator were analyzed. Afterwards, by applying Self-Organizing Map (SOM) analysis, one of the unsupervised learning analysis methods, districts with similar characteristics were derived in Taeanhaean National Park, and the characteristics of each district were analyzed. As a result of the study, 7 districts with different characteristics were derived in Taeanhaean National Park, and by examining the contribution of each indicator together, it was possible to reveal that each district had different representative characteristics even though it was an adjacent area. This study evaluated natural parks by comprehensively considering the indicators of the natural and human environments. In addition, the SOM method used in the study is meaningful in that it can provide scientific and objective grounds for the existing zoning and apply it to the management plan.

• The Journal of Asian Finance, Economics and Business
• /
• v.7 no.9
• /
• pp.159-168
• /
• 2020

This is a quantitative research, underpinned by the philosophy of natural science and deduction approach that examines the impact of the various aspects of corporate governance mechanism on the choice of capital structure of Vietnamese listed firms. We focus on the effect of factors such as the board size, the board independence, and especially different ownership structures, which include the managerial ownership, the state ownership, the concentrated ownership, and the foreign ownership. They are the main scopes of corporate governance and are supposed to be relevant to determine the corporate financing choice. To explain the causal relationship between factors, we construct the regression model and then test it by using different statistical method approaches, including the pooled OLS, the fixed effects model, and the random effects model. Data are collected from 336 firms with shares listed in the Ho Chi Minh City Stock Exchange in Vietnam, totaling 1583 observations. Overall, the results reveal that the board size, state ownership, and concentrated ownership have positive impact on the firm's capital structure, whereas foreign ownership appears to have negative influence on the capital structure. The research does not find evidence of a the correlation between board independence, managerial ownership and corporate capital struture.

• The Korean Journal of Applied Statistics
• /
• v.25 no.4
• /
• pp.669-680
• /
• 2012

Noise removal of document images is a necessary step during preprocessing to recognize characters effectively because it has influences greatly on processing speed and performance for character recognition. We have considered using the spatial filters such as traditional mean filters and Gaussian filters, and wavelet transformed based methods for noise deduction in natural images. However, these methods are not effective for the noise removal of document images. In this paper, we present noise removal of document images using support vector regression. The proposed approach consists of two steps which are SVR training step and SVR test step. We construct an optimal prediction model using grid search with cross-validation in SVR training step, and then apply it to noisy images to remove noises in test step. We evaluate our SVR based method both quantitatively and qualitatively for noise removal in Korean, English and Chinese character documents, and compare it to some existing methods. Experimental results indicate that the proposed method is more effective and can get satisfactory removal results.