vault backup: 2024-12-12 14:32:00

2024-12-12 14:32:00 +02:00
parent 12c902212f
commit 0a7ed74bb3
4 changed files with 254 additions and 9 deletions
--- a/פילוסופיה/לוגיקה/מתקדמת/קווין.md
+++ b/פילוסופיה/לוגיקה/מתקדמת/קווין.md
@@ -0,0 +1,81 @@
+---
+title: וילארד וון אורמן קווין
+tags:
+  - שנה_ג
+  - פילוסופיה
+  - לוגיקה
+  - קווין
+  - אמפריציזם
+---
+
+
+[Quine](https://en.wikipedia.org/wiki/Willard_Van_Orman_Quine) היה אחד מהפילוסופים האמריקנים הגדולים בכל הזמנים.
+
+
+קווין הושפע מאוד מקארנפ, מ[הפוזיטיביסטים הלוגיים](/פילוסופיה/לשון/פוזיטיביים), כאשר האחרון היה בטוח שהראשון ממשיך אותו, בעוד שהראשון היה בטוח שהוא מפריך את האחרון. הוא התעניין במושג ה*הכרח*, אבל לא במובן האנליטי שקארנפ חקר אותו.
+
+קווין תוקף חזיתית את מושג ה*אפשרות*, ומכתיר אותו כלא-לגיטימי - לא בפילוסופיה, ולא במדע. 
+
+אנחנו משתמשים *המון* במושג האפשרות, לרוב במובן שלילי (*אין מצב שאני עובר את כל מועדי א'*[^1]). אבל קווין דוחה אותו לאור הבעיה ב**אינדיוידואציה של ישים אפשריים**.
+
+חשבות על השאלה - 
+
+!!! is-info ""
+	כמה אנשים שמנים יכולים לעמוד בפתח הדלת הזאת?
+	
+	וכמה מהם הם קירחים?
+
+למושג **אנשים שמנים אפשריים** אין *אינדיוידואציה* - איך אנחנו אמורים לדעת אם הם קירחים?
+
+על זאת קווין אמר - 
+
+> No entity without identity
+> 
+> אין ישות ללא זהות
+
+
+
+אני לא יכול להגיד שמשהו קיים אם אני לא יכול לברר כל תכונה שלהם - איני יכול, *באופן עקרוני*, לדעת כמה מהאנשים השמנים הם קירחים. אם אין אינדיוידואציה, האובייקטים האלה לא קבילים!
+
+![fat men](./fat.jpg)
+<small>כמה נכנסים?</small>
+
+
+
+לכאורה יש עוד שימוש במושג ההכרח - 
+
+!!! is-info ""
+	אם X נמר, אזי **בהכרח** יש לו חברבורות
+	
+	אם אני אנבח את כל הנביחות שלי, אז **בהכרח** אהיה נבוח
+
+
+אבל, קווין יגיד, אפשר לזרוק כאן את מושג ההכרח ולהגיד - 
+
+!!! is-info ""
+	לכל הנמרים יש חברבורות
+	
+	בכל מקרה בו אני נובח את כל הנביחות שלי, אני נבוח
+
+![נמר](./spots.jpg)
+<small>חברבורתיים בהכרח?</small>
+
+והנה עשינו רדוקציה ונפטרנו ממושג ההכרח. האם האסטרטגיה הזו עובדת?
+
+
+דברים כמו - *סוכר בהכרח מסיס במים* - נהפכים לדברים כמו - *חומר מסיס אם בכל פעם ששמים משהו מסוגו במים הוא מתמוסס*. לא ברור שאנו זקוקים בכלל למושג ההכרח.
+
+הכיוון של קווין הוא אמפריציסטי, כמו של [יום](/פילוסופיה/חדשה/יום) - *איפה יש אפשרות או הכרח בעולם?* השימוש האמיתי שלהם הוא קישור בין אירועים - לא ישים מטאפיזיים של ממש: יש לנו רק אירועים, ש*אנחנו* מקשרים בדימיון ([בעיית האינדוקציה](/פילוסופיה/חדשה/יום/מסכת#בעיית-האינדוקציה)). כל מה שהמדע יכול לעשות הוא לבחון היפותזות. 
+
+לא ברור שיש בכלל הגדרות בלי תיאוריה - ולכן אין הכרח: תמיד יש תלות במה שיש בעולם. נהוג לומר שקווין *ערער על ההבחנה בין האנליטי לסינתטי* - מה שאמיתי בהגדרה ומה שאמיתי כי הסתכלנו וראינו: קווין מערער על זה שיש בכלל משהו אמיתי בהגדרה, ולכן התנגד מאוד ל[לוגיקה מודאלית](./מודאלית)[^2]
+
+## ריאליזם מודאלי 
+
+תלמיד אחד של קווין היה [דוויד לואיס](), שהגה את תזת ה**ריאליזם המודאלי** שאומרת:
+
+- 
+
+
+
+[^1]: ףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףףף (צוחק בלא עשיתי מועד ב' אף פעם)
+[^2]: ולמרות זאת, תמך ב והמליץ על [קריפקה](./קריפקה), שהיה תלמיד שלו.