یقین ریاضی: روال عملی استنتاج و محاسبه
دوره 15، شماره 2، بهمن 1404
https://doi.org/10.30465/ps.2026.53585.1809
غلامحسین مقدم حیدری
چکیده بررسی قطعیت و صلابت قضایای ریاضی یکی از موضوعات مهم در فلسفه ریاضی است. مکاتب مختلفی همچون منطقگرایی، شهودگرایی، افلاطون گرایی و طبیعت گرایی کوشیده اند تا نظریه هایی در این باره ارائه کنند. این مکاتب معمولاً به دنبال مبنایی یقینی برای ریاضیات هستند تا به این روش قطعیت قضایای ریاضی و منطق را توجیه کنند که این کار همواره با ناکامیهای متعددی همراه بوده است. در این مقاله می کوشیم تا این موضوع را در پرتو آرای ویتگنشتاین متاخر بررسی کنیم. یعنی به جای اینکه بپرسیم «مبنای منطق و ریاضیات چیست؟» سوال کنیم «چرا ریاضیات به مبنا نیاز دارد؟» از این رو پس از بررسی مبناگرایی نشان می دهیم که بر اساس آرای ویتگنشتاین، ریاضیات به مثابه یک بازی-زبان چه معنایی دارد. در این جهت هندسه و منطق را به منزله دو بازی-زبان در ریاضیات بررسی می کنیم و نشان می دهیم که یقین ما به قواعد و احکام ریاضی، نه از بنیانهای استوار، بلکه از نقش گرامری قواعد در روال عملی استنتاج و محاسبه ناشی میشود که نشانه اعتماد عملی و مهارت ما برای شرکت در این روال است.
عقلانیت بهمثابة حفظ «گزارههای ثابت» و جایگزینی «گزارههای سیال»
دوره 1، شماره 2، مهر 1390، صفحه 143-161
غلامحسین مقدم حیدری، حمیدرضا آیت اللهی
چکیده یکی از نظریههای متداول دربارة عقلانیت علم، عقلانیت بهمثابة مبناگرایی است که بنابر آن، عقلانیت یک نظریة علمی و مبتنیبر دادههای حسی است که آن نظریه بر آن اساس بنا شده است. اما دادههای حسی قطعی و یقینی موضوعی است که مناقشات فراوانی را درپی داشته است. در این مقاله، با تمسک به آرای ویتگنشتاین درباب «یقین»، تلقی نوینی از یقینیات یک نظریۀ علمی ارائه میشود که، بنابر آن، هر نظریة علمی دارای دوگونه گزاره است: گزارههای ثابت و گزارههای سیال. پیرو چنین تقسیمبندی از گزارههای یک نظریة علمی، ایدة نوینی برای عقلانیت نظریههای علمی ارائه میشود. براساس این ایده، نظریهای عقلانی است که اولاً سازگار باشد، ثانیاً گزارههای ثابت جامعة علمی را حفظ و گزارههای سیال را با گزارههای مناسب دیگری جایگزین کند. مقاله سعی میکند با ارائة شواهد تاریخی، کارایی، و واقعبینانهبودن این ایده را در برابر معیارهای عقلانیت مبتنیبر بداهت شواهد حسی بیان کند.
