כשל לוגי
שלום,
אמרת פעם שאם מקבלים כשל לוגי אחד ניתן באמצעותו 'להוכיח' כל טענה שקרית. איך?
לגלות עוד מהאתר הרב מיכאל אברהם
Subscribe to get the latest posts sent to your email.
1 Answers
לא. אמרתי שמערכת שמכילה סתירה ניתן לגזור ממנה כל מסקנה שהיא. זה נובע מהגדרת גרירה מטריאלית. כשהרישא שקרית באופן מהותי כל סיפא נותנת גרירה אמיתית.
לגלות עוד מהאתר הרב מיכאל אברהם
Subscribe to get the latest posts sent to your email.
אפשר דרך תחשיבים. למשל מציבים באקסיומות של תחשיב הילברט ומקבלים אותו כאמת
ראוי לציין שזה לא באמת נכון "שמערכת שמכילה סתירה ניתן לגזור ממנה כל מסקנה שהיא". זה נכון בתחשיב פסוקים. זה שגוי בלוגיקות פארא-קונסיסטנטיות.
השאר תגובה
Please login or Register to submit your answer