ابن سینا و گودل:«عدم برهان بر امتناع» یا «برهان بر عدم امتناع»؟(مقاله علمی وزارت علوم)
حوزه‌های تخصصی:
- حوزه‌های تخصصی فلسفه و منطق فلسفه غرب رویکرد تاریخی دوره معاصر (قرون 20 و 21) فلسفه تحلیلی
- حوزه‌های تخصصی فلسفه و منطق منطق فرامنطق تصمیم پذیری (گودل و...)
- حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی منطق کلیات
- حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی فلسفه اسلامی کلیات مکتب های فلسفی فلسفه مشاء
گودل امکان فرضیه تعمیم یافته پیوستار را از رهگذر برهان بر عدم امتناعِ آن ثابت می کند؛ این در حالی است که بر پایه سخن ابن سینا در بند ما قبل آخرِ اشارات، عدم برهان بر امتناعِ چیزی برای اثبات امکان آن بسنده است. اکنون شایسته است بپرسیم که آیا کار گودل بیهوده است، یا سخن ابن سینا نادرست؟ پاسخ این جستار گزینه سوم است: هیچ کدام. «امکان» در فلسفه اسلامی دست کم هشت معنا دارد:1 امکان عام؛ 2 امکان خاص؛ 3 امکان اخص؛ 4 امکان استقبالی؛ 5 امکان استعدادی؛ 6 امکان وقوعی؛ 7 امکان فقری؛ 8 احتمال. در سخن ابن سینا امکان به معنای احتمال است که امری ذهنی، انفسی، و سوبژکتیو است، و از این رو به چیزی بیش از عدم برهان بر امتناع نیاز ندارد؛ امّا امکان در کلام گودل امری عینی، آفاقی، و اُبژکتیو است که نیازمند برهان بر عدم امتناع است. بنابراین، نه کار گودل بیهوده است و نه سخن ابن سینا نادرست.