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

چکیده ندارد.

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

دراین پایان نامه با به کار گرفتن متناقض نمای گرلینگ از عبارات خونامصداق، یک اثبات معنایی از قضیه ی دوم ناتمامیت گودل ارائه می کنیم. برای نظریهt شامل zf جمله het_t را می سازیم که به طور شهودی بیان می کند محمول "خودنامصداق" خودش، خودنامصداق است. نشان می دهیم که این جمله از t نتیجه نمی شود و با سازگاری t معادل است. بالاخره نشان می دهیم چگونه یک برهان ناتمامیت مشابه برای حساب پئانو بسازیم.

مقالة 1951 کواین با عنوان «دو حکم جزمی تجربه گرایی» با نقدی دور از انتظار به دوگانة مشهور تحلیلی ـ ترکیبی، ضمن موضع گیری علیه استفاده از مفهوم تحلیلت در توضیح و تبیین ضرورت و پیشینی بودن، هرگونه تلاش در جهت ارائة تمایزی غیر دوری میان گزاره های تحلیلی و ترکیبی را ناکام دانست. به اعتقاد کواین مفاهیمی نظیر تناقض، ترادف، و معنا که در تعریف قضایای تحلیلی از آن ها بهره برده می شود، در عین حال که وضوح...

معرفی یک فرایند تکرار برای پیدا کردن عضو مشترک مجموعه نقاط ثابت یک نگاشت کاهنده و مجموعه جوابهای مسئله نابربری تغییراتی برای یک نگاشت یکنوا و لیپشیتز پیوسته و معرفی یک فرایند تکرار برای پیدا کردن عضو مشترک مجموعه نقاط ثابت یک نگاشت کاهنده و مجموعه جوابهای مسئله نابربری تغییراتی برای نگاشت های قوی یکنوای وارونه و معرفی یک فرایند تکرار برای پیدا کردن خانواده متناهی از ناخود نگاشتهای کاهنده نسبت ب...

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

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

موضوع محوری مقالۀ حاضر دلالت شناسی قضایای موجهه (به ویژه قضایای ضروریه و دائمه) است. در این باب ابتدا شرح مختصری از قضایای موجهه، بنا بر متون منطق سنتی، عرضه می شود و سپس ضمن توضیحِ تحلیلِ زمانی آنها، نقد چنین تفسیری در دستور کار قرار می گیرد. اما این نوشته صرفاً نگاهی سلبی ندارد و در آن تلاش شده است تا سخن قدما درباب دلالت شناسی قضایای موجهه بازخوانی و بازشناسی شود.

در سال ‎۱۹۰۶‎، برتراند راسل در مقاله خود نشان داد که تقریباً تمامی پارادکس های نظریه مجموعه ها دارای یک شکل مشترک می باشند. در سال ‎۱۹۶۹‎، لاوور با استفاده از زبان نظریه رسته ها، به یک وحدت و یکپارچگی عمیق تر دست یافت که نه تنها پارادکس های نظریه مجموعه ها، بلکه پدیده ناتمامیت را نیز شامل می شد. در واقع لاوور طرحی مشترک ارایه داد که موضوعات بسیار همچون قضیه کانتور در مورد مجموعه های توانی، پاراد...