| 0618.1010 מבוא ללוגיקה פילוסופית | |
|---|---|
| מר עפר שמאי | שיעור |
| מטרת הקורס להרחיב ולהעמיק את הדיון בתחשיב הפרדיקטים ולסקור נושאים מהלוגיקה הקלאסית ומלוגיקות לא סטנדרטיות שצמחו כהרחבה או מתוך ביקורת הלוגיקה הקלאסית. יושם דגש על השיקולים הפילוסופים והמתודולוגים שבבסיס המערכות הלוגיות השונות. בפרט נעמוד על האופן שבו מערכת לוגית מאפיינת את האוביקטים בהם היא עוסקת. הנושאים שיידונו הם:
1. תחשיב פרדיקטים: כללי היסק וסמנטיקה תורת קבוצתית. 2. לוגיציזם והפרדוכסים הסמנטיים. 3. ה' הידיעה ומֻשג הפרספוזיציה. 4. מֻשגים ראשוניים מלוגיקה מודאלית וסמנטיקה של עולמות אפשריים. במסגרת השיעור יינתנו תרגילים. | |
| דרישות קדם: מבוא כללי ללוגיקה | |
| מועדי הבחינות: | |
| מועד א' של סמסטר ב' יתקיים ביום 29/06/2006 בשעה 16:00 | |
| מועד ב' של סמסטר ב' יתקיים ביום 04/08/2006 בשעה 9:00 | |