בתשובה לאביב י., 11/03/03 2:03
ארמדילו שנוסע בפרארי 134676
1. יש קבוצות בעלות שלושה אברים (דוגמא: {X={a,b,c).
2. יש קבוצות, שכל אבריהן הם קבוצות בעלי שלושה אברים (דוגמא: {X}).
3. גם הקבוצה הריקה מקיימת את התכונה בסעיף הקודם (כי כל איבר שלה הוא קבוצה בת שלושה אברים).

כל הנ"ל נכון גם אם נחליף את 3 במספר אחר; כל אבר בקבוצה הריקה הוא קבוצה בעלת n אברים, וזה נכון לכל n.

בתרגום לניסוח שלך, כל A הוא B וגם כל A הוא לא B. (כאשר A = אבר בקבוצה הריקה, ו- B = קבוצה בת שלושה אברים). אין "סתירה לוגית" בין "B" ו"לא B", שהרי יש בעולם הרבה דוגמאות גם לסוג הראשון, וגם לסוג השני. כמובן, אין דוגמאות לשני הדברים יחד - וזו בדיוק הנקודה: אין אברים בקבוצה הריקה.

חשיפה: אין ברשותי מכונית פרארי. וכעת, השאלה "מהו צבע מכונית הפרארי שלך" פשוט אינה מוגדרת היטב. זה בסך-הכל קיצור לשאלה "מהו הצבע x שעבורו הטענה 'למכונית הפרארי שלי יש צבע x' נכונה", והטענה הזו נכונה *לכל x*. אפשר לענות "כל צבע שעולה בדעתך" (וזו לדעתי התשובה ה"נכונה"), אבל אני מעדיף להתמקד בדוגמאות מהסוג הראשון.

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים