منطق مرتبه اول و تمامیت
منطق مرتبه اول زبان صوری گزارههای کمیشده درباره اشیاء و روابط است، و قضیه تمامیت گودل نشان میدهد که سیستم اثبات آن دقیقاً جملاتی را در بر میگیرد که در تمام تعابیر صادق هستند.
Definition
منطق مرتبه اول، منطق گزارهای را با سورهایی که بر دامنهای از اشیاء همراه با نمادهای رابطه، تابع و ثابت دلالت میکنند، گسترش میدهد؛ قضیه تمامیت بیان میکند که یک جمله دقیقاً زمانی در سیستم اثبات آن قابل استنتاج است که پیامد منطقی اصول موضوعه مفروض باشد.
Scope
این موضوع شامل نحو زبانهای مرتبه اول، اصطلاحات، فرمولها و جملات، معناشناسی ساختارها و ارضا، مفاهیم اعتبار و پیامد منطقی، یک سیستم استنتاجی برای منطق مرتبه اول، و قضایای صحت و تمامیت مربوط به اثباتپذیری و حقیقت است.
Core questions
- نحو و معناشناسی دقیق منطق مرتبه اول چیست؟
- برای یک جمله، پیامد منطقی یک نظریه بودن به چه معناست؟
- چرا هر جمله معتبر به طور صوری قابل اثبات است؟
- تمامیت چگونه سیستم اثبات را به کلاس تمام مدلها متصل میکند؟
Key theories
- قضیه صحت
- هر جملهای که در سیستم اثبات قابل استنتاج است، در هر مدل از مقدمات صادق است، بنابراین سیستم استنتاجی هرگز پیامدهای نادرست را اثبات نمیکند.
- قضیه تمامیت گودل
- برعکس، هر جملهای که در تمام مدلهای یک نظریه برقرار باشد، از آن قابل استنتاج است، بنابراین اثباتپذیری و پیامد منطقی برای منطق مرتبه اول منطبق هستند.
- ساختار هنکین
- تمامیت با ساختن یک مدل مستقیماً از یک مجموعه سازگار ماکسیمال از جملات با شواهد برای گزارههای وجودی اثبات میشود، که یک دستورالعمل نحوی برای ساخت مدلها ارائه میدهد.
Clinical relevance
منطق مرتبه اول چارچوب استانداردی برای صوریسازی نظریههای ریاضی است، و تمامیت تضمین میکند که هر حقیقت معنایی مشترک در تمام مدلها اصولاً قابل اثبات است، که زیربنای اثبات خودکار قضیه و کفایت بنیادی سیستمهای اصول موضوعه است.
History
منطق مرتبه اول از مفهومنگاری فرگه (Begriffsschrift) پدید آمد و توسط هیلبرت و آکرمان به عنوان یک سیستم متمایز جدا شد. گودل تمامیت را در رساله دکترای خود در سال 1929 اثبات کرد، و ساختار هنکین در سال 1949 اثبات سادهسازی شدهای را با استفاده از مجموعههای سازگار ماکسیمال ارائه داد که امروزه استاندارد است.
Key figures
- Gottlob Frege
- Kurt Goedel
- Leon Henkin
- Alfred Tarski
Related topics
Seminal works
- enderton2001
- marker2002
- shoenfield1967
Frequently asked questions
- تمامیت چه تفاوتی با قضایای ناتمامیت گودل دارد؟
- تمامیت مربوط به پیامد منطقی است: هر جملهای که در تمام مدلهای یک نظریه صادق باشد، قابل اثبات است. ناتمامیت مربوط به یک نظریه خاص است: یک نظریه سازگار به اندازه کافی قوی، جملاتی دارد که در مدل مورد نظر آن صادق هستند اما نمیتواند آنها را اثبات کند. این دو به مفاهیم متفاوتی مربوط میشوند و در تضاد نیستند.
- چرا منطق مرتبه اول انتخاب استاندارد است؟
- این منطق به اندازه کافی گویا است تا بیشتر ریاضیات را صوریسازی کند، با این حال از تمامیت و فشردگی برخوردار است، که در منطقهای قویتر مانند منطق مرتبه دوم وجود ندارد. این تعادل بین گویایی و ویژگیهای فرامتافیزیکی خوب، آن را به چارچوب منطقی پیشفرض تبدیل میکند.