ما بعد المنطق

ما بعد المنطق أو ما وراء المنطق هي دراسة شمولية حول المنطق. بينما يدرس المنطق كيفية استخدام الأنظمة المنطقية لبناء حجج صحيحة وسليمة، يدرس ما بعد المنطق خصائص الأنظمة المنطقية.[1] يتعلق المنطق بالحقائق التي يمكن اشتقاقها باستخدام نظام منطقي؛ يهتم ما بعد المنطق بالحقائق التي يمكن اشتقاقها عن اللغات والأنظمة المستخدمة للتعبير عن الحقائق.[2]

الأشياء الأساسية لدراسة ما بعد المنطق هي اللغات الرسمية والأنظمة الرسمية وتفسيراتها. دراسة تفسير الأنظمة الرسمية هي فرع المنطق الرياضي المعروف بنظرية النموذج، ودراسة الأنظمة الاستنتاجية هي الفرع المعروف بنظرية البرهان.

المراجععدل

  1. ^ Harry Gensler, Introduction to Logic, Routledge, 2001, p. 336. نسخة محفوظة 2020-08-17 على موقع واي باك مشين.
  2. ^ Hunter, Geoffrey, Metalogic: An Introduction to the Metatheory of Standard First-Order Logic, University of California Press, 1973 نسخة محفوظة 2020-08-17 على موقع واي باك مشين.
 
هذه بذرة مقالة عن الرياضيات او موضوع متعلق بها بحاجة للتوسيع. شارك في تحريرها.