|
|
עמוד:65
2 . 1 פסוקים בלוגיקה ההבחנה בין היסק נכון ובין היסק מוטעה היא הבעיה המרכזית שבה עוסקת הלוגיקה ( תורת ההיגיון . ( השיטות והטכניקות של הלוגיקה פותחו , בראש ובראשונה , כדי להבהיר הבחנה זו . השימוש בשפת יום-יום מקשה בדרך כלל על ההבחנה : המלים שבהן אנו משתמשים אינן חד-משמעיות , מלים וביטויים טעונים משמעות רגשית או טקסית ( בניסוחו של ביאליק : יש מלים - הררי-אל , ומלים - תהום רבה . ( כדי להימנע מקשיים אלה ואחרים נוצרה שפה סמלית מלאכותית ( להבדיל מהשפות הטבעיות , כדוגמת העברית . ( הסמלים המיוחדים של הלוגיקה מסייעים להציג טענות בבהירות רבה יותר וביעילות גדולה יותר מאשר בשפה הטבעית . מושג בסיסי בלוגיקה הוא פסוק . בשם פסוק מכנים משפט ( בשפת דיבור כלשהי , ( שאפשר לייחס לו את הערך אמת או שקר , ורק אחד מהם . להלן דוגמאות אחדות י א . ישראל נמצאת במזרח התיכון ( אמת . ( ב . פריז היא בירת אנגליה ( שקר . ( ג . כל יונק הוא בעל חיים ( אמת . ( ד . 8 + 5 = 12 ( שקר . ( לא כל משפט הוא פסוק . לדוגמה : המשפט "תן לי , בבקשה , את הסוכר" אינו פסוק , כיוון שאי אפשר לייחס לו את הערך אמת או שקל . מאותה סיבה , גם ביטוי מספרי כמו " 8 + 5 " אינו פסוק . לעתים איננו יודעים מראש מה יהיה ערך הפסוק . לדוגמה : "מדינה פלונית נמצאת במזרח התיכון , " הוא פסוק ; נוכל לייחס לפסוק את הערך אמת או שקל כאשר נדע את שם המדינה . . 2 מושגי יסוד בלוגיקה
|
|