הכחשת הפותח
מתוך ויקיפדיה, האנציקלופדיה החופשית
הכחשת הפותח הוא כשל לוגי מסוג נון סקוויטור שבו מכחישים את חלק ה"אם" של החלק הפותח (התנאי) של הטיעון, כדי להגיע אחר כך למסקנה שחלק ה"אז" (התוצאה) שגוי. מבנה הטיעון הוא הבא:
- אם ג', אז ד'
- לא ג'.
- לכן, לא ד'
כדי להבהיר את הכשל שבטיעון, די אם נציב אותו בצורה פשוטה כך:
- אם סוקרטס הוא סוס, סוקרטס אוכל פיצה.
- סוקרטס אינו סוס.
- לכן, סוקרטס אינו אוכל פיצה.
הכשל הגלוי בטיעון נובע מכך שהיחס בין חלק התנאי והמסקנה בהנחה הראשונה אינו בהכרח דו כיווני. כלומר, ניתן לומר, אם אוכל פיצה, אשמין. אך אין נובע מכך שאם אשמין, אוכל פיצה.
כמו באישור הסוגר, ניתן להשיג דו כיווניות כאן רק אם משנים את התנאי "אם" ל"אם ורק אם", במבנה הבא:
- אם ורק אם סוקרטס הוא סוס, סוקרטס אוכל פיצה.
- סוקרטס אינו סוס.
- לכן, סוקרטס אינו אוכל פיצה.
במקרה זה, הטיעון תקף.
[עריכה] ראו גם
- אישור הסוגר
- נון סקוויטור
- מודוס פוננס
- מודוס טולנס

