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