| |||||||||||||||||||||||||||||||||
![]() |
![]() |
||||||||||||||||||||||||||||||||
יסודות הסמנטיקה הפורמלית
Fundamentals of Formal Semantics |
0627-2177-01 | ||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
מדעי הרוח | בלשנות כללית | |||||||||||||||||||||||||||||||||
|
יסודות הסמנטיקה הפורמלית
דר' נירית קדמון
תיאור הקורס
זהו הראשון בקבוצה של קורסים שמטרתם להעניק הכרות מעמיקה עם תחום הסמנטיקה הפורמלית של שפה טבעית ולפתח את יכולתו/ה של התלמיד/ה לעסוק במחקר עצמאי בתחום זה. הקורס משלב (א) הקניית כלים פורמאליים בסיסיים הדרושים לעיסוק בסמנטיקה, ו – (ב) דיון במספר נושאים מרכזיים בסמנטיקה של שפה טבעית. בגלל הצורך בהקניית כלים פורמאליים יהיה לקורס אופי טכני למדי, והוא יכלול עיסוק רב בלוגיקות שונות ובתורת המודלים. יחד עם זאת לא נזנח את המוטיבציה הלשונית ואת הצד האמפירי, ונדון כאמור במספר נושאים מרכזיים בסמנטיקה של שפה טבעית. אלה יכללו את הסמנטיקה של כימות, של צירופים שמנים מיודעים ולא-מיודעים, זמן (tense) ומודאליות.
דרישת קדם: מבוא לסמנטיקה
פטור מהקורס הנ"ל ניתן אך ורק לבעלי רקע מתאים, עפ"י שיקול דעת המרצה, וכפוף לתנאים הבאים: א. אישור המרצה;
ב. התלמיד/ה ת/יקח על עצמו/ה לקרוא את כל חומר הלימוד של מבוא לסמנטיקה: פרקים 1,2 בספר הלימוד Chierchia & McConnell-Ginet 2000, מאמרו של גוטלוב פרגה "על מובן והוראה" ("On Sense and Reference"), והתמסיר PC-EXAMPLES.
דרישות הקורס:
תרגילים (מוגשים בזמן!) לאורך הסמסטר 30% מהציון הסופי
עבודה (מטלה מסכמת, שמהווה למעשה בחינת בית) 70% מהציון הסופי
Foundations of Formal Semantics
Dr. Nirit Kadmon
Course prerequisites (if any): Introduction to Semantics
Course Description
This is the first in a group of courses which aim to achieve in-depth familiarity with formal semantics of natural language and develop the student's ability to do independent research in this area. The course combines (a) acquiring basic formal tools necessary for work in semantics, and (b) discussing a number of central issues in the semantics of natural language. Hence the course will be rather technical in nature, dealing with different logical languages and their model theoretic semantics, but will also be concerned with the empirical side and the linguistic motivation for formal developments.
Course Requirements:
regular homework assignments - 30% of the final grade
final assignment (serving as a take-home exam) - 70% of the final grade