فرامنطق

فرامنطق بررسی فرانگرش‌های منطق است، هنگامی که منطق بررسی روش‌هاییست که در آن‌ها سامانه‌های منطقی می‌توانند برای تصمیم‌گیری درستی یک برهان(پَروَهان) به کار روند. فرامنطق ویژگی‌های خود یک سامانهٔ منطقی را بررسی می‌کند. یعنی اگر منطق با خود از راه «درستی‌های منطق» سروکار دارد، فرامنطق با خود از نگرهٔ «جملات به‌کاررفته برای بیان درستی‌های منطق» سروکار دارد.

بنیادی‌ترین چیزها در بررسی فرامنطق، زبان پیمانی(قراردادی)، سامانه‌های(سیستم یا نظام) پیمانی، و تفسیر آن‌ها است. بررسی تفسیرهای سامانه‌های پیمانی، شاخه‌ای از منطق ریاضی است که با نام نگرهٔ الگو (نظریهٔ مدل) شناخته شده‌است، در حالی که بررسی دستگاه استقرا شاخه‌ای است که با نام نگرهٔ اُستانش (نظریهٔ اثبات) شناخته شده‌است.