היסק – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
אין תקציר עריכה
שורה 1:
בלוגיקה (ב[[תורת ההגיון)ההיגיון]], המודרנית'''היסק''' קיימים(inference) היסקיםהוא בלא'''[[טיעון]]''' הנחותשמסקנתו וגםנובעת היסקיםמן בעלי אינסוף הנחותהנחותיו. בלוגיקה האריסטוטלית, שהיתה מקובלת במשך אלפי שנים ועד המאה התשע-עשרה, ישנם רק היסקים משתי הנחות ([[סילוגיזם|סילוגיזמים]]) והיסקים מהנחה בודדה, באמצעות כללי המרה (שהם למעשה תרגום של טענה אחת לטענה אחרת השקולה מנקודת מבט לוגית). אולם בלוגיקה המודרנית קיימים היסקים בלא הנחות וגם היסקים בעלי אינסוף הנחות.
ב[[תורת ההיגיון]], '''היסק''' (inference) או '''[[טיעון]]''' (argument) הוא אוסף של [[טענה|טענות]] שאחת מהן נתפסת כמסקנה. שאר הטענות מכונות "[[הנחה (לוגיקה)|הנחות]] ההיסק".
בלוגיקה (תורת ההגיון) המודרנית קיימים היסקים בלא הנחות וגם היסקים בעלי אינסוף הנחות. בלוגיקה האריסטוטלית, שהיתה מקובלת במשך אלפי שנים ועד המאה התשע-עשרה, ישנם רק היסקים משתי הנחות ([[סילוגיזם|סילוגיזמים]]) והיסקים מהנחה בודדה, באמצעות כללי המרה (שהם למעשה תרגום של טענה אחת לטענה אחרת השקולה מנקודת מבט לוגית).
 
== היסקים תקפים ובטלים ==