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