04/07/2021
0
צפיות
ה סמנטיקה לוגית זהו ענף של לוגיקה וסמיוטיקה החוקר כיצד סימן קשור למציאות, התנאים הדרושים כדי שסימן יתאים לחפץ ולכללים של מַשְׁמָעוּת. לדוגמה: עוגה לא יכולה להיות גולמית ומבושלת בו זמנית.
שפה מורכבת מקבוצה של סימנים המשמשים ליצירת משפטים. אמירות מתקשרות משהו ביחס לסביבה, כלומר ביחס למציאות.
לפי הסמנטיקה הלוגית, כדי שהצהרה תייצג את המציאות, היא צריכה להתאים לה ערכי אמת מסוימים, כלומר, חייב להיות אפשרי לקבוע אם אמירה נכונה או מְזוּיָף.
על מנת לקבוע קביעה זו, נעשה שימוש בעקרונות הלוגיים הבאים:
סמנטיקה לוגית מיושמת בתחומים שונים, כגון הפילוסופיה של השפה, אפיסטמולוגיה, מתמטיקה, מחשוב ופיזיקה.
ראה גם: