فرامنطق
From Wikipedia, the free encyclopedia
فرامنطق (به انگلیسی: Metalogic) بررسی فرانگرشهای منطق است، هنگامی که منطق بررسی روشهایی است که در آنها سامانههای منطقی میتوانند برای تصمیمگیری درستی یک برهان به کار روند، فرامنطق ویژگیهای خودِ یک سامانهٔ منطقی را بررسی میکند. یعنی اگر منطق با خود از راه «درستیهای منطق» سروکار دارد، فرامنطق با خود از نگرهٔ «جملات بهکاررفته برای بیان درستیهای منطق» سروکار دارد.
بنیادیترین چیزها در بررسی فرامنطق، زبان پیمانی (قراردادی)، سامانههای (سیستم یا نظام) پیمانی، و تفسیر آنها است. بررسی تفسیرهای سامانههای پیمانی، شاخهای از منطق ریاضی است که با نام نگرهٔ الگو (نظریهٔ مدل) شناخته شدهاست، در حالی که بررسی دستگاه استقرا شاخهای است که با نام نگرهٔ اُستانش (نظریهٔ اثبات) شناخته شدهاست.