- סוגי ההיגיון הרלוונטיים ביותר
- היגיון רשמי
- היגיון לא פורמלי
- היגיון לא קלאסי
- היגיון סמלי
- היגיון מודאלי
- היגיון חישובי
- הפניות
ישנם כמה סוגים של היגיון וכולם ממקדים את מושא הלימוד שלהם בהבנת הנמקה וזיהוי מתי הם נכונים או לא נכונים. חקר ההיגיון התפתח מימי הפילוסוף היווני אריסטו ועד ימינו.
האתיקה הסתגלה מתוך כוונה להיות ספציפית יותר ובו זמנית להיות מותאמת יותר לחיי היומיום של האדם, המאפשרת יישום מוחשי יותר בתחומים שונים.
אריסטו, מוכר כאבי ההיגיון.
ההיגיון מחפש את המחקר השיטתי של טיעונים והצעות, וסוגי ההיגיון השונים מאפשרים אפשרות ללמוד הן את המבנה הפורמאלי בלבד של הצהרות אלה, כמו גם את מה שקשור לתוכן, וכוחו של התכנים האמורים.
למרות שההיגיון מבוסס על לימוד משפטים, הוא אינו מתמקד בבירור בשפה טבעית (השפה כפי שאנו מכירים אותה), אך התועלת שלה הגיעה לתחומים שונים ועם מבנים שונים, כמו מתמטיקה ו מחשוב.
סוגי ההיגיון הרלוונטיים ביותר
היגיון רשמי
היגיון פורמלי, המכונה גם היגיון קלאסי או היגיון אריסטוטלי, הוא חקר הצעות, טיעונים, אמירות או משפטים מנקודת מבט מבנית. זוהי שיטה לבניית מחשבה ולקביעת הצורות הנכונות או הלא נכונות של גישה ספציפית.
ההיגיון הרשמי אינו מתמקד באמיתות או בשקר של תוכן טיעון מסוים, אלא מתרכז בתוקף או לא בבניית צורתו.
כלומר, מושא לימוד ההיגיון הפורמלי אינו אמפירי, עבור הלוגיקן אין זה רלוונטי לקבוע אם הטענה המוצגת היא אמיתית ומוכחת; במקום זאת, המחקר שלו ממוקד בבירור במבנה של הטיעון האמור.
בתוך ההיגיון הפורמלי ישנם שני סיווגים חשובים מאוד: היגיון דדוקטיבי והיגיון אינדוקטיבי.
היגיון דדוקטיבי מתייחס לאמירות הספציפיות הנוצרות מתוך רעיונות כלליים. באמצעות סוג זה של לוגיקה ניתן להסיק ממושגים או תיאוריות שכבר קיימים.
לדוגמה, בהיגיון דדוקטיבי ניתן לומר שאם לבני אדם יש רגליים וקלרה היא בן אדם, אז לקלרה יש רגליים.
במקרה של היגיון אינדוקטיבי, בניית הוויכוחים מתרחשת באופן הפוך; כלומר מושגים כלליים נוצרים מתוך טיעונים ספציפיים.
לדוגמה, בהיגיון אינדוקטיבי ניתן לומר שאם חתול אחד אוהב דגים, ואחר גם אוהב אותו, וגם אחר, כל החתולים אוהבים דגים.
היגיון לא פורמלי
היגיון לא פורמלי הוא ענף המחקר המתמקד בשפה ובמסר שמקורו במבנים וטיעונים סמנטיים.
היגיון זה שונה מההיגיון הפורמלי, בכך שההיגיון הפורמלי חוקר את מבני המשפטים וההצעות; וההיגיון הבלתי פורמלי מתמקד במהות המסר המועבר.
מטרת המחקר שלה היא דרך הוויכוח להשגת התוצאה הרצויה. היגיון לא פורמלי נותן תוקף לוויכוחים לוגיים שהם יותר קוהרנטיים בין אחרים שיש להם מבנה טיעוני חלש יותר.
היגיון לא קלאסי
היגיון לא קלאסי, או היגיון מודרני, מקורו במאה התשע עשרה ועולה בניגוד להצהרות ההיגיון הקלאסי. זה קובע צורות אחרות של ניתוח שיכולות לכסות יותר היבטים מאלו שניתן לכלול דרך הגישה הקלאסית ללוגיקה.
כך נכללים אלמנטים מתמטיים וסימבוליים, אמירות חדשות או משפטים שבאו לפצות על הליקויים במערכת לוגית פורמלית.
בתוך ההיגיון הלא-קלאסי ישנם תת-סוגים שונים של היגיון, כגון מודאלי, מתמטי, טריוויאליטי, בין היתר.
כל סוגי ההיגיון הללו נבדלים במידה מסוימת מההיגיון הפורמלי, או משלבים אלמנטים חדשים המשלימים, ומאפשרים למחקר ההגיוני של אמירה מסוימת להיות מדויק יותר ומותאם לתועלת בחיי היומיום.
היגיון סמלי
היגיון סמלי נקרא גם לוגיקה מסדר ראשון, או לוגיקה מתמטית, ומתאפיינת בשימוש בסמלים המהווים שפה חדשה שדרכה "מתורגמים" טיעונים.
כוונת ההיגיון הסמלי היא להמיר מחשבות מופשטות למבנים פורמליים יותר. למעשה, הוא אינו משתמש בשפה טבעית (ניב), אלא משתמש בשפה טכנית שהופכת משפטים לאלמנטים הרגישים ליישום כללים מדויקים יותר ממה שניתן ליישם בשפה טבעית.
אז ההיגיון הסימבולי מאפשר טיפול בהצעות דרך חוקי החשבון, על מנת למנוע בלבול או אי דיוקים.
הוא מבקש לשלב אלמנטים מתמטיים בניתוח מבני ההיגיון הפורמלי. בתחום המתמטי משתמשים בהגיון כדי להוכיח משפטים.
בקיצור, היגיון סמלי או מתמטי מבקש לבטא מחשבה אנושית באמצעות שפה מתמטית.
יישום מתמטי זה של לוגיקה מאפשר לוויכוחים ולבניות להיות מדויקות יותר.
היגיון מודאלי
ההיגיון המודאלי מתמקד בחקר הטיעונים, אך מוסיף אלמנטים הקשורים לאפשרות שההצהרה המדוברת נכונה או שקרית.
ההיגיון המודאלי מתיימר להיות מתואם יותר למחשבה האנושית, ולכן הוא כולל שימוש במבנים כמו "יכול", "אולי", "לפעמים", "אולי", "כנראה", "סביר", "אולי ", בין השאר.
בהיגיון המודאלי מדובר בבחינת תרחיש שיש בו אפשרות, והוא נוטה לשקול את כל האפשרויות העשויות להתקיים, מנקודת המבט ההגיונית.
היגיון חישובי
היגיון חישובי הוא סוג של היגיון הנגזר מהלוגיקה סמלית או מתמטית, רק שהוא מיושם בתחום המחשוב.
תוכנות מחשב משתמשות בשפת התכנות לפיתוחן ובאמצעות היגיון ניתן לעבוד על מערכות שפה אלה, להקצות משימות ספציפיות ולבצע פעולות אימות.
הפניות
- "היגיון" באנציקלופדיה בריטניקה. הוחזר ב -4 באוגוסט 2017 מאנציקלופדיה בריטניקה: britannica.com
- "היגיון רשמי" באנציקלופדיה בריטניקה. הוחזר ב -4 באוגוסט 2017 מאנציקלופדיה בריטניקה: britannica.com
- הרננדז, פ. "היגיון חישובי" באוניברסיטה האוטונומית הלאומית במקסיקו. הוחזר ב -4 באוגוסט 2017 מהאוניברסיטה האוטונומית הלאומית במקסיקו: unam.mx
- Muñoz, C. "היגיון לא קלאסי" באוניברסיטת Complutense במדריד. הוחזר ב -4 באוגוסט 2017 מאוניברסיטת Complutense במדריד: ucm.es
- ג'וליה, ג '. "מה זה היגיון סמלי?" ב- eHow בספרדית. הוחזר ב -4 באוגוסט 2017 מ- eHow בספרדית: ehowenespanol.com
- Oller, C. "היגיון רשמי וויכוח" (2006) באוניברסיטה הלאומית לה פלאטה. הוחזר ב -4 באוגוסט 2017 מהאוניברסיטה הלאומית לה פלאטה: rfytp.fahce.unlp.edu.ar
- "מסקנות דדוקטיביות ואינדוקטיביות" ביונטה דה אקסטראמדורה. הוחזר ב -4 באוגוסט 2017 ביונטה דה אקסטרמדורה: educarex.es.