בתשובה לגדי אלכסנדרוביץ', 30/06/05 19:26
בקיצור 313030
הגדרה ע"י דוגמה היא לא הגדרה. אלא אם כן המשפטים שהזכרת הם היחידים שאמיתיים.
אין לי ספק שאף אחד מאתנו לא יצליח למצוא הגדרה ממש טובה ל"אמת", מהבחינה הזאת זה גדול על שנינו (זה לא אומר שדיון לא יהיה מעניין או מועיל).
אם אתה חושב שהמשפט הראשון שלך הוא בהכרח נכון אז התפיסה שלך של סמנטיקה היא מאוד נאיבית. אף אחד לא יקבל אותה בשפה חופשית. (שפה פורמאלית זה דיון אחר).

אבל פתאום שמתי לב שהמשפט האחרון שלך הוא הגדרה טובה מאוד של "אמת". הגדרה שאני מוכן אפילו, כהנחת עבודה, להסכים עליה (מה שעושה אותה נכונה, לא?).
בקיצור 313039
אני סטודנט למתמטיקה, אולי בגלל זה אני רואה רק דרך אחת לפרש משפט כמו ''אם אני צודק אז אני צודק''. אשמח אם תביא לי פרשנות שבה, לדעתך, המשפט אינו נכון.
בקיצור 313040
במילה אחת: סמנטיקה.
בקיצור 313061
אם זה עונה לבקשה שלי, אני לא מבין איך.
בקיצור 313234
אני מצטער, כתבתי את ההודעה ההיא בהיסח דעת, היא באמת לא עונה על הבקשה שלך. מה שהתכוונתי הוא זה:
לכל מבע יש משמעות. המשמעות היא חיצונית למבע, או לפחות חיצונית לצורת השטח של המבע. אותם מבעים בהקשרים שונים מביעים דברים שונים. אתה מכיר את הדוגמה עם המשפט :"the king is dead, long live the king"? על פניו המשפט הזה לא הגיוני, אבל ברור שהצירוף "the king" מתייחס בכל היקרות שלו למשהו אחר. אם אתה רוצה לדבר על אמיתות של מבעים בשפה טבעית אתה חייב לקחת סמנטיקה בחשבון, כלומר את המשמעויות של המבעים. אבל אף אחד עוד לא הצליח לתת לזה הגדרה או קריטריון מניחים את הדעת (אם כי היו הרבה פתרונות יפים ומעניינים).
בקיצור 313242
תודה על התשובה, אבל גם זה לא מה שביקשתי. אני יודע שקיים כזה דבר "סמנטיקה". אני פשוט לא רואה איך הוא נכנס לתמונה במקרה הנוכחי. אני, כאמור, מתמטיקאי, והדרך הטובה ביותר לשכנע אותי שאני טועה היא להביא דוגמה נגדית. אני רוצה לראות הקשר שבו הביטוי "אם אני צודק אז אני צודק" יהיה שגוי. אני בטוח שזה לא כל כך מסובך להמציא אחד כזה.

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

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

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

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

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

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

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

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

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