בתשובה לNik The Greek, 13/08/03 0:09
הלוגיציזם מת, אך מדוע זה רלבנטי? 163371
אביב י. • בתשובה לNik The Greek יום ד', 13/8/2003, 0:31
אבל מותו של הלוגיציזם לא הרג את המתמטיקה עצמה ולא מנע את השימוש בלוגיקה במתמטיקה. למה שמותו ימנע *בהכרח* פיתוחה של שפה חד ערכית, שיש בה שימוש נרחב בלוגיקה?

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

המתמטיקה היא לעולם לא שלמה. תמיד נשארים בה תומים לחקירה, הרחבה ואף אפילו שלילה. אפשר להגיד את אותו הדבר על אותה שפה חד ערכית - גם אם היא לא תהיה שלמה, היא מאפשרת מסגרת חקירה עקבית, שבה ניתן להתקדם באופן מתודולוגי יותר, מאשר שאפשר עם השפה ה"רגילה".
הלוגיציזם מת, אך מדוע זה רלבנטי? 163374
Nik The Greek • בתשובה לאביב י. יום ד', 13/8/2003, 0:59
רק רציתי לשמוע מדוע אתה חושב שלמרות שהמתמטיקה עצמה שהיא המדע הפורמלי ביותר לא מצליחה להיות מבוססת על לוגיקה לבדה דווקא שפה פילוסופית שצריכה להיות מסוגלת להביע הרבה יותר ממתמטיקה יכולה להיות מבוססת על כללים נוקשים והגדרות פורמליות.
אין פה טיעון נגד שפה חח''ע, את זה כבר עשיתי במספר דרכים אחרות, רק פניה לקומונסנס.
הלוגיציזם מת, אך מדוע זה רלבנטי? 163383
אביב י. • בתשובה לNik The Greek יום ד', 13/8/2003, 2:29
קודם כל, לא לשכוח שאל"פ ואני די בור בפילוסופיה (בין השאר). אני רק מביע דעה.

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

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

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

לדעתי, הבעיה בדיון זה, נעוצה בחוסר הבהירות שבמונח *פילוסופיה*.

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

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

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