כדי לגשת לשאלת היחס בין עובדות ללוגיקה , נציג טיעון לוגי תקף נוסף , וננסה להבין מה לא בסדר בו . מדובר בטיעון שקרוי " הדטרמיניזם הלוגי " , שמנסה להוכיח את התפיסה הדטרמיניסטית , שלפיה כל מה שקורה קורה בהכרח ( כלומר לא יכול היה לקרות אחרת ) , באמצעות טיעון לוגי . כדי להבין אותו נקדים דיון קצר על ערכי אמת של טענות . ערך אמת של טענה הוא שיפוט לוגי לגביה , שקובע אם היא אמיתית או שקרית . כבר הזכרנו שערך אמת לגבי טענת עובדה נקבע על ידי השוואה בין תוכן הטענה לבין מצב העניינים בעולם שאותו היא מתארת . למשל , הטענה " כעת יש אור בחוץ " נשפטת כאמיתית אם אני מסתכל כעת החוצה ורואה שאכן יש שם אור , וכשקרית אם הסתכלות כזאת מגלה לי חושך . אנחנו נוהגים לסמן את שני ערכי האמת הללו באותיות True ) T ) ו - . ( False ) F כעת אפשר לומר שהטענה " כעת יש אור בחוץ " היא אמיתית , או לומר שערך האמת הלוגי שלה הוא . T זה בדיוק אותו דבר . מה לגבי משפט כמו " מחר אלך לטייל " ? אם באמת אלך לטייל מחר אז ערך האמת של הטענה הזאת הוא , T ואם לא - אז ערך האמת שלה הוא . F אבל זה יהיה נכון מחר , כשאדע אם אכן היה טיול או לא . מה אפש...
אל הספר