בתשובה לירדן ניר, 10/01/02 7:48
וזו לב הבחירה האסתטית 54974
לא, חוששתני כי לא קראת אותי היטב הפעם. הנה הנחת היסוד שלי, מצוטטת שוב: "אני חושב שלפרט הממוצע בחברה המעניקה זכויות לחבריה יהיה טוב יותר מלפרט הנצלן ביותר בחברה שלא"

אני - הפרט הממוצע - מרוויח.

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

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

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

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

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

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

ו-מיל? שו מיל?
וזו לב הבחירה האסתטית 56839
ג'ון סיוארט מיל (of his own free will!) אבי(?) תורת התועלתנות.
עשה לך רב 56851
האם לא יהיה זה נכון לומר שקיימות בכל רגע נתון מספר תפיסות מוסר שכולן מקובלות וכולן חוקיות, אך מכיוון שהן סותרות זו את זו בנקודות מסוימות אפשר וצריך בכל זאת לבחור מה מביניהן מתאים לנו ביותר באופן אישי?
וזו לב הבחירה האסתטית 56854
מה דעתך על המשפטים הבאים:

1. מעשה X הוא לא חוקי אצלנו, אבל לדעתי הוא דווקא מוסרי.
2. מעשה Y הוא חוקי אצלנו, אבל לדעתי הוא לא מוסרי.
3. מעשה Z הוא לא מוסרי, לדעתי, אבל אני היחיד בסביבה שחושב כך.
4. מעשה W לא מקובל כאן על אף אחד, וגם רשויות החוק וגם המשפחה והחברים שלי לא יקבלו אותו, ולכן אני לא יכול לעשות אותו. אבל כולם טועים: הוא כן מוסרי.

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

מוסר, לשיטתי, הוא בחירה. רצון=בחירה=מוסר=ערך.

ודוק, "אבל כולם טועים" שגוי. לא ניתן לומר על מוסר שהוא שגוי, כשם שלא ניתן לומר שיש טעות במשפט "קצפת היא טעימה". ההבחנה על הכרעה ערכית היא 'טוב', 'רע' או 'אינדפירנטי'. כל פסוק ש *לא* קשור ברצון הוא 'נכון' או 'לא נכון'. (ועזוב את גדל לרגע :-) )
לא ניתן? 56859
1. "לא ניתן לומר על מוסר שהוא שגוי", גם כאשר המוסר מכיל סתירות פנימיות?
2. למה "לא ניתן לומר שיש טעות במשפט "קצפת היא טעימה"" (לי, אישית, אין בעיה לומר את זה)?
לא ניתן! 56894
1. מוסר לא מכיל סתירות, משום שאינו מכיל פסוקים.
2. "טעות" במובן סתירה לוגית. אין סתירה במשפט. טעות יכולה להיות גם "המין האנושי התחיל כניסוי של חיזרים". עפ"י הידע המדעי שברשותינו, האבולוציה הביאה למין האנושי. אם תמצא במשפט סתירה לוגית (הפרכה דדוקטיבית) או פסילה מדעית (הפרכה אינדוקטיבית) הרי שאז המשפט יהיה "שגוי", אולם אז הוא לא יהיה סוביקטיבי, ולכן לא יביע דבר הנוגע לטעם אישי.

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

(תשובה מפורטת, גם לדיוננו הנפרד, תגיע רק בעוד כמה ימים. אני עובד בקצב לא אנושי, ובכלל מתפלא איך יש לכם כל-כך הרבה זמן פנוי...)
ניתן גם ניתן 56901
1. מה מכיל המוסר? עד כמה שידוע לי (ושוב אני נעזר בידידי המילון http://www.dictionary.com/cgi-bin/dict.pl?term=moral... כדאי גם לך לפעמים), מוסר הוא חלוקת המעשים של אדם לטוב ורע. ז"א המוסר מכיל "פסוקים" שאומרים מעשה א' הוא טוב ומעשה ב' הוא רע. עכשיו עם מוסר יכיל את החלוקה של מעשה ג' לטוב וגם לרע, הרי שיש במוסר הזה סתירה. לא טענתי שהוא מדבר על המציאות, או על המצוי, ברור מעצם הגדרתו שהוא מדבר על הרצוי. נכון שאי אפשר להוכיח לוגית שמוסר מסויים הוא נכון, ואי אפשר להוכיח על כל מוסר שהוא לא נכון, חוץ מתורות המוסר שמכילות סתירות פנימיות (וזה נכון לכל אמונה).
דווקא, אפשר להוכיח שמוסר הוא צודק, או לא צודק (כמובן שבשביל זה צריך להשתמש בהגדרה של המושג צודק, ולא בהגדרת GeG למושג).

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

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

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

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

2. כן, נו. *להגיד* הכוונה שגם יהיה נכון. אתה גם יכול להגיד (להוציא את המילים מפיך) ש 5 = 2 + 1. אז מה?
אני עדיין רוצה שתסביר לי *למה אתה מתכוון* כשאתה אומר "יש טעות במשפט "קצפת היא טעימה"". אין חולק שאתה יכול להוציא את המילים מפיך, אבל תסביר לי, שאני אדע... מה זה, לעזאזל, אומר!?
ניתן גם ניתן 56995
1. שוב התחלנו עם ההגדרות לפי GeG. אם המוסר מכיל את הכיוונים X ו Y כטובים, וגם את Y ו Z כרעים הרי שיש בו סתירה.

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

2. תגובה 56859 אז כן ניתן לומר, זה כל מה שרציתי להגיד. אני יכול להוציא את המילים 1+2=5 (אגב, אני יכול לבחור באלגברה בה זה יהיה נכון), אז לא נכון להגיד "לא ניתן לומר XYZ" עליך לומר "לא נכון לומר XYZ".
כוונתי היא, שקצפת זה "איכס", סתם אוויר מוקף במשהו לבן ומתוק (אם כי זו דעתי האישית, לא ניכנס לדיוני טעם, נכון?).
ניתן גם ניתן 56997
1. (מה ההגדרה של סמילי למוסר? האם הגדרה זו מבחינה בין הדבר הזה לאחרים, כך שלא יווצר מצב בו יש עוד דברים העונים על אותם קריטריונים? ולא יווצר מצב בו ההגדרה תקיף יותר מדבר אחד...) המוסר מצביע רק על דבר אחד. לא יתכן שיהיה יותר מ 'ערך עליון' אחד - אז הערך השני לא יהיה עליון.

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

2. למה לא להיכנס לדיון על טעם? הרי בגלל שזה סוביקטיבי, אין נכון ולא נכון, ואין הוכחות לוגיות/אמפיריות לצד אחד או לשני. זה מה שרציתי לומר כל הזמן, האם יש לנו פה הסכמה? (אגב, אלגברה אחת נכונה, השאר פורמליות אבל לא נכונות. שלחתי לך כבר לינק בקשר לזה).
ניתן גם ניתן 56998
1. http://www.dictionary.com/cgi-bin/dict.pl?term=moral כאמור, חלוקת מעשי האדם ל"טוב" ו"רע". 'ערך עליון' הוא סוג של מוסר.

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

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

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

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

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

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

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

למעשה, כל בחירה שלנו היא 'כיוון', אבל לא תמיד המושגים שלנו מספיק ברורים כדי להבחין בכך.
ניתן גם ניתן 57187
א. חשבתי קצת, גם בצפון יכולה להיות סתירה, כאשר אתה נמצא באחד הקטבים.
ב. אתה טוען טענה חזקה: "כל האנשים בוחרים במוסר שהוא כיוון יחיד", ואתה לא מרגיש צורך להוכיח את הטענה הזו. אני טוען טענה הרבה יותר חלשה, ולכן חובת ההוכחה חלה עליך.
ג. דבר בו לא בוחרים, אינו תלוי בבוחר, ולכן קיומה של סתירה הוא אוביקטיבי ונתון. לעומת זאת, דבר אותו בוחרים, תלוי בבוחר, ולכן קיומה של סתירה בו הוא סוביקטיבי, ולכן הטענה שהוא לא קיים תמיד היא לא ברורה.
ד. ה"ראוי" מורכב (או, למעשה, יכול להיות מורכב) מאוסף של דברים (שיכולים לסתור זה את זה במקרי קצה). למשל, להרוג בני אדם זה רע, ולהגן על חיי בני אדם זה טוב, וכאשר אתה עומד מול האפשרות להרוג בני אדם על מנת להציל אחרים, יש לך התנגשות.
ה. הרדוקציה שאתה עושה (כשאתה יכול לעשות) נעשית בדיאבד. למעשה הבחירה היא לא בכיוון.
ו. "כל בחירה שלנו היא 'כיוון"', שוב, חובת ההוכחה חלה עליך.
ניתן גם ניתן 57061
מה ההבדל בין "פורמלי" ל "נכון"?
ניתן גם ניתן 57158
אהמ... מה הקשר בין "פורמאלי" ל "נכון"??
(אני רק מנסה לשלול פה סיכוי לטענה קונוונציונליסטית עמוקה מאוד, אם זו הכוונה, אנא המשך. לא הייתה כוונה להעליב - זה יכול להיות מרתק לקנטיאני להתווכח עם קונוונציונליסט)
ניתן גם ניתן 57164
''אלגברה פורמלית'' - כזו שההיגדים בה קוהרנטים עם האכסיומות שלה והלוגיקה - היא נכונה בדיוק כמו כל האחרות. ההבחנה שעשית בין ''פורמלית'' ל''נכונה'' לא ברורה לי.
ניתן גם ניתן 57165
אני חושב שזה יענה לך.
ניתן גם ניתן 57169
אם בתואר "נכון" אתה מתייחס ל"תואם את ארכיטקטורת התבונה האנושית" אז ייתכן שאתה צודק וייתכן שלא. זו טענה אינדוקטיבית המכלילה מקרה פרטי יחיד: אתה בעצמך. לא טיעון חזק במיוחד. אבל אמיתות שדה הטבעיים מודלו 5אינה נופלת מזו של שדה הממשיים, לפי התפיסה האינטואטיבית (לגבי) של המושג "אמיתי". מדוע ומאיזו בחינה "המחשה חזותית" היא קרטריון ל"אמת"?

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

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

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

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

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

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

שים לב שההבדלה כאן בין לוגיקה "נכונה" ל"פורמלית" מחייב זרות. קיימת לוגיקה "נכונה" אחת בלבד אך אין גבול למספר הלוגיקות ה"פורמליות", לוגיקה "נכונה" אינה יכולה להיות "פורמלית" ולהיפך כיוון שניסוח פורמלי מחייב שימוש במטא-שפה שמחוץ לניסוח הפורמלי ולכן אין אפשרות להפוך את הלוגיקה לפורמלית לחלוטין.
ניתן גם ניתן 57446
אכן נתקלתי בקונוונציונליסט! האח! כקאנטיאני, הויכוח עם הפוזיטיביסטים (רוב קוראי האייל) אינו קשה במיוחד, אולם עניין שונה הוא הויכוח עם הקונוונציונליסט, החולק על האפריוריות של כל אחד מהמשפטים הסינטטים-אפריורים. למעשה, אין לקונוונציונליסט דבר שהוא 'אפריורי'; הוא מקבל את עיקרון המשקפיים של קאנט, אולם הוא טוען שניתן להסיר את המשקפיים! או לפחות להחליף אותם. לכן שם השיטה 'קונוונציונליזם'; הקביעה כי כל דבר הוא בגדר קונוונציה, הניתנת להחלפה באחרת.
הויכוח איתך, יהיה לכן קשה יותר, וארוך הרבה יותר. מכיוון שיחסי לקונוונציאליזם הוא כמעט העתק מדויק של יחסו של שטייניץ' אליו, אמליץ לקרוא את ספרו "לעולם תהא המטאפיזיקה". הוא מנהל ויכוח מרתק בצורה יוצאת מגדר הרגיל, כשדעתו מיוצגת ע"י קאנט, והוא בפירוש מפריך את הפוזיטיביזם והקונוונציונליזם גם יחד. יהיה ארוך מסובך ומסורבל לחזור על כל הטיעונים של קאנט/שטייניץ' כאן, ובכל מקרה אמליץ לקרוא את הספר. הוא פשוט יעשה את זה יותר טוב ממני. שווה.

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

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

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

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

לפי שיטתך, אגב, גם טענתך ש "הפילוסופיה, אם תזכור, מהותה היא השאלה, לא התשובה" היא מתנשאת.

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

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

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

אבל אל תיתן לזה להפריע לך.
בראבו דובי! סוף סוף מישהו אמר לו 57526
בראבו דובי! סוף סוף מישהו אמר לו 57535
מסקרן אותי לדעת מי אתה. אני מניח שבחירתך להופיע כאלמוני תגרום לכך שגם כתגובה לא תחשוף את זהותך, אבל בעצם, אם אתה עומד מאחורי הדברים, מדוע לא?
לפחות, הסבר לי את פשר הרוגז הזה שלך כלפי, אני באמת מסתקרן.
ניתן גם ניתן 57534
אני באמת מתנצל.
לא התכוונתי להתנשא, אבל אני מבין מדוע זה נראה לך כך; אני אכן חושב שאני צודק, ואני אכן חושב שזה לא-כל-כך מסובך להוכיח את זה. כאן, אני עושה זאת. האם זהו חטא?! האם אני צריך לומר משהו שונה?! בסך-הכול, אינני נוהג לומר למתווכח איתי "הא! כל-כך קל יהיה לחשוף את אידיוטותך ברבים" אלא להיפך, אמרתי רק למישהו שיהיה *קשה* לי להתווכח איתו. לדעתי (ואני אכן חושב שהקונוונציונליסט טועה, אחרת הייתי [ואכן הייתי] קונוונציונליסט בעצמי), יש בזו משום מחמאה מתונה.
אבל הנימה, אתה אומר, מה עם הנימה??
ובכן, אני מנסה להביע את הדברים עם מעט חיוך, ולתומי, נראה לי שקראת (ברפרוף) את מה שכתבתי קצת בחומרה, דברי צריכין להיקרא בחיוך, אחרת הקורא נידון לתפשם לא נכון, וזה חבל.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

לדוגמא, אם מנוסחת אקסיומה לוגית "אם A גורר את B ו-B גורר את C, אז C גורר את A" - אז יעשה בה שימוש גם במסגרת ההוכחות הפורמליות של אותה לוגיקה במקום הכלל המקורי האומר ש "A גורר את C". אני לא רואה צורך לשימוש ב"מטא לוגיקה" המקורית בשום שלב של התהליך. אם אני צודק, אז שוב איבדה הלוגיקה המקובלת את מעמדה ה"נכון אפריורית" והיא אינה אלא "קונבנציה אינטואטיבית".
ניתן גם ניתן 58557
התיאור שלך אינו אפשרי כיוון שאכסיומות פורמליות הן חסרות משמעות מחוץ למסגרת הפורמלית שנוסחו בה. אתה מציע להשתמש בכללים לוגיים מסוימים על מנת להוכיח את אותם כללים אבל הכללים שאנחנו מוכיחים אותם הם בעלי משמעות פורמלית בלבד. "(אם a אז b) וגם (אם b אז c) אז (אם a אז c)" הוא כלל פורמלי שיש לו משמעות במסגרת פורמלית הכוללת את המילים "אם", "אז", "וגם". עצם השימוש במילים הללו אינו מחייב את המשמעות שלהן ב"הבנה" שלנו את הדברים. הייתי יכול להגדיר באופן פורמלי את הכלל הבא "(למה a אוכל b) פינוקיו (למה b אוכל c) אוכל (למה a אוכל c)" ולהוכיח אותו בדיוק כמו הכלל הקודם. אבל אז אתה "נתקע", למה להניח דווקא למה=אם, אוכל=אז, פינוקיו=וגם? הרי המילים הללו הן חסרות משמעות והשימוש שלהן הוא כסימנים בלבד.

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

נסיון להפעלה "רקורסיבית" (כהגדרתך) של הכללים יחייב שיוך משמעות סמנטית לסימולים פורמליים ומכאן - מטא-לוגיקה.
לא ניתן! 56903
ודאי שאפשר לומר ''הפאשיזם צודק''. הפאשיזם מציע מטרות מסויימות (שעליהן לא ניתן להגיד אם הן צודקות או לא), ומציע שיטה מאוד מסויימת להשגת המטרות הללו. אנשים רבים, הגם שהם מסכימים עם המטרות (יציבות המשטר, בטחון), חושבים שהדרך להשיג אותן היא שגויה בגלל ש(א) היא מתנגשת עם מטרות אחרות שקיימות (פסילה חיצונית של התיאוריה), ויותר חשוב - (ב) היא לא משיגה את המטרות כראוי, מסיבות אמפיריות (התנגשות עם טבע האדם, למשל).
לא ניתן! 56916
"צדק" זה לא "טוב". צדק הוא מונח אבסולוטי שלא תלוי במערכת מוסר. אפשר לבדוק האם השיטות או המטרות של הפאשיזם צודקות ולהגיע למסקנה חד משמעית (לא, דרך אגב). אין לי בהישג יד את ההגדרה המדויקת, אבל מאוחר יותר אני אוסיף אותה.
לא ניתן! 56920
צדק הוא אכן מונח אבסולוטי, אבל הוא מאד תלוי במוסר, לפחות לפי ההגדרות המילוניות שהבאת. תן לי מערכת מוסר, ואני אגיד לך מהו צדק שם. לפיכך, קשה לי לקבל את אמירת הלאו האבסולוטית שלך לגבי הפאשיזם: תחת איזו מערכת מוסר אתה עובד?
לא ניתן! 56928
לא הבנתי איך מההגדרות הנ"ל אתה מגיע למסקנה ש "צדק הוא מונח אבסולוטי שלא תלוי במערכת מוסר". ו... כשאתה אומר "אבסולוטי", למה אתה מתכוון? אבסולוטי כמו ש 4 = 2 + 2? כלומר לא תלוי באדם שניגש לסוגיה? הרי אדם אחד יאמר ששלטון הפילוסופים הוא צודק, שני יאמר שדמוקרטיה היא צדק ושלישי יאמר שתיאוקרטיה היא היא הצדק בהתגלמותו. אז או שלכל אחד יש צדק אחר, או שרק גישתו של אחד מהם נכונה, והשאר טועים. אם בוחר אתה באפשרות השנייה, כיצד אפשר להכריע בין הגישות? במילים אחרות, איך מגלין מי צודייק??

אתה קובע כאן, קבל עם ועדה, שהפשיזם לא צודק. ייתכן שהוכחה כזאת תהיה לי לעזר רב, לכן אבקשך: אנא, חלוק איתנו את המידע החשוב הזה.
ניתן (1) 56931
(כליל, על תעלב, התשובה לשניכם, וגם ככה היא חסרה.)
כאמור, ההגדרה עצמה לא נמצאת בהישג ידי, לכן אכתוב אותה מאוחר יותר, ובפירוט רב יותר.
איך מגלים מי צודק (יותר, הכל יחסי), פשוט, מפעילים את המבחן של ג'ון רולס (חלק ממנה אפשר למצוא כאן תגובה 54213 וזו אפילו לא תגובה שלי), בגדול בודקים מי מההצעות סימטרית לגבי החלפת הזהויות (עצם הסימטריה, משמעה צדק). אין כמובן קשר בין הצדק למוסר, אם אדם לא מאמין שמוסר צריך להיות צודק(1), כמו למשל הפאשיסט.
-----------------------------------------------------
(1) כשאני משתמש בשורש צ.ד.ק. בתגובה, אני מתכוון למלה justice ולא למלה correct.
לא ניתן (666) 56934
-------------------

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

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

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

שנית, וחשוב יותר, לא מענינות אותי הגדרות! אני כמעט תמיד אומר, אחרי הגדרה חדה יותר, "אבל אתה יכול לקרוא לזה 'קלקפפפופה"' אני מתווכח על המשמעויות, ולא על הסמל שמודבק עליהן.
אני בתור! לא לצעוק. 57054
התייחסתי לטענה הרלוונטית של סמיילי. לא התכוונתי לכך בעצמי.
אני לא צועק!!! אני מדבר בלחש רם! 57055
טוב. כבר כמעט שללתי ממך את עיטור העוז. בת-דודתי עומלת עכשיו לצייר לך אותו. אתה מוזמן לתלות את היצירה המוגמרת בסלון, לעיני כל.
אני בתור! לא לצעוק. 57070
אההה, שי=GeG, חשבתי שמדובר על שי כהן, לפעמים אני סתום.
אני בתור! לא לצעוק. 57197
ניתן בקלות להזניח את כל ההתיחסויות שלי אל שי כהן.

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

אגב, ב 'פשיזם' היתה כוונתי למשהו מעט שונה: הפשיזם כערך עליון, אשר לכן לא משמש כאמצעי לאיזו שהיא מטרה אחרת, אלא הוא המטרה העליונה בפני עצמה (המדינה, כאשר יציבות המשטר, בטחון הם אמצעים, ולא מטרה).
לא ניתן! 57289
טבע האדם?
לא ניתן! 57352
כן. מרחב התנועה האפשרי של התודעה האנושית, כפי שהיא מוכתבת על ידי גורמים ביולוגיים.
לא ניתן! 57383
כל זמן שהדבר נשאר תחת "אנשים רבים חושבים ש..." הדבר יהיה קביל אך דומני כי תהיה בעיה להגדיר את טבע האדם כפי שהוא נכתב/מוכתב ע"י גורמים ביולוגיים
לא ניתן! 57524
לא טענתי שלא תהיה בעיה. אבל גם יש בעיה להגדיר את ''טבעו'' של אלקטרון, או את טבעו של כלב. זה שהמערכת מורכבת עד מאוד לא אומר שאין לה טבע. אפשר לתת השערות מושכלות והסתברותיות.
וזו לב הבחירה האסתטית 56862
ארבעת המשפטים הנ"ל מעידים על גסות המודל שלי למוסר, ואי המוגדרות היטב של המילה 'חברה'.

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

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

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

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

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

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

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

(1) אני יודע, לפי הגדרה זו החברה הישראלית אינה חברה. ואכן, לצורך דיונים שכאלה אני רואה את אזחי ישראל כאוסף של חברות. וזה באשר לעמימות המונח 'חברה'.
וזו לב הבחירה האסתטית 56906
הרבה מאוד אנשים אמנם פועלים בדרך שלך, אבל להם כלל אין "מודל מוסרי" - הם פשוט מקבלים את מה שלמדו בילדותם על פניו, ולא חושבים על סיבות או אפילו על קשרים. בשבילם "לגנוב זה רע" ו"להרוג זה רע" הם שני היגדים נכונים שאין קשר הכרחי ביניהם (או לכל היותר שהקשר היחיד ביניהם הוא שההורים לימדו אותי שכך הוא, או שאלוהים אמר שכך הוא). מי שכן עושה את הצעד הנוסף ומנסה ליצור מודל כלשהו, בדרך כלל מגיע בשלב כלשהו למצב של התנגשות כלשהי, ואז הוא נאלץ לעשות בחירה *מושכלת* בין שתי עמדות שלו. לי זה קרה מספר פעמים במהלך הדיון על הניסויים בחיות, ושיניתי עמדות שלי, על פי המודל המוסרי שלי, כאשר התבררה לי התנגשות ביניהם.
אם אתה יודע שלגנוב זה רע, אבל יודע שלגנוב מגוי זה טוב, אבל גם יודע שכל בני האדם נוצרו שווים, ואני מנסה ליצור מודל מוסרי לעצמך, אתה תגלה בשלב כלשהו שיש בעיה בשילוב של שלושת העקרונות הללו, ותאלץ לוותר על אחד מהם, או ליצור עקרון נוסף שיסביר את אי-ההתאמה (אנשים מתקלקלים כתוצאה מהבחירות הרעות שלהם, למשל).
וזו לב הבחירה האסתטית 55425
אתה בחורה? (חוששני).
וזו לב הבחירה האסתטית 56796
א. לא עונה לאלמוניים על שאלות אישיות.
ב. למה חוששתך?
ג. ואתה?
וזו לב הבחירה האסתטית 56840
אני חושש שהאדון האלמון ניסה לרמוז בעדינות שהתשמשת בצורה הנקבית ''חוששתני'', במקום ''חוששני''. למרות שגם אני עושה את זה כל הזמן. חוששתני נשמע יותר טוב.
וזו לב הבחירה האסתטית 56863
אה.
אז שיגיד, אני לא ידעתי ש'חוששתני' זה בצורת נקבה.

הצהרה פומבית: נא לתקנני בברוטליות על שגיאות בעברית שלי. העברית שלי מספיק טובה, ואני מספיק בטוח בעצמי בשביל לא להבין רמזים עדינים.
ו_זה_ לב הבחירה האסתטית 56877
אוגה בוגה! ארג ברג! אלה לרקה!
;-)

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

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

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