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