انفصال هورفورد

في علم الدلالة الصورية ، يُعرف الفصل الهورفوردي بأنه فصلٌ يستلزم فيه أحد طرفيه الطرف الآخر. وقد حدد هذا المفهوم لأول مرة اللغوي البريطاني جيمس هورفورد . ^{[ 1 ]} تُعد جملة "ماري في هولندا أو هي في أمستردام" مثالاً على الفصل الهورفوردي، إذ لا يمكن أن يكون المرء في أمستردام دون أن يكون في هولندا. أمثلة أخرى موضحة أدناه: ^{[ 2 ] [ 3 ]}

1. #تامينا رأت أحد أعضاء فرقة البيتلز أو بول مكارتني.
2. #العدد الذي أفكر فيه يقبل القسمة على 4 أو أنه عدد زوجي.
3. #هل ويلبر خنزير أم حيوان؟

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

التكرار المحلي : يكون التعبير غير مناسب إذا احتوى شكله المنطقي على مثال لعامل ثنائي${\displaystyle \oplus }$ينطبق على الحجج${\displaystyle A}$أو${\displaystyle B}$، والتي تُعادل مساهمتها الدلالية سياقيًا مساهمة أي منهما${\displaystyle A}$أو${\displaystyle B}$بمفرده.

مع ذلك، فإن بعض الحالات الخاصة من حالات الفصل المنطقي لهورفورد تكون موفقة. ^{[ 2 ] [ 5 ]}

1. أكلت صوفيا بعض البيتزا أو كلها.
2. يبلغ طول هنرييتا خمسة أقدام أو ستة أقدام.

تم تحليل حالات الفصل المنطقية الموفقة لهورفورد بافتراض أن الجزء الأضعف من الفصل يُقوّى بواسطة تضمين قياسي مُضمّن يُلغي الاستلزام بين الجزأين. على سبيل المثال، في المثال الأول من الأمثلة الموفقة المذكورة أعلاه، فإن المعنى غير المُثرى للجزء الأيسر من الفصل هو ببساطة أن صوفيا أكلت كمية غير صفرية من البيتزا. وهذا من شأنه أن يؤدي إلى انتهاك مبدأ التكرار، لأن أكل البيتزا كلها يستلزم أكل كمية غير صفرية منها. ومع ذلك، إذا تم إثراء هذا الجزء من الفصل بتضمين قياسي مُضمّن بحيث يدل على أن صوفيا أكلت بعضًا من البيتزا وليس كلها ، فإن هذا الاستلزام لم يعد قائمًا. فأكل البيتزا كلها لا يستلزم أكل بعضها وليس كلها. وبالتالي، سيظل مبدأ التكرار المحلي مُحققًا. ^{[ 2 ] [ 5 ]}

• الانفصال
• التضمين