בתשובה להאייל האלמוני, 10/03/03 9:47
 |
|
 |
||
|
||||
 |
לא נכון. שני משפטי הכל נכונים לוגית כאשר אומרים אותם בנפרד ומתיחסים אל עובדת חסרון חיית השעשועים המדוברת. אך כאשר מתיחסים אל משפט הכל האחד ביחס למשפט כל השני, הם מהוים סתירה לוגית אחד לשני, גם אם אין ולו ארמדילו אחד בעולמנו המתאכזר לחיות עם שמות מצחיקים. אי אפשר להגיד ששני הפסוקים הבאים הם בעלי ערך אמת *יחדיו*, גם כאשר אין A בעולם: א) כל A הוא B ב) כל A הוא לא B מהי טענתך? שא' סותר את ב' רק כאשר אין A בעולם (אין A==>א' וב' נכונים יחדיו), אבל ברגע שצץ לו איזה A פתאום יש סתירה *לוגית* ביניהם? לדעתי משפטי כל הם אינדיפרנטים לגבי שאלת היש, לא? 1) אפשר להגיד שאין A בעולם ובכל זאת כל A הוא B 2) אפשר גם להגיד שאין A בעולם ובכל זאת כל A הוא לא B אבל אי אפשר להגיד שאין סתירה לוגית בין 1 ל-2. למשפטי כל לא אכפת אם יש או אין. כל זאת במנותק מן העניין ש"משפטי הכל" הנ"ל הם בכלל תשובה יפה לשאלה אחרת ולא תשובה לשאלה שנשאלה. אבל על כך דיברתי כבר בתגובה 134555 (וזה לא מר ג. זה רק אני שהשתמש במחשב שלו). אנסה להבהיר את כונתי לגבי שאלות לא נכונות בדוגמא נוספת: שאלה: מהו צבע מכונית הפרארי היוקרתית שלך? (אני מניח שאין ברשותך מכונית שכזו). האם התשובה - "אין למכונית הפרארי היוקרתית שלי צבע (אין מכונית, אין צבע)" היא תשובה נכונה כאשר אנו יודעים שאין לך מכונית שכזו? תשובה אפשרית נוספת היא - "אין לי מכונית פרארי" , אבל תשובה שכזו אני מכנה - "תשובה דיאלוגית" והיא בעצם בכלל לא תשובה לשאלה שנשאלה (כי אם דרישה לתיקון השאלה הלא נכונה). |
 |
 |
 |
|
|
|
||
|
||||
|
1. יש קבוצות בעלות שלושה אברים (דוגמא: {X={a,b,c). 2. יש קבוצות, שכל אבריהן הם קבוצות בעלי שלושה אברים (דוגמא: {X}). 3. גם הקבוצה הריקה מקיימת את התכונה בסעיף הקודם (כי כל איבר שלה הוא קבוצה בת שלושה אברים). כל הנ"ל נכון גם אם נחליף את 3 במספר אחר; כל אבר בקבוצה הריקה הוא קבוצה בעלת n אברים, וזה נכון לכל n. בתרגום לניסוח שלך, כל A הוא B וגם כל A הוא לא B. (כאשר A = אבר בקבוצה הריקה, ו- B = קבוצה בת שלושה אברים). אין "סתירה לוגית" בין "B" ו"לא B", שהרי יש בעולם הרבה דוגמאות גם לסוג הראשון, וגם לסוג השני. כמובן, אין דוגמאות לשני הדברים יחד - וזו בדיוק הנקודה: אין אברים בקבוצה הריקה. חשיפה: אין ברשותי מכונית פרארי. וכעת, השאלה "מהו צבע מכונית הפרארי שלך" פשוט אינה מוגדרת היטב. זה בסך-הכל קיצור לשאלה "מהו הצבע x שעבורו הטענה 'למכונית הפרארי שלי יש צבע x' נכונה", והטענה הזו נכונה *לכל x*. אפשר לענות "כל צבע שעולה בדעתך" (וזו לדעתי התשובה ה"נכונה"), אבל אני מעדיף להתמקד בדוגמאות מהסוג הראשון. |
|
|
|
|
|
|
||
|
||||
|
טענות 'כל' אדישות לשאלת היש, אבל הטענה שיש סתירה אינה טענת 'כל'. היא טענת 'קיים'... לכן אין לי בעיה מיוחדת לומר שאין סתירה בין המשפטים כאשר A לא קיים, ויש סתירה כאשר צץ לו A. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |