المنطق التقليدي وصورنة المنطق الرياضي

الموضوعات

فلسفة

الملخص

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

روابط وملفات

التعريف والنوع

رقم الوثيقة

f46584f9-acba-470d-b00a-5a65d2ef5ad9

رقم العقد

0

نوع الوسائط

Crawler

نوع المحتوى

الرسائل العلمية

صيغة المصدر

رسائل ماجيستير

نوع الملف

pdf text

أسماء الملفات

2193834_1.pdf

بيانات النشر

ألقاب المؤلفين

[{"name_ar":"زواوي بوكرلدة","title_ar":"اشراف","title_en":"Supervision"},{"name_ar":"زھور حمر العین","title_ar":"اعداد","title_en":"Preparation"}]

اللغة

Arabic

المصدر والدورية

اسم المصدر

المنطق التقليدي وصورنة المنطق الرياضي

المحتوى والصفحات

عدد الصفحات

0

كلمات الباحثين

dc.contributor.author حمر العین, زھور - dc.date.accessioned 2021-11-02T09:50:07Z - dc.date.available 2021-11-02T09:50:07Z - dc.date.issued 2008 - dc.identifier.uri https://ds.univ-oran2.dz:8443/jspui/handle/123456789/4514 - dc.description.abstract لقد بات الاهتمام اليوم بالدراسات المنطقية في صورتها الرياضية، فيالدوائر الفلسفية التي يترءى من خلالها قيام فلسفة علمية بحتة جليا. وما كانلكثيرمن المناطقة الرياضيين بلوغ هذا إلا بعودتهم لدراسة المنطق التقليديالأرسطي والرواقي ،والكشف عن صوريته باستخدامه للغة الرمزية للثوابتو للمتغيرات و الروابط المنطقية - اعتبرنا أهمها رابطة التضمن- التي قامعليها النسق الاستنباطي الرياضي.واهتمام أرسطو بفلسفة الرياضيات كشفعن اهتمامه بالأسس الصورية للنسق الرياضي و التي تجلت في الدراساتالمنطقية الرياضية لدى كل من ليبنتز،جورج بول،غوتلوب فريجه،برتراندراسل، بل لقد اعتبر يان لوكاشفتش أن نظرية القياس الأرسطية تشكل نسقااستنباطيا على شاكلة الأنساق المنطقية المعاصرة. وهذا الارتباط بينالمنطق التقليدي و الرياضي أدى إلى ظهور نظريات المنطق الرياضيكنظرية حساب القضايا ، نظرية حساب المحمول و نظرية الفصول dc.language.iso other dc.publisher جامعة وهران

إشراف وإعداد

الإشراف

زواوي بوكرلدة

الإعداد

زھور حمر العین

الاقتباسات الببليوغرافية