4 סוגי ההיגיון (ומאפיינים) החשובים ביותר

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

לשם כך, פיתוח מערכות וצורות לימוד שונות היה חיוני, שהביא לארבעה סוגים עיקריים של לוגיקה. נראה בהמשך על מה כל אחד מהם עוסק.

• מאמר מומלץ: "10 סוגי השגות הלוגיות והוויכוחים"

מה זה הגיון?

המילה "לוגיקה" מקורה ב"לוגו "היווני שניתן לתרגם בדרכים שונות: מילה, מחשבה, טיעון, עיקרון או סיבה הם חלק מהעיקריים שבהם. במובן זה, ההיגיון הוא חקר העקרונות וההיגיון.

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

כדי לענות על שאלה זו, ההיגיון מציע דרכים שונות לסווג אמירות וטיעונים, בין אם הם מתרחשים במערכות פורמליות ובין אם בשפה טבעית. באופן ספציפי, הוא מנתח הצעות (משפטים הצהרתיים) שיכולות להיות אמיתיות או שקריות, כמו גם תקלות, פרדוקסים, טיעונים הכרוכים בסיבתיות ובאופן כללי, התיאוריה של הַנמָקָה.

באופן כללי, כדי לראות במערכת הגיונית, עליה לעמוד בשלושה קריטריונים:

• עֲקֵבִיוּת (אין סתירה בין המשפטים המרכיבים את המערכת)
• מוּצָקוּת (מערכות הבדיקה אינן כוללות מסקנות כוזבות)
• שְׁלֵמוּת (כל המשפטים האמיתיים חייבים להיות ניתנים לבדיקה)

ארבעת סוגי ההיגיון

כפי שראינו, ההיגיון משתמש בכלים שונים כדי להבין את ההיגיון בו אנו משתמשים כדי להצדיק משהו. באופן מסורתי, ארבעה סוגים עיקריים של לוגיקה מוכרים, כל אחד עם כמה סוגים וספציפיות. נראה בהמשך על מה כל אחד מהם.

1. הגיון פורמלי

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

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

המסקנות אליהן הגענו באמצעות הגיון פורמלי, אם הם מבוססים על הנחות יסוד תקפות ואין כשלים בפעולות הלוגיות, הם נכונים כשלעצמם. למעשה, זה מוביל לדיון פתוח בשאלה האם ההיגיון הפורמלי שייך לעולם המדע. או שהם שייכים לתחום ידע אחר, שכן הם אינם מתארים את המציאות אלא את כללי עצמם תִפקוּד.

2. הגיון לא רשמי

ההיגיון הבלתי פורמלי הוא מצידו תחום עדכני יותר חוקר, מעריך ומנתח את הטיעונים הפרוסים בשפה טבעית או יומיומית. מכאן שהוא מקבל את הקטגוריה של "לא פורמלי". זה יכול להיות גם שפה מדוברת וגם כתובה, או כל סוג של מנגנון ואינטראקציה המשמשים כדי לתקשר משהו. בשונה מההיגיון הפורמלי, אשר למשל יחול על לימוד ופיתוח של שפות מחשב; שפה פורמלית מתייחסת לשפות ולשפות.

לפיכך, ההיגיון הבלתי פורמלי יכול לנתח כל דבר, החל מנימוקים אישיים וטיעונים וכלה בדיונים פוליטיים טיעונים משפטיים או הנחות יסוד המופצות על ידי התקשורת כגון העיתון, הטלוויזיה, האינטרנט, וכו '

3. לוגיקה סמלית

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

• היגיון מראש או ממעלה ראשונה: זו מערכת פורמלית המורכבת מנוסחאות ומשתנים הניתנים לכימות
• הצעה: זוהי מערכת פורמלית המורכבת מהצעות, המסוגלות ליצור הצעות אחרות באמצעות מחברים הנקראים "קישורים לוגיים". בכך כמעט ואין משתנים ניתנים לכימות.

4. לוגיקה מתמטית

תלוי בסופר שמתאר זאת, הגיון מתמטי יכול להיחשב כסוג של לוגיקה פורמלית. אחרים סבורים כי לוגיקה מתמטית כוללת גם את יישום הלוגיקה הפורמלית למתמטיקה, וגם את יישום ההיגיון המתמטי על ההיגיון הפורמלי.

באופן כללי מדובר ביישום שפה מתמטית בבניית מערכות לוגיות המאפשר לשחזר את המוח האנושי. לדוגמא, זה היה נוכח מאוד בפיתוח הבינה המלאכותית ובפרדיגמות החישוביות של חקר ההכרה.

זה מחולק בדרך כלל לשני תת-סוגים:

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

הנמקה אינדוקטיבית, דדוקטיבית ומודאלית

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

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

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

הפניות ביבליוגרפיות:

• Groarke, L. (2017). לוגיקה בלתי פורמלית. אנציקלופדיה סטנפורד לפילוסופיה. אוחזר ב -2 באוקטובר 2018. אפשר להשיג ב https://plato.stanford.edu/entries/logic-informal/
• לוגיקה (2018). יסודות הפילוסופיה. אוחזר ב -2 באוקטובר 2018. אפשר להשיג ב https://www.philosophybasics.com/branch_logic.html
• מגנני, ל. (2001). חטיפה, סיבה ומדע: תהליכי גילוי והסבר. ניו יורק: הוצאות לאור במליאה האקדמית קלואר.
• מקגין, ג. (2000). מאפיינים לוגיים: זהות, קיום, חיזוי, צורך, אמת. אוקספורד: קלרנדון פרס.
• קווין, W.V.O. (1986) (1970). פילוסופיה של ההיגיון. קיימברידג ', תואר שני: הוצאת אוניברסיטת הרווארד.
• שפירו, ש. וקורי, ש. (2018). לוגיקה קלאסית. אוחזר ב -2 באוקטובר 2018. זמין בלוגיקה (2018). יסודות הפילוסופיה. אוחזר ב -2 באוקטובר 2018. אפשר להשיג ב https://www.philosophybasics.com/branch_logic.html
• גרסון, ג'יי. (2018). לוגיקה מודאלית. אנציקלופדיה סטנפורד לפילוסופיה. אוחזר ב -2 באוקטובר 2018. אפשר להשיג ב https://plato.stanford.edu/entries/logic-modal/