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