ما بعد المنطق

من ويكيبيديا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث

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