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