From 3673d40753424d0cc4f91f0f4bb2f7c064704238 Mon Sep 17 00:00:00 2001
From: Matan Horovitz <matanhorovitz@protonmail.com>
Date: Thu, 19 Dec 2024 13:45:02 +0200
Subject: [PATCH] vault backup: 2024-12-19 13:45:02

---
 .obsidian/workspace.json            |  2 +-
 פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md | 73 ++++++++++++++++++++++++++++-
 2 files changed, 73 insertions(+), 2 deletions(-)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 5422a399..9b2fcfd4 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -195,6 +195,7 @@
   },
   "active": "f2d97a48e3b84d95",
   "lastOpenFiles": [
+    "פילוסופיה/לוגיקה/מתקדמת/time.pdf",
     "פילוסופיה/הציטוטים.md",
     "כלליים/יוונית/index.md",
     "פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md",
@@ -238,7 +239,6 @@
     "פסיכולוגיה/דחק/דיכאון.md",
     "פילוסופיה/לוגיקה/מתקדמת.md",
     "פילוסופיה/בודהיזם/מהיאנה.md",
-    "פילוסופיה/בודהיזם/הדרך.md",
     "פילוסופיה/יוונית/אריסטו/אתיקה/school-of-athens.jpg",
     "פילוסופיה/מטאפיזיקה/green-kermit-and-sherlock.jpg"
   ]
diff --git a/פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md b/פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md
index e3e6403f..bc41a73d 100644
--- a/פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md
+++ b/פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md
@@ -26,12 +26,19 @@ description: לוגיקה, בזמן!
 אנחנו משחקים כאן על *Τense*: אנחנו רוצים לדעת לדבר על זמנים שונים. נעשה זאת בשפת תחשיב הפסוקים וסימנים חדשים - 
 
 - Pα
+	
 	α היה אמיתי בנקודה כלשהי בעבר
+
 - Fα 
+	
 	α יהיה אמיתי בנקודה כלשהי בעתיד
+
 - Gα
+	
 	α יהיה אמיתי בכל נקודה בעתיד
+
 - Hα
+	
 	α היה אמיתי בכל נקודה בעבר
 
 
@@ -45,10 +52,74 @@ description: לוגיקה, בזמן!
 	7. I'm faithful to you, and I will always be - `Pq & Gq`
 	8. John has read Harry Potter, and Joe has too - `Pq & Pz`
 
+
+!!! success "ראו גם"
+	 האם יש בכלל זמן? מקטאגרט כותב שלא - 
+	[Τhe Unreality of Time (McTaggart)](/פילוסופיה/לוגיקה/מתקדמת/time.pdf)
+	
+	 וגם [שפינוזה](/פילוסופיה/חדשה/שפינוזה/אתיקה).
+
 ## מערכות בסיסית
 
 1. CL
-2. G (α -> β) -> (Γα)
+2. G (α -> β) -> (Gα -> Gβ)
+3. G (α -> β) -> (Hα -> Hβ)
+
+4. α -> Gpα 
+
+	אם α אמיתי, אז בכל נקודה בעתיד יהיה נכון שα בנקודה כלשהי בעבר (*ההווה הוא העתיד של העבר והעבר של העתיד*[^1]).
+
+ 5. α -> HFα
 
 
+המערכת, שהגה Arthur Prior[^2]:
 
+
+!!! is-info "הגדרה"
+	מודל טיפוסי הוא שלישיה
+	
+		Μ=<Ζ,Β,v>
+	
+	כאשר:
+	
+	 Z - קבוצה של נקודות בזמן
+		 
+	 B - יחס של קבוצה בזמן. לכל שתי נקודות בזמן אפשר לשאול אם t1Bt2
+	
+	 v - פונקציית הערכה. לכל פסוק אטומי P ונקודה t=Z:
+	
+		v(t,p) = ערך האמת של p ברגע t
+	
+	 תנאי האמת לאופרטורים:
+	
+			1. v(t,Pα) = T if t' ∈ Z so that t'Bt and v(t',α) = Τ
+			
+			2. v(t,Fα) = T if t' ∈ Z so that tBt' and v(t',α) = T
+			
+			3. v(t,Gα) = T if t' ∈ Z so that tBt' and v(t',α) = T
+			
+			4. v(t,Hα) = T if t' ∈ Z so that tBt' and v(t',α) = T
+	
+
+## טענות
+
+- Μ ⊨ α if v(t,α) = Τ for every t ∈ Z
+
+- בכל מבנה טמפורלי M בו B טרנזיטיבי - 
+	
+		 Μ ⊨ Hα -> HHα,  Μ ⊨Gα -> GGα
+
+
+- לזמן יש התחלה - 
+	
+		Η(p & ~p) v PH(p & ~P)
+
+- לזמן יש סוף - 
+	
+		 FG(p&~p) v G(p&~p)
+
+
+(שניהם משחקים )
+
+[^1]: מי אמר שיעור פילוסופיה ולא קיבל?
+[^2]: איזה שם *מעולה* לפילוסוף שעוסק בזמן.