الاستدلال بالاختيار الحر

الاختيار الحر هو ظاهرة في اللغة الطبيعية حيث يبدو أن الانفصال اللغوي يتلقى تفسيرًا منطقيًا عندما يتفاعل مع عامل نمطي . على سبيل المثال، يمكن تفسير الجمل الإنجليزية التالية لتعني أن المتلقي يمكنه مشاهدة فيلم ويمكنه أيضًا لعب ألعاب الفيديو، اعتمادًا على تفضيلاته: ^[1]

1. يمكنك مشاهدة فيلم أو لعب ألعاب الفيديو.
2. يمكنك مشاهدة فيلم أو لعب ألعاب الفيديو.

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

1. مبدأ الاختيار الحر :${\displaystyle \Diamond (P\lor Q)\rightarrow (\Diamond P\land \Diamond Q)}$

صيغة المنطق الرمزي أعلاه ليست صالحة في المنطق النمطي الكلاسيكي : إضافة هذا المبدأ كمبدأ بديهي إلى المنطق النمطي القياسي من شأنه أن يسمح للمرء بالاستنتاج من ، لأي و . تُعرف هذه الملاحظة باسم مفارقة الاختيار الحر . ^{[1] [2]} لحل هذه المفارقة، اقترح بعض الباحثين تحليلات للاختيار الحر ضمن أطر غير كلاسيكية مثل الدلالات الديناميكية والمنطق الخطي والدلالات البديلة والدلالات الاستقصائية . ^{[1] [3] [4]} اقترح آخرون طرقًا لاستنتاج استنتاجات الاختيار الحر كدلالات دلالية قياسية تنشأ على أساس الإدخالات المعجمية الكلاسيكية للانفصال والنمط. ^{[1] [5] [6] [7]}${\displaystyle \Diamond Q}$${\displaystyle \Diamond P}$${\displaystyle P}$${\displaystyle س}$

تُدرس استنتاجات الاختيار الحر على نطاق واسع بالنسبة للأفعال الشرطية ، ولكنها تنشأ أيضًا مع أشكال أخرى من الأفعال الشرطية بالإضافة إلى الأوامر والجمل الشرطية وأنواع أخرى من المشغلات. ^{[1] [8] [9] [4] تؤدي} عبارات الأسماء غير المحددة إلى استنتاج مماثل يُشار إليه أيضًا باسم "الاختيار الحر" على الرغم من اختلاف الباحثين حول ما إذا كان يشكل فئة طبيعية مع الاختيار الحر المنفصل. ^{[9] [10]}

• المنطق الأخلاقي
• الانفصال
• هانز كامب
• المنطق النمطي
• مفارقة روس
• تبسيط المقدمات المنفصلة
• الغسل