130 lines
3.2 KiB
Markdown
130 lines
3.2 KiB
Markdown
---
|
||
title: לוגיקה טמפורלית
|
||
tags:
|
||
- שנה_ג
|
||
- סמסטר_א
|
||
- לוגיקה
|
||
- לוגיקה_מתקדמת
|
||
- לוגיקה_טמפורלית
|
||
description: לוגיקה, בזמן!
|
||
---
|
||
ראינו הרבה משפטים כמו:
|
||
|
||
|
||
!!! is-info ""
|
||
כל היוונים הם בני תמותה
|
||
|
||
סוקראטס הוא יווני
|
||
|
||
---
|
||
|
||
סוקראטס בן תמותה
|
||
|
||
|
||
אבל יש כאן בעיה. סוקראטס *היה* יווני.
|
||
|
||
אנחנו משחקים כאן על *Τense*: אנחנו רוצים לדעת לדבר על זמנים שונים. נעשה זאת בשפת תחשיב הפסוקים וסימנים חדשים -
|
||
|
||
- Pα
|
||
|
||
α היה אמיתי בנקודה כלשהי בעבר
|
||
|
||
- Fα
|
||
|
||
α יהיה אמיתי בנקודה כלשהי בעתיד
|
||
|
||
- Gα
|
||
|
||
α יהיה אמיתי בכל נקודה בעתיד
|
||
|
||
- Hα
|
||
|
||
α היה אמיתי בכל נקודה בעבר
|
||
|
||
|
||
!!! info "דוגמה"
|
||
1. Mary is walking - **q**
|
||
2. Mary walked - `Pq`
|
||
3. Mary will walk - `Fq`
|
||
4. Mary had walked - `P(Pq)`
|
||
5. Mary will have walked - `F(Pq)`
|
||
6. You are still young, but you will not always be so - `Pq & ~Gq`
|
||
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 (α -> β) -> (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)
|
||
|
||
|
||
(שניהם משחקים על זה שלפני הזמן ואחריו סתירות היו אמיתיות: אין דוגמת נגד)
|
||
|
||
|
||
- הזמן הוא לינארי -
|
||
|
||
Μ ⊨ ( Fα & Fβ) -> (F(α & β) v F(A&Fβ)) v F(β & Fa)
|
||
[^1]: מי אמר שיעור פילוסופיה ולא קיבל?
|
||
[^2]: איזה שם *מעולה* לפילוסוף שעוסק בזמן.
|