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

שינויים

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