היסק – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ ←היסקים וטענות תנאי: קטגוריה, קישורים פנימיים |
מ בוט החלפות: פורמלי |
||
שורה 48:
בפרט, חשובה לחוקרי תורת ההגיון ההבחנה בין טענות תנאי (למשל: אם יורד גשם, אז נשאר בבית), לבין היסקים (כגון: יורד גשם. לכן, נשאר בבית). אבחנה זו אינה נפוצה ברוב ההקשרים הרווחים בשפה המדוברת, ועל כן נראית שרירותית למדי להדיוט, אך בתורת ההגיון יש לה חשיבות עצומה, משום שלא בכל המערכות ההגיוניות קיימת הקבלה הדוקה בין טענות התנאי שניתן להראות כי הן אמיתיות וההיסקים אשר ניתן להראות כי הם תקפים. את הקשר שבין אמיתותן של טענות תנאי ותקפותם של היסקים הדומים להן מתאר הלוגיקאי באמצעות משפטי [[מבוססות (לוגיקה)|מבוססות]] ומשפטי [[שלמות (לוגיקה מתמטית)|שלמות]]. בפרט, חשובה אבחנה זו לאחר תגליתו של [[קורט גדל|גדל]] את משפט [[אי השלמות של גדל|אי השלמות]] שלו, המצביע על טענות אמיתיות במתמטיקה שאינן ניתנות לביסוס באמצעות מערכת סופית של [[הנחות]].
בשפה המדוברת לא תמיד קל להבחין בין טענות תנאי והיסקים. מכיוון שלוגיקאים תכופות מתרגמים היסקים וטענות מן השפה המדוברת לשפה
==ראו גם==
|