מעודכן ליום רביעי, 9 ביולי 2008
שימו לב: ידיעון זה בהחלט אינו סופי ואין להסתמך עליו.
סילבוס מבוא ללוגיקה פילוסופית לשנת תשס"ח
(קורס מספר 06181010)
06181010 מבוא ללוגיקה פילוסופית
שיעור
מר רן לנצט
מטרת הקורס היא להעמיק ולהרחיב את ההיכרות עם תחשיב הפרדיקטים מסדר ראשון, וכן לסקור מספר נושאים נוספים מתחום הלוגיקה אשר לא נידונו בקורס המבוא. בין הנושאים שיטופלו בקורס:
א. מושגי-יסוד בתורת הקבוצות.
ב. תחשיב הפרדיקטים מסדר ראשון עם זהות – כללי היסק וסמנטיקה תורת-קבוצתית.
ג. פרדוקסים לוגיים וסמנטיים.
ד. מושגים ראשונים מלוגיקה מודאלית, כולל הצגת הסמנטיקה של עולמות אפשריים.
במהלך הקורס ינתנו עבודות בית. אחוז ההגשה של העבודות ישוקלל לציון הכללי במשקל של 20%. יתרת הציון תקבע על-ידי בחינת סיום.
מבוא ללוגיקה
הקורס אינו מומלץ לתלמידים שהתקשו בקורס המבוא.