- إنضم
- 6 مايو 2021
- المشاركات
- 3,285
- التفاعل
- الدولة
كيف تمت الاستفادة من ابن تيمية في علم الحاسوب؟
في ورقته العلمية Analogical Reasoning، عرض مخترع ال Conceptual Graphs جون سوا John F. Sowa تحليلا للعلاقات بين التفكير القياسي والمنطقي، ووضع نموذجا كـ آلة قياس تستخدم ال Conceptual Graphs لتمثيل المعرفة.
قال Sowa لولا ابن تيمية لكان من غير الممكن استكمال المنطق وتصليحه، وفي ذلك السياق عرض المنطق التيمي الذي يتجلى عبر التمنطق من خلال الحالات والقياس، والتي استقرأها ابن تيمية من الشريعة: عند التعرض لحالة جديدة، يلجأ الفقهاء إلى تشابهات تتصل مع الحالات السابقة التي تم تقريرها.
رابط الورقة العلمية للمهتمين :
link.springer.com
في ورقته العلمية Analogical Reasoning، عرض مخترع ال Conceptual Graphs جون سوا John F. Sowa تحليلا للعلاقات بين التفكير القياسي والمنطقي، ووضع نموذجا كـ آلة قياس تستخدم ال Conceptual Graphs لتمثيل المعرفة.
قال Sowa لولا ابن تيمية لكان من غير الممكن استكمال المنطق وتصليحه، وفي ذلك السياق عرض المنطق التيمي الذي يتجلى عبر التمنطق من خلال الحالات والقياس، والتي استقرأها ابن تيمية من الشريعة: عند التعرض لحالة جديدة، يلجأ الفقهاء إلى تشابهات تتصل مع الحالات السابقة التي تم تقريرها.
رابط الورقة العلمية للمهتمين :
Analogical Reasoning
Logical and analogical reasoning are sometimes viewed as mutually exclusive alternatives, but formal logic is actually a highly constrained and stylized method of using analogies. Before any subject can be formalized to the stage where logic can be applied to it,...