שאלה בלוגיקה

שו”תקטגוריה: פילוסופיהשאלה בלוגיקה
א"ח שאל לפני 5 שנים

שמעתי שעקרון האי ודאות סותר את חוק הפילוג בלוגיקה (אני לא יודע אם זה מנוסח נכון אבל):
בלוגיקה קלאסית מתקיים:
המשפט “A גורר (BאוC)”     שקול למשפט:      
“A גורר [(AוגםB) או  (AוגםC)]”
אבל בקוונטים בגלל האי ודאות זה לא מתקיים, 
אם התנע כך וכך אני יודע שהמיקום הוא בין כאן לכאן. אני יכול לחלק את המיקום ולומר שהוא בין קצה אחד לחצי, או בין החצי לקצה השני. אז יש לי כעת משפט לוגי – אם התנע הוא כך וכך המיקום הוא (מכאן לכאן או מכאן לכאן). יצא לי בחישוב שהמיקום בין שני קצוות, ואני מחלק לשני חצאים. לפי הלוגיקה הרגילה אמור להיות שוה למשפט: התנע הוא A והמיקום בחצי הראשון, או שהתנע הוא A והמיקום בחצי השני. המשפט הראשון, הכולל, היה אמת – אם התנע כך וכך המיקום הוא (או בין כאן לכאן או בין כאן לכאן), אבל המשפט המקביל, שלפי הלוגיקה הרגילה היה אמור להיות נכון גם כן, לא מתקיים כאן.
עכת”ד.
זה נכון? נראה לי מאוד מוזר שהלוגיקה לא נכונה בעולם כלשהו.. 

השאר תגובה

1 Answers
mikyab צוות ענה לפני 5 שנים

לא עקבתי אחרי כל התיאור. יש על כך מאמר של דניאל וייל בגליון א של היגיון, ע”ש.
לעצם העניין, ברור שלוגיקה לא נמדדת במעבדה. המדידות מניחות לוגיקה ואין לנו שום אפשרות לחרוג מהלוגיקה. את תורת הקוונטים עצמה בוחנים במסגרת של הלוגיקה הקלסית. כשמדברים על שינוי לוגיקה מתכוונים ללשון מושאלת שניתן לתאר חלקים מהתורה הנדונה במסגרת שנראית כמו לוגיקה שונה. אלו קשרים בין משתנים ולא עקרונות חשיבה. החשיבה היא לעולם קלסית.
וזה שגו בעלי גישת הלוגיקה הקוונטית, שחושבים שלדבר על לוגיקה שונה נותן הסבר למוזרויות של תורת הקוונטים. וכבר הערתי על כך במאמרי “מהי חלות” בצהר:

על חילוניות, מוסר ולוגיקה קוונטית (אקדמות – 2002)


 
וראה גם תגובתי באקדמות כאן:

על חילוניות, מוסר ולוגיקה קוונטית (אקדמות – 2002)

א"ח הגיב לפני 5 שנים

תודה (ועדיין לא ברור לי איך מה שכתבת פותר את הבעיה. הצהרת שאי אפשר לסתור את הלוגיקה וכו’. אבל עדיין צריך לענות על ההוכחה הזאת).
חשבתי ע”ז קצת והגעתי למסקנה שיש טעות בטיעון שהבאתי למעלה (שעכשיו מצאתי גם בויקיפדיה האנגלית על לוגיקה קוונטית) ואכמ”ל

השאר תגובה

Back to top button