כדי לקבוע את המונח "ההיגיון המוצע", יש צורך להבין בבירור מה "הצהרה" היא.
אז, ההצהרה היאהמשפט הוא נכון מבחינה גרמטית, והוא שקר או נכון. מושג זה צריך לבטא משמעות מסוימת. לדוגמה, הביטוי "כנרי הוא ציפור" כולל רכיבים כאלה: "כנרית" ו "ציפור".
לכן אחד המושגים המרכזיים, המקוריים של ההיגיון הוא ההצהרות. מושגים אלה צריכים לתאר מצב מסוים שבו תהיה הצהרה של משהו או שלילה.
ההצהרה נחשבת נכונה אם המציאות מתוארת כאשר מתארים אותה. על ידי עצמם, "שקרים" ו "אמת" לקבוע את האמת של אמירות.
ההיגיון של הצהרות מורכב פשוט וביטויים מורכבים. לכן, הצהרה פשוטה שאינה כוללת ביטויים אחרים בהרכב שלה נחשב פשוט. וכדי מורכבים הם ביטויים, אשר מתקבלים מתוך פשוט, ההיגדים הקשורים מבחינה לוגית.
ההיגיון הקלאסי של המלים יכול להיותמיוצגת על ידי התיאוריה הכללית של ניכוי. זהו בדיוק החלק של ההיגיון שבו מתארים את הקשרים הלוגיים של ביטויים פשוטים שאינם תלויים במבנה המלים.
זה בלתי אפשרי שלא לדבר על יחד - מורכבתהצהרה, שהושגו על ידי שילוב של שתי ביטויים פשוטים עם המילה "ו". האמת של יחד הוא אישר את האמינות של כל ההצהרות הכלולות במבנה שלה. במקרה שבו לפחות אחד מחבריה הוא שקר, כל יחד יש סימן "שקר".
ההקבלה עצמה משמשת להרכיב את ההצהרות המורכבות המבוססות על הנחות כאלה:
- כל ביטוי (פשוט ומורכב) יכול להיות אמיתי או שקר;
- האמת של הצהרה מורכבת תלויה ישירות את האמת של הצהרות שלה קשרים לוגיים בו.
בעת חיבור שני משפטים באמצעותאת המילה "או" הוא כבר disjunction. בחיי היומיום, ניתן לראות מושג זה מנקודת מבט של שתי משמעויות שונות. ראשית, זוהי משמעות לא בלעדית, אשר מרמז על האמת של הביטוי, ללא קשר אם אחד משני הביטויים הוא נכון או שניהם. שנית, המשמעות הבלעדית קובעת כי אחד הביטויים הוא נכון, והשני הוא שקר.
נוסחאות ההיגיון המוצע מכילות תכונות מיוחדותתווים. כך, במקרה של הפרעה, הסמל V מציין שהביטוי נכון אם לפחות אחת מההצהרות נכונה, ושקר אם שני התנאים שלו שקר.
בעת קביעת המשמעות, ישהטענה כי הבסיס של הצהרה לא יכול להיות אמיתי עם תוצאה כוזבת. במילים אחרות, מושג זה מניח את תלות האמת או השקר של הביטוי על משמעות מרכיביו ודרכי הקשר ביניהם.
למרות העובדה כי המשמעות היא די שימושיעבור מטרות מסוימות, זה לא עולה בקנה אחד עם ההבנה של היחסים מותנה במונחים כלליים. לכן, בהרחבה של תכונות חשובות רבות של ההתנהגות הלוגית של ביטוי, מושג זה אינו יכול להיות תיאור הולם.
ההיגיון של ההצהרות נועד לפתור בעיה כזו.משימה מרכזית, כמו הפרדה של תוכניות נכונות ולא נכונות של חשיבה ושיטתיות של לשעבר. כדי לקבל את התוצאה הנכונה, אתה צריך למקד את תשומת הלב שלך על סמלים מיוחדים שיכולים לייצג טופס זה או אחר. מכאן עולה עניין במלים כמו "או", "ו", וכו ', אשר הם משמעותיים ממבט ראשון.
לוגיקה של אמירות יש אפילו את השפה שלה, המורכב של המרכיבים הבאים:
- סמלים ראשוניים - משתנים, קבועים לוגיים וסימנים טכניים;
- נוסחאות.
כדי להבין טוב יותר את מה שנאמר, אנחנו צריכים ללכת על דוגמאות קונקרטיות. לדוגמה, הקישור משתמש ב & סמל, disjunction - / או º /.
</ p>
