4 הסוגים החשובים ביותר של לוגיקה (ותכונות)

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

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

• המאמר המומלץ: ["10 סוגים של לוגיות לוגיות וארגומנטיות"] (10 סוגים של לוגיות לוגיות וארגומנטיות)

מהו ההיגיון?

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

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

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

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

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

4 סוגי ההיגיון

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

1. לוגיקה פורמלית

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

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

2. לוגיקה לא רשמית

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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