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