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