| 0618.1010 מבוא ללוגיקה פילוסופית | |
|---|---|
| פרופ' רות מנור | שיעור |
| מטרת הקורס להרחיב ולהעמיק את הדיון בתחשיב הפרדיקטים ולסקור נושאים מהלוגיקה הקלאסית ומלוגיקות לא סטנדרטיות שצמחו כהרחבה או מתוך ביקורת הלוגיקה הקלאסית. יושם דגש על השיקולים הפילוסופים והמתודולוגים שבבסיס המערכות הלוגיות השונות.
הנושאים שיידונו הם: 1. תחשיב פרדיקטים: כללי היסק, וסמנטיקה תורת קבוצתית. 2. לוגיציזם והפרדוכסים הסמנטיים. 3. ה' הידיעה ומושג הפרספוזיציה. 4. מושגים ראשוניים מלוגיקה מודאלית וסמנטיקה של עולמות אפשריים. המסגרת השיעור יינתנו תרגילים והציון עליהם יחשב ל10% מהציון הסופי. | |
| מועדי הבחינות: | |
| מועד א' של סמסטר ב' יתקיים ביום 25/06/2004 בשעה 9:00 | |
| מועד ב' של סמסטר ב' יתקיים ביום 28/07/2004 בשעה 12:30 | |