הנחה (לוגיקה)

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

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

הנחה וקדם-הנחה

בפילוסופיה נהוגה לעיתים ההבחנה בין הנחות וקדם-הנחות. הבחנה זו מקורה בלוגיקה של השאלות. קדם-הנחה לפסוק הוא טענה שאלמלא היא אמיתית, הפסוק עצמו מלכתחילה חסר מובן. לדוגמה, קדם-ההנחות של פסוק השאלה "האם הפסקת להביא פרחים לאשתך?" הן א. אתה גבר. ב. אתה נשוי. ג. נהגת להביא פרחים לאשתך.

ראו גם


פילוסופיה
תחומים
אונטולוגיהאסתטיקהאפיסטמולוגיהאתיקהלוגיקהמטאפיזיקהמטאפילוסופיהמטא-אתיקהפילוסופיה פוליטיתפילוסופיה של ההיסטוריהפילוסופיה של החינוךפילוסופיה של הלשוןפילוסופיה של המדעפילוסופיה של המתמטיקהפילוסופיה של הנפשפילוסופיה של הפסיכולוגיהתאולוגיהפילוסופיה של המשפטפילוסופיה של המוזיקהפילוסופיה של הקולנוע
זרמים/אסכולות
דאואיזםהאסכולה הפיתגוראיתהאסכולה האלאטיתהאסכולה האטומיסטיתמוהיזםלגליזםנטורליזםהאסכולה הפריפטטיתהאסכולה הסטואיתהאסכולה הציניתנאופלאטוניזםהאסכולה האפיקוראיתקונפוציאניזםסכולסטיקהרציונליזםאמפיריציזםאקזיסטנציאליזםפילוסופיה של הדיאלוגנאו-קונפוציאניזםפנומנולוגיהפילוסופיה אנליטיתפרגמטיזםפוסט-סטרוקטורליזםפילוסופיה בודהיסטיתפילוסופיה הינדואיסטיתפילוסופיה ג'ייניסטיתפילוסופיה יהודית
אישים בולטים
פילוסופים של העת העתיקה לאו דזהקונפוציוסתאלספיתגורסהרקליטוסמו דזההבודההפרמנידספרוטגורסדמוקריטוססוקרטסאפלטוןאריסטוזנון מקיטיוןטימון מפליוספירון מאליספלוטינוססון דזהמנציוסשו'ן קואנגג'ואנג דזהנגרג'ונה
פילוסופים של ימי הביניים שנקרהאוגוסטינוסג'ון סקוטוס אריגנהאבן סינאאבן רושדג'ו שידוגןתומאס אקווינסויליאם איש אוקאם
פילוסופים מודרניים ניקולו מקיאווליתומאס הובספרנסיס בייקוןרנה דקארטברוך שפינוזהגוטפריד לייבניץג'ון לוקג'ורג' ברקלידייוויד יוםז'אן-ז'אק רוסועמנואל קאנטג'רמי בנת'םגאורג וילהלם פרידריך הגלג'ון סטיוארט מילארתור שופנהאוארסרן קירקגורקרל מרקספרידריך ניטשה
פילוסופים בני המאה ה-20 גוטלוב פרגהג'ון דיואיאדמונד הוסרלברטראנד ראסללודוויג ויטגנשטייןמרטין היידגררודולף קרנפקרל פופרקרל המפלז'אן-פול סארטרחנה ארנדטעמנואל לוינססימון דה בובוארוילארד ואן אורמאן קווייןאלבר קאמיג'ון רולסתומאס קוןז'יל דלזמישל פוקויורגן הברמאסז'אק דרידהמרתה נוסבאוםג'ודית באטלר
מונחים
מונחים בסיסיים אינסוףאמת ושקראפוסטריוריאפריורידיאלקטיקההנחהזמןחומר ורוחחוק הזהותטוב ורעישותכשל לוגילוגוסמהותמציאותסיבתיותערךפרדוקסצדקתכונהיום הפילוסופיה העולמי
תאוריות/תפיסות אגואיזם אתיאוניברסליזםאימננטיותאינטואיציוניזםאמנה חברתיתבחירה חופשיתבעיית הראוי-מצויהבעיה הפסיכופיזיתדאונטולוגיהדואליזםנהנתנותהוליזםהיסטוריציזםהרצון לעוצמההשכל הפועלטיעון השפה הפרטיתכשל נטורליסטילוגיציזםמטריאליזםמוניזםמונאדהמכניזםנטורליזם מטאפיזיניהיליזםנומינליזםסובייקטיביזםסוליפסיזםספקנותעל-אדםעשרת הכבליםפוזיטיביזםפטליזםפנאנתאיזםפנתאיזםהפרא האצילהצו הקטגוריהקוגיטוריאליזםרדוקציוניזםרלטיביזםתועלתנותתערו של אוקאם
פורטל פילוסופיה
ערך זה הוא קצרמר בנושא פילוסופיה. אתם מוזמנים לתרום למכלול ולהרחיב אותו.