Reasoning by Analogy in Mathematical Practice
نویسندگان
چکیده
Abstract In this paper, we offer a descriptive theory of analogical reasoning in mathematics, stating general conditions under which an analogy may provide genuine inductive support to mathematical conjecture (over and above fulfilling the merely heuristic role ‘suggesting’ psychological sense). The proposed generalize criteria Hesse her influential work on empirical sciences. By reference several case studies, argue that account paper does better job vindicating use inference mathematics than prominent alternative defended by Bartha.
منابع مشابه
Reasoning by Analogy via Abstraction Reasoning by Analogy via Abstraction
theoremsnametheoremlenabs ag+ ag ag& ag"lemmasass ]x ] (y ] z) = (x ] y) ] z150.71 0.65 0.65 0.78com ]x ] y = y ] x230.92 0.79 0.3{lemc ]com2 ] x ] (y ] z) = y ] (x ] z)150.71 0.65{{lemc ]lemc ] ? ] (y ] x) = y ] ( ? ] x)130.76 0.48 0.40{even ]e(x) e(x ] y)290.82 1.00{{dbl...
متن کاملMathematical problem solving by analogy.
We report the results of 2 experiments and a verbal protocol study examining the component processes of solving mathematical word problems by analogy. College students first studied a problem and its solution, which provided a potential source for analogical transfer. Then they attempted to solve several analogous problems. For some problems, subjects received one of a variety of hints designed...
متن کاملReasoning and learning by analogy.
Analogy is a powerful cognitive mechanism that people use to make inferences and learn new abstractions. The history of work on analogy in modern cognitive science is sketched, focusing on contributions from cognitive psychology, artificial intelligence, and philosophy of science. This review sets the stage for the 3 articles that follow in this Science Watch section.
متن کاملAnalogy and Automated Reasoning Analogy and Automated Reasoning
We survey the state of the art in the use of analogy in automated reasoning. We are particularly interested in the work of Melis and Whittle (1998). A detailed analysis of their analogy mechanism is given. The problem domain that they tackled is inductive theorems. We examine whether their technique can be used in other problems domains, e.g. in the domain of limit theorems and group theory.
متن کاملA Paradigm for Reasoning by Analogy
A paradigm enabling heurist ic problem solving programs to exploit an analogy between a current unsolved problem and a similar but previously solved problem to simplify i t s search for a solu t ion is outl ined. It is developed in deta i l for a f i rs t -order resolution logic theorem prover. Descriptions of the paradigm, implemented LISP programs, and preliminary experimental results are pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophia Mathematica
سال: 2023
ISSN: ['1744-6406', '0031-8019']
DOI: https://doi.org/10.1093/philmat/nkad003