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

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

 

# כל בני האדם הם בני תמותה.

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

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

 

 

 

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