כשל קיומי

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

לדוגמה:

  1. כל הפיות טובות.
  2. לכן, קיימות פיות טובות.

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

גם הסילוגיזם הבא כולל כשל קיומי:

  1. כל העכברים הם חיות (הנחה אוניברסלית: כל א' הם ב')
  2. כל החיות מסוכנות (הנחה אוניברסלית: כל ב' הם ג')
  3. לכן, חלק מהעכברים מסוכנים (טענה פרטיקולרית: חלק מא' הם ג')

הכשל טמון בעובדה כי מונח שישנם עכברים (כלומר, שיש מקרים פרטיקולריים של עכבר), בלי שהדבר ישתמע מההנחות. אם נניח, לדוגמה, שאין עכברים, נוכל לראות שהטיעון כוזב.