نوع مقاله : پژوهشی
نویسندگان
1 دانشجوی دکتری فلسفة علم، دانشگاه، واحد علوم و تحقیقات
2 دانشیار گروه فلسفۀ علم، آزاد، واحد علوم و تحقیقات
چکیده
گسترش روش‌های استدلال ریاضی، در دهه‌های اخیر، منجر به نقد اساسی تعریف کلاسیک اثبات ریاضیاتی شده است. منتقدان، معمولاً، تعریف‌های بدیلی پیشنهاد کرده‌اند؛ تعریف‌های فراوانی که دارای پیش‌فرض‌ها و پیامدهای گوناگون و گاهی حتی ناسازگاری هستند. این وضعیت، ریاضیات را در معرض نسبی‌نگری قرار داده است. از این رو، مسئلۀ فراوانی تعریف‌های اساساً گوناگون را می‌توان یکی از مهم‌ترین مسائل معرفت‌شناسی ریاضیاتی دانست. این مقاله، تلاش می‌کند تا از یک موضع مرتبۀ سوم یا فراروش‌شناختی به «چیستی فرامعیار انتخاب بهترین تعریف برای اثبات ریاضیاتی» پاسخ دهد و از این طریق، ما را یک گام به تعریف موجه اثبات ریاضیاتی نزدیک‌تر سازد.
نگارندگان نشان خواهند داد که فرامعیار قدرت تبیینی، در مقایسه با دو رقیب دیگر، یعنی فرامعیارهای هم‌ارزی، و اجماع قابل دفاع‌تر است.
کلیدواژه‌ها
عنوان مقاله [English]
Meta-Methodology of Resolving the Dispute of Mathematical Proof
نویسندگان [English]
- Hossein Bayat 1
- musa akrami 2
1 . Ph.D Student, Department of Philosophy of Science, Faculty of Theology and Philosophy, Islamic Azad University, Science and Research Branch of Tehran
2 Associate Professor of Philosophy of Science Department, Faculty of Theology and Philosophy
چکیده [English]
The extension of the mathematical argumentation methods, in recent decades, has led to an essential critique of classic definition of mathematical proof. The critics often have suggested alternative definitions, which have different and sometimes incompatible presuppositions and implications. Such a situation has exposed mathematics to relativism.
The problem of multiplicity of definitions, therefore, can be considered as one of the most important epistemological issues in mathematics. In this paper, we try, from third order or meta-methodological position, to answer this question: ‘what is the meta-criterion for choosing the best definition of mathematical proof?’ by answering this question we will be one step closer to a justified definition of mathematical proof.
The authors will show that the explanatory power meta-criterion, compared to the two other rivals, i.e. the equivalence meta-criterion and the consensus meta-criterion, is more tenable.
کلیدواژه‌ها [English]
- : meta-theory of definition
- theory of mathematical proof
- explanatory power
- proof facts
)