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