פתיחת התפריט הראשי

שינויים

הוסרו 4 בתים ,  לפני 7 שנים
מ
בוט החלפות: פורמלי
בפרט, חשובה לחוקרי תורת ההגיון ההבחנה בין טענות תנאי (למשל: אם יורד גשם, אז נשאר בבית), לבין היסקים (כגון: יורד גשם. לכן, נשאר בבית). אבחנה זו אינה נפוצה ברוב ההקשרים הרווחים בשפה המדוברת, ועל כן נראית שרירותית למדי להדיוט, אך בתורת ההגיון יש לה חשיבות עצומה, משום שלא בכל המערכות ההגיוניות קיימת הקבלה הדוקה בין טענות התנאי שניתן להראות כי הן אמיתיות וההיסקים אשר ניתן להראות כי הם תקפים. את הקשר שבין אמיתותן של טענות תנאי ותקפותם של היסקים הדומים להן מתאר הלוגיקאי באמצעות משפטי [[מבוססות (לוגיקה)|מבוססות]] ומשפטי [[שלמות (לוגיקה מתמטית)|שלמות]]. בפרט, חשובה אבחנה זו לאחר תגליתו של [[קורט גדל|גדל]] את משפט [[אי השלמות של גדל|אי השלמות]] שלו, המצביע על טענות אמיתיות במתמטיקה שאינן ניתנות לביסוס באמצעות מערכת סופית של [[הנחות]].
 
בשפה המדוברת לא תמיד קל להבחין בין טענות תנאי והיסקים. מכיוון שלוגיקאים תכופות מתרגמים היסקים וטענות מן השפה המדוברת לשפה הפורמאליתהפורמלית, מוסכמת ביניהם ההבחנה בין מילות היסק, המציינות שהיסק לפנינו ובין מילות תנאי, המציינות שטענות תנאי לפנינו. אלו למעשה מוסכמות תרגום מן השפה המדוברת לפורמאליתלפורמלית, ולהפך. מילות ההיסק המקובלות ביותר הן: "לכן", "לפיכך", "על כן" וכדומה, והלוגיקאי המקצועי מקפיד להבחינן ממילים המציינות טענות תנאי כגון "אם...אז...".
 
==ראו גם==
245,154

עריכות