الافتراض الافتراضي هو عبارة عن بيان شرطي يأخذ الشكل: إذا كانت P ثم Q. فستشمل الأمثلة ما يلي:
إذا درس ، ثم حصل على درجة جيدة.
إذا لم نأكل ، فسنكون جائعين.
إذا ارتدت معطفها ، فلن تكون باردة.
في جميع العبارات الثلاثة ، يتم تسمية الجزء الأول (إذا ...) بالسوابق ويتم تسمية الجزء الثاني (ثم ...) بالنتيجة. في مثل هذه الحالات ، يوجد استنتاجان صالحان يمكن استخلاصهما واستنتاجان غير صالحين يمكن استخلاصهما - ولكن فقط عندما نفترض أن العلاقة المعبر عنها في الاقتراح الافتراضي صحيحة . إذا كانت العلاقة غير صحيحة ، فلا يمكن استخلاص استنتاجات غير صالحة.
يمكن تعريف عبارة افتراضية بجدول الحقيقة التالي:
P | Q | إذا P ثم س |
تي | تي | تي |
تي | F | F |
F | تي | تي |
F | F | تي |
بافتراض حقيقة الافتراض الافتراضي ، من الممكن استخلاص استنتاجين صالحين واثنين غير صالحين:
AffirmingtheAntecedent
يسمى الاستنتاج الصحيح الأول بتأكيد سابقة ، والتي تتضمن إجراء حجة صحيحة مفادها أنه نظرًا لأنه صحيح ، فإن النتيجة صحيحة أيضًا. وهكذا: لأنه صحيح أنها ارتدت معطفها ، فمن الصحيح أيضًا أنها لن تكون باردة. غالبًا ما يستخدم المصطلح اللاتيني "us modus ponens" .
إنكار النتيجة
ويطلق على الاستدلال الصحيح الثاني رفض النتيجة ، والذي يتضمن عمل الوسيطة الصحيحة لأن النتيجة غير صحيحة ، فالسابق غير صحيح أيضًا. هكذا: هي باردة ، لذلك لم ترتدي معطفها. غالبًا ما يستخدم المصطلح اللاتيني "رسوم الطرق" .
مؤكدا النتيجة
يسمى الاستدلال غير الصحيح الأول بتأكيد النتيجة ، والذي يتضمن عمل الوسيطة غير الصالحة وهي أنه نظرًا لأن النتيجة صحيحة ، يجب أن يكون السجل السابق صحيحًا أيضًا. وهكذا: فهي ليست باردة ، لذلك يجب أن ترتدي معطفها. يشار إلى هذا أحيانًا على أنه مغالطة في النتيجة.
إنكار السوابق
يسمى الاستنتاج غير الصحيح الثاني برفض سابقة ، والتي تتضمن إجراء وسيطة غير صالحة لأن السابق غير صحيح ، وبالتالي ، يجب أن تكون النتيجة خاطئة أيضًا. هكذا: لم ترتدي معطفها ، لذا يجب أن تكون باردة. يشار إلى هذا في بعض الأحيان على أنه مغالطة للسوابق وله الشكل التالي:
إذا P ، لذلك س.
ليس ب.
لذلك ، ليس س.
مثال عملي على ذلك:
إذا كان روجر ديموقراطي ، فهو ليبرالي. روجر ليس ديموقراطيًا ، لذلك يجب ألا يكون ليبراليًا.
نظرًا لأن هذه مغالطة رسمية ، فإن أي شيء مكتوب بهذا الهيكل سيكون خاطئًا ، بغض النظر عن المصطلحات التي تستخدمها لاستبدال P و Q بـ.
إن فهم كيف ولماذا يحدث الاستدلالين غير الصحيحين أعلاه يمكن أن يساعد من خلال فهم الفرق بين الشروط الضرورية والكافية. يمكنك أيضًا قراءة قواعد الاستدلال لمعرفة المزيد.