vault backup: 2025-03-25 01:38:13

.obsidian/workspace.json

@@ -180,6 +180,7 @@
   },
   "active": "a81008a552c1c9af",
   "lastOpenFiles": [
+    "פילוסופיה/מטאפיזיקה/מתקדמת/pink.webp",
     "פילוסופיה/מטאפיזיקה/מתקדמת/possible.webp",
     "פילוסופיה/מטאפיזיקה/מתקדמת/possible.jpg",
     "פילוסופיה/פילוסופיה.md",
@@ -224,7 +225,6 @@
     "פילוסופיה/מטאפיזיקה/nero.jpg",
     "פילוסופיה/אתיקה/boredom.jpg",
     "פילוסופיה/מטאפיזיקה/horse.jpg",
-    "פילוסופיה/מטאפיזיקה/snooker.jpg",
+    "פילוסופיה/מטאפיזיקה/snooker.jpg"
-    "פילוסופיה/מטאפיזיקה/aristophanes.jpg"
   ]
 }

פילוסופיה/.obsidian/workspace.json

@@ -37,7 +37,7 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "לוגיקה/מתקדמת/קריפקה.md",
+                "file": "לוגיקה/מתקדמת/פאראקונסיסטנטית.md",
                 "mode": "source",
                 "source": false,
                 "backlinks": true,
@@ -52,7 +52,7 @@
                 }
               },
               "icon": "lucide-file",
-              "title": "קריפקה"
+              "title": "פאראקונסיסטנטית"
             }
           }
         ]
@@ -200,11 +200,14 @@
   },
   "active": "bb1c66f1767582eb",
   "lastOpenFiles": [
-    "מטאפיזיקה/מתקדמת/possible.webp",
+    "מטאפיזיקה/מתקדמת/pink.webp",
+    "לוגיקה/מתקדמת/פאראקונסיסטנטית.md",
+    "לוגיקה/מתקדמת/מודאלית.md",
+    "לוגיקה/מתקדמת/טמפורלית.md",
     "לוגיקה/מתקדמת/קריפקה.md",
     "מטאפיזיקה/מתקדמת/index.md",
+    "מטאפיזיקה/מתקדמת/possible.webp",
     "לוגיקה/מתקדמת/קווין.md",
-    "לוגיקה/מתקדמת/מודאלית.md",
     "מטאפיזיקה/מתקדמת/possible.jpg",
     "פילוסופיה.md",
     "מטאפיזיקה/מתקדמת/סיכום.pdf",
@@ -238,13 +241,10 @@
     "מטאפיזיקה/_d2b87c54-a964-4a44-a439-b9719a5bed8a.jpg",
     "מטאפיזיקה/haven.jpg",
     "דת/ראיות.md",
-    "חדשה/קאנט/טהורה.md",
-    "יוונית/אפלטון/תיאיטיטוס/index.md",
     "לוגיקה/battle.jpg",
     "לוגיקה/20240921_172504_11EA1B63.jpg",
     "לוגיקה/trump.jpg",
     "אתיקה/examined.jpg",
-    "אתיקה/_0d986c7f-701f-40ab-b42a-14c43abc56b8.jpg",
+    "אתיקה/_0d986c7f-701f-40ab-b42a-14c43abc56b8.jpg"
-    "מטאפיזיקה/banana.jpg"
   ]
 }

פילוסופיה/מטאפיזיקה/מתקדמת/index.md

@@ -146,7 +146,7 @@ P\ is\ such\ that\ \Box(P\ =2n)
 
 !!! is-info "*משפטי הקבוצה יכולים להיות אמיתיים יחד*"
 
-מה? *יכולים?* ה*יכולת* - האפשרות - היא בדיוק מה שאנחנו מנסים לברר! ההגדרה הזו **מעגלית**, ולא הסברית. זו [רגרסיה ממאירה](../אונטלוגיה#תיאוריית-האוסף-הקלאסית). התורה נופלת.
+מה? *יכולים?* ה*יכולת* - האפשרות - היא בדיוק מה שאנחנו מנסים לברר! ההגדרה הזו **מעגלית**, ולא הסברית. זו [רגרסיה ממאירה](../אונטלוגיה#תיאוריית-האוסף-bundle-הקלאסית). התורה נופלת.
 
 
 ### קומבינטוריאליזם 
@@ -155,7 +155,36 @@ P\ is\ such\ that\ \Box(P\ =2n)
 
 מצב עניינים שבו שבחלל-הזמן שמתאר את הקבוצה מכיל את $P$ הוא *אפשרי*.
 
+$P$ מתקיים בעולם אפשרי כאשר בהכרח לו כל ורק הנקודות באותו עולם היו מלאות בחומר, $P$ היה מתקיים.
 
+מה? *בהכרח* לו כל ורק הנקודות? אופסי. מעגלי. בלי להרחיב, זה חסר כל מובן - אין כאן כוח הסברי. 
+
+וומפ וומפ. התיאוריה נופלת.
+
+### קונקרטיזם
+
+דוויד לואיס אומר ש*עולמות אפשריים* הם עולמות, באמת - כמו שלנו: הוא דוגל ב**ריאליזם מודאלי**. *עולם אפשרי* הוא לא תכסיס מתמטי, או לשוני - הוא פשוט עולם אחר, אשכרה.
+
+
+עולם אפשרי הוא שלם בעל חלקים (לואיס תומך ב[תיאוריית האוסף](../אונטלוגיה#תיאוריית-האוסף-bundle-הקלאסית)) מקסימלי של דברים שעומדים ביחסים חלל-זמניים זה לזה. 
+
+אם X חלק מהסכום וX עומד ביחס חלל-זמני לY אז גם Y חלק מהסכום, וגם כל 2 חלקים של הסכום עומדים ביחסים חלל זמניים זה לזה.
+
+ומתי $P$ מתקיים בעולם אפשרי? כאשר $P$, *אחרי שתחום כל כמתיו הוגבל לישים הקיימים באותו עולם אפשרי*, מתקיים.
+
+כלומר, אם אני אומר - *כל בעלי הלב הם בעלי כליות*, *כל* מדבר על *העולם האפשרי הזה*; בעולם אפשרי *אחר* במציאות, *יש* בעלי לב ש*אינם* בעלי כליות. *כל* משמע *כל בעולם הזה*. 
+
+אבל, *יש* אינו מוגבל באותו האופן. 
+
+*אפשרי שליידי גאגא רוקדת עם פילים ורודים*. ברור לנו שזה נכון - היא פשוט בנאדם כזה. אבל קשה להוציא אותו נכון.
+
+ליידי גאגא קיימת, *ממש* - בנתח *הזה* של המציאות, בעולם הממשי. אבל, בנתח *הזה* של המציאות **אין פילים ורודים**. לכן כדי שזה יהיה נכון, ליידי גאגא חייבת להיות קיימת *גם בעולם אפשרי אחר*, שבו *יש* פילים ורודים.
+
+אבל, *אני* עומד ביחס חלל-זמני לליידי גאגא. ליידי גאגא עומדת ביחס חלל-זמני לפילים ורודים. משמע, *אני* עומד ביחס חלל-זמני לפילים ורודים - קרי, הם *ממשיים* - קיימים כאן ועכשיו, וזה פשוט לא נכון.
+
+![pink](./pink.webp)
+
+הבעיה כאן היא שהתיאוריה חלה על משפטי De-Re. 
 
 [^1]: [יוונית](/כלליים/יוונית) (אני מתלהב).
 [^2]: מלשון *אנאפורה* - מילים שמורות על ביטויי שקדם להן.