آمار
| تعداد نشریات | 45 |
| تعداد شمارهها | 1,433 |
| تعداد مقالات | 17,642 |
| تعداد مشاهده مقاله | 57,427,646 |
| تعداد دریافت فایل اصل مقاله | 19,181,342 |
Lakatos and Hersh on Mathematical Proof | ||
| مجله پژوهش های فلسفی | ||
| مقاله 4، دوره 9، شماره 17، 1394، صفحه 75-93 اصل مقاله (565.17 K) | ||
| نوع مقاله: مقاله علمی- پژوهشی | ||
| نویسنده | ||
| حسین بیات* | ||
| دکترای فلسفه، گروه فلسفه علم، واحد علوم و تحقیقات دانشگاه آزاد اسلامی، تهران، ایران. | ||
| چکیده | ||
| The concept of Mathematical Proof has been controversial for the past few decades. Different philosophers have offered different theories about the nature of Mathematical Proof, among which theories presented by Lakatos and Hersh have had significant similarities and differences with each other. It seems that a comparison and critical review of these two theories will lead to a better understanding of the concept of mathematical proof and will be a big step towards solving many related problems. Lakatos and Hersh argue that, firstly, “mathematical proof” has two different meanings, formal and informal; and, secondly, informal proofs are affected by human factors, such as individual decisions and collective agreements. I call these two theses, respectively, “proof dualism” and “humanism”. But on the other hand, their theories have significant dissimilarities and are by no means equivalent. Lakatos is committed to linear proof dualism and methodological humanism, while Hersh’s theory involves some sort of parallel proof dualism and sociological humanism. According to linear proof dualism, the two main types of proofs are provided in order to achieve a common goal: incarnation of mathematical concepts and methods and truth. However, according to the parallel proof dualism, two main types of proofs are provided in order to achieve two different types of purposes: production of a valid sequence of signs (the goal of the formal proof) and persuasion of the audience (the goal of the informal proof). Hersh’s humanism is informative and indicates pluralism; whereas, Lakatos’ version of humanism is normative and monistic. | ||
| کلیدواژهها | ||
| formal proof؛ informal proof؛ practical proof؛ humanism؛ proof dualism | ||
| مراجع | ||
| ||
|
آمار تعداد مشاهده مقاله: 1,595 تعداد دریافت فایل اصل مقاله: 349 |
||