عناصر مشابهة
الترميز، الصورنة والمنطق الشارح عند روبير بلانشي
| العنوان بلغة أخرى: | 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 |
| نوع المحتوى: | بحوث ومقالات |
| اللغة: | Arabic |
| قواعد المعلومات: | HumanIndex |
| مواضيع: | |
| رابط المحتوى: |
|
| المستخلص: | كل المعارف ترتبط بتاريخها، ولعل المنطق أكثرها. فلا يمكن أن ندرك مفهوما ما إلا بالرجوع إلى سياقه التاريخي. وإذا كان لكل عصر مفاهيمه الخاصة فإن المنطق المعاصر اشتمل على مجموعة من المفاهيم الخاصة ميزته عن المنطق القديم. منها الصورية، الترميز، الصورنة والمنطق الشارح. والتي سمحت بتوسيع المنطق وجعله أكثر دقة وعلمية من خلال الصورنة التي اتخذت الترميز كأداة لتحقيق أعلى درجات الصورية. إلى جانب مفهوم المنطق الشارح أو اللغة الشارحة التي كانت من ضمن المترتبة عن استخدام الصورنة في المنطق. هذه اللغة سمحت هي الأخرى بتكوين مناطق مختلفة بسبب تقليلها من دور اللامبرهنات كمنطلقات في الأنساق المنطقية. 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. |
|---|
