شكلية (فلسفة الرياضيات)

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

في فلسفة الرياضيات، الشكلية هي وجهة النظر التي تنص على أن بيانات الرياضيات والمنطق يمكن اعتبارها عبارات حول عواقب التلاعب بالسلاسل (التسلسل الأبجدي الرقمي للرموز، عادةً كمعادلات) باستخدام قواعد التلاعب الراسخة. الفكرة المركزية للشكليات «هي أن الرياضيات ليست مجموعة من الافتراضات التي تمثل قطاعًا مجرّدًا من الواقع، ولكنها أقرب إلى لعبة، ولا تجلب معها التزامًا بوجودية الأشياء أو الخصائص أكثر من اللودو أو الشطرنج».[1] وفقًا للشكلية، فإن الحقائق المعبر عنها في المنطق والرياضيات لا تتعلق بالأرقام أو المجموعات أو المثلثات أو أي موضوع متزامن آخر في الواقع، لا تتعلق «بأي شيء» على الإطلاق. بدلاً من ذلك، تعتبر العبارات الرياضية أشكالًا نحوية لا تحمل أشكالها ومواقعها أي معنى ما لم يتم تفسيرها (أو دلالاتها). على عكس المنطقانية أو الحدسية، فإن حدود الشكلية أقل تحديدًا بسبب الأساليب الواسعة التي يمكن تصنيفها على أنها شكلية.

إلى جانب المنطقانية والحدسية، تعد الشكلية إحدى النظريات الرئيسية في فلسفة الرياضيات التي تطورت في أواخر القرن التاسع عشر وأوائل القرن العشرين. من بين الشكلين، كان ديفيد هيلبرت من أبرز المدافعين عن الشكلية.[2]

المراجع[عدل]

  1. ^ Weir, Alan (2015)، "Formalism in the Philosophy of Mathematics"، في Zalta, Edward N. (المحرر)، The Stanford Encyclopedia of Philosophy (ط. Spring 2015)، Metaphysics Research Lab, Stanford University، مؤرشف من الأصل في 16 أكتوبر 2020، اطلع عليه بتاريخ 25 مايو 2019
  2. ^ Simons, Peter (2009)، "Formalism"، Philosophy of Mathematics (باللغة الإنجليزية)، Elsevier، ص. 292، ISBN 9780080930589، مؤرشف من الأصل في 16 أكتوبر 2020.