diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 02b371f7..b61b60a6 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -193,9 +193,13 @@
   },
   "active": "596b6044e8291300",
   "lastOpenFiles": [
+    "פילוסופיה/לוגיקה/מתקדמת/paradox.pdf",
     "פילוסופיה/לוגיקה/מתקדמת/קריפקה.md",
-    "פילוסופיה/לוגיקה/מתקדמת/פאראקונסיסטנטית.md",
     "פילוסופיה/לוגיקה/מתקדמת/אינטואיציוניסטית.md",
+    "פילוסופיה/לוגיקה/מתקדמת/index.md",
+    "פילוסופיה/לוגיקה/מתקדמת/קווין.md",
+    "פילוסופיה/לוגיקה/index.md",
+    "פילוסופיה/לוגיקה/מתקדמת/פאראקונסיסטנטית.md",
     "פילוסופיה/לוגיקה/מתקדמת/contradictions.pdf",
     "פילוסופיה/אתיקה/רפלקטיביים.md",
     "פסיכולוגיה/אישיות/ויניקוט.md",
@@ -227,9 +231,6 @@
     "כלליים/יוונית/יחסות.md",
     "כלליים/יוונית/index.md",
     "פסיכולוגיה/אינטיליגנציה/מצגות/index.md",
-    "פסיכולוגיה/אינטיליגנציה/מצגות/פלין.md",
-    "פסיכולוגיה/אינטיליגנציה/מצגות/נישואים.md",
-    "פסיכולוגיה/אינטיליגנציה/מצגות/גנטי.md",
     "פילוסופיה/אתיקה/boredom.jpg",
     "פילוסופיה/מטאפיזיקה/horse.jpg",
     "פילוסופיה/מטאפיזיקה/snooker.jpg",
diff --git a/פילוסופיה/לוגיקה/index.md b/פילוסופיה/לוגיקה/index.md
index c95560b7..2f4c0419 100644
--- a/פילוסופיה/לוגיקה/index.md
+++ b/פילוסופיה/לוגיקה/index.md
@@ -11,6 +11,8 @@ dateCreated: 2023-03-13T19:14:51.833Z
 !!! info ""
     [הרצאה](https://moodle.bgu.ac.il/moodle/pluginfile.php/3676796/mod_resource/content/0/%D7%94%D7%A8%D7%A6%D7%90%D7%94%201%20-%2024.10.22.pdf),[תרגול](/פילוסופיה/לוגיקה/תרגולוגיקהא1תשפג.ppsx)
 
+!!! success "ראו גם"
+	[לוגיקה מתקדמת (קורס המשך)](./מתקדמת)
 ## מהי לוגיקה?
 **לוגיקה** היא הניסיון לשפר את היחס בין האמונות השקריות לאמונות האמיתיות - מתוך רצונם של כל בני האדם להאמין האמנות נכונות, ולדחות האמנות שקריות.
 
diff --git a/פילוסופיה/לוגיקה/לוגיקה/בוחן דמה 1.pdf b/פילוסופיה/לוגיקה/לוגיקה/בוחן דמה 1.pdf
deleted file mode 100644
index 41f9ac8d..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/בוחן דמה 1.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/בוחן דמה 2 - פתרון.pdf b/פילוסופיה/לוגיקה/לוגיקה/בוחן דמה 2 - פתרון.pdf
deleted file mode 100644
index 5e5efc9a..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/בוחן דמה 2 - פתרון.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/בוחן דמה 2.pdf b/פילוסופיה/לוגיקה/לוגיקה/בוחן דמה 2.pdf
deleted file mode 100644
index 9018be0f..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/בוחן דמה 2.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/הרצאה 1 - 24.10.22.pdf b/פילוסופיה/לוגיקה/לוגיקה/הרצאה 1 - 24.10.22.pdf
deleted file mode 100644
index a039789b..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/הרצאה 1 - 24.10.22.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/הרצאה 10 - 2.1.23.pdf b/פילוסופיה/לוגיקה/לוגיקה/הרצאה 10 - 2.1.23.pdf
deleted file mode 100644
index 6cc0d34f..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/הרצאה 10 - 2.1.23.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/הרצאה 11 - 9.1.23.pdf b/פילוסופיה/לוגיקה/לוגיקה/הרצאה 11 - 9.1.23.pdf
deleted file mode 100644
index 89543171..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/הרצאה 11 - 9.1.23.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/הרצאה 3 - 7.11.22.pdf b/פילוסופיה/לוגיקה/לוגיקה/הרצאה 3 - 7.11.22.pdf
deleted file mode 100644
index dcf3aeb1..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/הרצאה 3 - 7.11.22.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/הרצאה 4 - 14.11.22.pdf b/פילוסופיה/לוגיקה/לוגיקה/הרצאה 4 - 14.11.22.pdf
deleted file mode 100644
index 2c2fd835..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/הרצאה 4 - 14.11.22.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/הרצאה 5 - 21.11.22.pdf b/פילוסופיה/לוגיקה/לוגיקה/הרצאה 5 - 21.11.22.pdf
deleted file mode 100644
index 056c341c..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/הרצאה 5 - 21.11.22.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/הרצאה 6 - 28.11.22.pdf b/פילוסופיה/לוגיקה/לוגיקה/הרצאה 6 - 28.11.22.pdf
deleted file mode 100644
index 30316587..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/הרצאה 6 - 28.11.22.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/הרצאה 7 - 5.12.22.pdf b/פילוסופיה/לוגיקה/לוגיקה/הרצאה 7 - 5.12.22.pdf
deleted file mode 100644
index c3c72227..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/הרצאה 7 - 5.12.22.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/הרצאה 8 - 19.12.22.pdf b/פילוסופיה/לוגיקה/לוגיקה/הרצאה 8 - 19.12.22.pdf
deleted file mode 100644
index 3c037faf..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/הרצאה 8 - 19.12.22.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/הרצאה 9 - 26.12.22.pdf b/פילוסופיה/לוגיקה/לוגיקה/הרצאה 9 - 26.12.22.pdf
deleted file mode 100644
index 25eb190b..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/הרצאה 9 - 26.12.22.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/מטלות/לוגיקה 9.odt b/פילוסופיה/לוגיקה/לוגיקה/מטלות/לוגיקה 9.odt
deleted file mode 100644
index 19af9d72..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/מטלות/לוגיקה 9.odt and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/מטלות/מטלה 1- לוגיקה תחשיב הפרדיקטים - 207130253.odt b/פילוסופיה/לוגיקה/לוגיקה/מטלות/מטלה 1- לוגיקה תחשיב הפרדיקטים - 207130253.odt
deleted file mode 100644
index e519d0cc..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/מטלות/מטלה 1- לוגיקה תחשיב הפרדיקטים - 207130253.odt and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/מטלות/מטלה 2 - לוגיקה תחשיב הפסוקים - 207130253.docx b/פילוסופיה/לוגיקה/לוגיקה/מטלות/מטלה 2 - לוגיקה תחשיב הפסוקים - 207130253.docx
deleted file mode 100644
index 2ada74b3..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/מטלות/מטלה 2 - לוגיקה תחשיב הפסוקים - 207130253.docx and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/מטלות/מטלה 2- לוגיקה תחשיב הפרדיקטים - 207130253.odt b/פילוסופיה/לוגיקה/לוגיקה/מטלות/מטלה 2- לוגיקה תחשיב הפרדיקטים - 207130253.odt
deleted file mode 100644
index 42ae08bb..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/מטלות/מטלה 2- לוגיקה תחשיב הפרדיקטים - 207130253.odt and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/מטלות/מטלה 3- לוגיקה תחשיב הפרדיקטים - 207130253 (copy).odt b/פילוסופיה/לוגיקה/לוגיקה/מטלות/מטלה 3- לוגיקה תחשיב הפרדיקטים - 207130253 (copy).odt
deleted file mode 100644
index c56da89c..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/מטלות/מטלה 3- לוגיקה תחשיב הפרדיקטים - 207130253 (copy).odt and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/מטלות/מטלה 5 - לוגיקה תחשיב הפסוקים - 207130253.odt b/פילוסופיה/לוגיקה/לוגיקה/מטלות/מטלה 5 - לוגיקה תחשיב הפסוקים - 207130253.odt
deleted file mode 100644
index feed6627..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/מטלות/מטלה 5 - לוגיקה תחשיב הפסוקים - 207130253.odt and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/מטלות/מטלה 7 - לוגיקה תחשיב הפסוקים - 207130253.odt b/פילוסופיה/לוגיקה/לוגיקה/מטלות/מטלה 7 - לוגיקה תחשיב הפסוקים - 207130253.odt
deleted file mode 100644
index ab7279a2..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/מטלות/מטלה 7 - לוגיקה תחשיב הפסוקים - 207130253.odt and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/מטלות/מטלה 9 - לוגיקה תחשיב הפסוקים - 207130253.docx b/פילוסופיה/לוגיקה/לוגיקה/מטלות/מטלה 9 - לוגיקה תחשיב הפסוקים - 207130253.docx
deleted file mode 100644
index 5e90400b..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/מטלות/מטלה 9 - לוגיקה תחשיב הפסוקים - 207130253.docx and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא10תשפג.pdf b/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא10תשפג.pdf
deleted file mode 100644
index c2ee1887..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא10תשפג.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא11תשפג.pdf b/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא11תשפג.pdf
deleted file mode 100644
index 77248e4a..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא11תשפג.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא12תשפג.pdf b/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא12תשפג.pdf
deleted file mode 100644
index 23fbc43b..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא12תשפג.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא13תשפג.pdf b/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא13תשפג.pdf
deleted file mode 100644
index e587feeb..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא13תשפג.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא1תשפג.ppsx b/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא1תשפג.ppsx
deleted file mode 100644
index e1894dad..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא1תשפג.ppsx and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא2תשפגמתוקן.ppsx b/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא2תשפגמתוקן.ppsx
deleted file mode 100644
index 3ef7405d..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא2תשפגמתוקן.ppsx and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא3תשפג.pdf b/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא3תשפג.pdf
deleted file mode 100644
index 9dd613d1..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא3תשפג.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא4תשפג.pdf b/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא4תשפג.pdf
deleted file mode 100644
index 3df86a63..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא4תשפג.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא5תשפג.pdf b/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא5תשפג.pdf
deleted file mode 100644
index 9e9dc55e..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא5תשפג.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא6תשפג עם תוספות.pdf b/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא6תשפג עם תוספות.pdf
deleted file mode 100644
index 391d0d2c..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא6תשפג עם תוספות.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא7תשפג.pdf b/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא7תשפג.pdf
deleted file mode 100644
index 158d5296..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא7תשפג.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא9תשפג.pdf b/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא9תשפג.pdf
deleted file mode 100644
index 589f63a0..00000000
Binary files a/פילוסופיה/לוגיקה/לוגיקה/תרגולוגיקהא9תשפג.pdf and /dev/null differ
diff --git a/פילוסופיה/לוגיקה/מתקדמת/index.md b/פילוסופיה/לוגיקה/מתקדמת/index.md
index da64d67b..81336e30 100644
--- a/פילוסופיה/לוגיקה/מתקדמת/index.md
+++ b/פילוסופיה/לוגיקה/מתקדמת/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. [לוגיקה פאראקונסיסטנטית](./פאראקונסיסטנטית)
+
+
+
 
 ## מושגי יסוד
 
diff --git a/פילוסופיה/לוגיקה/מתקדמת/פאראקונסיסטנטית.md b/פילוסופיה/לוגיקה/מתקדמת/פאראקונסיסטנטית.md
index bae04b21..4cea1a8b 100644
--- a/פילוסופיה/לוגיקה/מתקדמת/פאראקונסיסטנטית.md
+++ b/פילוסופיה/לוגיקה/מתקדמת/פאראקונסיסטנטית.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)-  זו דוגמה קלאסית לאדם (*מעניין*, מוסיפים רע ואורי) שבוחר עמדה מופרכת לחלוטין, ומגן עליה בעקביות, בלהט ובחירוף נפש, עד שהיא נכנסת לספרות הפילוסופית.
\ No newline at end of file