אישור הסוגר

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

אישור הסוגר הוא כשל לוגי מסוג נון סקוויטור הבא בצורת פרופוזיציה היפותטית. הכשל של אישור הסוגר מתרחש כאשר פרופוזיציה היפותטית הכוללת פותח וסוגר טוענת שנכונות הפותח משתמעת מנכונות הסוגר. יחס זה אינו יכול להתקיים בשני הכיוונים.

הסילוגיזם ההיפותטי הבא מדגים את הכשל של אישור הסוגר:

  • אם א', אז ב'.
  • ב'.
  • לכן, א'.

השגיאה הלוגית נובעת מכך שמסיקים באופן שגוי מההנחה השנייה שאישור הסוגר משמעותו אמיתות הפותח. ניתן להדגים את אי התקפות של הטיעון באמצעות דוגמה:

  • אם לסבתא היו גלגלים (א'), היא הייתה שרה באמבטיה (ב').
  • סבתא שרה באמבטיה (ב').
  • לכן, לסבתא יש גלגלים (א').

או:

  • אם סטיבן קינג כתב את התנ"ך (א'), אז סטיבן קינג הוא סופר טוב (ב').
  • סטיבן קינג הוא סופר טוב (ב').
  • לכן, סטיבן קינג כתב את התנ"ך (א').

אבל, אם נהפוך את הסדר ונקיים סדר נכון:

  • אם לסבתא היו גלגלים (א'), היא הייתה שרה באמבטיה (ב').
  • לסבתא יש גלגלים (א').
  • לכן, סבתא שרה באמבטיה (ב').

ישנה צורה בה אישור הסוגר תקף, והיא כאשר משתמשים במקום ב"אם" ב"אם ורק אם" (זאת, משום ש"אם ורק אם א' אז ב' שקול לאם א' אז ב' ואם ב' אז א'):

  • אם ורק אם לסבתא היו גלגלים (א'), היא הייתה שרה באמבטיה (ב').
  • סבתא שרה באמבטיה (ב').
  • לכן, לסבתא יש גלגלים (א').

ראו גם[עריכת קוד מקור | עריכה]