From 0c78920531c902a0c9eb82ad028f8bad2b0c9c90 Mon Sep 17 00:00:00 2001 From: Matan Horovitz Date: Thu, 2 Jan 2025 12:42:06 +0200 Subject: [PATCH] vault backup: 2025-01-02 12:42:06 --- .obsidian/workspace.json | 24 ++++++-- כלליים/יוונית/index.md | 69 ++++++++++++++++------ פילוסופיה/לוגיקה/מתקדמת/אינטנציאוניסטית.md | 24 ++++++++ 3 files changed, 94 insertions(+), 23 deletions(-) create mode 100644 פילוסופיה/לוגיקה/מתקדמת/אינטנציאוניסטית.md diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 91d27fe3..87177f95 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -20,8 +20,23 @@ "icon": "lucide-file", "title": "index" } + }, + { + "id": "61c21630518fef01", + "type": "leaf", + "state": { + "type": "markdown", + "state": { + "file": "פילוסופיה/לוגיקה/מתקדמת/אינטנציאוניסטית.md", + "mode": "source", + "source": false + }, + "icon": "lucide-file", + "title": "אינטנציאוניסטית" + } } - ] + ], + "currentTab": 1 } ], "direction": "vertical" @@ -164,8 +179,11 @@ "command-palette:Open command palette": false } }, - "active": "09399a2d70ca464f", + "active": "61c21630518fef01", "lastOpenFiles": [ + "פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md", + "פילוסופיה/לוגיקה/מתקדמת/אינטנציאוניסטית.md", + "כלליים/יוונית/index.md", "פסיכולוגיה/אישיות/ויניקוט.md", "פסיכולוגיה/אישיות/peas.jpg", "פסיכולוגיה/אישיות/Winnicott.pdf", @@ -192,9 +210,7 @@ "פסיכולוגיה/תודעה/דיסוציאציה.md", "פילוסופיה/מטאפיזיקה/banana.jpg", "פילוסופיה/מטאפיזיקה/gingy.jpg", - "כלליים/יוונית/index.md", "פסיכולוגיה/תודעה/index.md", - "פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md", "פילוסופיה/לוגיקה/מתקדמת/מודאלית.md", "פילוסופיה/לוגיקה/מתקדמת/index.md", "פילוסופיה/אתיקה/index.md", diff --git a/כלליים/יוונית/index.md b/כלליים/יוונית/index.md index f52b5413..320a2d72 100644 --- a/כלליים/יוונית/index.md +++ b/כלליים/יוונית/index.md @@ -63,11 +63,11 @@ description: πάντες ἄνθρωποι τοῦ εἰδέναι ὀρέγο ## גזעי הפועל ### הווה Praesentis -#### הווה ישיר Ιndicativus praesentis +#### חיווי בהווה Ιndicativus praesentis **παιδεύω (לחנך)** -#### הווה פעיל Indicativus praesentis activus +##### חיווי פעיל בהווה Indicativus praesentis activus | Persona | Singularis | Pluralis | | ------ | -------------------------- | ------------------------- | @@ -75,11 +75,20 @@ description: πάντες ἄνθρωποι τοῦ εἰδέναι ὀρέγο | 2. pers | παιδεύεις (אתה מחנך) | παιδεύετε (אתם מחנכים) | | 3. pers | παιδεύει (הוא/היא/זה מחנך) | παιδεύουσιν (הם מחנכים) | -#### הווה ציווי Imperativus praesentis +##### חיווי סביל בהווה Indicativus praesentis passivi + +| **Persona** | Singularis | Pluralis | +| --- | --- | --- | +| 1. pers | παιδεύομαι (אני מתחנך) | παιδευόμεθα (אנחנו מתחנכים) | +| 2. pers | παιδεύη (אתה מתחנך) | παιδεύεσθε (אתם מתחנכים) | +| 3. pers | παιδεύεται (הוא/היא מתחנך) | παιδευόνται (הם מתחנכים) | + + +#### ציווי בהווה Imperativus praesentis **παιδεύε** (הווה מחנך!) -#### הווה ציווי פעיל Imperativus praesentis activus +##### ציווי פעיל בהווה Imperativus praesentis activus | Persona | Singularis | Pluralis | | --- | --- | --- | @@ -88,15 +97,7 @@ description: πάντες ἄνθρωποι τοῦ εἰδέναι ὀρέγο | 3. pers Femeninum | παιδευέτω (שתחנך!) | παιδευέτωσαν (שיחנכו!) | | 3. pers Neuter | παιδευέτω (שיחנך!) | παιδευέτωσαν (שיחנכו!) | -#### הווה סביל Indicativus praesentis passivi - -| **Persona** | Singularis | Pluralis | -| --- | --- | --- | -| 1. pers | παιδεύομαι (אני מתחנך) | παιδευόμεθα (אנחנו מתחנכים) | -| 2. pers | παιδεύη (אתה מתחנך) | παιδεύεσθε (אתם מתחנכים) | -| 3. pers | παιδεύεται (הוא/היא מתחנך) | παιδευόνται (הם מתחנכים) | - -#### ציווי הווה בינוני-סביל Imperativus praesentis medii-passivi +##### ציווי בינוני-סביל בהווה Imperativus praesentis medii -passivi | **Persona** | Singularis | Pluralis | | ---------- | --------------------------- | ------------------------------ | @@ -105,7 +106,7 @@ description: πάντες ἄνθρωποι τοῦ εἰδέναι ὀρέγο
-#### מתמשך הווה בינוני-סביל Infinitivus praesentis medii-passivi +#### הווה בינוני-סביל מתמשך Infinitivus praesentis medii-passivi | Form | | | ----------------------- | ------------------------- | @@ -178,21 +179,21 @@ Aoristi נוצרים על ידי הוספת σα לגזע ה"הווה": #### ציווי נקודתי Imperativus aoristi הכוונה היא לא *תמיד*, כמו [imperativus praesentis](#Imperativus-praesentis), אלא **עכשיו** - לא *תחנכו* את הבנים כל החיים, אלא חנכו אותם *עכשיו*. -##### Activi +##### ציווי נקודתי פעיל Imperativus aoristi activus | **Persona** | **Singularis** | **Pluralis** | | ----------- | ---------------------- | ------------------------- | | 2. pers | παίδευσον (**חנך!**) | παιδεύσατε (**חנכו!**) | | 3. pers | παιδευσάτω (**יחנך!**) | παιδευσάντων (**יחנכו!**) | -##### Medium +##### ציווי נקודתי בינוני Imperativus aoristi medii | **Persona** | **Singularis** | **Pluralis** | | ----------- | ----------------------------- | ------------------------------- | | 2. pers | παίδευσαι (**חנך לעצמך!**) | παιδεύσασθε (**חנכו לעצמכם!**) | | 3. pers | παιδευσάσθω (**יחנך לעצמו!**) | παιδευσάσθων (**יחנכו לעצמם!**) | -##### Pasivum +##### ציווי נקודתי סביל Imperativus aoristi pasivi | **Persona** | **Singularis** | **Pluralis** | @@ -201,7 +202,7 @@ Aoristi נוצרים על ידי הוספת σα לגזע ה"הווה": | 3. pers | παιδευθήτω (**יוחנך!**) | παιδευθέντων (**יוחנכו!**) | -#### Infinitivus Aoristi +#### נקודתי מתמשך Infinitivus aoristi | **Vox** | **Form** | | ----------- | ----------------------------- | @@ -209,7 +210,37 @@ Aoristi נוצרים על ידי הוספת σα לגזע ה"הווה": | **Media** | παιδεύσασθαι (**לחנך לעצמך**) | | **Passiva** | παιδευθῆναι (**להתחנך**) | -#### נקודתי ישיר Aoristi indicativus +#### חיווי פעיל Aoristi indicativus + +##### חיווי נקודתי פעיל Aoristi Indicativus Activus + +|**Person**|**Singular**|**Plural**| +|---|---|---| +|**1st Person**|ἐπαίδευσα (חינכתי)|ἐπαιδεύσαμεν (חינכנו)| +|**2nd Person**|ἐπαίδευσας (חינכתָ)|ἐπαιδεύσατε (חינכתם)| +|**3rd Person**|ἐπαίδευσε(ν) (חינך/חינכה)|ἐπαίδευσαν (חינכו)| + + +##### חיווי נקודתי בינוני-סביל Aoristi Indicativus Medi-Passivi + +| **Person** | **Singular** | **Plural** | +| -------------- | -------------------------- | ---------------------------- | +| **1st Person** | ἐπαιδευσάμην (חונכתי) | ἐπαιδευσάμεθα (חונכנו) | +| **2nd Person** | ἐπαιδεύσω (חונכתָ/חונכתְּ) | ἐπαιδεύσασθε (חונכתם/חונכתן) | +| **3rd Person** | ἐπαιδεύσατο (חונך/חונכה) | ἐπαιδεύσαντο (חונכו) | + +בעוד שמן הגזע המתאר את הפעולה בהמשכיותה ("היבט קו") נוצרו גם **זמן הווה** (ind. praes) וגם **זמן עבר** (ind. imprf), נוצר מן הגזע המתאר את הפעולה כהתרחשות ("היבט נקודה"), **זמן עבר** בלבד (ind. aor). אין ביוונית **זמן הווה** בעל "היבט נקודה". מבחינת **הזמן** שווה הind.aor. לind. imprf - זה וזה עבר. השוני ביניהם בהיבט הפעולה: הind. impf. מביע מצב עבר ממושך (מצב, תדירות, ניסיון וכו' - הכל בעבר), ואילו הind.aor. מביע עבר סתם (ἀόριστος = בלתי מוגדר) ומציין את עצם האירוע-בעבר של הפעולה, ללא הגבלות או הגדרות נוספות. לדוגמא - + +> ἐστρατεύντο = הם היו במסע צבאי +> +> ἐστρατεύσαντο = הם יצאו למלחמה, התגייסו +> + +> ἐβασίλευε = הוא מלך, היה מולך +> +> ἐβασίλευσε הוא מלך, עלה למלוכה + +#### Participium aoristi ## הטעמות diff --git a/פילוסופיה/לוגיקה/מתקדמת/אינטנציאוניסטית.md b/פילוסופיה/לוגיקה/מתקדמת/אינטנציאוניסטית.md new file mode 100644 index 00000000..54e80225 --- /dev/null +++ b/פילוסופיה/לוגיקה/מתקדמת/אינטנציאוניסטית.md @@ -0,0 +1,24 @@ +--- +title: לוגיקה אינטנציאוניסטית +tags: + - שנה_ג + - סמסטר_א + - פילוסופיה + - לוגיקה + - לוגיקה_מתקדמת +--- +[לויצן אגברטוס יאן "ברטוס" בראוור](https://en.wikipedia.org/wiki/L._E._J._Brouwer) (1881-1966) שאל את עצמו האם בפיתוח העשרוני של π יש מופע של 9 פעמים הספרה 9 (...1234999999999...). איך בודקים? נניח וכל פעם נפתח קצת את π ונבחון כל קטע סופי נתון. אם מצאנו - נפלא. ואם לא מצאנו? נוכל רק להגיד ש*עד עכשיו* לא היה - לא נוכל להגיד ש*יש* או ש*אין* קטע כזה. + +אנחנו יצורים סופיים, ויכולים לפתח רק חלק סופי. אבל האם *יש* בכלל פיתוח אינסופי כזה, שפשוט אנחנו לא מגיעים אליו? יכול להיות שאין דבר כזה - לא נוכל לדעת עד שפיתחנו הכל. אבל אם אנחנו לא יודעים שיש מקטע כזה, אולי אנחנו לא יכולים לטעון בכלל שיש או אין מקטע של תשע תשיעיות: אין על *מה* לטעון בכלל. + +העמדה הזו היא **קונסטרוקטיביזם** - + +!!! is-info "הגדרה" + **קונסטרוקטיביזם** היא התזה שאומרת שישים (אובייקטים) מתמטיים הם פרי הבניה שלנו, כך שכל מספר Αv~A (רציונליים או לא רציונליים) + +בכל פעם שמפתחים את π, הπ המפותח עד הסוף הוא זה שפיתחנו - אין לי טענה שיש אחד אינסופי כלשהו; והיות ו*לעולם* לא נפתח את π עד הסוף, אני לא יכול לטעון כלום לגבי קיום או אי קיום הקטע: הדבר שלגביו אני טוען *עדיין מתהווה*, ולעולם *עדיין יתהווה*. + + +!!! is-info "טענה" + יש שני מספרים לא-רציונליים a, b כך ש - a^b רציונלי +