جردن هوارد سوبل در مقاله ۱۹۸۷، و سپس در کتاب ۲۰۰۴ خود، نشان داد که استدلال هستی شناسیک جدیدی که گودل در سال ۱۹۷۰ پیشنهاد کرد با شکست وجهی مواجه است و درواقع صحیح نیست. سی. انتونی اندرسون در سال ۱۹۹۰ اصلاحاتی پیشنهاد کرد و در آن راه را بر اثبات قضایای سوبل بست و نشان داد که می توان روایتی از استدلال گودل داشت که با شکست وجهی مواجه نباشد. اما گراهام آپی با نقیضه ای که در سال ۱۹۹۶، و سپس ۲۰۰۰، مطر...

گودل امکان فرضیه تعمیم یافته پیوستار را از رهگذر برهان بر عدم امتناعِ آن ثابت می کند؛ این در حالی است که بر پایه سخن ابن سینا در بند ما قبل آخرِ اشارات، عدم برهان بر امتناعِ چیزی برای اثبات امکان آن بسنده است. اکنون شایسته است بپرسیم که آیا کار گودل بیهوده است، یا سخن ابن سینا نادرست؟ پاسخ این جستار گزینه سوم است: هیچ کدام. «امکان» در فلسفه اسلامی دست کم هشت معنا دارد:1ـ امکان عام؛ 2ـ امکان خاص؛ 3...

پژوهش حاضر با هدف بررسی وتبیین تأثیر ریاضیات برفلسفه وتعلیم و تربیت به شیوه کتابخانه ای و با روش تحلیلی- استنتاجی انجام گرفته است. در ابتدا به بررسی و بیان فلسفه های ریاضیات ازقبیل منطق گرایی، شهود گرایی، صورت گرایی، انسان گرایی و ریاضیات تجسم یافته پرداخته شد. سپس ماهیت ، هستی شناسی و معرفت شناسی ریاضیات تبیین گردید و در تبیین نسبت ریاضیات با واقعیت دو دیدگاه ترکیبی گرایان و تحلیلی گرایان بررس...

جردن هوارد سوبل در مقالة ۱۹۸۷، و سپس در کتاب ۲۰۰۴ خود، نشان داد که استدلال هستی‌شناسیک جدیدی که گودل در سال ۱۹۷۰ پیشنهاد کرد با شکست وجهی مواجه است و درواقع صحیح نیست. سی. انتونی اندرسون در سال ۱۹۹۰ اصلاحاتی پیشنهاد کرد و در آن راه را بر اثبات قضایای سوبل بست و نشان داد که می‌توان روایتی از استدلال گودل داشت که با شکست وجهی مواجه نباشد. اما گراهام آپی با نقیضه‌ای که در سال ۱۹۹۶، و سپس ۲۰۰۰، مطر...

طرح نظریۀ نسبیت آینشتاین، فیزیک نیوتنی را با دشواری‌های فراوانی روبرو کرد، چنان که برای اصلاح آن چاره‌ای نماند جز کنارگذاشتن و یا اصلاح برخی از بنیادی‌ترین مفاهیم، از جمله زمان و مکان. بسیاری بر این باورند که نسبیت ضربات جبران‌ناپذیری نیز بر فلسفۀ کانت وارد آورده است. با این همه، کسانی مانند کورت گودل (Kurt Gödel) کوشیده‌اند نسبیت را به‌گونه‌ای بخوانند که نه تنها به تناقض با فلسفۀ کانت نینجامد،...

برخی فیلسوفان برای اثبات ناممکن بودن مدل کردن ذهن با ماشین از قضیۀ گودل و نتایج آن استفاده کرده اند. در فلسفۀ ذهن استدلالات مبتنی بر قضیۀ گودل را استدلالات گودلی می نامند. در این مقاله قصد داریم که سه استدلال گودلی را مورد نقد و بررسی قرار دهیم. این استدلال ها به ترتیب توسط رودی روکر، جان راندولف لوکاس و راجر پنروز ارائه شده اند. تلاش می کنیم تا نشان دهیم: (الف) بخشی از استدلال روکر مقبول و بخش...

برخی فیلسوفان برای اثبات ناممکن بودن مدل کردن ذهن با ماشین از قضیۀ گودل و نتایج آن استفاده کرده‌اند. در فلسفۀ ذهن استدلالات مبتنی بر قضیۀ گودل را استدلالات گودلی می‌نامند. در این مقاله قصد داریم که سه استدلال گودلی را مورد نقد و بررسی قرار دهیم. این استدلال‌ها به ترتیب توسط رودی روکر، جان راندولف لوکاس و راجر پنروز ارائه شده‌اند. تلاش می‌کنیم تا نشان دهیم: (الف) بخشی از استدلال روکر مقبول و بخش...

در این پایاننامه، اثبات های جدیدی از قضیه ناتمامیت که در دهه 1990 به دست آمده اند، ارایه می شود، به طوری که در آن ها از لم قطری سازی برای ساختن یک جمله مستقل استفاده نمی شود.