vault backup: 2025-01-23 12:53:57

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

@@ -24,6 +24,11 @@ $$A, \not Α \vdash B$$
 
 אז איך שומרים על ההגדרה הכללית של תקפות - *אם כל ההנחות אמיתיות אז המסקנה חייבת להיות אמיתית* - ודוחים את $A, \not Α \vdash B$? הדרך היא, באיזשהו מובן, לתאר *סתירות אמיתיות*, כמו ההאמנות הסותרות שלנו.
 
+!!! is-info "הגדרה - לוגיקה פאראקונסיסטנטית"
+	**לוגיקה פאראקונסיסטנטית** היא כל מערכת לוגית ש**לא דורשת עקביות** - כלומר, שהיא סבלנית כלפי סתירות: היא דוחה את הדרישה של רוב מערכות הלוגיות לאמיתי *או* שקרי.
+	
+	 ישנן לוגיקות פאראקונסיסטנטיות רבות, דוגמת [לוגיקת הפרדוקס](#לוגיקת-הפרדוקס) ו[K3](https://en.wikipedia.org/wiki/Three-valued_logic).
+
 ## דיאלתאיזם
 
 העמדה הפילוסופית הזו מכונה **Dialetheism**[^1] - **העמדה לפיה יש סתירות אמיתיות**. 
@@ -97,6 +102,8 @@ $$A, \not Α \vdash B$$
 
 הרעיון המרכזי הוא ש***אמת* ו*שקר* לא מוציאים זה את זה**.
 
+אם אמת ושקר לא מוציאים אלו את אלו, אנחנו צריכים דרך אחרת להבין מתי פסוק אמיתי ומתי הוא שקרי.
+
 לכל פסוק ניתן קבוצה של ערכי אמת: $\{T, F\}$, או $\{T\}$ או $\{F\}$.
 
 פונקציית הערכה $V$: נותנת לפסוקים האטומיים אחת משלושת הקבוצות הללו.
@@ -104,8 +111,8 @@ $$A, \not Α \vdash B$$
 תנאי האמת לשלילה: 
 
 $$\begin{align}
-T \in \lor (\neg A)\ if\ F \in \lor(A) \\
-F \in \lor (\neg A)\ if\  T\in \lor(A) \\
+T \in \lor (\neg A)\ i.f.f\ F \in \lor(A) \\
+F \in \lor (\neg A)\ i.f.f\  T\in \lor(A) \\
 \end{align}$$
 
 
@@ -113,13 +120,13 @@ F \in \lor (\neg A)\ if\  T\in \lor(A) \\
 
 $$
 \begin{align}
-T \in \lor (A \lor B)\ if\ T\in\lor(A)\ or\ T\in\lor(B) \\
+T \in \lor (A \lor B)\ i.f.f\ T\in\lor(A)\ or\ T\in\lor(B) \\
 \\
-F \in \lor (A \lor B)\ if\ F\in\lor(A)\ or\ F\in\lor(B) \\
+F \in \lor (A \lor B)\ i.f.f\ F\in\lor(A)\ or\ F\in\lor(B) \\
 \\
-T \in \lor (A \land B)\ if\ T\in\land(A)\ or\ T\in\land(B) \\
+T \in \lor (A \land B)\ i.f.f\ T\in\land(A)\ and\ T\in\land(B) \\
 \\
-F \in \lor (A \land B)\ if\ F\in\land(A)\ or\ F\in\land(B) \\
+F \in \lor (A \land B)\ i.f.f\ F\in\land(A)\ and\ F\in\land(B) \\
 \end{align}
 $$
 
@@ -163,4 +170,5 @@ $Γ \models A$ אם אין $v$ כך ש $Τ\in\lor(C)$ עבור כל $c \in Γ$
 **משפט** - $A$ טאוטולוגיה קלאסית אם ורק אם $A$ טאוטולוגיה גם בלוגיקה של הפרדוקס (LP).
 
 
-[^1]: את העמדה הזו הגה [Graham Priest](https://en.wikipedia.org/wiki/Graham_Priest)-  זו דוגמה קלאסית לאדם (*מעניין*, מוסיפים רע ואורי) שבוחר עמדה מופרכת לחלוטין, ומגן עליה בעקביות, בלהט ובחירוף נפש, עד שהיא נכנסת לספרות הפילוסופית.
+
+[^1]: את העמדה הזו הגה [Graham Priest](https://en.wikipedia.org/wiki/Graham_Priest) -  זו דוגמה קלאסית לאדם (*מעניין*, מוסיפים רע ואורי) שבוחר עמדה מופרכת לחלוטין, ומגן עליה בעקביות, בלהט ובחירוף נפש, עד שהיא נכנסת לספרות הפילוסופית.