From 01994b94fd5100b1c4993f32d3223ea9473ac4a3 Mon Sep 17 00:00:00 2001
From: Matan Horovitz <matanhorovitz@protonmail.com>
Date: Thu, 19 Dec 2024 15:11:24 +0200
Subject: [PATCH] vault backup: 2024-12-19 15:11:24

---
 .obsidian/workspace.json                    | 25 +++++++++------------
 פילוסופיה/חדשה/ניטשה/מטלות/.~lock.אמצע.odt# |  1 +
 פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md         |  6 ++++-
 3 files changed, 17 insertions(+), 15 deletions(-)
 create mode 100644 פילוסופיה/חדשה/ניטשה/מטלות/.~lock.אמצע.odt#

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 9b2fcfd4..6f38670c 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -25,14 +25,12 @@
             "id": "f2d97a48e3b84d95",
             "type": "leaf",
             "state": {
-              "type": "markdown",
+              "type": "pdf",
               "state": {
-                "file": "פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md",
-                "mode": "source",
-                "source": false
+                "file": "פילוסופיה/חדשה/ניטשה/BGE.pdf"
               },
-              "icon": "lucide-file",
-              "title": "טמפורלית"
+              "icon": "lucide-file-text",
+              "title": "BGE"
             }
           },
           {
@@ -106,8 +104,7 @@
       }
     ],
     "direction": "horizontal",
-    "width": 300,
-    "collapsed": true
+    "width": 300
   },
   "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"
   ]
diff --git a/פילוסופיה/חדשה/ניטשה/מטלות/.~lock.אמצע.odt# b/פילוסופיה/חדשה/ניטשה/מטלות/.~lock.אמצע.odt#
new file mode 100644
index 00000000..6954fabd
--- /dev/null
+++ b/פילוסופיה/חדשה/ניטשה/מטלות/.~lock.אמצע.odt#
@@ -0,0 +1 @@
+,shmick,Tieke,19.12.2024 15:02,file:///home/shmick/.config/libreoffice/4;
\ No newline at end of file
diff --git a/פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md b/פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md
index bc41a73d..546ed678 100644
--- a/פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md
+++ b/פילוסופיה/לוגיקה/מתקדמת/טמפורלית.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]: איזה שם *מעולה* לפילוסוף שעוסק בזמן.