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