vault backup: 2024-12-03 10:59:53

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

@@ -103,13 +103,49 @@ tags: פילוסופיה, מטאפיזיקה, אונטולוגיה
 
 1. **ריאליזם של תכונות** (property realism)
 
-	תכונות (במובן הצר)
+	תכונות (במובן הצר) הן *אוניברסלים מונאדיים*, ויחסים הם *אוניברסלים פוליאדים*.
+	**אוניברסל** היא דרך שבה דברים יכולים להיות קיימים. 
+	
+	 אוניברסל **מונאדי** הוא מימוש על ידי דבר אחד, כאשר היא יכולה להיות ממומשת על ידי הרבה דברים *שונים*. רק דבר אחד בכל פעם יכול לממש **היות ירוק** - כמו קרמיט הצפרדע, *שרק הוא מעורב במימוש ההיות-ירוק* אבל גם יוסי הטוש יכול *לממש את ההיות ירוק* - האוניברסל המונאדי **היות ירוק** ממומש יותר מפעם אחת.
+	
+	 מנגד, אוניברסל **פוליאדי** הוא מימוש על ידי *יותר מדבר אחד בסדר מסוים*, כאשר כל אוניברסל יכול להתממש *במספר אופנים שונים*. למשל, *X גבוה מY* - אותו יחס בדיוק יכול להתממש גם בין *מגדל אייפל לקרמיט הצפרדע* וגם בין *אורי בק לחתולה של אורי בק*. 
+
+
+
+2.  **נומינליזם של טרופים** (trope nominalism)
+
+	תכונות במובן הצר הן *טרופים מונאדיים* ויחסים הם *טרופים פוליאדים*. **טרופ**, שלא כמו אוניברסל, יכול להתממש **רק מימוש אחד ויחיד**.
+
+	נניח ויש לנו שני עטים, *דני* ו*יוסי*. אם נגדיר *עטיות* כ*אוניברסל*, הרי ששניהם מממשים את ה*אוניברסל המונאדי* של *עטיות*. אבל, אם נגדיר *עטיות* כ*טרופ* הרי ש*דני* מממש טרופ של *עטיות 1* ו*יוסי* מממש טרופ של *עטיות 2*. 
+
+![danny-yossi](./danni-yossi.jpg)
+<small>דני ויוסי. אוניברסלים או טרופים?</small>
+
+
+3\. **נומינליזם של אוספים** (class nominalism)
+
+תכונות במובן הצר הן אוספים של דברים. משהו ממש תכונה אם ורק אם הוא שייך לאוסף שזהה לתכונה. 
+
+קרמיט מממש את היות-ירוק? אין פה מובן עמוק; זה פשוט אומר שקרמיט שייך לקבוצה של הדברים הירוקים. 
+
+למעשה, אין ממש *יחסים* - יחסים הם פשוט אוסף סדור של n איברים.
+
+למשל, היחס X גבוה מY אומר שקרמיט ומגדל אייפל הם שני איברים שסדורים כך שמגדל אייפל ראשון וקרמיט שני. 
+
+מה שמייחד אוספים הוא שיש להם חברים שונים - זוהי **אקסיומת האקסטנציונאליות** - 
+
+!!! info ""
+	אם החברים באוסף A זהים לחברים באוסף B, אזי A=B
+
+למשל - לכל היצורים שיש לב יש כליות. כלומר, האוסף של להיות בעל לב והאוסף של להיות בעל כליות הם אותו האוסף. זו כמובן בעיה. לכן אפשר לחדד תכונות כ*אוספים של דברים ממשיים **ואפשריים***. לכן, בגלל ש*אפשרי* שיש יצור בעל לב אבל בלי כליות, אלו שני אוספים שונים.
+
+
+4\. **נומינליזם קשוח** (austere nominalism)
+
+אין תכונות במובן הצר, ואין יחסים.
 
-3.  **נומינליזם של טרופים** (trope nominalism)
 
-4. **נומינליזם של אוספים** (class nominalism)
 
-5. **נומינליזם קשוח** (austere nominalism)
 
 [^1]: הכוונה היא *לא* ל[מושג עצם](/פילוסופיה/יוונית/אריסטו/מטאפיזיקה#העצם) כזה או אחר.
 [^2]: אריסטו חשב, באופן מוזר, שתכונות הן מפוזרות: אם יש שני דברים ירוקים, יש בשניהם את התכונה **השלמה** של היות-ירוק.