מה זה הגיון:
הִגָיוֹן זהו מדע פורמלי החוקר את מבנה או צורות המחשבה האנושית (כגון הצעות, מושגים ונימוקים) בכדי לבסס חוקים ועקרונות תקפים להשגת קריטריונים של אמת.
כשם תואר, 'הגיוני' או 'הגיוני' פירושו שמשהו עוקב אחר כללי ההיגיון וההיגיון. זה גם מצביע על תוצאה טבעית או נורמלית צפויה.
הוא משמש גם להתייחס למה שמכונה 'השכל הישר'. זה בא מלטינית הִגָיוֹן, ובתורו מהיוונית λογική (לוגיקה, 'בעל סיבה, 'אינטלקטואלי', 'דיאלקטי', 'ויכוח'), שנובע בתורו מהמילה λόγος (סמלי לוגו, 'מילה', 'מחשבה', 'סיבה', 'רעיון', 'ויכוח').
הגיון הצעה, מתמטי או סמלי
היגיון הצעה הוא ענף ההיגיון החוקר משתני הצעה, קישורים לוגיים (
). יש מחברים שמזהים אותו גם עם לוגיקה מתמטית או לוגיקה סמלית, מכיוון שהוא משתמש בסדרת סמלים מיוחדים שמקרבים אותו לשפה המתמטית. הצעות יכולות להיות נכונות או שקריות.
לוגיקה פילוסופית
ההיגיון נחשב בדרך כלל כחלק מהפילוסופיה, אם כי ההיגיון, ככזה, מיושם בתחומים ופעילויות שונות של האדם.
ההיגיון הפילוסופי משתמש בארבעה עקרונות יסוד הקובעים את תהליכי החשיבה הנכונים. עקרונות אלה הם עקרון הזהות, עקרון אי-הסתירה, עקרון הצד השלישי המודר ועקרון התבונה המספיקה.
לוגיקה רשמית והגיון פורמלי
לוגיקה פורמלית היא שמטרתה ללמוד מסקנות טכניות באמצעות מערכות דדוקטיביות ושפות פורמליות וסמנטיקה. ההיגיון הבלתי פורמלי, מצדו, חוקר מערכות חשיבה וטענות טבעיות באמצעות שפה ומחשבה יומיומית.
לוגיקה אריסטוטלית
ההיגיון מבוסס על מחקריו של אריסטו, פילוסוף יווני מהמאה הרביעית לפני הספירה. הלוגיקה האריסטוטלית משתמשת במה שמכונה סילוגיזם, שהוא ניכוי או צורת הנמקה בה נקבעים הנחות יסוד שממנו מסיקים מסקנה.
זהו, אפוא, מושג הדומה לטיעונים בעלי תוקף דדוקטיבי. דוגמה קלאסית ללוגיקה אריסטוטלית היא: ״כל הגברים הם בני תמותה. כל היוונים הם גברים. לכן כל היוונים הם בני תמותה. ' שני המשפטים הראשונים יהיו הנחות היסוד והשלישי המסקנה.
הגיון מפוזר
הקונספט של הגיון מפוזר מגיע מאנגלית ('לוגיקה מטושטשת'). זהו סוג של לוגיקה המשתמשת בערכים אקראיים אך קשורים זה לזה וקשורים זה לזה, וקובעים את קרוב משפחתו של מה שנצפה כמיקום דיפרנציאלי. לוגיקה מטושטשת מיושמת בתחומים שונים כגון מדעי המחשב והתעשייה.
