היגיון של הצהרות

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

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

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

אמירה נחשבת כנכונה אם קיימת התכתבות עם מציאות המצב בעת תיאורה. כשלעצמם, "שקר" ו"אמת "קובעים את אמיתות ההצהרות.

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

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

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

הצירוף עצמו משמש ליצירת אותן הצהרות מורכבות המבוססות על ההנחות הבאות:

- כל ביטוי (פשוט ומורכב) יכול להיות אמיתי או שקר;

- האמת של אמירה מורכבת תלויה ישירות באמירות ההצהרות הכלולות בה ובקשרים ההגיוניים בה.

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

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

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

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

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

להיגיון האמירות יש אפילו שפה משלו, המורכבת מהאלמנטים הבאים:

- סמלי מקור - משתנים, קבועים לוגיים וסימנים טכניים;

- נוסחאות.

להבנה טובה יותר של הנאמר, יש צורך לעבור לדוגמאות ספציפיות. לדוגמא, צירוף משתמש בתו &, ניתוק משתמש / או º /.