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

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

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

הנחה וקדם-הנחה[עריכת קוד מקור | עריכה]

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

ראו גם[עריכת קוד מקור | עריכה]


פילוסופיה
תחומים
אונטולוגיהאסתטיקהאפיסטמולוגיהאתיקהלוגיקהמטאפיזיקהמטאפילוסופיהמטא-אתיקהפילוסופיה פוליטיתפילוסופיה של ההיסטוריהפילוסופיה של החינוךפילוסופיה של הלשוןפילוסופיה של המדעפילוסופיה של המתמטיקהפילוסופיה של הנפשתאולוגיה
P philosophy1.png
זרמים/אסכולות
טאואיזםהאסכולה הפיתגוראיתהאסכולה האלאטיתהאסכולה האטומיסטיתמוהיזםלגליזםנטורליזםהאסכולה הפריפטטיתהאסכולה הסטואיתהאסכולה הציניתנאופלאטוניזםהאסכולה האפיקוראיתקונפוציאניזםסכולסטיקהרציונליזםאמפיריציזםאקזיסטנציאליזםנאו-קונפוציאניזםפנומנולוגיהפילוסופיה אנליטיתפרגמטיזםפוסטמודרניזםפילוסופיה בודהיסטיתפילוסופיה הינדואיסטיתפילוסופיה ג'ייניסטיתפילוסופיה יהודית
אישים בולטים
פילוסופים של העת העתיקה לאו דזהקונפוציוסתאלספיתגורסהרקליטוסמו דזהבודההפרמנידספרוטגורסדמוקריטוססוקרטסאפלטוןאריסטוזנון מקיטיוןטימון מפליוספירון מאליספלוטינוססון דזהקונדה-קונדה
פילוסופים של ימי הביניים אוגוסטינוסג'ון דנס סקוטוסאבן סינאג'ו שירמב"םתומאס אקווינסויליאם איש אוקאםניקולו מקיאווליתומאס הובספרנסיס בייקון
פילוסופים מודרניים רנה דקארטברוך שפינוזהגוטפריד לייבניץג'ון לוקג'ורג' ברקלידייוויד יוםז'אן-ז'אק רוסועמנואל קאנטג'רמי בנת'םגיאורג הגלג'ון סטיוארט מילארתור שופנהאוארסרן קירקגורקרל מרקספרידריך ניטשה
פילוסופים בני זמננו גוטלוב פרגהג'ון דיואיאדמונד הוסרלמרטין היידגרברטראנד ראסלרודולף קרנפלודוויג ויטגנשטייןקרל המפלז'אן-פול סארטרוילארד ואן אורמאן קווייןג'ון רולסיורגן האברמאסמישל פוקוגסטון בשלארד
מונחים
מונחים בסיסיים אינסוףאמת ושקראפוסטריוריאפריורידיאלקטיקההנחהזמןחומר ורוחחוק הזהותטוב ורעישותכשל לוגילוגוסמהותמציאותסיבתיותערךפרדוקסצדקתכונה
תאוריות/תפיסות אגואיזם אתיאוניברסליזםאימננטיותאינטואיציוניזםאמנה חברתיתבחירה חופשיתבעיית הראוי-מצויהבעיה הפסיכופיזיתדאונטולוגיהדואליזםהדוניזםהוליזםהיסטוריציזםהשכל הפועלטיעון השפה הפרטיתכשל נטורליסטילוגיציזםמטריאליזםמוניזםמונאדהמכניזםנטורליזם מטאפיזיניהיליזםנומינליזםסובייקטיביזםסוליפסיזםספקנותעל-אדםעשרת הכבליםפוזיטיביזםפטליזםפנתאיזםהפרא האצילהצו הקטגוריהקוגיטוריאליזםרדוקציוניזםרלטיביזםתועלתנותתערו של אוקאם
פורטל פילוסופיה
P yin yang.svg ערך זה הוא קצרמר בנושא פילוסופיה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.