בתשובה לGod eat God, 29/12/01 1:24
לוגיקונים חדשים 50216
אני לא מכיר הפרדה ברורה בלוגיקה בין כלים לטענות. כל טענה יכולה להיות כלי, כל כלי הוא במבנה של טענה.
כפי ששללת את ה"הוכחה" שלי, אפשר לשלול כל הוכחה-בשלילה. נראה שוב הוכחה-בשלילה טיפוסית:

נניח ש-X. מ-X נובע Y. מ-X גם נובע Z. מ-X נובע W. מ-W ו-Z ביחד נובע לא-Y. סתירה, X אינו נכון.
הנה, השתמשתי ב-X, לא פעם אחת אלא שלוש פעמים, למרות ש-X מוטל בספק ואנחנו בכלל בוחנים את נכונותו. מזה שהוכחנו ש-X שגוי, לשיטתך כל הבסיס של ההוכחה נופל. אבל במתמטקיה מאוד מקובלות הוכחות כאלה. עכשיו תסביר לי שוב למה חוק הסתירה לא יכול להיות בתפקיד X.

אין לי הוכחה שהפיזיקה מקרבת אותנו להבנת העולם. זו סברה שלי, על בסיס כל מיני הנחות מטאפיזיות. עכשיו אתה תגיד שתפסת אותי, כי אם כך אין לפיזיקה יכולת לסתור את ההנחות המטפיזיות הללו. נכון, אבל אני לא מקבל שההנחות המטפיזיות הן בהכרח קשיחות. הן לא ניתנו לי בהר סיני, אני מאמין בהן כי יש להן כוח-שכנוע אינטואיטיבי. ואני מוכן עקרונית לשנות אותן אם פתאום אשתכנע שתמונת העולם מסתדרת יותר טוב (כן או לא בהתאמה ליכולת הדמיון שלי) עם עקרונות שונים קצת. לעתים זה גם עלול לקרות אפוסטריורית, בהתאם לממצאים פיזיקליים. איך פתאום יכולים ממצאים פיזיקליים לשנות את הכלים שבעזרתם אני מניח מנתח את הממצאים? למשל, אם בין ההנחות המטאפיזיות יש כאלו יותר "חזקות" וכאלו פחות חזקות. בפרט, את התפיסה האינטואיטיבית לפיה הנפש אינה פיזיקלית, שיניתי די בשמחה כשהגעתי למסקנה שתמונת העולם נהיית הרבה יותר מובנת אם מניחים ההיפך. במקרה זה, אפילו האינטואיציה שלי חיה עם זה בשלום.
לוגיקונים חדשים 50289
לא הבנת. בניגוד להוכחות-בשלילה אחרות, אתה גם השתמשת בחוק השלילה עצמו (מה שקראת ''התפקיד השני''). זה לא תקף.
איך שגלגל מסתובב לו 50404
הבנתי שזו טענתך. לא הבנתי למה. מה ההבדל בין שני השימושים, שבגללו אחד תקף והשני לא.
פשוט מאוד. 50422
כי זו הטענה שניסית להוכיח.
לוגיקונים חדשים 50393
לפי מה שאני מבין מהדיון (ואני עדיין לא ממש מבין מהו חוק הסתירה), ההסקה שאתה עושה מכך שמ W ו Z נובע לא Yולכן לא X.
ה "ולכן" הזה מבוסס על חוק הסתירה.
לוגיקונים חדשים 50407
נכון. שאת קיומו הנחתי בשלילה, ולכן (לטענתי, על כך המחלוקת) מותר לי להשתמש בו כאן.
לוגיקונים חדשים 50411
כלומר על פי החוק שלא יתכן ש Y וגם לא Y אתה מסיק שלא X.

אבל אם לא X (חוק השלילה אינו תקף) הרי ש*כן* יתכן ש Y וגם לא Y.

כלומר שלילת X מבוססת על קיום X.
לוגיקונים חדשים 50459
איזה כיף. בדיוק נואשתי מכניסתו של הוויכוח עם גוד לאיטרציה המי-יודע-כמה. עכשיו אתה חוזר על דבריו, והפעם יש לי תקווה שתצליח היכן שהוא נכשל: להראות לי היכן אני טועה.

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

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

בדרך כלל, כאשר אנחנו שוללים טענה X (ע"י הוכחה-בשלילה, או בכל דרך אחרת), מייד נובעת מכך טענה קונסטרוקטיבית, שהיא השלילה של X. נניח ש- X הוא טענה כוללת, למשל - בכל המשולשים סכום הזוויות הוא 180 מעלות. אז לאחר ששללנו את X, נוכל אוטומטית להסיק שקיים משולש שסכום הזוויות בו אינו 180 מעלות. אלא שה"אוטומטית" הזה מתבסס על חוק הסתירה.

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

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

בניגוד לנסיונות מחשבה בפיזיקה, נסיונות מחשבה פילוסופיים עומדים על כרעים רעועים ביותר והמסקנות שיכולים מקבל מהם מפוקפות מאד.

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

אבל בניסוי מחשבתי פילוסופי אנחנו נדרשים לדמיין מציאות בלתי אפשרית, ולמשל אנחנו לא יכולים לשמור על הכלל היסודי של ''סטריס פריבוס'' כי אנחנו לא יודעים איך, או מתעלמים מהצורך לשמור על סביבה קבועה, מחוץ למושא הניסוי.

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

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

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

לעומתו, ניסוי המחשבתי פילוסופי (שאליו התייחסת במקום אחר), כמו זה שרוצה לבודק עם מישהו, בכוכב אחר, יחשוב שנוזל מסוים הוא מים גם הנוזל מורכב כימית מ ABC. כאן הניסוי מצריך שינוי של הסביבה. האם יכול להיות איזה עולם ממשי שבו מים לא יהיו H2O, מבלי שתיווצר סתירה לוגית? וזה רק תנאי הרקע למושא הניסוי, שאמור לבדוק בכלל כיצד פועלת התפיסה שלנו את העולם.

לעניות דעתי, ניסויים מחשבתיים שאינם מובילים לניסויים במעבדה, מאבדים משהו מכוחם. כי אם אפשר היה להסתפק בהם, האם אתה לא חושב שהיה פשוט יותר לקנות יותר ספות וכורסאות למחלקה לפילוסופיה ולסגור את המעבדה?

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

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

לעניין הניסוי של פטנאם איני מכיר את הפרשנויות בעניינו ואודה אם אדוני יציג את הסתירה הלוגית החבויה בו.
(היות ואין בניסוי הנחות לגבי תהליכים אלא לגבי מצבים ומובנים בלבד דומני על פניו כי אין הוא מכיל סתירות לוגיות).
מופרכותם של נסיונות מחשבתיים 52099
כמדומני שהצבעתי על הבעיות שקיימות בניסויים מחשבתיים פילוסופיים (נמ"פ) בכלל, ובניסוי של מארי והמים בפרט(*). הקשיים אותם הבאתי לא היו בקשר ללוגיקה של הניסוי אלא על שהלוגיקה הנדרשת בנמ"פ, כשזה מקיש הנחות שלא ניתן לממש אותן ולכן המסקנות שלו מעורערות.

כדי שהניסוי יעמוד בקריטריונים של ניסוי מדעי, כפי שתארת אותם, אנחנו צריכים להניח שמארי בכדור הארץ ומארי בכוכב התואם הן זהות לחלוטין אחת לשניה, מולקולה למולקולה. בנוסף לזהות הפיזית אנחנו צריכים להניח שהעברית שלהן זהה וכל האסוציאציות הלשוניות זהות בשני הכוכבים, כמו גם שהמטען הפסיכולוגי שלהם, כולל זכרונות, אינטראקציה חברתית וכו זהות לחלוטין. היינו לא סתם דופלגנגר אלא רפליקה חברתית-היסטורית-תרבותית. כל זה נחוץ כדי לבדוק את מושא הניסיון, שהוא המשתנה היחיד בניסוי, היינו, מהי משמעות המלה מים.

זה בנוגע להסגות על תקפותם של ניסויים מחשבתיים בכלל.

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

(*) למי שלא מכיר - נניח שקיימת מארי בכדור הארץ, ומארי-תאומה בכוכב-תואם. כשמארי כ"א צמאה היא רוצה לשתות מים, אותו נוזל היורד לפעמים משמים, זורם בנחל ויוצא מהברז. הרכבו הכימי הוא H2O. כשמארי תואם-כ"א צמאה היא רוצה לשתות מים, אותו נוזל היורד לפעמים משמים, זורם בנחל ויוצא מהברז. הרכבו הכימי הוא ABC.
מופרכותם של נסיונות מחשבתיים 52126
מקובלת עלי עמדתך כי תקפות מסקנות לוגיות אינה עומדת כשווה עם תקפותן של מסקנות מניסויים אמפיריים (להלן ניסוי מדעי) אך במאזן הכוחות קיימים נימוקים לכאן לכאן (כפי שהזכרתי ניסויים אמפיריים מצריכים אינדוקציה כדי להסיק מהם ומצד שני אם לא הזכרתי אזי ניסויים פילוסופיים אינם מעידים על "העולם האמיתי").

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

ללא קשר לתקפות המסקנות מכל סוג ניסוי דומני כי הניסוי הפילוסופי לוקה בחסר אם אין הוא מעיד על עולמנו וכאן נבדלים ניסוי המחשבה הפיזיקלי מניסוי המחשבה הפילוסופי.
מופרכותם של נסיונות מחשבתיים 52150
הניסוי של איינשטין היה מחשבתי אסלי. הוא חשב 'מה היה קורה אם הייתי רוכב על גל אלקטרו-מגנטי?'. משמע, כיצד היו נראות משוואות מקסוול המתארות את השדה האלקטרו-מגנטי, במערכת ייחוס הרוכבת על הגל. רק ממחשבה זו הגיע איינשטין למסקנה שלא ניתן לרכב על גל אלקטרו-מגנטי, וככלל שחלקיק בעל מסה לא יכול להגיע למהירות האור. הוא לא הסיק 'נורא מסוכן ליסוע במהירות האור, בוא נטיס כמה עכברים ונראה מה קורה', אלא 'אי אפשר ליסוע במהירות האור, נקודה'. מכאן שהיה זה גדאנקן-אקספרימנט, אך כיוון שלא טיפל במבצע הניסוי (היא תודעתו של אלברט) אלא בעולם הפיסי, המכשלה בניסויים מחשבתיים העוסקים במחשבה עליה היטבת לעמוד אינה תקפה.
לוגיקונים חדשים 50545
בוא נרד רמה.
מה זה הוכחה בשלילה?
אנחנו מניחים X, בעזרתו אנחנו מוכיחים איזושהי סתירה (X וגם לא X או איזשהו Y וגם לא Y) מהסתירה הזו אנחנו מסיקים שלא X.

כלומר, תקפות של הוכחה בשלילה מבוססת על אותו משפט סתירה ולכן אם משפט הסתירה אינו תקף (יכול להיות ש X וגם לא X) הרי שאנחנו לא מוכיחים כלום באמצעות הוכחה בשלילה.
לוגיקונים חדשים 50549
איך הדיון הזה מתקשר למשפט אי-השלמות של גדל, למשל?

הרי הוא הוכיח (הניסוח שלי פשתני, ושונה מהמקור) שאם יצרנו שפה פורמלית, אשר נאותה לתיאור המספרים השלמים, ובפרט את חוק האינדוקציה, אז קיים משפט בשפה שלא ניתן להוכיחו ולא להוכיח את ההפוך לו תחת השפה הפורמלית. כלומר, לו כוונתנו באמירה "X נכון" הייתה ש-"X ניתן להוכחה פורמלית במערכת הנ"ל, ובאמירה "X לא נכון" - "לא-X ניתן להוכחה פורמלית במערכת הנ"ל", הרי שמשפט גדל מוכיח שיש משפט שנוגד את עקרון הסתירה. אם נניח שאנו חיים תחת מערכת פורמלית כזו, וכיון שאיננו מסוגלים לחשוב על עולם ללא חוק הסתירה, הרי שיש משפטים שלעולם לא נוכל להתייחס אליהם מבחינה לוגית. ואכן, ישנם כאלה. דוגמה: "משפט זה הוא שקרי." חוץ מלומר שזהו פאראדוקס, מה עוד נוכל לעשות איתו? הוא לא עומד בחוק הסתירה, במובן שהוא אינו עונה לקריטריון "X נכון או X לא-נכון."

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

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

אני חושב שמה גדל התכוון זה דוקא לטענות פשוטות יותר.

למשל הטענה X וגם לא Y.
זו טענה שיכולה להיות אמת ויכולה להיות שקר, תלוי מהם X ו Y. ולכן לא ניתן להוכיח את הנכונות/אי נכונות שלה (במנותק מהעולם שבו היא מוגדרת).
הטענה X וגם לא X, לעומת זאת היא טענה שיקרית בכל עולם ולכן ניתן למצוא הוכחה פורמאלית לטענה (לא (X וגם לא X)).

בניגוד לטענה הפראדוקסלית, לטענות הללו יש משמעות ב"עולמות" שונים.
לוגיקונים חדשים 50553
כפי שאמרתי, אם אתה מנסח את חוק הסתירה כ-"או X נכון או לא-X נכון", אז "המשפט הזה הוא שקרי" אינו עומד בו, כיון שהוא לא נכון ולא לא-נכון. לעומת זאת, אם אתה מנסח את חוק הסתירה כ- "לא נכון ש-X נכון וגם X לא נכון," אז המשפט הזה עומד בו, כי הוא באמת לא מקיים את שניהם בו-זמנית. מצד שני, זה מעמיד בספק את כלל דה-מואבר, הטוען שהמינוחים הנ"ל אקוויולנטיים. כמובן, שלו היה חוק הסתירה נכון, אז הם היו אקוויולנטיים.

אולי כדאי שאבהיר - כוונתי הייתה לשפות פורמליות, לא למשפטים סתם וליחסים שלהם להשמות. לכן, אין כזה דבר "משפט XYZ שהוא או נכון בשפה הזו או שלא." משפט ניתן להוכחה במערכת, או שלא ניתן. זהו דבר מה ברמה נמוכה יותר, תחבירית, של שפות פורמליות: אתה מגדיר אקסיומות, וכללי יצירה, ומתייחס לקבוצה הנוצרת אינדוקטיבית. כל העניין של התייחסות למספרים טבעיים וכן הלאה, זו הסמנטיקה. הכוונה בנאותות כלפי סמנטיקה היא שכל משפט ששייך לשפה, כלומר, ניתן להוכחה בה, המשמעות שלו תחת הסמנטיקה הזו היא טענה נכונה. למשל, תחת סמנטיקת טבלאות אמת, משפט המתרגם לטענה X וגם לא Y איננו טאוטולוגיה, ולכן, אם קיים כזה בשפה כלשהי, הרי שהיא איננה נאותה כלפי סמנטיקת טבלאות אמת. כלומר, הדוגמאות שלך לא רלוונטיות לדיון.
כמה קבלת בלוגיקה? 50555
אתה אולי מתכוון ל-דה מורגן

(X & Y) = ~ (~X + ~Y)
נציב
X ~ במקום Y
ונקבל
(X & ~X) = ~(~X + X)

כלל הסתירה הוא כפי שירדן כתב כמה הודעות למעלה הכלל עם ה וגם.
_ 50556
כן, דה-מורגן.

התבלבלתי, אם כך. אף על פי כן, ניתן לראות שכלל דה-מורגן הוא תוצאה של כלל הסתירה, ובכל זאת אינו מתקיים לגבי ''משפט זה שקרי.''
_ 50563
כלל דה מורגן הוא תוצאה של הגדרת היחסים או, וגם ולא. גם כלל הסתירה הוא כזה.
טבלאות אמת אינן עניין של סמנטיקה, כל שורה בטבלת אמת מייצגת סמנטיקה אחרת וטבלא כזו מכסה בעצם את כל הסמנטיקות האפשריות ולכן טענה שמוכחת ע"י טבלת אמת היא טאוטולוגיה.

הוא מתקיים לגבי המשפט "משפט זה שקרי"
אם נייחס ל X ערך אמת שאינו אמת ואינו שקר
צד אחד:
X & ~X =FALSE
צד שני:
~( X + ~X)= FALSE

לעניות דעתי יש פה שבירה מסויימת של כללי הלוגיקה (מתן ערך לא חוקי לטענה) והיא לא מתיימרת לטפל בפראדוקסים מהסוג הזה (למרות שהיא עושה בהם שימוש בכמה הוכחות).
_ 50620
I'm beginning to feel like in a quarrel of the deaf.

Syntax: The rules guiding proper and improper sentences in a formal language.
Semantics: meaning given to sentences in a formal language.
Truth-table semantics is one semantics applicable to the propositional calculus (->, ~, V ^,..).

One can create a proof system over a formal language. This will include axioms, and methods by which one can manipulate and combine existing theorems into new ones. A sentence will be considered a theorem, or provable, if it can be derived by those methods.

By the way, I don't follow your manipulation - the operations you are using are only applicable to datums which are either true or false, according to truth-table semantics. There is no "neither true nor false" value in truth-table semantics.

If you're using a new semantics, then you'll have to explain what you mean when you say that a sentence is true or false or neither under that semantics.
_ 50630
לא מדויק.
הסמנטיקה נותנת ערכים לשמות העצם A,B,C וכן הלאה. האופרטורים או היחסים הלוגיים ^ ו ~ (שמהם נגזרים כל השאר) קבועים והם חלק מהלוגיקה ולא חלק מהסמנטיקה.

בגלל זה A^B יכול במודלים סמנטיים שונים לקבל ערכים שונים (תלוי במשמעויות שאנחנו מצמידים לשם A ולשם B).
בעוד ש A^~A יקבל תמיד את אותו הערך בלי קשר למודל הסמנטי ולערך האמת שהוא מצמיד ל A.

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

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

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

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

אם נתעלם ממציאויות מקבילות, הפרדוקס קיים וחריף מאוד. זכור לי לילה שלם שהעברתי במדשאה של מכון וייצמן עם שני חברים, בו דנו בפרדוקס זה. לעובדה שהיינו מסטולים היתה כנראה תרומה לנושא, אבל לא רק. רוצה דיון אמיתי בנושא. תודה.
פרדוקס 50841
Then you should refer to my first paragraph. The "man who killed his grandfather" paradox is merely an extreme of the basic paradoc, which is that by going to the past, you alter it, thus supposedly making it impossible for that same you who went to the past to have existed in the first place. Another thing is, that any transportation to the past would have to be intertwined with a transportation to a different location, since all the bodies in the universe, including the one we're living on, constantly move around, so that if you stay in the same place, and go to the past, you are as likely to find yourself in space instead of on any cellestial body, not to mention Earth. Then again, how do you define your current location without referring to movement?

By the way, I realize that the notion of "timelines" is simplistic, but there is a valid interpretation of Quantum Mechanics, called the "Many Worlds Interpretation." You will have to refer to a Physicist on any further discussions, though, as I don't know much about it, or indeed, about Quantum Mechanics.
פרדוקס 50927
יש דיון רציני (ומעצבן לטעמי) בפרדוקס זה במאמר של DAVID LEWIS, והוא נקרא "THE PARADOXES OF TIME TRAVEL". במאמר זה טוען לואיס שמסע בזמן הוא אפשרי, אבל לא במימדים שונים (או מקבילים של זמן), אלא בעולם בן ארבעה מימדים (כפי שמוכר בד"כ). הוא עושה זאת ע"י תיאור של עולם סטטי בעיקרו (דטרמיניסטי סטטי), ועל ידי חלוקה בין זמן פרטי לכללי. יש הרבה בעיות עם הקונסטרוקציה הזו כהצעה אונטולוגית, בעיקר מבחינת החוויה של זמן כ'הימשכות'- שאותה הוא מבטל בסטטיות של מבנה הזמן.
בירברתי יותר מדי, אבל הכוונה הייתה באמת להפנות אותך למאמר זה, משום הדיון הארוך והמפורט בפרדוקס רציחת הסבא. אני מניחה שאפשר למצוא אותו באינטרנט.
_ 50694
כוונתי הייתה שה-propositional calculus מכיל את הסמנים האלה, מבחינה סינטקטית.

בכל מקרה, בוא נסיים את הדיון הזה באנקדוטה - בספריה של הפקולטה למתמטיקה ישנו ספר העוסק בלוגיקה המתמודדת עם פרדוקסים. בזמנו לא עיינתי בו בדבקות, אבל אולי כדאי לי, בעתיד הקרוב.
שמחה ואריכות ימים. 50697
לוגיקונים חדשים 50779
אבל מה שגזרת מ-X בהוכחה בשלילה הכללית שלך, תקפותו תלויה ב-X. ואם X אינו נכון, הרי שלא הוכחת כלום.
אז למה כן הוכחת? כי כאשר השתמשת ב-X, היה מותר לך לעשות זאת - כי הנחת אותו.
כך אני עושה, לטענתי: אכן בהוכחה שלי אני משתמש בחוק הסתירה - אבל כשאני עושה זאת, מותר לי - כי הנחתי אותו.

כנראה אני טועה. לא יכול להיות שגם גוד וגם אתה וגם גלעד ברזילי טועים ואני צודק. לא יכול להיות. פשוט לא כוחות. אבל איפה, <גרון ניחר> איפה?

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

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