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