vault backup: 2024-12-19 15:11:24

.obsidian/workspace.json

@@ -25,14 +25,12 @@
             "id": "f2d97a48e3b84d95",
             "type": "leaf",
             "state": {
-              "type": "markdown",
+              "type": "pdf",
               "state": {
-                "file": "פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md",
+                "file": "פילוסופיה/חדשה/ניטשה/BGE.pdf"
-                "mode": "source",
-                "source": false
               },
-              "icon": "lucide-file",
+              "icon": "lucide-file-text",
-              "title": "טמפורלית"
+              "title": "BGE"
             }
           },
           {
@@ -106,8 +104,7 @@
       }
     ],
     "direction": "horizontal",
-    "width": 300,
+    "width": 300
-    "collapsed": true
   },
   "right": {
     "id": "99950006b34d1af7",
@@ -195,10 +192,15 @@
   },
   "active": "f2d97a48e3b84d95",
   "lastOpenFiles": [
+    "פילוסופיה/חדשה/ניטשה/מטלות/אמצע.odt",
+    "פילוסופיה/חדשה/ניטשה/מטלות/lu3116056aqkhw.tmp",
+    "פילוסופיה/חדשה/ניטשה/מטלות/אמצע.md",
+    "פילוסופיה/חדשה/ניטשה/BGE.pdf",
+    "פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md",
+    "פילוסופיה/חדשה/ניטשה/מטלות",
     "פילוסופיה/לוגיקה/מתקדמת/time.pdf",
     "פילוסופיה/הציטוטים.md",
     "כלליים/יוונית/index.md",
-    "פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md",
     "פילוסופיה/לוגיקה/מתקדמת/קווין.md",
     "פילוסופיה/לוגיקה/מתקדמת/קריפקה.md",
     "פילוסופיה/אתיקה/רפלקטיביים.md",
@@ -219,10 +221,6 @@
     "פילוסופיה/אתיקה/examined.jpg",
     "פילוסופיה/מטאפיזיקה/אונטולוגיה.md",
     "פילוסופיה/מטאפיזיקה/cats.jpg",
-    "פילוסופיה/מטאפיזיקה/Sider.pdf",
-    "פילוסופיה/מטאפיזיקה/Inwagen.pdf",
-    "פילוסופיה/מטאפיזיקה/Cleeve.pdf",
-    "פילוסופיה/מטאפיזיקה/מטלות/Inwagen.pdf",
     "פילוסופיה/מטאפיזיקה/atropine.jpg",
     "Pasted image 20241216192936.png",
     "פילוסופיה/מטאפיזיקה/sarin.jpg",
@@ -238,7 +236,6 @@
     "ancient-greek-comprehensive-grammar(1).md",
     "פסיכולוגיה/דחק/דיכאון.md",
     "פילוסופיה/לוגיקה/מתקדמת.md",
-    "פילוסופיה/בודהיזם/מהיאנה.md",
     "פילוסופיה/יוונית/אריסטו/אתיקה/school-of-athens.jpg",
     "פילוסופיה/מטאפיזיקה/green-kermit-and-sherlock.jpg"
   ]

פילוסופיה/חדשה/ניטשה/מטלות/.~lock.אמצע.odt#

@@ -0,0 +1 @@
+,shmick,Tieke,19.12.2024 15:02,file:///home/shmick/.config/libreoffice/4;

פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md

@@ -119,7 +119,11 @@ description: לוגיקה, בזמן!
 		 FG(p&~p) v G(p&~p)
 
 
-(שניהם משחקים )
+(שניהם משחקים על זה שלפני הזמן ואחריו סתירות היו אמיתיות: אין דוגמת נגד)
 
+
+- הזמן הוא לינארי - 
+
+		Μ ⊨ ( Fα & Fβ) -> (F(α & β) v F(A&Fβ)) v F(β & Fa)
 [^1]: מי אמר שיעור פילוסופיה ולא קיבל?
 [^2]: איזה שם *מעולה* לפילוסוף שעוסק בזמן.