vault backup: 2025-03-24 19:05:10

.obsidian/workspace.json

@@ -180,6 +180,13 @@
   },
   "active": "a81008a552c1c9af",
   "lastOpenFiles": [
+    "פילוסופיה/מטאפיזיקה/מתקדמת/possible.jpg",
+    "פילוסופיה/פילוסופיה.md",
+    "פילוסופיה/מטאפיזיקה/מתקדמת/סיכום.pdf",
+    "פילוסופיה/מטאפיזיקה/מתקדמת/index.md",
+    "פילוסופיה/מטאפיזיקה/מתקדמת/Untitled.md",
+    "פילוסופיה/מטאפיזיקה/מתקדמת",
+    "פילוסופיה/מטאפיזיקה/Untitled",
     "פילוסופיה/חדשה/קאנט/ביקורת/דדוקציה.pdf",
     "כלליים/יוונית/תחביר.md",
     "כלליים/יוונית/משפטים.md",
@@ -200,23 +207,16 @@
     "פסיכולוגיה/רגש/lu23231l2a.tmp",
     "פסיכולוגיה/רגש/1.pdf",
     "פסיכולוגיה/רגש/lu23231l25.tmp",
-    "פסיכולוגיה/רגש",
-    "פילוסופיה/אתיקה/רפלקטיביים/מטלות/PIIS2590238519304102.pdf",
     "כלליים/יוונית/מילון.md",
     "פילוסופיה/מטאפיזיקה/index.md",
     "פילוסופיה/אתיקה/index.md",
     "פילוסופיה/מטאפיזיקה/חופש.md",
-    "פילוסופיה/מטאפיזיקה/מטלות/Schopenhauer, Arthur _ Cartwright, David _ Erdmann, Edward E. _ Edward E. Erdmann - Two Fundamental Problems of ethics-Oxford University Press (2010).epub",
-    "פילוסופיה/מטאפיזיקה/מטלות/(Oxford world's classics (Oxford University Press)) Arthur Schopenhauer, David Cartwright, Edward E. Erdmann, Christopher Janaway - The two fundamental problems of ethics-Oxford University Press (2010.pdf",
     "פסיכולוגיה/תודעה/index.md",
     "פסיכולוגיה/תודעה/העצמי.md",
     "פסיכולוגיה/אינטיליגנציה/אבולוציה.md",
     "פסיכולוגיה/אינטיליגנציה/מוחי.md",
     "פסיכולוגיה/אינטיליגנציה/CBC.md",
-    "פסיכולוגיה/אינטיליגנציה/index.md",
-    "פילוסופיה/אתיקה/ניקומאכית.md",
     "_tui5046_01.jpg",
-    "פסיכולוגיה/אישיות/אמפיריות.md",
     "פילוסופיה/מטאפיזיקה/dislike.jpg",
     "donkey.webp",
     "פילוסופיה/מטאפיזיקה/rome.jpeg",

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

@@ -13,7 +13,7 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "חדשה/קאנט/ביקורת/דדוקציה.md",
+                "file": "מטאפיזיקה/מתקדמת/index.md",
                 "mode": "source",
                 "source": false,
                 "backlinks": true,
@@ -28,10 +28,35 @@
                 }
               },
               "icon": "lucide-file",
-              "title": "דדוקציה"
+              "title": "index"
+            }
+          },
+          {
+            "id": "495eb054519c6f92",
+            "type": "leaf",
+            "state": {
+              "type": "markdown",
+              "state": {
+                "file": "לוגיקה/מתקדמת/מודאלית.md",
+                "mode": "source",
+                "source": false,
+                "backlinks": true,
+                "backlinkOpts": {
+                  "collapseAll": false,
+                  "extraContext": false,
+                  "sortOrder": "alphabetical",
+                  "showSearch": false,
+                  "searchQuery": "",
+                  "backlinkCollapsed": false,
+                  "unlinkedCollapsed": true
+                }
+              },
+              "icon": "lucide-file",
+              "title": "מודאלית"
             }
           }
-        ]
+        ],
+        "currentTab": 1
       }
     ],
     "direction": "vertical"
@@ -174,8 +199,15 @@
       "command-palette:Open command palette": false
     }
   },
-  "active": "bb1c66f1767582eb",
+  "active": "495eb054519c6f92",
   "lastOpenFiles": [
+    "מטאפיזיקה/מתקדמת/index.md",
+    "מטאפיזיקה/מתקדמת/possible.jpg",
+    "פילוסופיה.md",
+    "מטאפיזיקה/מתקדמת/סיכום.pdf",
+    "מטאפיזיקה/index.md",
+    "מטאפיזיקה/מתקדמת",
+    "חדשה/קאנט/ביקורת/דדוקציה.md",
     "חדשה/קאנט/ביקורת/דדוקציה.pdf",
     "בודהיזם/מהיאנה.md",
     "בודהיזם/index.md",
@@ -195,8 +227,6 @@
     "יוונית/אריסטו/אתיקה",
     "יוונית/אריסטו/1.pdf",
     "יוונית/אריסטו/lu820031cma4t.tmp",
-    "יוונית/אריסטו/1.pptx",
-    "יוונית/אריסטו/אתיקה ניקומכית תשפה, מצגת שיעור 1 לאתר.pptx",
     "יוונית/אריסטו/אתיקה.md",
     "יוונית/אריסטו/index.md",
     "מטאפיזיקה/אל.md",
@@ -206,21 +236,15 @@
     "מטאפיזיקה/haven.jpg",
     "דת/ראיות.md",
     "חדשה/קאנט/טהורה.md",
-    "אתיקה/מטלות/lu70770141345.tmp",
     "יוונית/אפלטון/תיאיטיטוס/index.md",
     "().md",
     "חדשה/קאנט/ביקורת.md",
     "חדשה/ניטשה/index.md",
-    "הציטוטים.md",
     "לוגיקה/battle.jpg",
     "לוגיקה/20240921_172504_11EA1B63.jpg",
     "לוגיקה/trump.jpg",
     "אתיקה/examined.jpg",
     "אתיקה/_0d986c7f-701f-40ab-b42a-14c43abc56b8.jpg",
-    "יוונית/אפלטון/אפולוגיה.md",
-    "פילוסופיה/יוונית/אפלטון/אפולוגיה.md",
-    "index.md",
-    "מטאפיזיקה/banana.jpg",
-    "מטאפיזיקה/_df9a0cb7-6d00-4615-87d7-8edafb72d59e.jpg"
+    "מטאפיזיקה/banana.jpg"
   ]
 }

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

@@ -31,6 +31,7 @@ tags:
 מתי אפשר לומר ש*אני* הוא הסיבה לפעולות שלי? האם יש בכלל דבר כזה?
 
 
+
 **מטאפיזיקה**[^2] היא אולי הענף הישן ביותר בפילוסופיה - זה ששואל *איך העולם בנוי*, מהם סדרי העולם. כל המדעים צמחו מסיבה זו מתוך המטאפיזיקה, ועדיין יש ביניהם נקודות דמיון רבות. מאפיין משותף הוא ההתקדמות - אנו נתקלים בבעיה, וככל שנכנס מידע חדש אנחנו משנים ומשכללים את העמדה.
 
 ## מטאפיזיקה לעומת מדע

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

@@ -0,0 +1,71 @@
+---
+title: נושאים מתקדמים במטאפיזיקה
+tags:
+  - שנה_ג
+  - סמסטר_ב
+  - פילוסופיה
+  - מטאפיזיקה
+---
+!!! info "חומר הקורס"
+	[סיכום](./pdf)
+
+
+אולי חשבתם, בתמימותם, שסקרנו את מה שיש ואין ב[אונטולוגיה](../אונטולוגיה). אבל באונטולוגיות שלנו חסרות כמה ישים מוזרים - *זמן*, *מרחב*, ו*אפשרות* ו*הכרח* - [מודאליות](/פילוסופיה/לוגיקה/מתקדמת/מודאלית) (אופנות).
+
+
+ניקח את מצב העניינים האהוב עלינו - *קרמיט הוא ירוק*. אנחנו יודעים ממה הוא בנוי. אנחנו יודעים מה מאפשר אותו. אנחנו צריכים שתהיה תכונה כזו, *ירוק*, ודבר כזה, *קרמיט*, ואז יש יצור כזה, *קרמיט ירוק*.
+
+ומה לגבי ***בהכרח** קרמיט הוא ירוק*? אני יודע להגיד ש*קרמיט הוא ירוק* אמיתי לפי מצב עניינים כזה או אחר. מתי מותר לי להגיד ***בהכרח** קרמיט הוא ירוק?* איזה סוג של חתיכת "יש" בעולם צריכה להיות קיימת כדי שנוכל להגיד *בהכרח*? מהי המציאות שמאפשרת משפט כזה?
+
+ומה לגבי ***אפשרי** שקרמיט הוא ירוק*"? גם אם קרמיט כלל *אינו* ירוק - הוא הונדס גנטית להיות לבקן - הוא עדיין נכון; זו בכלל לא חתיכה של המציאות. מה עוד זה יכול להיות?
+
+בלי לחפור עמוק יותר, נפסול משפטים כאלה על הסף. אבל הם מן הסתם שם. איך נאפשר את היצורים ההזויים האלה באונטולוגיות שלנו?
+
+
+![possible](./possible.jpg)
+<small>מה קורה כאן? אפשרי? הכרחי?</small>
+
+**אפשרות** ו**הכרח** הם אופנויות של מצבי עניינים. **תכונות**, [שסקרנו קודם](../אונטולוגיה), הן אופנויות של **ישים**. 
+
+אפשרות והכרח הם שקולים:
+
+$$
+It\ is\ possible\ that\ P \equiv it\ is\ not\ necessary\ that\ not\ P
+$$
+
+$$
+It\ is\ possible\ that\ P \equiv it\ is\ not\ necessary\ that\ not\ P
+$$
+
+
+ מאחורי *אפשרות* ו*הכרח* התמימים מסתתרים אינספור מובנים, גם בשפה. אורי אומר ש*אינו יכול* להגיע לישיבת הפקולטה (הוא צריך לאסוף את אשתו מהעבודה). *לא יכול* (קרי, לא אפשרי) משמעו כאן *לא נוח*. מנגד, *אתה יכול לעזוב את החדר* (הדלת פתוחה) זה כבר מובן *אחר* של אפשרות.
+
+
+ב[אתיקה](/פילוסופיה/אתיקה), *אפשרות* ו*הכרח* נהפכים ל*מותר* ו*אסור* - אפשרי או לא אפשרי בכפוף לכללי האתיקה. *לא אפשרי* שקול ל*הכרחי שלא* לפי כללי האתיקה. באפיסטמולוגיה, *אפשרות* ו*הכרח* הם בהקשר ידיעתי - *בהכרח* לא לקחתי מטריה (אני רטוב מהגשם) - משמע, בהינתן גוף הידע שלי, לא לקחתי מטריה; אין כאן הכרח מטאפיזי. *ייתכן שהחתולה שלי ברחה מהבית* - אני לא אומר לכם משהו מטאפיזי משעמם, *יש אפשרות כזו בעולם*, אלא - *בהינתן כל מה שאני יודע, **יש מצב טוב** שהיא ברחה מהבית*.
+
+בלוגיקה, *אפשרי* הוא *קיים מודל כזה במערכת הלוגית שלי*. במדע, *אפשרי* הוא במובן ה*נומינלי* - ייתכן לפי חוקי הטבע שאנחנו מכירים.
+
+**במטאפיזיקה**, *אפשרי* ו*הכרחי* עוסקים במצבי עניינים. זהו המובן הכללי ביותר; אלו מושגים **אלטיים**, מלשון αλήθέια - אמת[^1].
+
+
+משפטים מודאליים - כלומר, העוסקים באפשרות והכרח - מגיעים בשני טעמים נפלאים:
+
+-  *De re*[^2]
+- *De dictio*[^3]
+
+מה? נדגים:
+
+1. "בהכרח, כוכבי הלכת זוגי"
+2. "בהכרח, מספר כוכבי הלכת הוא, בהכרח, זוגי"
+
+
+היזהרו מלחשוב שהמשפטים האלו נרדפים. נצרין:
+
+
+$$
+P\ =\ Number\ of\ Planets
+
+1.\ \Box P
+$$
+
+[^1]: [יוונית](/כלליים/יוונית) (אני מתלהב).