הקדמה

בפרק 5 התמקדנו בקשרים טאוטולוגיים , כלומר בקשרים בין ערכי האמת של טענות שונות , שמתחייבים מן המשמעות הקבועה של הקשרים הפסוקיים . כדי לזהות קשרים כאלה , ולהבחין ביניהם לבין קשרים שמקורם בתוכן הטענות , למדנו לייצג טענות באמצעות ביטויים שמאירים את הקשרים הטאוטולוגיים , ומעלימים את קשרי התוכן . למכלול הביטויים המייצגים קראנו שפת הפסוקים . המשתנים הפסוקיים – הפסוקים הפשוטים של שפת הפסוקים – משמשים לייצוג טענות אשר את ערכי האמת שלהם עלינו לקבל ' מבחוץ ' , כלומר על-ידי בחינת המציאות שעליה הם מדברים . הפסוקים המורכבים של שפת הפסוקים הם הביטויים המתקבלים מן המשתנים הפסוקיים על-ידי שימוש חוזר בקשרים פסוקיים ( תוך הסתייעות בסוגריים להבטחת קריאה יחידה ) . כל פסוק בשפת הפסוקים הוא אחד מאלה : פסוק פשוט , או שלילה של פסוק אחר , או צירוף של שני פסוקים אחרים בעזרת סימן קשר דו-מקומי . פסוקים מורכבים מייצגים טענות שמתקבלות מטענות אחרות בעזרת קשרים פסוקיים . ערכי האמת של הטענות המיוצגות נקבעים ' מבפנים ' , כלומר מתוך ערכי האמת של מרכיביהן ( לפי לוחות האמת של הקשרים ) . פסוק בודד בשפת הפסוקים מייצג אוסף של...  To the book