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

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

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

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

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

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

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

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

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

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

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

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

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

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

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