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