From 220e7f69ab491666b47ca2b463f1286b05710056 Mon Sep 17 00:00:00 2001 From: Matan Horovitz Date: Thu, 26 Dec 2024 14:32:11 +0200 Subject: [PATCH] vault backup: 2024-12-26 14:32:11 --- .obsidian/workspace.json | 22 +++++++++--- פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md | 52 +++++++++++++++++++++++++++++ 2 files changed, 70 insertions(+), 4 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index e5d12892..036a3b8b 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -20,6 +20,20 @@ "icon": "lucide-file", "title": "טמפורלית" } + }, + { + "id": "546b2780d74ca2ab", + "type": "leaf", + "state": { + "type": "markdown", + "state": { + "file": "פילוסופיה/אתיקה/רפלקטיביים.md", + "mode": "source", + "source": false + }, + "icon": "lucide-file", + "title": "רפלקטיביים" + } } ] } @@ -166,8 +180,11 @@ }, "active": "e33b3cc00b8fcc36", "lastOpenFiles": [ - "פילוסופיה/אתיקה/ניקומאכית/index.md", + "פילוסופיה/אתיקה/רפלקטיביים.md", + "פילוסופיה/לוגיקה/מתקדמת/מודאלית.md", "פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md", + "פילוסופיה/לוגיקה/מתקדמת/index.md", + "פילוסופיה/אתיקה/ניקומאכית/index.md", "כלליים/יוונית/index.md", "פסיכולוגיה/תודעה/דיסוציאציה.md", "פסיכולוגיה/תודעה/index.md", @@ -195,7 +212,6 @@ "פילוסופיה/חדשה/ניטשה/מטלות/אמצע.md", "פילוסופיה/לוגיקה/מתקדמת/קווין.md", "פילוסופיה/לוגיקה/מתקדמת/קריפקה.md", - "פילוסופיה/אתיקה/רפלקטיביים.md", "פסיכולוגיה/אישיות/קליין.md", "פסיכולוגיה/חשיבה/גישות.md", "פסיכולוגיה/חשיבה/index.md", @@ -208,8 +224,6 @@ "Pasted image 20241216192936.png", "פילוסופיה/מטאפיזיקה/sarin.jpg", "פילוסופיה/מטאפיזיקה/sarin.png", - "פילוסופיה/חדשה/קאנט/טהורה.md", - "().md", "פילוסופיה/לוגיקה/מתקדמת/spots.jpg", "פילוסופיה/לוגיקה/מתקדמת/fat.jpg" ] diff --git a/פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md b/פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md index 93a4dc0d..021c9c11 100644 --- a/פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md +++ b/פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md @@ -166,6 +166,58 @@ t1Bt2 בתמצית, *בין כל שתי נקודות יש נקודה שלישית*[^3]. + Μ ⊨ Fα -> FFα + + Μ ⊨ Pα -> PPα + + +## הטיעון של דיאדורוס + +[אריסטו](/פילוסופיה/יוונית/אריסטו) סבר שהעבר סגור - בלתי ניתן לשינוי - אבל העתיד פתוח ([מחר יתקיים קרב ימי](/פילוסופיה/לוגיקה/מתקדמת#דו-ערכי)). + + +מול אריסטו ניצב דיאדורוס כרונוס[^1] חושב שיש סתירה פנימית בין שתי הטענות של אריסטו. הוא מניח שתי הנחות שאריסטו אמור לקבל: + +1. העבר הכרחי. + מה שהיה, היה - נגמר, לא ניתן לשינוי + +2. אם משהו בלתי אפשרי (P) נגרר על ידי משהו אחר (Q), אז גם המשהו האחר (Q) בלתי אפשרי. + +נניח ואנחנו מדברים על צדף. + +- P - הצדף לא נראה ואף פעם לא ייראה + +- בעבר נכון "בעתיד P". + +אבל העבר הכרחי. לכן, + +- בהכרח בעבר "בעתיד P" + +כלומר, + +- לא אפשרי שבעבר "בעתיד לא P" + +אבל, אם נניח כמו אריסטו שהעתיד פתוח, אז אפשרי שלא P (~P). אזי ממילא: + +- "בעתיד לא P" - אפשרי + +וכך נובע דטרמיניזם! + +!!! warning "מה?" + **אם העבר הכרחי**, ו**העבר טוען טענות לגבי העתיד**, אז הרי שאם טענו משהו לגבי העתיד בזמן עבר, או שקיבענו את העתיד (במידה והטענה מתממשת) או ששינינו את העבר (במידה והטענה לא מתממשת); זו בעיה רצינית. + + +``` +A: Pα -> ~◇~Pα (◇Pα) +Β: □ (α -> β) -> (~◇β -> ~◇α) #אקסיומה K +D: α -> ~P~Fα #ההווה הוא העתיד של העבר +E: (~α & ~Fα) -> P~Fα +--- +C: (~α & ~Fα) -> ~◇α #דטרמיניזם! +``` + + + [^1]: מי אמר שיעור פילוסופיה ולא קיבל? [^2]: איזה שם *מעולה* לפילוסוף שעוסק בזמן.