תוכן הקורס ומטרתו
זהו קורס מבוא לסמנטיקה רפרנציאלית של שפה טבעית, שתחום המחקר שלה הוא ההיבט האינפורמטיבי במשמעות של ביטויים לשוניים, והכשירות שבזכותה דוברים מסוגלים להבין את המשמעות של אינסוף ביטויים. נכיר את סוגי הנתונים המרכזיים, כולל שיפוטי ערך-אמת ושיפוטי סוג טענה. נכיר גם את המושגים המרכזיים, כולל הוראה, קומפוזיציונליות, תנאי-אמת, תכונות ויחסים לוגיים, קדם-הנחה ורב-משמעות. לאחר מכן, נדון בהבחנה בין מובן והוראה (sense and reference), ע"פ מאמרו של גוטלוב פרגה. לבסוף, נפנה ללוגיקה, ונראה שימוש בטכניקות פורמליות לחקר הסמנטיקה של שפה טבעית.
חומר הקריאה הוא חובה.
מטלות: 25% מהציון הסופי.
בחינה סופית: 75% מהציון הסופי.
לסילבוס המפורט