ما بعد المنطق

تحتوي الصورة على نظرة عامة على حالات الاستخدام الأكثر شيوعًا لحل ألعاب التكافؤ

ما بعد المنطق أو ما وراء المنطق هي دراسة شمولية حول المنطق. بينما يدرس المنطق كيفية استخدام الأنظمة المنطقية لبناء حجج صحيحة وسليمة، يدرس ما بعد المنطق خصائص الأنظمة المنطقية.[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 على موقع واي باك مشين.