שתף:
6 סוגי ההיגיון העיקריים
יש כמה סוגי ההיגיון וכולם ממקדים את מושא הלימוד שלהם בהבנת החשיבה ומזהים מתי הם נכונים או לא נכונים.
לימוד הלוגיקה התפתח מזמנו של הפילוסוף היווני אריסטו עד ימינו, וזה הותאם מתוך כוונה להיות יותר ספציפי, ובו בזמן מותאם יותר לחיי היום-יום של האדם, מה שמאפשר לו יישום מוחשי יותר בתחומים שונים.
ההיגיון מבקש את המחקר השיטתי של הטיעונים וההצעות, וסוגי הלוגיקה השונים מאפשרים ללמוד את המבנה הפורמאלי של ההצהרות הללו, כפי שקשור לתוכן, ועוצמתו של התוכן האמור.
למרות שהלוגיקה מבוססת על לימוד ההצהרות, היא אינה מתמקדת באופן ברור בשפה הטבעית (השפה כפי שאנו מכירים אותה), אבל התועלת שלה הגיעה לאזורים מגוונים ועם מבנים שונים, כגון מתמטיקה ו מחשוב.
הסוגים הרלוונטיים ביותר של לוגיקה
פורמלי
ההיגיון הפורמלי, הידוע גם בשם לוגיקה קלאסית או לוגיקה אריסטוטלית, הוא לימוד של טענות, טיעונים, משפטים או משפטים מנקודת מבט מבנית.
זוהי שיטה לבניית המחשבה ולקבוע את הצורות הנכונות או הלא נכונות של גישה ספציפית.
ההיגיון הפורמלי אינו מתמקד באמת או בזיוף של תוכנו של טיעון מסוים, אלא מתמקד בתוקפו או בבנייתו אחרת של צורתו.
כלומר, מושא לימוד ההיגיון הפורמלי אינו אמפירי, שכן הלוגיקן אינו רלוונטי לקבוע אם הטיעון המוצג הוא אמיתי ומוכח; אלא שמחקרו מתמקד בבירור במבנה הטיעון.
בתוך ההיגיון הפורמלי יש שתי סיווגים חשובים מאוד: לוגיקה דדוקטיבית והגיון אינדוקטיבי.
ההיגיון הדדוקטיבי מתייחס לאמירות הספציפיות הנובעות ממושגים כלליים. באמצעות סוג זה של היגיון מסקנות יכול להיעשות מתוך מושגים או תיאוריות שכבר קיימים.
לדוגמה, בתוך ההיגיון הדדוקטיבי אפשר לומר, שאם לבני אדם יש רגליים וקלרה היא בן אנוש, אז קלרה יש רגליים.
במקרה של הגיון אינדוקטיבי, בניית הוויכוחים מתרחשת בדרך אחרת; כלומר, מושגים כלליים נוצרים מטיעונים ספציפיים.
לדוגמה, בתוך ההיגיון אינדוקטיבי אפשר לומר כי, אם אחד החתול אוהב דגים, ועוד אחד אוהב את זה, ועוד גם, אז כל החתולים כמו דגים.
בלתי פורמלי
ההיגיון הבלתי פורמלי הוא ענף המחקר המתמקד בשפה ובהודעה הנובעת ממבנים וסמלים סמנטיים.
לוגיקה זו שונה מההיגיון הפורמלי, שכן ההיגיון הפורמלי בוחן את מבני המשפטים וההצעות; ו ההיגיון הלא רשמי מתמקדת ברקע של המסר המועבר.
מטרת המחקר היא הדרך להתווכח על מנת להשיג את התוצאה הרצויה. לוגיקה בלתי פורמלית מאמתת טיעונים לוגיים שהם קוהרנטיים יותר בקרב אחרים, בעלי מבנה ארגומנטי חלש יותר.
לא קלאסית
לוגיקה לא קלאסית, או לוגיקה מודרנית, מקורה במאה התשע-עשרה ועולה בהתנגדות להצהרות הלוגיקה הקלאסית.
היא קובעת צורות אחרות של ניתוח, אשר יכולות לכסות היבטים רבים יותר מאשר ניתן להקיף דרך הגישה הקלאסית של ההיגיון.
כך נכללים אלמנטים מתמטיים וסמלים, הצהרות חדשות או משפטים שבאו לפצות על הליקויים של מערכת לוגית פורמלית.
בתוך ההיגיון הלא קלאסי יש תת-סוגים שונים של לוגיקה, כגון מודאלית, מתמטית, טרייוונטית, בין היתר..
כל סוגי ההיגיון הללו נבדלים במידה מסוימת מההיגיון הפורמלי, או משלבים אלמנטים חדשים המשלימים, ומאפשרים ללמוד לוגי של הצהרה מסוימת כדי להיות מדויקים יותר ומתאימים לתועלת בחיי היומיום.
סמלי
ההיגיון הסמלי נקרא גם לוגיקה של סדר ראשון, או לוגיקה מתמטית, ומאופיין באמצעות סמלים המהווים שפה חדשה שדרכה ניתן "לתרגם" את הטיעונים.
כוונת ההיגיון הסמלי היא להמיר מחשבות מופשטות למבנים פורמליים יותר.
למעשה, הוא אינו משתמש בשפה טבעית (שפה), אך משתמש בשפה טכנית הממירה משפטים לאלמנטים רגישים ליישום של כללים מדויקים יותר מאשר ניתן להחיל בשפה טבעית..
לאחר מכן, ההיגיון הסמלי מאפשר את הטיפול בהנחות באמצעות חוקי החישוב, כדי למנוע בלבול או אי-דיוקים.
הוא מבקש לשלב אלמנטים מתמטיים בניתוח מבנים לוגיים פורמליים. בתחום המתמטי, ההיגיון משמש להוכחת משפט.
בקיצור, ההיגיון הסימבולי או המתמטי מבקש לבטא את המחשבה האנושית באמצעות שפה מתמטית.
זה יישום מתמטי של ההיגיון מאפשר טיעונים ומבנים להיות מדויק יותר.
מודאלית
לוגיקה מודאלית מתמקדת בחקר הטיעונים, אך מוסיפה אלמנטים הקשורים לאפשרות שההצהרה הנדונה נכונה או שקרית.
ההיגיון המודאלי מתיימר להיות יותר בקנה אחד עם המחשבה האנושית, ולכן הוא כולל שימוש במבנים כגון "יכול", "אולי", "לפעמים", "אולי", "כנראה", "סביר", "אולי" "בין היתר.
בהיגיון המודאלי, זה עניין של התחשבות בתרחיש שבו קיימת אפשרות, ואחת נוטה לשקול את כל האפשרויות הקיימות, מנקודת המבט הלוגית.
חישובית
לוגיקה חישובית היא סוג של לוגיקה הנגזרת לוגיקה סימבולית או מתמטית, רק היא מיושמת בתחום המחשוב.
תוכניות מחשב משתמשות בשפה של תכנות לפיתוחן, ובאמצעות לוגיקה אפשר לעבוד על מערכות שפה אלו, להקצות משימות ספציפיות ולבצע פעולות אימות..
הפניות
- "לוגיקה" באנציקלופדיה בריטניקה. ב 4 אוגוסט 2017 מתוך האנציקלופדיה בריטניקה: britannica.com
- "לוגיקה פורמלית" באנציקלופדיה בריטניקה. ב 4 אוגוסט 2017 מתוך האנציקלופדיה בריטניקה: britannica.com
- Hernández, F. "לוגיקה חישובית" באוניברסיטה האוטונומית הלאומית של מקסיקו. ב 4 אוגוסט 2017 מן האוניברסיטה האוטונומית הלאומית של מקסיקו: unam.mx
- Muñoz, C. "לוגיקה לא קלאסית" באוניברסיטת Computense של מדריד. אוחזר ב 4 אוגוסט 2017 מן Universidad Complutense של מדריד: ucm.es
- יוליה, "מה ההיגיון הסמלי?" ב eHow en Español. אחזור ב 4 אוגוסט 2017 מ eHow en Español: ehowenespanol.com
- Oller, C. "לוגיקה פורמלית וטענה" (2006) באוניברסיטה הלאומית של לה פלאטה. אוחזר ב 4 אוגוסט 2017 מן האוניברסיטה הלאומית של לה פלאטה: rfytp.fahce.unlp.edu.ar
- "מסקנות דדוקטיביות ואינדוקטיביות" ביונטה דה אקסטרמדורה. אחזר ב 4 אוגוסט 2017 ב Junta דה Extremadura: educationarex.es.