المنطق التقليدي و صورنة المنطق الرياضي
Résumé: لقد بات الاهتمام اليوم بالدراسات المنطقية في صورتها الرياضية، في الدوائر الفلسفية التي يترءى من خلالها قيام فلسفة علمية بحتة جليا. وما كان لكثيرمن المناطقة الرياضيين بلوغ هذا إلا بعودتهم لدراسة المنطق التقليدي الأرسطي والرواقي ،والكشف عن صوريته باستخدامه للغة الرمزية للثوابت و للمتغيرات و الروابط المنطقية - اعتبرنا أهمها رابطة التضمن- التي قام عليها النسق الاستنباطي الرياضي.واهتمام أرسطو بفلسفة الرياضيات كشف عن اهتمامه بالأسس الصورية للنسق الرياضي و التي تجلت في الدراسات المنطقية الرياضية لدى كل من ليبنتز،جورج بول،غوتلوب فريجه،برتراند راسل، بل لقد اعتبر يان لوكاشفتش أن نظرية القياس الأرسطية تشكل نسقا استنباطيا على شاكلة الأنساق المنطقية المعاصرة. وهذا الارتباط بين المنطق التقليدي و الرياضي أدى إلى ظهور نظريات المنطق الرياضي كنظرية حساب القضايا ، نظرية حساب المحمول و نظرية الفصول
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
