vault backup: 2024-12-10 10:33:24

פילוסופיה/מטאפיזיקה/אונטולוגיה.md

@@ -279,6 +279,41 @@ tags: פילוסופיה, מטאפיזיקה, אונטולוגיה
 
 ### טיעון נגד ריאליזם של תכונות
 
+תליון אבן ירקן וקרמיט הצפרדע הם שניהם ירוקים, ולכן יש להם משהו במשותף. אך אילו הם לא היו מממשים את אותה התכונה - *היות ירוק* - לא היה להם שום דבר במשותף.
+
+חוק ביולוגי הוא שלכל היצורים עם לב יש גם כליות. לפיכך -
+
+- **קבוצת בעלי הלב**: דנה, רמי, יוסי
+- **קבוצת בעלי הכליות**: דנה, רמי, יוסי
+
+
+כך שאם לכל X: 
+
+`x ∈ A ↔ x ∈ B`
+
+אז,
+
+קבוצה A ≡ קבוצה B.
+
+אבל אינטואיטיבית, לדנה, רמי ויוסי יש יותר מתכונה משותפת אחת - יש להם שתיים!
+
+הפתרון טמון במושגי **האפשרות** וה**הכרח**. *אפשרי* שיהיה יצור עם לב ובלי כליות, או להיפך - אפשרי במובן שאין בכך סתירה לוגית. הם פשוט לא קיימים *בפועל*, בעולם הממשי.
+
+
+!!! success "ראו גם "
+	 [לוגיקה מתקדמת](/פילוסופיה/לוגיקה/מתקדמת), ובפרט [לוגיקה מודאלית](/פילוסופיה/לוגיקה/מתקדמת/מודאלית)
+
+
+קניתם? יופי - אתם נומינליסטים של אוסף!
+
+אבל גם כאן יש בעיה. ומה לגבי מצבים לא-קונטינגנטיים - כלומר, שנכונים או לא נכונים *בהכרח*?
+
+ניקח את ארבעת המשולשים האהובים על אורי, ועליי - אברהם, משה, יצחק ויעקב. הם שייכים לשתי קבוצות - 
+
+- יש להם 3 צלעות במישור האוקלידי
+- סכום זוויותיהם הוא 180 מעלות
+
+נוסיף כל משולש אחר מכל עולם אפשרי, כמו המשולשית *דורותיאה*. לא משנה מאיפה היא תגיע, אם היא תשתייך לקבוצה האחת - **בהכרח**.  היא תשתייך גם לאחרת! זה סותר את ההבנה שלנו שיש לחמשת המשולשים *שתי* תכונות במשותף, והאמונה בעולמות אפשריים לא תציל אותנו!
 
 
 

פילוסופיה/מטאפיזיקה/אל.md

@@ -140,6 +140,9 @@ title: קיום האל?
 5. ∃xPx             (4.), →
 ```
 
+!!! success "ראו גם"
+	ר' גם - [לוגיקה מתקדמת](/פילוסופיה/לוגיקה/מתקדמת)
+
 
 ההיקש הלוגי ללא רבב - אז אם נרצה להפיל את הטיעון, עלינו לדחות את (1.) ו\או את (2.).