بررسی فرانگرش‌های است، هنگامی که منطق بررسی روش‌هاییست که در آن‌ها سامانه‌های منطقی می‌توانند برای تصمیم‌گیری درستی یک (پَروَهان) به کار روند. فرامنطق ویژگی‌های خود یک سامانهٔ منطقی را بررسی می‌کند. یعنی اگر منطق با خود از راه «درستی‌های منطق» سروکار دارد، فرامنطق با خود از نگرهٔ «جملات به‌کاررفته برای بیان درستی‌های منطق» سروکار دارد.
 بنیادی‌ترین چیزها در بررسی فرامنطق، زبان پیمانی(قراردادی)، سامانه‌های(سیستم یا نظام) پیمانی، و تفسیر آن‌ها است. بررسی تفسیرهای سامانه‌های پیمانی، شاخه‌ای از است که با نام ( ) شناخته شده‌است، در حالی که بررسی دستگاه شاخه‌ای است که با نام ( ) شناخته شده‌است.
 دستاوردهای فرامنطق از چنین چیزهایی برای اثبات‌های پیمانی(قراردادی) برای نشان دادن درستی یک زبان پیمانی ویژه بهره می‌برند.
 بیش‌تر دستاوردهای فرامنطق شامل موارد زیر هستند:
 
 
 
 
 کتاب اصول منطق سال دوم دانشگاه ایران
{"title": "فرامنطق", "link": "https://fa.wikipedia.org//w/index.php?title=%D9%81%D8%B1%D8%A7%D9%85%D9%86%D8%B7%D9%82&oldid=30289071", "language": "fa"}