היסק – הבדלי גרסאות

#כל ג הוא ב

לכן: כל ג הוא א

 

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

#כל היוונים הם יונקים

לכן: כל היונקים הם בני תמותה.

 

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

#כל העכברים הם בני תמותה

לכן: כל בני התמותה הם מכרסמים.

 

לדוגמה הנגדית הזו יש צורה לוגית זהה במבנה להיסק הקודם, שגם בו ההנחות אמיתיות והמסקנה שקרית. הצורה היא:

#כל הקיפודים מעופפים

לכן: כל בני האדם מעופפים.

 

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

* [[טיעון]]

* [[טענה]]

 

[[קטגוריה:לוגיקה]]

[[קטגוריה: פילוסופיה]]