ارسل ملاحظاتك

ارسل ملاحظاتك لنا







الرئيسية > الترميز، الصورنة والمنطق الشار...>الوصف

الترميز، الصورنة والمنطق الشارح عند روبير بلانشي

العنوان بلغة أخرى: Symbolization, Formalization and Explanatory Logic in Robert Blanche
المصدر: مجلة الحوار الثقافي
الناشر: جامعة عبدالحميد بن باديس - كلية العلوم الإجتماعية - مخبر حوار الحضارات والتنوع الثقافي وفلسفة السلم
المؤلف الرئيسي: العربى، أمينة دواجي (مؤلف)
مؤلفين آخرين: يموتن، علجية (م. مشارك)
المجلد/العدد: مج10, ع2
محكمة: نعم
الدولة: الجزائر
التاريخ الميلادي: 2021
الصفحات: 96 - 114
DOI: 10.37140/1701-010-002-007
ISSN: 2253-0746
رقم MD: 1214631
نوع المحتوى: بحوث ومقالات
اللغة: العربية
قواعد المعلومات: HumanIndex
مواضيع:
اللغة الشارحة | الانساق المنطقية | المنطق المعاصر | الفكر الفلسفى
كلمات المؤلف المفتاحية:
المنطق | الترميز | الصورنة | المنطق الشارح | Logic | Symbolization | Formalization | Metalogic
رابط المحتوى:
PDF (صورة)     
صورة الغلاف QR قانون

عدد مرات التحميل

1

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

All types of knowledge are linked to their history; more so when it comes to logic. Any given concept can only be understood by referring to its historical context. And if every era is characterized by its particular set of concepts, then modern logic, too, came with a group of pertaining concepts that distinguished it from its traditional counterpart; among which there is formalism, symbolization, formalization and explanatory logic. These concepts expanded logic and made it more accurate and scientific through mainly formalization. The latter made of symbolization a mean for achieving the highest form of formalism. In addition to that, there are the concepts of metalogic and metalanguage which were an outcome of using formalization in logic. Said language permitted the formulation of different logics due to limiting the role of axioms as starting points in logical trends.
ISSN: 2253-0746

عناصر مشابهة


© 2024 المنظومة. جميع الحقوق محفوظة.