יסודות הסמנטיקה הפורמלית

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

This course is the first in a series of courses through which a student may attain in-depth knowledge of the field of formal semantics, and develop the expertise needed for carrying out independent research in this field. The course combines (i) instruction in the basic formal tools used in semantic theory, and – (ii) discussing a number of central issues in the semantics of natural language. Because we need to teach the formal tools, the course will have a fairly technical nature, dealing with different logical languages and with model theory. At the same time, we will not neglect the linguistic motivation and the empirical side, dealing as noted above with a number of central issues in the semantics of natural language, including the semantics of quantification, definite and indefinite NPs, tense, and modality.