vault backup: 2025-05-19 18:35:45

2025-05-19 18:35:45 +03:00
parent 8b9788824c
commit 0d39ed209b
3 changed files with 73 additions and 10 deletions
--- a/פילוסופיה/מטאפיזיקה/מתקדמת/מתמטיקה.md
+++ b/פילוסופיה/מטאפיזיקה/מתקדמת/מתמטיקה.md
@@ -125,4 +125,23 @@ $0 = \emptyset, 1 = \{\emptyset\}, 2 = \{\{\emptyset\}\}, 3 = \{\{\{\emptyset\}\
 - סמנטיקה סטנדרטית (Standard Semantics) - כמו שלמדנו ב[תחשיב הפרדיקטים](/פילוסופיה/לוגיקה/פרדיקטים).


+## העמדה האנטי-ריאליסטית
+
+האנטי-ריאליסט המתמטי פותר את הבעיה בהכרזה ש*אין* יישים מתמטיים, ולכן טענות מתמטיות הן... לא אמיתיות. נדמה לנו שהן הידע הכי טוב שיש לנו, שהן מבטאות אמיתות - אבל הן פשוט לא. אנחנו נתמקד ב**פיקציונליזם**
+
+
+### פיקציונליזם
+
+!!! success "ראו גם"
+	[פיקציונליזם (מודאליות)](/פילוסופיה/מטאפיזיקה/מתקדמת/מודאליות#פיקציונליזם).
+
+פיקציונליזם (Fictionalism) מקבל אמיתות מתמטיות לא כאמיתיות ממש אלא כ**בדיה** - מוסכמה מסוימת, "סיפורי פו הדוב". "פו הדוב אמר דבש" לא מבטא את אמונתנו הכנה האמיתית בקיומו של הדוב האמור; זה פשוט חלק מהבדיה.  אנשים מסוימים מסתובבים בעולם ("מתמטיקאים") ומשמיעים טענות כאלה לא כי הם *מאמינים* בהם, שאשכרה יש מספרים, אלא כי זה חלק מהבדיה.
+
+אבל הבדיה של פו הדוב לא חשובה במיוחד, והבדיה של מספרים כן. איך זה ייתכן? Field מסביר. 
+
+טענות מתמטיות, שלא כסיפורי פו הדוב, הן **אובייקטיביות** - יש אמות מידה ברורות של נכונות שקובעים מתי טענה מתמטית נובעת באופן לוגי ([לוגיקה קלאסית](/פילוסופיה/לוגיקה) עם כמת יישי נוסף - "יש רק מספר סופי של") מהאקסיומות של המתמטיקה
+
+
+
+
 [^1]: שווין צורני - ἴσος (שווה) + μορφή (צורה).