אישוש

אישוש לגבי פרטים , הדגם הדדוקטיבי עודנו עומד בפני קשיים רבים שמקורם בהגיון האישוש שעליו הוא מסתמך . הנה , לדוגמה , ה'פאראדוכס של המפל' ? ההיגד האומר שכל n A הם B שקול מבחינה לוגית להיגד האומר שכל BrxVn הם KV . A את ההיגד הראשון נוכל לחשוב למאושש אם בדיקתם של A רבים מאוד תראה שכולם 3 אך קשה להאמין שנשיג אותה מידת אישוש אם במקום זה נבדוק מספר גדול מאוד של לא B ונמצא שכולם KV . A כדי לבדוק אם כל הברבורים לבנים , נתבונן בברבורים לדאות אם אמנם לבנים הם , ולא נתבונן בחפצים צבעוניים לראות אם אינם ברבורים . כוחו של הסבר , בדומה למשקלן של ראיות , אינו יכול להיות תלוי בדרך ניסוחו של המשפט . לא ניכנס כאן לדיון בדרכים השונות שהוצעו לפתרון הפאראדוכס , או לקביעה , על יסוד שיקולים צורניים , איזו הכללה נומולוגית כשרה לצורך הסבר . אכן אמת הדבר , שבדגם הדדוקטיבי דרושה מידה מסוימת של תחבלנות לוגית , אם רוצים להפעילו בהצלחה , אבל לעומת זאת , הדגם הדפיסי אפילו לא הגיע עדיין לאותה מידת פירוט בהגדרה ובניסוח , שתאפשר לכל אחד לראות אילו תחבולות עשויות להידרש לצורך הפעלתו . אינני בא לומר שאני מסכים בלב ...  To the book