الاحتمال المنطقي

الاحتمال المنطقي هو قضية منطقية لا يمكن دحضها باستخدام بديهيات وقواعد نظام منطقي معين. ويعتمد الاحتمال المنطقي لقضية ما على النظام المنطقي المدروس، وليس على انتهاك قاعدة واحدة. فبعض الأنظمة المنطقية تقيّد الاستدلالات من القضايا المتناقضة ، أو حتى تسمح بالتناقضات الحقيقية . بينما تحتوي أنظمة منطقية أخرى على أكثر من قيمتين صحيحتين بدلاً من القيمتين الثنائيتين . ويفترض البعض أن النظام المعني هو منطق القضايا الكلاسيكي . وبالمثل، غالبًا ما يستند معيار الاحتمال المنطقي إلى ما إذا كانت القضية متناقضة أم لا، ولذلك يُنظر إليه غالبًا على أنه أوسع أنواع الاحتمال.

في المنطق الموجه ، تكون القضية المنطقية ممكنة إذا كانت صحيحة في عالم ممكن . يعتمد نطاق "العوالم الممكنة" على بديهيات وقواعد النظام المنطقي المستخدم، ولكن في ظل نظام منطقي معين، فإن أي مجموعة متسقة منطقيًا من العبارات تُعد عالمًا ممكنًا. عامل المعين الموجه${\displaystyle \lozenge }$تُستخدم للتعبير عن الاحتمالية:${\displaystyle \lozenge P}$يشير إلى "الاقتراح"${\displaystyle P}$"من الممكن". ^{[ 1 ]}

يختلف الاحتمال المنطقي عن أنواع الاحتمالات الأخرى القائمة على الفرضية. وتُعدّ العلاقة بين هذه الاحتمالات (إن وُجدت) موضع نقاش، وقد تعتمد على كيفية النظر إلى المنطق، وكذلك على العلاقة بين المنطق والميتافيزيقا. فعلى سبيل المثال، يرى العديد من الفلاسفة الذين اتبعوا شاول كريبكي أن المتطابقات المكتشفة ، مثل "هيسبيروس = فوسفوروس"، ضرورية ميتافيزيقياً لأنها تُشير إلى الشيء نفسه في جميع العوالم الممكنة التي يكون للمصطلحات فيها مرجع. ومن الممكن منطقياً أن تكون "هيسبيروس = فوسفوروس" خاطئة، لأن إنكارها لا يُخالف قاعدة منطقية كالاتساق. بينما يرى فلاسفة آخرون أن الاحتمال المنطقي أوسع من الاحتمال الميتافيزيقي، بحيث يكون كل ما هو ممكن ميتافيزيقياً ممكناً منطقياً أيضاً.

• المنطق الموجه
• المنطق المتناقض
• مفارقة
• نظرية الاحتمالية
• عالم ممكن
• الاحتمال الشرطي

• برايان ف. تشيلاس (1980). المنطق الموجه: مقدمة . مطبعة جامعة كامبريدج. ISBN 978-0-521-29515-4.