1. No category

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