הלוגיקה הפורמלית , המכונית גם היגיון תיאורטי או לוגיקה מתמטי, אשר קובעה צורות תקפות ונכונות של הנמקה הם. באמצעות תרגול זה אנו מבקשים להבדיל בין הנכון למה שאינו נכון.
בלוגיקה פורמלית משתמשים בסמלים בצורה חד משמעית ובצורה הברורה ביותר האפשרית, כך שלא ניתן יהיה לטפל בהם. בזכות תרגול זה ניתן לפתח רעיונות משלך.
אלפרד צפון וייטהד היה אחד התומכים בהיגיון הפורמלי. מקור: אמון Wellcome
המילה "היגיון" באה מהשפה היוונית העתיקה λογικήlogik ḗ שפירושה "ניחן בסיבה אינטלקטואלית, דיאלקטית, ויכוחית." ההיגיון הוא אחד מענפי הפילוסופיה והמתמטיקה, והוא נחשב לשימוש רב עבור תחומים אלה.
באופן כללי, ההיגיון חוקר את צורת המחשבה. העבודות הראשונות שבוצעו ביחס ללוגיקה מיוחסות לפילוסוף היווני אריסטו, וזו הסיבה שהוא ידוע כאב המייסד של תחום מחשבה זה.
לאורך ההיסטוריה הגנו פילוסופים, מתמטיקאים ולוגיקאים שונים על היגיון פורמלי. ביניהם אנו יכולים לקרוא למתמטיקאי ולוגיקן כנסיית אלונזו; הפילוסוף, המתמטיקאי והלוגיקן גוטלוב פרגה; וגם המתמטיקאי והפילוסוף אלפרד נורת 'וייטהד.
גם אלפרד טרסקי, קורט גדל, ברטרנד ראסל ווילאארד ואן אורמן קווין היו מגנים גדולים.
מושא הלימוד
ההיגיון הרשמי משתמש בהיבטים כמו הנמקה, מושג, שיפוטים והדגמה כמושא לימוד. מתוך אלמנטים אלה הוא מנתח ולומד את כל משאבי השפה והסמנטיקה, על מנת להגיע למסקנה.
במובן זה נקבע כי בהיגיון הפורמלי נלמדים הנמקה מובנית, מתוקף תוקף או תוקף.
ההיגיון הרשמי אינו מחקר אמפירי של תהליך ההנמקה. אין להתבלבל עם שכנוע, מכיוון שלוקח את מבנה הטיעונים כדי להגיע למסקנה.
היגיון זה ידוע גם בשם היגיון תיאורטי או טהור, והוא מבקש לבצע מחקר מופשט בתכנים או בצורות הלוגיות של הטיעונים הדדוקטיביים, ההצהרות, ההצעות והמשפטים המשמשים באסרטיביות.
ביצוע מחקר ממצה של דפוסי ההיגיון הפורמלי יאפשר לכל אחד לדעת בדיוק את הנהלים הקשורים לחשיבתם.
מאפיינים
להלן המאפיינים הייחודיים ביותר המבדילים בין היגיון פורמלי לסוגים אחרים של היגיון:
-מדע זה חוקר את צורת הנחת היסוד, בניגוד לסוגים אחרים של היגיון שחוקרים רק את החומר.
זה מבנה ללא חומר.
-הוא מוקם תחת תת מערך של מערכות פורמליות.
החל שיטות יעילות כל כך שבאמצעות היגיון רשמי אתה יכול להבחין מה לא בסדר ממה שנכון.
מסקנות ההנמקה או התוקף הנכונים עולות מכיוון שמנותחים את מבנה הנחות היסוד.
-לבדוק ונתח אנשים כדי להגיע ישירות למחשבה, וכך יוכלו ליצור דפוסים חדשים במוחו של כל אדם.
זה מאופיין בכך שהוא סמלי.
מבחינת המדע הפורמלי הוא ממלא תפקיד חשוב במתמטיקה, פילוסופיה, מדעי המחשב והסטטיסטיקה.
זה קשור לדקדוק בגלל לימוד סמנטיקה.
מבני חקר, וזו הסיבה שמשווים אותה למתמטיקה.
זה קשור גם לפסיכולוגיה מכיוון שהוא מתמקד בחקר המחשבה של כל פרט.
סוגים
היגיון דהונטי
זה בא מהדיון היווני הקדום δέον ופירושו "מה שצריך" או "מה שצריך". הלוגיקן האוסטרי אלואה הופלר הוא חלוץ מושג זה המתייחס לחקר וניתוח של נורמות.
היגיון דו-ערכי
זהו סוג ההיגיון התומך בערכים נכונים ושקריים בלבד. הוא לא מאמין בגוונים, הכל שחור או לבן; גווני אפור בלתי אפשריים בהיגיון מסוג זה.
עקרונותיה מבוססים על היגיון אריסטוטלי, שהם זהות, אי סתירה והצד השלישי המודר.
היגיון רב-ערכי או רב-תכליתי
היגיון מסוג זה נולד כתוצאה מהמחקרים שנערכו על ידי הפילוסופים יאן אוקאסביץ 'ואמיל פוסט, בהם הם קובעים שאפשר להודות בערכים שאינם "נכון" ו"שקר "שכבר נפוצים, וכי ערכים אלה יכולים להגיע למעשה עד אינסוף.
במובן זה זה שונה מההיגיון הדו-ערכי, שמודה בשני ערכים בלבד. מחקרים מראים שההיגיון הרב-ערכי או הרב-תכליתי מטפל בערכים כמו אפשרות, הכרח, אי-הכרח, אמת, שקר וחוסר אפשרות.
באופן דומה, סוג זה של היגיון פורמלי אחראי גם על לימוד ההיבטים הפילוסופיים והמבניים של הוויכוחים.
דוגמאות
באמצעות היגיון רשמי אפשר להוסיף ערך של אמת או שקר לסבר נימוק ספציפי.
כפי שהסברנו קודם, ההיגיון הפורמלי אינו מתמקד בכל האפשרויות שניתן לחלץ מוויכוח; זה רק מתמקד בשאלה אם זה נכון או לא נכון. במובן זה, למטה נפרט כמה דוגמאות המבוססות על היגיון רשמי:
בואנוס איירס היא בירת ארגנטינה; אם כן, כל ילידי בואנוס איירס הם ארגנטינאים.
-Joao דובר פורטוגזית. ז'ואאו נולד בפורטוגל. כולם בפורטוגל מדברים פורטוגזית.
-הפרות נותנות חלב. פרות הן יונקים. כל היונקים נותנים חלב.
פדרו לבנה ומריה היא ברונטית, כך שיש אנשים לבנים וחומים.
-מריה מנגנת בתזמורת הרוק. הנגנים הם אלה שמנגנים בתזמורת הרוק. מריה היא מוזיקאית.
-ג'וזה שיער שחור. לאלנה שיער חום. בתם יכולה להיוולד עם שיער שחור או חום.
-כף הרגל יש חמש בהונות. לבני אדם יש רגל ימין וכף רגל שמאל. לכל אדם יש עשר בהונות.
ספרד היא מדינה. ספרד נותרה באירופה. כל הספרדים הם אירופאים.
- אנה היא יצור חי. אנה היא בת תמותה. כל היצורים החיים הם בני תמותה.
- חוסה נרטב במים. המים נרטבים.
- מריה אכלה את האוכל החם שלה. מריה נשרפה ואכלה את האוכל החם שלה. כוויות אוכל חם.
- כדור הארץ הוא חלק מהיקום. ביקום ישנם כוכבי לכת. כדור הארץ הוא כוכב לכת.
- האור החשמלי מאיר. יש אור חשמלי ברחובות. אור חשמלי מאיר את הרחובות.
הפניות
- "היגיון רשמי" באנציקלופדיה של העולם החדש. הוחזר ב 21 באפריל, 2019 מתוך האנציקלופדיה של העולם החדש: newworldencyclopedia.org.
- Morton L. Schagrin Ge Huges "היגיון רשמי" הועלה ב- 21 באפריל, 2019 מ- Britannica: britannica.com.
- "ההיגיון והסיווג שלו" באקדמיה. הוחזר ב- 23 באפריל, 2019 מאקדמיה: academia.edu.
- "היגיון רשמי" במילון הפילוסופי. הוחזר ב- 23 באפריל 2019 מהמילון הפילוסופי: philosoph.org
- "היגיון רב-ערך" במילון הפילוסופי. הוחזר ב- 23 באפריל 2019 מהמילון הפילוסופי: philosoph.org.
- "היבטים כלליים של היגיון" במאמרי המועדון (18 באוגוסט 2013). הוחזר ב- 23 באפריל, 2019 מניסויים במועדון: clubensayos.com.
- "היגיון דהונטי" בוויקיפדיה . הוחזר ב- 23 באפריל, 2019 מוויקיפדיה: es.wikipedia.org.
- "היגיון רב תכליתי" בוויקיפדיה . הוחזר ב- 23 באפריל, 2019 מוויקיפדיה: es.wikipedia.org.
- "היגיון דו ערכי" בוויקיפדיה . הוחזר ב- 23 באפריל, 2019 מוויקיפדיה: es.wikipedia.org