פילוסופיה של המתמטיקה
- מבוא... המצאה? 3 מדוע המתמטיקה עובדת? 4 יסודות המתמטיקה ומקור הוודאות שלה 4.1 ריאליזם מתמטי, או פלאטוניזם 4.2 פורמאליזם 4.3 לוגיציזם 4.4 קונסטרוקטיביזם ואינטואיציוניזם 4.5 תאוריות השכל המוגשם 4.6 קונסטרוקטיביות חברתית או ריאליזם חברתי 5 מעבר לאסכולות 5.1 מעין - ... אחד מהתפקידים החשובים של הפילוסופיה של המתמטיקה. בעשורים האחרונים, יש שניסו לקשר בין המתמטיקה לבין עניינים פילוסופיים אחרים, כגון אפיסטמולוגיה ואתיקה. עניינים אלה נדונים בסוף הערך. התפתחות המתמטיקה: תגלית או המצאה? : השאלה האם התפתחות המתמטיקה, כפי שהיא מתבטאת ... התפתחותה של המתמטיקה אינה אלא התפתחות הידע האנושי אודות המתמטיקה. עם המתמטיקאים הבולטים שהחזיקו בדעה זו נמנים קנטור והארדי, והלוגיקן קורט גדל. זאק האדאמר, מחשובי המתמטיקאים בצרפת, אמר: אף שהאמת עדיין אינה ידועה לנו, היא קיימת מלכתחילה, וכופה עלינו ... האינטואיטיבית. בפילוסופיה של המתמטיקה יש כמה אסכולות, שמתמקדות בשאלות מטאפיזיות, כלומר: מדוע המתמטיקה פועלת?, ובשאלה קשורה אך שונה מבחינה לוגית, מדוע המתמטיקה מסבירה בצורה כל כך טובה את העולם הפיזי כפי שאנו רואים אותו? התשובה לשאלה זו אינה מובנת ... ומארגן את צבר התחושות שהוא קולט לכלל ניסיון או מציאות עקביים. יסודות המתמטיקה ומקור הוודאות שלה: שלוש אסכולות אינטואיציוניזם, לוגיציזם ופורמליזם התפתחו בתחילת המאה ה - 20 כתגובה להבנה המחלחלת יותר ויותר, כי המתמטיקה (כפי שהייתה אז), והאנליזה בעיקר, אינה עומדת בקריטריונים של החומרה הלוגית והוודאות, שהייתה אמורה לעמוד בהם. כל אסכולה מתייחסת לנושאים שעלו באותו זמן, כשהיא מנסה לפתור אותם או לטעון שהמתמטיקה ... רבים הם ריאליסטיים, הם רואים את עצמם כמגלים. כדוגמה אפשר לציין את פאול ארדש וקורט גדל. יש שנתנו הסברים פסיכולוגיים להעדפה הזו: כנראה שקשה מאוד לעסוק ולחקור משהו למשך תקופה ארוכה, אם אינך מאמין שהוא קיים. גדל האמין במציאות ... ישירה, אך יש השערות מסוימות, כמו השערת הרצף, שייתכן שלא ניתן להחליט אם הן נכונות או לא. גדל הציע מתודולוגיה אמפירית למחצה שבעזרתה ניתן יהיה למצוא מספיק ראיות כדי להניח השערות כגון אלה. הבעיה הגדולה ביותר של הריאליזם המתמטי ... המתמטיות כהסבר הטוב ביותר למה שאנו חווים, וכך הם מרוקנים את המתמטיקה, במידה מסוימת, מהמעמד האפיסטמי שלה. רוב צורות הלוגיציזם (ראו להלן) הן צורות שונות של ריאליזם מתמטי. אינטואיציזם היא הדוגמה הקלאסית לפילוסופיה אנטי - ריאליסטית של המתמטיקה. פטנאם ... פירוש. פורמליסטים מודרניים, כגון רודולף קרנפ, אלפרד טרסקי והסקל קורי, חושבים כי המתמטיקה היא חקירה של מערכות אקסיומטיות פורמאליות. לוגיקנים מתמטיים חוקרים מערכות פורמאליות אך הם פעמים רבות פלאטוניסטים. פורמליסטים הם בדרך כלל סובלניים למדי, ומזמינים גישות חדשות ללוגיקה, למערכות מספרים לא סטנדרטיות, גרסאות חדשות של תורת הקבוצות, וכו. ככל שאנו משחקים יותר משחקים כן ייטב. אך בכל ... האלה, ההוכחות כמעט אף פעם אינן נעשות למעשה באופן הזה. הפורמליזם גם לא מסביר איזה מערכת אקסיומות יש לחקור. לוגיציזם: הלוגיציזם טוען כי הלוגיקה היא הבסיס של המתמטיקה, וכי כל האמירות המתמטיות הן אמיתות לוגיות מוכרחות. לדוגמה, הטענה אם סוקרטס הוא אדם, וכל אדם הוא בן תמותה, אז סוקרטס הוא בן תמותה, היא אמת לוגית מוכרחת. ללוגיציסט, כל האמירות המתמטיות הן מאותו סוג, הן תשובות אנליטיות, או טאוטולוגיות. גוטלוב פרגה היה מייסד הלוגיציזם. בספרו החשוב, החוקים הבסיסיים של האריתמטיקה, הוא בנה את האריתמטיקה ממערכת לוגית, שכללה את מה שהוא כינה החוק הבסיסי החמישי (שני מושגים F ו - G הם שווי משמעות, אם ורק ... כל אובייקט a המתאים ל - F מתאים גם ל - G), עיקרון שהוא חשב שהוא חלק מקובל של הלוגיקה. אך בבנייה של פרגה הייתה טעות פטאלית. ברטרנד ראסל גילה כי החוק הבסיסי החמישי אינו עקבי (זהו הפרדוקס של ראסל). פרגה נטש את תוכניתו הלוגית זמן קצר לאחר מכן, אך ראסל ווייטהד המשיכו אותה. הם ייחסו את הפרדוקס למעגליות מרושעת ובנו תאוריה מסובכת של ... על מנת לבנות כל כך הרבה מהמתמטיקה, כגון באקסיומת הצמצום. אפילו ראסל אמר כי האקסיומה הזו לא באמת שייכת ללוגיקה. לוגיקנים מודרניים שבו לתוכנית הקרובה יותר לזו של פרגה. הם נטשו את החוק הבסיסי החמישי לטובת עקרונות הפשטה כגון העיקרון ... ברא את המספרים הטבעיים, כל השאר הוא עבודת האדם. כוח משמעותי מאחורי האינטואיציוניזם הוא ל. אי. גיי. בראואר, שהציע לוגיקה חדשה, השונה מהלוגיקה האריסטוטלית הקלאסית, הלוגיקה האינטואיציונית אינה כוללת את כלל השלישי מן הנמנע (החוק שאומר שדבר חייב להיות אמת או שקר, ושאין אפשרות אחרת), ... אף היא. עבודה חשובה נעשתה לאחר מכן על ידי ארנד הייטינג, שהיה תלמידו של ברואר, שניסח באופן פורמאלי את הלוגיקה האינטואיציוניסטית, ועל ידי ארט בישופ, שהצליח להוכיח כמה מהמשפטים החשובים ביותר באנליזה במסגרת הזו. באינטואיציוניזם, המושג בנייה ברורה לא ... והערכים המתמטיים שאליהם המתמטיקאים מחונכים). קונסטרוקטיביסטים מרבים לעסוק במושג ההוכחה, במיוחד בפער הרב הקיים בין ההגדרה הפורמלית של הוכחה בלוגיקה מתמטית לבין הוכחות כפי שהן מופיעות הלכה למעשה בכתבי עת וספרים מתמטיים. הם מייחסים את ההבדלים בין קהילות שונות ... בראיית עולם שמאפשרת להם לעבוד בתחומם. אם כי תאוריות חברתיות ומעין - אמפיריציזם, ובמיוחד תאוריית המוח המוגשם, התמקדו יותר באפיסטמולוגיה שמונחית על ידי הנוהגים המתמטיים הקיימים, הם אינם מצליחים לקשר בין התחומים האלה לבין החישה והידע היומיומי. אתיקה: כמו כן, יש אך מעט התייחסות לאתיקה של המחקר המתמטי. בתרבות טכנולוגית, המתמטיקה נתפסת כצורך מוחלט שערכה ברור מאליו - אף אם לענפים מסוימים אין מטרה ברורה, או שהם מועילים רק ... שקשורה לשיפור הביקוע הגרעיני. בעוד שהרוב מסכימים כי יש לפיזיקאים אחריות על המעשים האלה, מעטים מייחסים אחריות כלשהי למתמטיקאים. הסוציולוגיה של הידע עסקה בחלק מהביקורת הזו, אך המתמטיקה עצמה הצליחה להתחמק מהמבטים הבוחנים שהם מנת חלקם של מדעים כמו הגנטיקה, הפיזיקה, הכלכלה או הרפואה. פסיכולוגיה אבולוציונית לדוגמה אימצה את הרעיון שהמוח הוא מחשב, במשמעות של מכונת טיורינג. מהן המשמעויות של שימוש בהפשטה שאמורה הייתה ... כסימפטום של מדענות. רעיונות אלה מציעים כי המתמטיקה תקפה בתחומים רחבים יותר מאשר פיזיקה בלבד, דוגמת מדעי החברה ומדע הביולוגיה. שפה: לבסוף, אף כי מתמטיקאים או פילוסופים רבים יקבלו את האמירה מתמטיקה כשפה, אין הרבה תשומת לב שמופנית למשמעות ...