• 한국과학교육학회지
• /
• 제32권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.

• 논리연구
• /
• 제21권1호
• /
• pp.59-96
• /
• 2018

순수하게 형식적인 견지에서 직관주의 논리는 거짓말쟁이 유형의 역설을 다루는데 어떠한 이점도 없다고 여겨진다. 이 글에서 우리는 표준 직관주의 자연연역체계가 거짓말쟁이 유형의 역설에 취약함을 논할 것이다. 다시 말해, 거짓말쟁이 유형의 문장을 수용함이 모순(${\perp}$)을 도출하는 추론을 야기한다는 것이다. 이러한 결과는 이중부정 제거규칙(DNE)에 대한 제약이 ${\perp}$을 도출하는 추론을 막지 못한다는 것을 보여준다. 하지만 이는 거짓말쟁이 유형의 역설에 대한 직관주의적 접근법이 잘못된 것이 아니라 표준 자연연역 체계의 표현력이 부족한 문제라고 할 수 있다. 우리는 주어진 체계 S에 대한 메타-레벨 부정 연산자 ⊬$_s$와 메타-레벨 모순 연산자 ⋏를 직관주의 체계에 도입할 것이다. 그리고 체계의 완전성에 대한 가정 없이는 이 체계에서 ${\perp}$에 대한 추론을 얻을 수 없음을 보일 것이다. 또한 우리는 이중 메타-레벨 부정 제거규칙(DMNE)을 고려할 것이다. 이 규칙은 체계의 완전성을 암묵적으로 가정하며 DMNE에 대한 제약은 ${\perp}$의 추론을 막을 수 있을 것이다.

• 한국수학사학회지
• /
• 제23권3호
• /
• pp.45-56
• /
• 2010

순차식 연산은 겐첸이 자연연역을 1934년 대칭적 버전으로 재구성한 것으로서, 여기에서 그는 '주정리' 를 소개한다. 이 논문에서 우리는 절단의 유용성에도 불구하고 증명이론에서 왜 절단정리가 이토록 중요한 위상을 차지하는지 검토할 것이다. 이어서 커리-하우어드 대응의 역동적 측면, 즉 절단 제거와 단순히 유형화된 람다-연산에서 ${\beta}$-환원의 대응이 연구될 것이다. 이러한 대응의 중요성은 프로그램의 세계와 수학 증명의 세계를 마주보게 함으로써 프로그램의 정확성을 보증해준다는 데에 있다.

• 대한수학교육학회지:수학교육학연구
• /
• 제12권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.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2007년도 춘계학술대회 학술발표 논문집 제17권 제1호
• /
• 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.

• 한국철도학회논문집
• /
• 제9권1호
• /
• 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.

• 한국초등수학교육학회지
• /
• 제14권1호
• /
• pp.65-80
• /
• 2010

본 연구는 고대 그리스 시대의 수학적 추론의 발달 과정을 통하여 그 본질과 지도 방안을 탐색해 보고자 하였다. 먼저 문헌 연구로서 고대 그리스 시대의 수학적 추론의 발달 과정에 대한 Netz의 분석을 살펴보았고, Freudenthal의 국소적 조직화 이론과의 관련성을 분석해 보았다. 분석 결과 수학적 추론에서 용어와 기호가 자연 언어 중심으로 되는 것이 적절한 것으로 파악되었으며, 학생들의 직관에 근거하여 수학적 필연성을 형성하게 하는 지도 방안이 적절한 것으로 생각된다. 또한 다각형의 내각의 합을 소재로 귀납에 의한 발견과 정당화, 나아가 다각형으로의 일반화라는 패턴에 따른 지도 계열과 방안을 제시하였다.

• 한국환경복원기술학회지
• /
• 제26권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
• /
• 제7권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.

• 응용통계연구
• /
• 제25권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.