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