From 070190b5cf886191633d1fd7890f23bd8a6ac98f Mon Sep 17 00:00:00 2001 From: Matan Horovitz Date: Sun, 5 Jan 2025 11:16:54 +0200 Subject: [PATCH] vault backup: 2025-01-05 11:16:54 --- .obsidian/workspace.json | 7 +-- כלליים/יוונית/index.md | 29 +++------- פילוסופיה/לוגיקה/מתקדמת/אינטואיציוניסטית.md | 64 ++++++++++++++++++++- 3 files changed, 72 insertions(+), 28 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index a3882cf5..f36cc749 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -181,6 +181,8 @@ }, "active": "61c21630518fef01", "lastOpenFiles": [ + "כלליים/יוונית/index.md", + "פילוסופיה/לוגיקה/מתקדמת/אינטואיציוניסטית.md", "פילוסופיה/לוגיקה/מתקדמת/heiding.png", "פילוסופיה/לוגיקה/מתקדמת/Pasted image.png", "Pasted image 20250102132418.png", @@ -188,8 +190,6 @@ "javascripts/mathjax.js", "javascripts", "פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md", - "פילוסופיה/לוגיקה/מתקדמת/אינטואיציוניסטית.md", - "כלליים/יוונית/index.md", "פסיכולוגיה/אישיות/ויניקוט.md", "פסיכולוגיה/אישיות/peas.jpg", "פסיכולוגיה/אישיות/Winnicott.pdf", @@ -225,7 +225,6 @@ "פילוסופיה/אתיקה/ניקומאכית/vacation.jpg", "פילוסופיה/אתיקה/ניקומאכית/school-of-athens.jpg", "פילוסופיה/אתיקה/ניקומאכית.md", - "פילוסופיה/אתיקה/examined.jpg", - "פילוסופיה/מטאפיזיקה/cats.jpg" + "פילוסופיה/אתיקה/examined.jpg" ] } \ No newline at end of file diff --git a/כלליים/יוונית/index.md b/כלליים/יוונית/index.md index 320a2d72..ac83aa60 100644 --- a/כלליים/יוונית/index.md +++ b/כלליים/יוונית/index.md @@ -54,7 +54,6 @@ description: πάντες ἄνθρωποι τοῦ εἰδέναι ὀρέγο > αἰσχρὸν τὸ φεύγειν > -> --- > > הגלות מבישה (ה"להיות גולה" מביש) @@ -210,7 +209,7 @@ Aoristi נוצרים על ידי הוספת σα לגזע ה"הווה": | **Media** | παιδεύσασθαι (**לחנך לעצמך**) | | **Passiva** | παιδευθῆναι (**להתחנך**) | -#### חיווי פעיל Aoristi indicativus +#### נקודתי פעיל Aoristi indicativus ##### חיווי נקודתי פעיל Aoristi Indicativus Activus @@ -286,7 +285,7 @@ Aoristi נוצרים על ידי הוספת σα לגזע ה"הווה": ## כינויים (Pronomina) -### כינויים אישיים (Pronomina Personaalia) +### כינויים אישיים (Pronomina Personalia) #### גוף ראשון @@ -579,7 +578,6 @@ Aoristi נוצרים על ידי הוספת σα לגזע ה"הווה": > τὸ μὴ ἔχειν > -> --- > > אי-ההחזקה (ה"לא להחזיק) @@ -615,7 +613,6 @@ Aoristi נוצרים על ידי הוספת σα לגזע ה"הווה": > οἰ ὑπὸ τοῦ ζέωου φυλαττόμενοι νέοι καθεύδοθσιν > -> --- > > הצעירים הנשמרים על ידי מארחם ישנים @@ -630,7 +627,6 @@ Aoristi נוצרים על ידי הוספת σα לגזע ה"הווה": > οἰ νέοι καθεύδοθσι φυλαττόμενοι ὑπὸ τοῦ ζέωου > -> --- > > הצעירים ישנים בהישמרם (בהיותם נשמרים) על ידי מארחם @@ -643,7 +639,6 @@ Aoristi נוצרים על ידי הוספת σα לגזע ה"הווה": > > אינני מעריץ את עושרו > -> --- > > οὐ θαυμάζω τὸν τοῦ φίλου πλοῦτον > @@ -656,7 +651,6 @@ Aoristi נוצרים על ידי הוספת σα לגזע ה"הווה": > οἰ πλεῖστοι τῶν θεωρῶν \ τῶν θεωρῶν οἰ πλεῖστοι > -> --- > > רוב (הרבים ביותר מתוך הכלל) התיירים (המתבוננים, הצופים) @@ -671,7 +665,6 @@ Aoristi נוצרים על ידי הוספת σα לגזע ה"הווה": > Σωκράτης φησίν: ὀ δίκαιος δίκαια πράττει > -> --- > > סוקראטס אומר: הצדיק עושה מעשי צדק (את הצדיק לעשות דברים צודקים) @@ -679,7 +672,6 @@ Aoristi נוצרים על ידי הוספת σα לגזע ה"הווה": > Σωκράτης φησί τὸν δίκαιον δίκαια πράττειν > -> --- > > סוקראטס אומר **ש**הצדיק עושה מעשי צדק (*את הצדיק לעשות דברים צודקים*) @@ -687,14 +679,12 @@ Aoristi נוצרים על ידי הוספת σα לגזע ה"הווה": > Θαλῆς πρῶτος ἔφη: ἡ σελήνος φωτιζεται ὐπο τοῦ ἠλιου > -> --- > > תאלס אמר בימי קדם: הלבנה מוארת על ידי השמש > Σοφοκλῆς ἔφη τὸν πόνον πόνῳ πόνος έφερετο > -> --- > > סופולקס אומר: הסבל בסבל מביא סבל @@ -704,16 +694,14 @@ Aoristi נוצרים על ידי הוספת σα לגזע ה"הווה": > οἴομαι αὐτον (αὐτὴν) μανθάνειν > -> --- - > אני חושב אותו ללמוד > -> --- + + > > οἴομαθεα ὑμᾶς μανθάνειν > -> --- > > אני חושב שהוא לומד (ממירים לAcc.) @@ -723,8 +711,8 @@ Aoristi נוצרים על ידי הוספת σα לגזע ה"הווה": > ᾠόμην ¨μανθάνω¨ > > סברתי: "אני לומד" -> -> --- + + > > ᾠόμην μανθάνειν > @@ -737,9 +725,8 @@ Aoristi נוצרים על ידי הוספת σα לגזע ה"הווה": > ᾠόμην ¨μανθάνω διαλεγόμενος¨ > > סברתי: "אני לומד בשוחחי" (התואר נשאר בΝοm.) -> -> --- -> + + > ᾠόμην μανθάνειν διαλεγόμενος > > סברתי שאני לומד בשוחחי diff --git a/פילוסופיה/לוגיקה/מתקדמת/אינטואיציוניסטית.md b/פילוסופיה/לוגיקה/מתקדמת/אינטואיציוניסטית.md index 94d2f127..8ecf77ee 100644 --- a/פילוסופיה/לוגיקה/מתקדמת/אינטואיציוניסטית.md +++ b/פילוסופיה/לוגיקה/מתקדמת/אינטואיציוניסטית.md @@ -43,7 +43,7 @@ $$ האינטואיציה, מנגד, היא מידית, וללא תיווך - אלו הם **החלל והזמן**. הם לא *מושגים* - הם התנאים לכינון מושגים. המתמטיקה כולה נשענת *על* הזמן. -תלמידו של בראוואר, [הייטינג](https://en.wikipedia.org/wiki/Arend_Heyting), פיתח מהקושי הזה את מערכת ה**לוגיקה האינטנטיאוניסטית** - +תלמידו של בראוואר, [הייטינג](https://en.wikipedia.org/wiki/Arend_Heyting), פיתח מהקושי הזה את מערכת ה**לוגיקה האינטנציוניסטית** - ![heiding](./heiding.png) @@ -57,5 +57,63 @@ $$ ``` g(p) = ~~p g(A v B) = ~(~g(A) ^ ~g(B)) -g(A -> B) = g(A) - -``` \ No newline at end of file +g(A -> B) = g(A) -> g(B) +g(~A) = ~g(A) +g (A ^ B) = g(A) ^ g(B) +``` + + +טענה: A תקף קלאסית אם ורק אם g(A) תקף אינטואיציוניסטית. + +אבל בעצם, אם אפשר לתרגם את הלוגיקות אלו באלו, אולי הן לא באמת לוגיקות שונות, אלא אותה הלוגיקה כשהיא מדברת *אותם הדברים, באופן שונה*? כמו שאפשר להגיד את אותם הדברים באנגלית ובעברית, אולי הן מדברות *על אותו הדבר*, בדרכים שונות? + +[קווין](/פילוסופיה/לוגיקה/מתקדמת/קווין), למשל, חושב שאין פלורליזם לוגי - יש מערכות שונות לדבר *על אותה הלוגיקה* (מוניזם לוגי, *מוניזם של מובן* - שימוש שונה בביטויים השונים, בלא מחלוקת מהותית). + +בראוור כופר במפורש בעמדה הזו - הוא חושב שבמתמטיקה הקלאסית יש חלקים שראוי לא לקבל, ואפילו לדחות. + +לטובת בראוור ניתן לטעון שבתרגום אובד מידע - כמו שבעמים אסקימוסים יש עשרות מילים לשלג, שכולן נתרגם כ*שלג*[^1] - ולכן לא מדובר באותה הלוגיקה. + +## תורת המובן + +[מייקל דאמט](https://en.wikipedia.org/wiki/Michael_Dummett) חקר את הסוגיה באמצעות **תורת מובן** - + +!!! is-info "הגדרה" + **תורת מובן** יכולה להיות **תורת מובן ריאליסטית** או **תורת מובן אנטי-ריאליסטית**, כאשר: + + - **תורת מובן ריאליסטית** אומרת שהמובן של ביטוי ניתן על ידי תנאי האמת שלו. + + +למשל, *היום יורד גשם* - כולנו מבינים את אותו המובן כי יש תנאי אמת ברורים ומוסכמים (יורד גשם, או שלא יורד גשם). אם מישהו חורג מתנאי האמת האלו, נניח שהוא חורג מהמובן, או שהוא משתמש בו אחרת. + +בפני הריאליזם ניצבים כמה אתגרים: + +- אמת ומובן הם מונחים קרובים מדי. + + לדעת את האמת זה לדעת את המובן ולשגות בתנאי האמת זה לשנות את המובן. + +- לא ייתכן שמשמעותו של ביטוי תיקשר בתנאים שלא ניתן לוודא. + + נחזור ל[קרב הימי של אריסטו](/פילוסופיה/לוגיקה/מתקדמת#דו-ערכיות). אנחנו לא יודעים אם יתרחש קרב ימי, עד שלא ייתרחש או לא ייתרחש. האם זה אומר שהטענה חסרת מובן? לא ממש; אנחנו מבינים מה הביטוי אומר - גם אם לא נדע *לעולם* אם יהיה או לא יהיה קרב ימי. + +- למידת שפה + + איך תינוקות לומדים שפה? הם שומעים צלילים, מזהים את הדפוסים, ובניסיון לומדים איך לחבר אותם. אבל לפי הריאליזם, לא *יכולנו* בכלל לתפוס את הצורה לחבר אותם (התינוק חסר ניסיון ולא יודע את תנאי האמת), וכך יוצא שלא יכולנו ללמוד שפה! + +לאור זאת נבחן את החלופה, תורת מובן **אנטי-ריאליסטית** - +!!! is-info "" + - תורת מובן **אנטי ריאליסטית** אומרת שהמובן של ביטוי ניתן על ידי **תנאי הטעינה שלו** - התנאים הקאנוניים שמאפשרים לי לטעון ביטוי כזה. + +אמת, במצב כזה, היא מה שניתן לטעינה מוצדקת. זוהי תורה **טענתית** של האמת. + +למצב כזה יש השלכות על הלוגיקה - מה בדבר דברים שאין לנו את תנאי הטעינה שלהם, כמו תשע התשיעיות של π? במצב כזה אנחנו לא יכולים לטעון לכאן ולכאן - ואולי עולה ערך אמת *שלישי*? אמיתי, שקרי, ו*לא יודע*? + +בשפה, זה דבר מקובל - *מה השעה? לא יודע* - אבל אם נשיב ככה למחשב, הוא יתבלבל. + +וכאילו זה לא מספיק גרוע, גדל טוען שמספר ערכי האמת של לוגיקה אינטואיציוניסטית איננו סופי. בביטוי המכיל p,q,r - +(p <-> q) v (q <-> r) v (p <-> r) + +זו טאוטולוגיה קלאסית - זה תמיד נכון. אבל אי אפשר להוכיח את זה בלוגיקה אינטנציאוניסטית. + + + +[^1]: ובקוריאנית יש *ה מ ו ן* מילים לתודה (감사합니다, 고맙습니다, 고마워...), תלויות הקשר. \ No newline at end of file