4 הסוגים החשובים ביותר של לוגיקה (ותכונות)
ההיגיון הוא לימוד החשיבה וההסקות . זוהי סדרה של שאלות וניתוחים שאיפשרו לנו להבין עד כמה טיעונים תקפים נבדלים ממאפיינים וכיצד אנו מגיעים אליהם.
לשם כך, פיתוח של מערכות וצורות שונות של מחקר היה הכרחי, אשר הובילו ארבעה סוגים עיקריים של ההיגיון. להלן נראה מה כל אחד מהם.
- המאמר המומלץ: ["10 סוגים של לוגיות לוגיות וארגומנטיות"] (10 סוגים של לוגיות לוגיות וארגומנטיות)
מה ההיגיון?
המילה "לוגיקה" באה מן הלוגוס היוונית, אשר ניתן לתרגמה בדרכים שונות: מילה, מחשבה, טיעון, עיקרון או סיבה הם חלק מן העיקריים. במובן זה, ההיגיון הוא לימוד העקרונות וההנמקות.
למחקר זה יש מטרה להבנת קריטריונים שונים של מסקנות וכיצד אנו מגיעים להפגנות תקפות, בניגוד להפגנות לא חוקיות. לכן, השאלה הבסיסית של ההיגיון היא מהי החשיבה הנכונה וכיצד אנו יכולים להבדיל בין טיעון תקף לבין טעות?
כדי לענות על שאלה זו, ההיגיון מציע דרכים שונות לסווג הצהרות וטענות, בין אם הן מתרחשות במערכת פורמלית או בשפה טבעית. באופן ספציפי, הוא מנתח את ההנחות (משפטים הצהרתיים) שיכולים להיות נכונים או שקריים, כמו גם כשלים, פרדוקסים, טיעונים הכרוכים בסיבתיות ובדרך כלל בתיאוריית הטיעונים.
באופן כללי, כדי לשקול מערכת כמו הגיוני, הם חייבים לעמוד שלושה קריטריונים:
- עקביות (אין סתירה בין המשפטים המרכיבים את המערכת)
- מוצקות (מערכות הבדיקה אינן כוללות מסקנות שווא)
- השלמה (כל המשפטים האמיתיים חייבים להיות מסוגלים להוכיח)
4 סוגי ההיגיון
כפי שראינו, ההיגיון משתמש בכלים שונים כדי להבין את ההיגיון שאנו משתמשים בו כדי להצדיק משהו. באופן מסורתי, ארבעה סוגים עיקריים של ההיגיון מוכרים, כל אחד עם כמה subtypes ו ספציפיות. להלן נראה מה כל אחד מהם.
1. לוגיקה פורמלית
ידוע גם לוגיקה מסורתית או לוגיקה פילוסופית, היא עוסקת בחקר ההסקנות בתוכן פורמלי בלבד ומפורש . היא עוסקת בניתוח ההצהרות הפורמליות (לוגיות או מתמטיות), שמשמעותן אינה מהותית, אך לסמליה יש משמעות בגלל היישום השימושי שהם מקבלים. המסורת הפילוסופית שממנה נגזר הדבר נקראת דווקא "פורמליזם".
בתורו, מערכת פורמלית היא אחת המשמשת לחלץ מסקנה אחד או יותר הנחות. אלה האחרונים עשויים להיות אקסיומות (הצעות מובנות מאליהן) או משפטים (מסקנות של מערכת קבועה של כללי הסקה ואקסיומות).
2. לוגיקה לא רשמית
מצדו, ההיגיון הבלתי פורמלי הוא משמעת מאוחרת יותר, אשר ללמוד, להעריך ולנתח את הטיעונים המוצגים בשפה הטבעית או היומיומית . לפיכך, הוא מקבל את הקטגוריה של "פורמלי". זה יכול להיות דיבור או שפה כתובה, או כל סוג של מנגנון אינטראקציה המשמש לתקשר משהו. שלא כמו ההיגיון הפורמלי, אשר למשל יחול על לימוד ופיתוח של שפות מחשב; השפה הרשמית מתייחסת לשפות ולשפות.
לפיכך, ההיגיון הבלתי פורמלי יכול לנתח מהנימוקים והוויכוחים האישיים לדיונים פוליטיים, טיעונים משפטיים או הנחות שהופצו על ידי התקשורת, כגון עיתונים, טלוויזיה, אינטרנט וכן הלאה.
3. לוגיקה סימבולית
כפי שהשם מרמז, ההיגיון הסמלי מנתח את היחסים בין הסמלים. לפעמים היא משתמשת בשפה מתמטית מורכבת, שכן היא אחראית ללימוד בעיות שהלוגיקה הרשמית המסורתית מוצאת מסובכת או קשה להתייחס אליה. הוא מחולק בדרך כלל לשני תת-סוגים:
- לוגיקה פרודיקטיבית או סדר ראשון : זוהי מערכת רשמית המורכבת נוסחאות ומשתנים ניתנים לכימות
- הצעה : היא מערכת רשמית המורכבת של הצעות, אשר מסוגלים ליצור הצעות אחרות באמצעות מחברים הנקראים "חיבור לוגי". בכך כמעט ואין משתנים ניתנים לכימות.
4. לוגיקה מתמטית
בהתאם המחבר המתאר את זה, לוגיקה מתמטית יכול להיחשב סוג של לוגיקה פורמלית. אחרים חושבים כי ההיגיון המתמטי כולל הן את היישום של לוגיקה פורמלית למתמטיקה, ואת היישום של חשיבה מתמטית לוגיקה פורמלית.
באופן כללי, היישום של שפה מתמטית בבניית מערכות לוגיות מאפשר לשכפל את המוח האנושי. לדוגמה, זה היה נוכח מאוד בפיתוח של בינה מלאכותית ועל פרדיגמות חישובית של לימוד של קוגניציה.
הוא מחולק בדרך כלל לשני תת-סוגים:
- לוגיקה : זה על היישום של ההיגיון במתמטיקה. דוגמאות מסוג זה הן תיאוריית ההוכחה, תורת המודל, תורת הקבוצות והתיאוריה של רקורסיה.
- אינטואיציה : טוען שגם לוגיקה וגם מתמטיקה הן שיטות שיישומן עקבי לביצוע קונסטרוקציות מנטליות מורכבות. אבל, הוא אומר כי כשלעצמם, לוגיקה ומתמטיקה לא יכול להסביר תכונות עמוקות של האלמנטים שהם מנתחים.
חשיבה אינדוקטיבית, דדוקטיבית ומודלית
מאידך, ישנם שלושה סוגים של חשיבה שיכולים להיחשב גם מערכות לוגיות . אלה מנגנונים המאפשרים לנו להסיק מסקנות מהנחות. נימוקים מפתים עושה הפקה כזו מן ההנחה הכללית להנחה מסוימת. דוגמה קלאסית היא זו המוצעת על ידי אריסטו: כל בני האדם הם בני תמותה (זוהי ההנחה הכללית); סוקראטס הוא אנושי (זוהי הנחת היסוד העיקרית), ולבסוף, סוקראטס הוא תמותה (זוהי המסקנה).
מצידה, חשיבה אינדוקטיבית היא התהליך שבו מסקנה מצויה בכיוון ההפוך: מן הפרט אל הגנרל. דוגמה לכך היא "כל העורבים שאני רואה הם שחורים" (הנחת יסוד מסוימת); אז, כל העורבים הם שחורים (מסקנה).
לבסוף, ההיגיון או ההגיון המודלי מבוסס על טיעונים הסתברותיים, כלומר, הם מבטאים אפשרות (אופנה). זוהי מערכת לוגית פורמלית הכוללת מונחים כגון "יכול", "יכול", "צריך", "בסופו של דבר".
הפניות ביבליוגרפיות:
- Groarke, L. (2017). היגיון בלתי פורמלי. אנציקלופדיה לפילוסופיה של סטנפורד. אחזור אוקטובר 2, 2018. זמין ב //plato.stanford.edu/entries/logic-informal/
- לוגיקה (2018). יסודות הפילוסופיה. פורסם ב -2 באוקטובר 2018. זמין בכתובת //www.philosophybasics.com/branch_logic.html
- שפירא, ס 'וקורי, ש' (2018). לוגיקה קלאסית. אחזר אוקטובר 2, 2018. זמין לוגיקה (2018). יסודות הפילוסופיה. פורסם ב -2 באוקטובר 2018. זמין בכתובת //www.philosophybasics.com/branch_logic.html
- Garson, J. (2018). לוגיקה מודאלית. אנציקלופדיה לפילוסופיה של סטנפורד. אחזור אוקטובר 2, 2018. זמין ב //plato.stanford.edu/entries/logic-modal/
