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