‫אוניברסיטת תל‪-‬אביב‬ ‫החטיבה לתכניות מיוחדות‬ ‫המכינה האוניברסיטאית‬ ‫פיתוח חשיבה תיאורטית – מסלול מדעי החברה והרוח‬ ‫סילבוס לשנת תשע"ה‬ ‫המרצים‪ :‬מר רן לנצט‪ ,‬גב' קרן שחר‪.‬‬ ‫היקף הקורס‪ :‬שני סמסטרים – ‪ 3‬ש"ש‪.‬‬ ‫מטרת הקורס‪ :‬הצגת מספר מושגים ועקרונות לוגיים מרכזיים‪ ,‬הקניית כלים להתמודדות עם טקסטים‬ ‫המכילים טענות וטיעונים‪ ,‬כולל המרה לשפה פורמלית‪ ,‬ושימוש בכלים מסוג זה ביחס לטקסט נבחר‪.‬‬ ‫יעדים לימודיים ‪ :‬הקניית המיומנויות והיכולות הבאות‪:‬‬ ‫‪ .1‬זיהוי דוגמאות נגדיות לטענות כוללות‪.‬‬ ‫‪ .2‬חילוץ הנחות ומסקנה מטקסט המכיל טיעון‪ ,‬ובדיקת תקפות הטיעון ללא שימוש בתחשיב לוגי‬ ‫מוגדר‪.‬‬ ‫‪ .3‬שימוש בתחשיב הפסוקים לשם בדיקת תקפות של טיעונים‪ ,‬עקביות של קבוצות טענות‪ ,‬וכיו"ב‪.‬‬ ‫‪ .4‬פתרון שאלות תיאורטיות הנוגעות לקשרים שבין מושגים לוגיים שונים‪.‬‬ ‫‪ .5‬התמודדות עם טקסט המכיל טענות וטיעונים‪ ,‬כולל זיהוי הטענות והטיעונים ודיון ביקורתי‬ ‫בהם‪.‬‬ ‫חובות הקורס‪ :‬נוכחות בכל השיעורים‪ ,‬פתרון תרגילים לאורך הסמסטר‪ ,‬ידיעה עדכנית של החומר‬ ‫הנלמד‪ ,‬השתתפות פעילה בדיונים‪ ,‬הגשת שתי עבודות שעליהן ינתן ציון ועמידה בשני מבחנים‪ :‬בסוף‬ ‫סמסטר א' ובסוף שנת הלימודים‪.‬‬ ‫חישוב הציון הסופי בקורס‪ :‬הציון הסופי יקבע על‪-‬ידי בחינת סיכום במשקל ‪ ,07%‬בחינת אמצע (בסוף‬ ‫סמסטר א') במשקל ‪ ,15%‬ושתי עבודות‪ :‬עבודת סיכום במשקל ‪ 17%‬ועבודת אמצע (לקראת סוף סמסטר‬ ‫א') במשקל ‪.5%‬‬ ‫הקורס אינו עוקב אחר ספר לימוד מסויים‪.‬‬ ‫‪1‬‬ ‫פירוט הנושאים‬ ‫חלק ראשון – מושגים לוגיים בסיסיים‬ ‫א‪ .‬רקע‬ ‫מהי לוגיקה ומדוע היא נחוצה‪.‬‬ ‫ב‪ .‬טיפול מבואי בפסוקים ובטענות ללא שימוש בתחשיב לוגי מוגדר‬ ‫‪ .1‬פסוקים וטענות‪ :‬מהי טענה‪ ,‬ערכי אמת‪ ,‬מבנה לעומת תוכן‪ ,‬טענות כלליות וישיות‪ .‬שלילה‪.‬‬ ‫פסוקי תנאי‪ .‬הפרכת טענות כלליות בעזרת דוגמה נגדית‪.‬‬ ‫‪ .2‬טיעונים‪ :‬מהו טיעון‪ ,‬מבנה לעומת תוכן‪ ,‬טיעונים מוצלחים ובלתי מוצלחים‪ .‬תקפות דדוקטיבית‪,‬‬ ‫יחסי הנביעה והגרירה‪ ,‬תקפות כתלויה במבנה ולא בתוכן‪ ,‬הוכחת בטלות בעזרת דוגמא נגדית‪.‬‬ ‫דפוסי טיעון המבטיחים תקפות וטיעונים מבוססים‪.‬‬ ‫ג‪ .‬הצגת תחשיב הפסוקים‬ ‫דוגמאות לטיעונים שתקפותם תלויה בקשרים פסוקיים‪ ,‬סימני תחשיב הפסוקים‪ ,‬דוגמאות פשוטות‬ ‫להצרנה‪ .‬עקרון הקומפוזיציונליות‪ ,‬טבלאות אמת‪ ,‬נב"כ‪.‬‬ ‫ד‪ .‬תקפות בתחשיב הפסוקים‬ ‫תקפות‪ ,‬נביעה‪ ,‬גרירה לוגית‪.‬‬ ‫חילוץ טיעונים מטקסט נתון‪ ,‬הצרנה ובדיקת תקפות‪.‬‬ ‫ה‪ .‬סטטוס לוגי בתחשיב הפסוקים‬ ‫טאוטולוגיות‪ ,‬קונטרדיקציות וקונטינגנציות‪.‬‬ ‫חילוץ טענות מטקסט נתון ובדיקת סטטוס לוגי‪.‬‬ ‫ו‪ .‬עקביות בתחשיב הפסוקים‬ ‫הצגת הרעיון‪ ,‬הגדרה‪.‬‬ ‫חילוץ טענות מטקסט נתון‪ ,‬הצרנה בדיקת עקביות‪.‬‬ ‫ז‪ .‬גרירה לוגית וגרירה מטריאלית; שקילות לוגית ושקילות מטריאלית‬ ‫הצגת המושגים וחידוד ההבדלים ביניהם‪.‬‬ ‫ח‪ .‬שיטת מתן הערכים‬ ‫הצגת השיטה‪ ,‬השימוש בה לבדיקת תקפות‪ ,‬סטטוס לוגי‪ ,‬עקביות‪ ,‬גרירה לוגית‪ ,‬ושקילות לוגית‪.‬‬ ‫ט‪ .‬תכונות של יחסים‬ ‫רפלקסיביות‪ ,‬סימטריה‪ ,‬טרנזיטיביות‪.‬‬ ‫י‪ .‬חזרה לתחשיב הפסוקים‬ ‫‪2‬‬ ‫הנביעה כיחס דו מקומי‪ ,‬תכונות השקילות הלוגית ועקרון ההצבה האחידה‪ ,‬קשרים חשובים בין מושגי‬ ‫התקפות‪ ,‬הגרירה הלוגית‪ ,‬השקילות והעקביות; דפוסי טיעון תקפים‪ ,‬האינווריאנטיות של התקפות‬ ‫תחת הצבה אחידה‪ ,‬שקילויות לוגיות חשובות‪.‬‬ ‫חלק שני‪ :‬ניתוח טקסט‬ ‫עיון ביקורתי בטקסט נבחר‪.‬‬ ‫‪3‬‬