vault backup: 2025-01-16 18:11:43

פילוסופיה/לוגיקה/מתקדמת/index.md

@@ -1,4 +1,13 @@
+---
 title: לוגיקה מתקדמת
+tags:
+  - שנה_ג
+  - סמסטר_א
+  - פילוסופיה
+  - לוגיקה
+  - לוגיקה_מתקדמת
+---
+
 
 !!! info "חומר הקורס"
 	[מודל](https://moodle.bgu.ac.il/moodle/course/view.php?id=55543), [סילבוס](https://moodle.bgu.ac.il/moodle/mod/resource/view.php?id=2865244)
@@ -11,6 +20,16 @@ title: לוגיקה מתקדמת
 
 #### 3. [מודלי קריפקה](/פילוסופיה/לוגיקה/מתקדמת/קריפקה)
 
+#### 4. [לוגיקה טמפורלית](./טמפורלית)
+
+#### 5. [שלילת המודאליות של קווין](./קווין)
+
+#### 6. [לוגיקה אינטואיציוניסטית](./אינטואיציוניסטית)
+
+#### 7. [לוגיקה פאראקונסיסטנטית](./פאראקונסיסטנטית)
+
+
+
 
 ## מושגי יסוד
 

פילוסופיה/לוגיקה/מתקדמת/פאראקונסיסטנטית.md

@@ -1,5 +1,5 @@
 ---
-title: לוגיקה פאראקוניסטנטית
+title: לוגיקה פאראקונסיסטנטית
 tags:
   - שנה_ג
   - סמסטר_א
@@ -89,7 +89,7 @@ $$A, \not Α \vdash B$$
 אם נקבל דיאתליזם, *שלילה* תפסיק להוות *דחייה*, וזו בעיה - אבל ייתכן וישנה דרך *אחרת* לדחות דברים - בלי המילה *לא*.
 
 
-לאור כל הקשיים האלה, הגה גרהאם את **לוגיקת הפרדוקס**.
+לאור כל הקשיים האלה, הגה גרהאם את [**לוגיקת הפרדוקס**](./paradox.pdf).
 
 ## לוגיקת הפרדוקס
 
@@ -134,12 +134,12 @@ $$
 
  בדיסיונקציה - 
 
-|       | B      | B   | B   | B       |
-| ----- | ------ | --- | --- | ------- |
-| **A** | $\lor$ | *T* | *P* | ***F*** |
-| **A** | *T*    | T   | T   | T       |
-| **A** | *P*    | T   | P   | P       |
-| **A** | *F*    | T   | P   | F       |
+|       | B            | B       | B       | B       |
+| ----- | ------------ | ------- | ------- | ------- |
+| **A** | ***$\lor$*** | ***T*** | ***P*** | ***F*** |
+| **A** | ***T***      | T       | T       | T       |
+| **A** | ***P***      | T       | P       | P       |
+| **A** | ***F***      | T       | P       | F       |
 
 ובקוניוקנציה - 
 
@@ -150,7 +150,17 @@ $$
 | **A** | ***P***       | P       | P       | F       |
 | **A** | ***F***       | F       | F       | F       |
 
+---
+
+$Γ \models A$ אם אין $v$ כך ש $Τ\in\lor(C)$ עבור כל $c \in Γ$ אבל $T\notin\lor(A)$
+
+או בלשון אחרת: **אין שורה בטבלת האמת שבה כל ההנחות מקבלות $T$ או $P$ אבל המסקנה היא $F$.** 
+
+**טענה** - בהינתן הערכה $v$ "קלאסית": כל פסוק אטומי מקבל או $T$ או $F$ ולא $P$. אז כל פסוק מקבל או $T$ או $F$ ולא $P$. 
+
+**הוכחה** - חזרו לטבלאות הקודמות ומחקו כל שורה\טור שמופיע בו ערך האמת $P$ - תתקבל טבלת אמת "קלאסית".
+
+**משפט** - $A$ טאוטולוגיה קלאסית אם ורק אם $A$ טאוטולוגיה גם בלוגיקה של הפרדוקס (LP).
 
-[לוגיקה פאראקונסיסטנית](https://plato.stanford.edu/entries/logic-paraconsistent/)
 
 [^1]: את העמדה הזו הגה [Graham Priest](https://en.wikipedia.org/wiki/Graham_Priest)-  זו דוגמה קלאסית לאדם (*מעניין*, מוסיפים רע ואורי) שבוחר עמדה מופרכת לחלוטין, ומגן עליה בעקביות, בלהט ובחירוף נפש, עד שהיא נכנסת לספרות הפילוסופית.