הרהורים ספקניים בנוגע להתאמת הלוגיקה הפורמלית לתיאור הממשות 89 הלוגי הוא בהנחת המבוקש, ולכן בכל מקרה כאשר ההקדמות אמיתיות, המסקנה אמיתית בהכרח . אחרת, המסקנה פשוט הייתה סותרת את ההנחה שהיא עצמה מוכלת בתוכה . במילים אחרות, טיעון תקף לוגית הוא מחד ודאי מבחינת העברת ערכי אמת מהנחות ( עובדות ) למסקנה, ומאידך הוא טיעון כושל ולא מחדש מאומה בנוגע לעובדות בעולם . בהשוואה להיסק אינדוקטיבי ( כפי שתואר בפרק שלישי ) , שאינו תקף לוגית אך שואף לחדש לנו משהו עובדתי על העולם, טיעון דדוקטיבי הוא תקף לוגית אך אינו מחדש מאומה על העולם . אם כן, מחד, אפשר לומר שככל שהיסק הוא מדויק והכרחי יותר כך הוא ודאי יותר, אך לא מוסיף לנו מידע על העולם . ומאידך, ככל שהיסק מוסיף לנו מידע על העולם הוא פחות מדויק ולא הכרחי, ולכן גם לא ודאי . למסקנה זו יש משמעויות כבדות משקל בנוגע ליכולתנו או אי-יכולנו להכיר / לדעת את הממשות שבה אנו חיים . כפי שראינו, את דרכי היסק שלנו אפשר לחלק באופן עקרוני לשני סוגי היסק עיקריים, היסק דדוקטיבי המסיק מהכלל אל הפרט, והיסק אינדוקטיבי המסיק מהפרט אל הכלל . בחשיבה יום-יומית שלנו ובמדע, כאשר א...
אל הספר