| קורס זה הוא הראשון בקבוצה של קורסים שמטרתם להעניק הכרות מעמיקה עם תחום הסמנטיקה הפורמלית של שפה טבעית ולפתח את יכולתו/ה של התלמיד/ה לעסוק במחקר עצמאי בתחום זה. הקורס משלב (א) הקניית כלים פורמאליים בסיסיים הדרושים לעיסוק בסמנטיקה, ו – (ב) דיון במספר נושאים מרכזיים בסמנטיקה של שפה טבעית. בגלל הצורך בהקניית כלים פורמאליים יהיה לקורס אופי טכני למדי, והוא יכלול עיסוק רק בלוגיקות שונות ובתורת המודלים. יחד עם זאת לא נזנח את המוטיבציה הלשונית ואת הצד האמפירי , ונדון כאמור במספר נושאים מרכזיים בסמנטיקה של שפה טבעית. אלה יכללו את הסמנטיקה של כימות, של צירופים שמנים מיודעים ולא-מיודעים, זמן (tense ) ומודאליות. |