הגדרת מסקנה
במונחים כלליים ייאמר שההיסק הוא ניכוי של דבר אחד לאחר.
מסקנה היא אך ורק א תוצר המוח שלנו, כי זה א הערכה שמבוצעת על ידי זה בין ביטויים של שפה נתונה, שקשורים זה לזה באופן אינטלקטואלי, יאפשרו להגיע לרעיון הגיוני.. באופן זה, החל מהאמת או השקר שמציעים ביטויים מסוימים, אנו יכולים להסיק את האמת או השקר של אחרים.
בינתיים יופיע פוסטולאט מהנוהל הנ"ל.
בהיגיון מסורתי, הידוע בכינויו אריסטוטלי, מכיוון שהוא נוסח לראשונה על ידי הפילוסוף היווני הידוע. אריסטו, צורת ההסקה הבאה היא זו של סִילוֹגִיזם. זהו סוג של נימוקים דדוקטיביים המורכבים משתי הצעות כהנחות יסוד ואחר כמסקנה, האחרונה עוברת כבר כהסקה, משתי האחרות.
אנו יכולים למצוא שלושה סוגים של היסק; ה ניכוי, הטיעון הדדוקטיבי הוא סוג הקובע את קיום הדו-קיום של הנחות היסוד והמסקנה, ומבטיח כי האחרון ייוצג בחצרים, למשל: כל הבלונים בתיק הזה הם אדומים, הבלונים האלה שייכים לתיק הזה, ולכן הבלונים האלה אדומים; ה הַשׁרָאָה, הטיעון האינדוקטיבי מודה בדו-קיום האפשרי של הנחות היסוד ובמסקנה, ומבטיח שהאחרון בא לידי ביטוי ככל הנראה בהנחות היסוד, למשל: הבלונים הם מהתיק הזה, הבלונים אדומים, ולכן כל הבלונים בתיק הזה הם אדומים; וה חֲטִיפָה, הטיעון מסוג החטיפה מציע את הדו-קיום האפשרי בין הנחות היסוד לבין המסקנה, ומבטיח שהאחרון עשוי להיות מיוצג בהנחות הנ"ל, למשל: כל הבלונים בתיק הזה הם אדומים, הבלונים האלה אדומים, ולכן הבלונים האלה תואמים לשקית הזו.