פילוסופיה של המתמטיקה
- מבוא... לפילוסופיה הכללית 2 התפתחות המתמטיקה: תגלית או המצאה? 3 מדוע המתמטיקה עובדת? 4 יסודות המתמטיקה ומקור הוודאות שלה 4.1 ריאליזם מתמטי, או פלאטוניזם 4.2 פורמאליזם 4.3 לוגיציזם 4.4 קונסטרוקטיביזם ואינטואיציוניזם 4.5 תאוריות השכל המוגשם 4.6 קונסטרוקטיביות חברתית או ריאליזם חברתי 5 מעבר לאסכולות 5.1 מעין - אמפיריציזם 5.2 פעולה ומעשה 5.3 איחוד 5.4 אתיקה 5.5 אסתטיקה 5.6 שפה ... וכך עלה התחום מטא - מתמטיקה, שאפשר להגדירו פשוט כמתמטיקה שמועילה במחקר מטאפיזי על המתמטיקה. נתייחס לאסכולות האלה בנפרד: ריאליזם מתמטי, או פלאטוניזם: קורט גדל הפלאטוניסט (משמאל) עם חברו הטוב אלברט איינשטיין הפיזיקאי. גדל האמין שהמתמטיקה ממשית לא פחות מהפיזיקה ריאליזם מתמטי טוען כי ישויות מתמטיות קיימות באופן עצמאי, גם מחוץ למוח האנושי. לפיכך, בני אדם אינם ממציאים את המתמטיקה, ... הציע מתודולוגיה אמפירית למחצה שבעזרתה ניתן יהיה למצוא מספיק ראיות כדי להניח השערות כגון אלה. הבעיה הגדולה ביותר של הריאליזם המתמטי היא זו: היכן ואיך הישויות המתמטיות האלה קיימות? האם יש עולם, נפרד לחלוטין מהעולם הפיזי שלנו, שבו קיימות ... ולגלות את האמת על הישויות האלה? ישנה ביקורת רבה על התשובות של אפלטון וגדל לשאלות אלו. טענה חשובה בעד הריאליזם המתמטי, שנוסחה בידי ו. ו. קוויין והילרי פטנאם, היא טענת ההכרחיות: המתמטיקה הכרחית עבור כל המדעים האמפיריים, ואם רוצים ... וכך הם מרוקנים את המתמטיקה, במידה מסוימת, מהמעמד האפיסטמי שלה. רוב צורות הלוגיציזם (ראו להלן) הן צורות שונות של ריאליזם מתמטי. אינטואיציזם היא הדוגמה הקלאסית לפילוסופיה אנטי - ריאליסטית של המתמטיקה. פטנאם התנגד נחרצות למושג פלאטוניזם, בטענה שמושג זה מרמז על הוויה מסוימת, שאינה נצרכת במקרה המתמטי. הוא תומך בצורה של ריאליזם טהור שדוחה מושגים מיסטיים של אמת, ומקבלת הרבה אמפיריציזם - למחצה במתמטיקה. דוגמה של תאוריה ריאליסטית שמתנגדת לפלאטוניזם היא ... תהליכים, כיצד המתמטיקה, שכוללת עצם או אידאה כמו האינסוף, יכולה להימצא במוח האנושי, שהוא דבר סופי? קונסטרוקטיביות חברתית או ריאליזם חברתי: תאוריה זו רואה את המתמטיקה בעיקר כהבניה חברתית, כתוצר של התרבות, שניתן לשינוי ולתיקון. כמו במדעים האחרים, המתמטיקה ... להוכיח כי אף אחד מיסודות המתמטיקה אכן קיים. יש שקוראים לזה פוסטמודרניזם מתמטי. גישה זו היא צורה מינימלית של ריאליזם / קונסטרוקטיביזם חברתי, שמקבל שיטות אמפיריציסטיות - למחצה, ואף אמפיריציסטיות ממש, לתחום המתמטי המודרני. שיטות כאלה תמיד היו חלק ... של חישוב ומדידה. למעשה, השיטות האלה הם ההוכחה היחידה שיש לתרבות כזו. הילרי פטנאם טען כי כל תאוריה של ריאליזם מתמטי תכלול שיטות מעין - אמפיריציסטיות. הוא הציע כי יצורים מעולם אחר שעוסקים במתמטיקה, עשויים בהחלט להעדיף שיטות אמפיריציסטיות, ...