| LEADER |
03409nam a22002657a 4500 |
| 001 |
1961692 |
| 024 |
|
|
|3 10.37140/1701-010-002-007
|
| 041 |
|
|
|a ara
|
| 044 |
|
|
|b الجزائر
|
| 100 |
|
|
|9 649310
|a العربى، أمينة دواجي
|e مؤلف
|
| 245 |
|
|
|a الترميز، الصورنة والمنطق الشارح عند روبير بلانشي
|
| 246 |
|
|
|a Symbolization, Formalization and Explanatory Logic in Robert Blanche
|
| 260 |
|
|
|b جامعة عبدالحميد بن باديس - كلية العلوم الإجتماعية - مخبر حوار الحضارات والتنوع الثقافي وفلسفة السلم
|c 2021
|
| 300 |
|
|
|a 96 - 114
|
| 336 |
|
|
|a بحوث ومقالات
|b Article
|
| 520 |
|
|
|a كل المعارف ترتبط بتاريخها، ولعل المنطق أكثرها. فلا يمكن أن ندرك مفهوما ما إلا بالرجوع إلى سياقه التاريخي. وإذا كان لكل عصر مفاهيمه الخاصة فإن المنطق المعاصر اشتمل على مجموعة من المفاهيم الخاصة ميزته عن المنطق القديم. منها الصورية، الترميز، الصورنة والمنطق الشارح. والتي سمحت بتوسيع المنطق وجعله أكثر دقة وعلمية من خلال الصورنة التي اتخذت الترميز كأداة لتحقيق أعلى درجات الصورية. إلى جانب مفهوم المنطق الشارح أو اللغة الشارحة التي كانت من ضمن المترتبة عن استخدام الصورنة في المنطق. هذه اللغة سمحت هي الأخرى بتكوين مناطق مختلفة بسبب تقليلها من دور اللامبرهنات كمنطلقات في الأنساق المنطقية.
|
| 520 |
|
|
|b 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.
|
| 653 |
|
|
|a اللغة الشارحة
|a الانساق المنطقية
|a المنطق المعاصر
|a الفكر الفلسفى
|
| 692 |
|
|
|a المنطق
|a الترميز
|a الصورنة
|a المنطق الشارح
|b Logic
|b Symbolization
|b Formalization
|b Metalogic
|
| 773 |
|
|
|4 العلوم الإنسانية ، متعددة التخصصات
|6 Humanities, Multidisciplinary
|c 007
|e Cultural Dialogue Review
|f Al-ḥiwār al-ṯaqāfī
|l 002
|m مج10, ع2
|o 1701
|s مجلة الحوار الثقافي
|v 010
|x 2253-0746
|
| 700 |
|
|
|a يموتن، علجية
|g Yamouten, Alejia
|q Yamouten, Alejiah
|e م. مشارك
|9 334637
|
| 856 |
|
|
|u 1701-010-002-007.pdf
|
| 930 |
|
|
|d y
|p y
|q n
|
| 995 |
|
|
|a HumanIndex
|
| 999 |
|
|
|c 1214631
|d 1214631
|
