diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 88bbf5e5..d522a115 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -27,12 +27,12 @@ "state": { "type": "markdown", "state": { - "file": "כלליים/יוונית/מילון.md", + "file": "פילוסופיה/לוגיקה/מתקדמת/למבחן.md", "mode": "source", "source": false }, "icon": "lucide-file", - "title": "מילון" + "title": "למבחן" } } ], @@ -180,6 +180,9 @@ }, "active": "f2fdf12e928f23df", "lastOpenFiles": [ + "פילוסופיה/לוגיקה/מתקדמת/דמה.pdf", + "פילוסופיה/לוגיקה/מתקדמת/index.md", + "פילוסופיה/לוגיקה/מתקדמת/למבחן.md", "כלליים/יוונית/תחביר.md", "כלליים/יוונית/מילון.md", "כלליים/יוונית/הפועל.md", @@ -208,9 +211,6 @@ "פסיכולוגיה/אינטיליגנציה/מצגות/פוליטיקה.md", "פסיכולוגיה/אינטיליגנציה/מצגות/left.pdf", "פסיכולוגיה/אינטיליגנציה/מצגות/Manuscript_with_author_details.pdf", - "פסיכולוגיה/אינטיליגנציה/מצגות/התאמה.md", - "פסיכולוגיה/אינטיליגנציה/מצגות/קשר.md", - "פסיכולוגיה/אישיות/קוהוט.md", "פילוסופיה/חדשה/קאנט/הר.pdf", "פסיכולוגיה/אישיות/Defense.pdf", "פסיכולוגיה/אישיות/אגו.pdf", diff --git a/כלליים/יוונית/תחביר.md b/כלליים/יוונית/תחביר.md index d89f1481..73b3e33b 100644 --- a/כלליים/יוונית/תחביר.md +++ b/כלליים/יוונית/תחביר.md @@ -293,3 +293,21 @@ is-info "" +## נושא מתמשך (Αcc. cum infinitivus) + +כשמדברים על נושא של פועל מתמשך (לא טוב **להיות** -> לא טוב *לי* **להיות** - *אני* הנושא של **להיות** המתמשך), היחסה שתהיה תמיד בAccusativus - כמו ב[הבעה עקיפה](#בinfinitive-acc-cum-infinitivus-nom-cum-infinitivus), אבל לא רק. + + +> αἰσχρὸν χρῄζειν τοῦ μακροῦ βίου +> +> > השתוקקות לחיים הארוכים מבישה (מביש להשתוקק לחיים הארוכים) + +לעומת + +--- + +> αἰσχρὸν ἄνδρα χρῄζειν τοῦ μακροῦ βίου +> +> > ההשתוקקות של גבר לחיים הארוכים מבישה (מביש שגבר ישתוקק לחיים הארוכים) + + diff --git a/פילוסופיה/לוגיקה/מתקדמת/למבחן.md b/פילוסופיה/לוגיקה/מתקדמת/למבחן.md new file mode 100644 index 00000000..c3ddb305 --- /dev/null +++ b/פילוסופיה/לוגיקה/מתקדמת/למבחן.md @@ -0,0 +1,78 @@ + +!!! info "[מבחן דמה](./דמה.pdf)" + +1. **בדוגמאות נגד** - הפעמים הראשונות יהיו קשות; לא להציץ בתשובות. הפעמים הבאות יהיו קלות. +2. ה מ ו ן חזרות. לנסות לבד! כשנתקעים, *תבינו מה לא הבנתם*. + + +מבנה: + +1. מבוא (פסוקים, פרדיקטים) +2. מודאלית +3. טמפוראלית +4. אינטואיציוניסטית + + + +שאלות: + +1. +א. + - ~~"לא יודע"~~ + - "מחר יהיה קרב ימי" (קביעה מטאפיזית עכשיו על אירוע עתידי) + - ~~חובות אתיות~~ + +המטרה: דברים שפוגעים בתקפות הפורמלית: + +- הצבה בהקשרי ידיעה: "רע = המרצה בקורס", "טראמפ יודע שהמרצה בקורס הוא המרצה בקורס", אבל לא נכון ש"טראמפ יודע שרע הוא המרצה בקורס" + +- הכרח (הבקבוק ריק\ הבקבוק ריק אז הוא בהכרח לא מלא -> הבקבוק בהכרח לא מלא (לא נכון)) +- בונוס: פרדוקס השקרן (אי אפשר להצרין, אמיתי או שקרי) + +$$\begin{align} +p\\ +p \to \neg q\\ +\therefore q +\end{align}$$ +נופל (זה שהבקבוק ריק *לא* גורר מטאפיזית שהבקבוק לא מלא) + + + +ב. $A, \neg A \vdash B$ + $$\begin{align} + \neg A \\ + \neg A \to (\neg B \to \neg A) \\ + \neg B \to \neg A \\ + (\neg B \to \neg A) \to (A \to B) \\ + A \to B \\ + A \\ + B \\ + \end{align}$$ + +1. Assum. +2. Axiom 1. ($A = \neg A$) +3. 1, 2, MP +4. Axiom 3. +5. 3,4, MP +6. Assum. +7. 5,6, (MP) + + +2. + א. הוכיחו: $M_{trans} \vdash (\Box A \to \Box \Box A)$ + +נניח בשלילה: +1. $\neg \Box \Box A$ Assum. +2. $\Diamond \neg A$ 1 +3. $W = {w1, w2, w3}$ Ass. +4. $w1Rw2$ Trans. +5. $w2Rw3$ Trans. +6. $v(a,w1) = T$ Ass. +7. $v(a,w2) = T$ Ass. +8. $v(a,w3) = F$ Ass. +9. $v(\Box A, w3 = F$, 8 +10. $v(\Box A, w2) = F$, 5, 9 +11. $v(\Box A, w1) = T$ 4,6,7 +12. $v(\Box \Box A, w2) = F$, 5,9 ??? + +ב. \ No newline at end of file