کورت گودل در فوریه ۱۹۷۰ با دینا اسکات درباره استدلال هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبه دوم در نظام s5 است، با این همانی و یک اصل انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجه گودل، این که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست می آید، اما سوبل نشا...

تقسیم قضایا به حقیقیه و خارجیه از نوآوری های منطق دانان مسلمان پس از ابن سینا مانند فخر رازی و شاگردانش، افضلالدین خونجی و اثیرالدین ابهری است که متناظر با تقسیم های فیلسوفان غربی از قبیل تقسیم به ضروری و اتفاقی (توسط ارسطو)، تقسیم به تحلیلی و ترکیبی و تقسیم به پیشینی و پسینی (توسط هیوم و کانت) است و نوع نگاه منطق دانان مسلمان به این تقسیم ها را باز می نماید. این تقسیم، در ابتدا، مورد مناقشۀ من...

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

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

شرح مختصر زندگانی و فعالیت های علمی کورت گودل، منطق دان بزرگ قرن بیستم.

در این مقاله، به این موضوع می پردازیم که چرا فلسفه های مشهور ریاضی، یعنی منطق گرایی، شهودگرایی و صورتگرایی که هر یک در طول تاریخ با ایرادهای اساسی مواجه شدند، در زمان پیدایش خود موجه بوده اند. نشان می دهیم که این فلسفه ها بازتاب اندیشه های فلسفی ریاضی زمانۀ خود بوده اند. این فلسفه ها علی رغم ایرادهایی که به آنها وارد شده است، تأثیری مهم در شکل گیریِ دیدگاه نسل های بعدی ریاضیدانان و فیلسوفان ریاض...

حاشیة المقالة العاشرة من أصول الهندسة والحساب عنوان رساله‌ای از محمدکاظم بن رضا طبری (13ق) است که بنا به گفتۀ مؤلف در ابتدای رساله، در واقع تعلیقه‌ای بر شرح محمدباقر یزدی (زنده در 1047ق) بر مقالۀ دهم اصول اقلیدس است. محمدباقر یزدی در شرح خود بر مقالۀ دهم اصول اقلیدس با عنوان شرح المقالة العاشرة من أصول أقلیدس از 109 قضیۀ مقالۀ دهم، 67 قضیۀ آن را شرح می‌دهد و ضمن توضیح بسیاری از برهان‌های اقلیدس...

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

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

این حقیقت که قضیه مشهور ناتمامیت گودل و الگوی اصلی تمامی پارادوکس های منطقی از جمله پارادوکس دروغگو، به صورت نزدیکی با هم ارتباط دارند، نه تنها شناخته شده است بلکه وجه مشترکی از دانسته های منطق دانان محسوب می شود. در واقع، تقریباً تمام بحث های صوری این قضیه [ناتمامیت گودل] کمابیش پلی بر این ارتباط می سازند. در این پایاننامه سعی بر نشان دادن این ارتباط خواهیم داشت.