| 0618.1012 מבוא ללוגיקה | |
|---|---|
| פרופ' רות מנור | שיעור |
| הלוגיקה היא מרכיב חשוב בתולדות הפילוסופיה ובהבנת טקסטים עדכניים. הקורס "מבוא ללוגיקה" נועד להקנות לתלמידים כלים בסיסיים להכרת הלוגיקה על ידי איתור והערכת טיעונים תקפים. מטרה זו נשענת על פיתוח יכולת הניתוח של השפה הטבעית על מנת לחשוף, בעזרת שפה פורמלית, את מבניה ה"לוגיים". הקורס הינו יחידה של 4 ש"ס: שיעור + תרגיל. התרגיל צמוד לשיעור וכפוף לו, וציון אחד ניתן לכל הקורס.
תוכן הקורס: 1. מבוא כללי: מהי לוגיקה? למה לוגיקה? הצגת מושג התקפות: טיעונים (תקפים, בטלים), פסוקים לעומת טענות, המעבר משפה טבעית לשפה פורמלית. 2. שפה פורמלית: הצגה כללית של תחשיב הפסוקים (כללי תצורה, קשרים לוגיים). הצרנות משפה טבעית לפורמלית ומתן אינטרפרטציה לנוסחאות בשפה פורמלית. 3. סמנטיקה של ערכי אמת - בדיקת טענות וזיהוין כטאוטולוגיות, קונטינגנטיות, או אנטילוגיות; מושג הטאוטולוגיה המתקשר עם המושג של אמת לוגית. 4. טיעונים תקפים, בטלים, מבוססים. בדיקת טיעון תקף כטיעון אשר אין אינטרפרטציה שבה הקדמותיו אמיתיות ומסקנתו שקרית. 5. סיכום הסמנטיקה של ערכי אמת. דיון בתיאוריות של משמעות. הצגת תיאוריה חדשה (סינטקטית במקום סמנטית) שמתבססת על כללי היסק במקום ערכי אמת. 6-7. כללי היסק ברוח גנצן - הצגת מערכת של כללי היסק בה ניתן להוכיח מסקנות מתוך הקדמות באופן "תחבירי". משפט השלמות אשר מקשר בין מושג התקפות הסמנטי לבין מושג ההוכחה הסינטקטי. 8-9. הצגת שפה פורמלית מורחבת - תחשיב הפרדיקטים. פיתוח השפה ועיסוק ממוקד בבעיית ההצרנה - המעבר משפה טבעית לשפה הפורמלית המשופרת. 10. תחשיב הפרדיקטים המורחב - יחסים. 11-12. כללי היסק בתחשיב הפרדיקטים. 13. סוגיות בתולדות הלוגיקה. 14. סיכום. מבנה זה של הקורס מאפשר להציג בפני התלמידים את הלוגיקה הן כנושא למחקר והן ככלי לניתוח השפה ולבדיקת טיעונים. בסיימו את הקורס יוכל התלמיד להתמודד בהצלחה עם טקסטים פילוסופיים ואחרים, תוך הבנת הטיעונים והנוסחאות המופיעים בהם. | |
| מועדי הבחינות: | |
| מועד א' של סמסטר א' יתקיים ביום 21/02/2006 בשעה 9:00 | |
| מועד ב' של סמסטר א' יתקיים ביום 29/03/2006 בשעה 18:00 | |