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

הסילוגיזם הוא הצורה המופתית של ה[[היסק]] הדדוקטיבי בלוגיקה של אריסטו. כוחו של הסילוגיזם בכך שהוא מבטיח את אמיתותה של מסקנה אם ידוע שהנחותיה אמיתיות, כלומר הוא צורה של היסק בעל [[תקפות (לוגיקה)|תקפות]] לוגית. הטענות המקושרות בסילוגיזם האריסטוטלי הן קטגוריות (categorical), דהיינו בכל אחת מהן מוחל נשוא על נושא, ומשום כך יש המכנים את הסילוגיזם הקלאסי "סילוגיזם קטגורי". בעקבות אריסטו, נעשה שימוש במונח 'סילוגיזם' גם לתיאורם של היסקים הכוללים טענות מסוגים אחרים, למשל [[סילוגיזם היפותטי]] ו[[סילוגיזם סטטיסטי]].