المدرسة الشكلية

وم المدرسة الشكلية على فكرة أنه من الممكن التفكير بالعبارات الرياضية على أنها نتائج لقواعد معالجة المقولات الأولية. فمثلا، الهندسة الإقليدية تعتبر مؤلفة من مقولات تدعى البديهيات (axioms). بالإضافة إلى بعض قواعد الدلالة التي تسمح باستنباط مقولات جديدة من المقولات الأولى المعطاة. وبما أنك قادر على البرهنة على مبرهنة فيثاغورس وحدك، فهذا يعني أنك قادر فعلا على إنشاء المقولة التي تمثل هذه المبرهنة.

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

وفقا لبعض مذاهب الشكلية، فإن مسألة الموضوع في الرياضيات هي حرفيا الرموز المكتوبة ذاتها. وعندها تصبح القضية لعبا بهذه الرموز ولا يهم ما هي نوع اللعبة فجميع الألعاب متكافئة ويمكنك أن تلعب أي واحدة تختار، لكن هذه الرؤية لا تعطي حلولا للأسئلة الجوهرية: ما هي هذه الرموز الرياضية؟ هل توجد حقا في عالم تخيلي غير متغير؟ ولماذا هي مفيدة في شرح العالم الواقعي؟ هذه النظرة تحول الرياضيات إلى مجرد فعالية بشرية متفوقة لعبتها الرموز والأرقام لكنها لا تقدم حلولا لذلك لم تلق انتشارا كبيرا.

تقول مدرسة ثانية من الشكلية بالاستنتاجية (deductivism)، فمبرهنة فيثاغورس في هذه الحالة لا تعود حقيقة مطلقة إنما حقيقة نسبية: إذا نسبت معنى وحقيقة للمقولات الرياضية بحيث تصبح قواعد اللعبة صحيحة، عندئذ عليك قبول المبرهنة أو أن التفسير الذي تعطيه للمبرهنة يجب أن يكون عبارة صحيحة. (أي أن صحة العبارات الرياضية مرتبطة بصحة البدهيات الأساسية بشرط اعتماد قواعد "لعبة" تحفظ هذه الصحة).