לוגיקה פורמלית וחוקי היסוד שלה

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

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

1. אם פסקי הדין הם חיוביים, המסקנה הנשלפת מהם אינה יכולה להיות שלילית.
2. אם אחת מההצהרות היא שלילית, המסקנה הכללית תהיה תמיד שלילית.

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

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

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

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

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

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

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

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

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

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

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