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