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