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