משמעות ההיגיון (מה זה, מושג והגדרה)

הִגָיוֹן הוא שם עצם נשי מהמונח היווני סֵמֶל, מקושר ל סמלי לוגו, סיבה, מִלָה אוֹ נְאוּם, שפירושו ה מדע חשיבה.

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

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

לוגיקה אריסטוטלית

על פי אריסטו, ההיגיון מטרתו ללמוד את מַחֲשָׁבָה, כמו גם את החוקים והכללים השולטים בו, כך שחשיבה זו תהיה נכונה. עבור הפילוסוף היווני, היסודות המרכיבים את ההיגיון הם ה מוּשָׂג, פְּסַק דִין ו הַנמָקָה. חוקי ההיגיון תואמים את הקשרים והקשרים שקיימים בין היסודות הללו.

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

לוגיקה בתכנות

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

לוגיקת ויכוח

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

קמח תירס הוא כלב.
כל הכלבים הם יונקים.
לכן, קמח תירס הוא יונק.

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

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

לוגיקה מתמטית משמשת גם לבניית חשיבה תקפה באמצעות הנמקות אחרות. הנימוקים יכולים להיות דֵדוּקטִיבִי (המסקנה מתקבלת בחובה מאמת המקום) ו אִינְדוּקְטִיבִי (הסתברותית).

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

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

היגדים לוגיים

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