Skip to main content
فهرست مقالات

بررسی و تبیین برهان گودل

نویسنده: ؛

زمستان 1383 - شماره 6 (18 صفحه - از 117 تا 134)

کلیدواژه ها : مبناگروی ،توجیه ،برهان گودل ،قضیه عدم تمامیت

کلید واژه های ماشینی : گودل ،برهان گودل ،فرمولی با عدد گودل ،مبناگروی ،عدد گودل ،Sub ،عدد گودل Sub ،عدد گودل فرمول ،نظریه مبناگروی ،گودل برهانی بر فرمولی ،عدد فرمول Sub ،عبارت ناظر به رابطه ،عدد گودل قابل‌اثبات ،ناظر ،Dem ،عدد اول ،گودل برهان ،عدد فرمول ،عدد گودل برهانی ،نمادهای متغیر ،گودل فرمول ،باورهای پایه ،احکام فوق ریاضی ،رابطه میان اعداد ،رشته‌ای از فرمول‌ها ،حال گودل ،عدد گودل خاصی ،اصول استنتاج ،گزاره‌های پایه ،مبناگروی به شمار

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

  • دانلود HTML
  • دانلود PDF

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