Loading AI tools
في فلسفة الرياضيات، الشكلية هي وجهة النظر التي تنص على أن بيانات الرياضيات والمنطق يمكن اعتبارها عبارات حول عواقب التلاعب بالسلاسل (التسلسل الأبجدي الرقمي للرموز، عادةً كمعادلات) باستخدام قواعد التلاعب الراسخة. الفكرة المركزية للشكليات «هي أن الرياضيات ليست مجموعة من الافتراضات التي تمثل قطاعًا مجرّدًا من الواقع، ولكنها أقرب إلى لعبة، ولا تجلب معها التزامًا بوجودية الأشياء أو الخصائص أكثر من اللودو أو الشطرنج».[1] وفقًا للشكلية، فإن الحقائق المعبر عنها في المنطق والرياضيات لا تتعلق بالأرقام أو المجموعات أو المثلثات أو أي موضوع متزامن آخر في الواقع، لا تتعلق «بأي شيء» على الإطلاق. بدلاً من ذلك، تعتبر العبارات الرياضية أشكالًا نحوية لا تحمل أشكالها ومواقعها أي معنى ما لم يتم تفسيرها (أو دلالاتها). على عكس المنطقانية أو الحدسية، فإن حدود الشكلية أقل تحديدًا بسبب الأساليب الواسعة التي يمكن تصنيفها على أنها شكلية.
إلى جانب المنطقانية والحدسية، تعد الشكلية إحدى النظريات الرئيسية في فلسفة الرياضيات التي تطورت في أواخر القرن التاسع عشر وأوائل القرن العشرين. من بين الشكلين، كان ديفيد هيلبرت من أبرز المدافعين عن الشكلية.[2]
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
