אמת אינה מתגלה תמונה: נוצרה על ידי בינה מלאכותית

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

האור תמיד מגיע מאוחר

שום תצפית אינה עולה על מהירות האור.

אנו מביטים בכוכב שבשמי הלילה. אורו יצא לפני אלפי שנים. מה שאנו רואים עכשיו אינו הכוכב, אלא טענה שפעם היה שם כוכב. ייתכן שהכוכב כבר נעלם (Speed of light, Wikipedia).

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

אין תצפית של אפס קפיצות

הרגע שבו האור פוגע ברשתית אינו העברה טהורה אלא המרה. הפוטון משנה את צורתו של החלבון, השינוי הזה מחולל תגובת שרשרת, האות עולה לאורך העצב, והמוח קורא לזה “אדום” (Visual phototransduction, Wikipedia). כל שלב בשרשרת הזו הוא פרשנות מחדש. עצב הראייה שלנו אינו חלון הפתוח אל העולם, אלא מודל היקש על העולם (Unconscious inference, Wikipedia).

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

בעולם הפתוח אין אמת — רק טענות

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

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

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

ובכל זאת יש אמת — בעולם הסגור

בעולם הפתוח אין אמת שאפשר לגלות. אך אין זה שאין אמת כלל.

הבט בסיפורת. “הונג גיל-דונג היה בן בלתי חוקי” הוא אמת בתוך אותו עולם. משום שהמחבר כתב כך (Fiction — Truth in Fiction, SEP). אין עולם חיצוני לאמת בו, והמחבר הוא המקור היחיד וגם הערכאה הסופית של אותו עולם. כאן אין צורך בתצפית. אם המחבר מצהיר, זה מיד קיים. לא שהאירוע קודם להצהרה, אלא שההצהרה היא עצמה האירוע.

גם המתמטיקה היא באותו מבנה. “שתיים ועוד שתיים הן ארבע” נכון בתוך העולם שהאקסיומות סגרו. האקסיומה היא המחבר, והמשפט הוא דמות בעולם ההוא. הוא לא הושג מתוך תצפית בעולם הפיזי אלא נגזר מתוך הגדרה, ולכן מהירות האור אינה חלה כאן (Formalism in the Philosophy of Mathematics, SEP). לפיכך כשהאמת נכשלת, אין זה משום שהאמת עצמה שגויה, אלא משום שכותבים אמת בעולם שלא נסגר. למציאות הפיזית אין סמכות לסגור עולם. אך לסיפורת ולמערכת האקסיומות יש הסמכות הזאת.

אמת אינה מתגלה אלא מוצהרת

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

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

המשפט הוא היטל, והפסק הוא חישוב

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

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

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

התפיסה הזאת אינה ספקולציה שנולדה מן החלל הריק. דיני הראיות מבחינים מזמן בין אמת משפטית פורמלית (formal legal truth) לבין אמת מהותית (substantive truth). האידיאל שאליו המשפט מכוון הוא האמת המהותית, אך כללי הראיות, נטל ההוכחה ומגבלות הזמן חוסמים את ההגעה אליו, כך ש"מה שקרה בפועל" ו"מה שהוכרע משפטית" נפרדים (Summers, Formal Legal Truth and Substantive Truth in Judicial Fact-Finding, Cornell Law). הפילוסוף John Searle חשף את הדקדוק של ההמרה הזאת — לעובדה מוסדית יש תמיד הצורה “X נחשב ל-Y בהקשר C (X counts as Y in context C)”, ומה שמפעיל את אותה חשיבה אינו תצפית אלא הצהרה (Searle, Constitutive Rules, Argumenta; Social Ontology, SEP). הסוציולוג Niklas Luhmann הסביר את כל מערכת המשפט בעיקרון הזה — המשפט פתוח קוגניטיבית וסגור נורמטיבית, ומעבד רק בקוד הבינארי חוקי/לא חוקי (Critical Legal Thinking, Niklas Luhmann: What is Autopoiesis?). שתי הפעולות שאני חילקתי להיטל וחישוב היו אצל Luhmann פתיחות קוגניטיבית וסגירות נורמטיבית.

עיוות דין מפריד בין הצהרה לגילוי

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

אם השופט אומר “אשם”, בתוך העולם המשפטי הוא אשם. מתמטית. ללא קשר לכך שייתכן שאינו הפושע האמיתי. זו בדיוק הסיבה שבגללה המושג עיוות דין תקף — משום שהאמת המשפטית (הפסק של העולם הסגור) והטענה הפיזית (מה באמת קרה) הן שכבות שונות זו מזו, ושתיהן יכולות לסתור (Miscarriage of justice, Wikipedia). אילו היה הפסק אמת פיזית, עיוות דין היה בלתי אפשרי לוגית. אך אנו יכולים לדבר על עיוות דין. עצם העובדה שהדיבור הזה תקף מוכיחה שהאמת המוצהרת אינה אמת שהתגלתה.

כיום ה-LLM הוא שופט ללא פרוטוקול האירוע

ה-LLM נבנה ממתמטיקה סגורה. הוא מכפיל מטריצות, מחשב הסתברויות, ובוחר את הטוקן הבא באלגוריתם קבוע. החישוב הפנימי שלו סגור מתמטית. אך הקלט שה-LLM מטפל בו בא מן העולם הפתוח. לשאלה הקשר בלתי שלם, בידע הנלמד מעורבבים מקור וזמן, ותוצאות החיפוש וטענות המשתמש מתנגשות זו בזו. המודל אינו מותיר תיעוד לאיזו מהן קיבל כעובדה (Measuring Attribution in NLG, arXiv:2112.12870), וסוגר לרגע את העולם הפתוח בתוך הפרמטרים ומחשב תשובה.

ה-LLM הנוכחי הוא כמו שופט שאין לו לא פרוטוקול אירוע ולא הליך קבלת ראיות. איזו טענה קיבל ואיזו דחה, על עולם של איזה זמן הוא מטפל, מה צריך להשתנות כדי לפתוח את התיק מחדש — כל אלה אינם נותרים. ובכל זאת התשובה יוצאת נחרצת כמו פסק דין (Survey of Hallucination in Natural Language Generation, arXiv:2202.03629). גם אם המתמטיקה של המודל אינה שגויה, עיוות דין מתרחש. משום שההיטל הסוגר את העולם הפתוח מובלע, אינו ניתן לשחזור, ואיש אינו נושא באחריות לגבול ההוא. מודל גדול יותר ופרמטרים רבים יותר יכולים להקל על הבעיה הזאת אך אינם מבטלים אותה (Hallucination is Inevitable, arXiv:2401.11817; Why Language Models Hallucinate, arXiv:2509.04664). לסגור את כל העולם הפתוח באופן מלא בתוך הפרמטרים הוא בלתי אפשרי.

הצהר תחילה על עולם בר-חישוב

מה שנחוץ ל-LLM אינו רק זיכרון מושלם יותר, אלא הליך סגירה מפורש כמו שלטון החוק (The Rule of Law, SEP).

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

זה מה ש-GEUL עתיד לעשות. GEUL משמר את טענות העולם הפתוח בלי לאבד אותן. מעליהן מנוע הטיעון של טולמין (Toulmin) מקבל כקלט את הגרף הסגור של היסודות שהתקבלו ושל ההפרכות, ומחשב את הפסק באופן דטרמיניסטי (Argumentation framework, Wikipedia). המנוע אינו קובע אמת. בדיוק כמו שהשופט הוא מתמטיקאי, גם המנוע הוא מתמטיקאי. אין הוא שופט אלא מבַצע. המטרה אינה להפוך את ה-LLM לחף מטעויות, אלא לבנות מבנה לעיוות הדין, להפריד בין שגיאת ההיטל לשגיאת החישוב, לחשוף מי הכיר במה, ולאפשר ערעור אל מול ראיה חדשה.

על הצהרה חייבת לבוא אחריות

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

הצהרה זקוקה לסמכות, ולסמכות חייבת לבוא אחריות (Moral Responsibility, SEP). כשם שאם מי שאינו שופט צועק “אשם” שום עולם אינו נסגר, כך ההצהרה אינה מושא של אמת/שקר אלא מושא של תקֵפוּת. והאחריות בסופו של דבר נישאת בכסף — משום שזהו האמצעי היחיד שהוא בר-מדידה, בר-העברה, וניתן לחלוקה לפי מידת הרשלנות (Legal liability, Wikipedia). כדי לעשות זאת, ההצהרה צריכה תחילה להיות מזוהה. מי, בסמכות מה, ומתוך מה הצהיר עליה. זו הסיבה ש-GEUL כופה על כל טענה לצרף בכפייה מקור, זמן ורמת אמון. כדי לתבוע אחריות, צריך תחילה לחתוך את ההצהרה ליחידה בת-מִסחוּר.

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

מאמרים קשורים

מקורות

פיזיקה — תצפית ואור

  • Speed of light (Wikipedia) — מהירות האור היא החסם העליון הסופי של מידע וחומר, והיא זהה לכל צופה. אור הכוכבים הנראה מכדור הארץ הוא של עבר רחוק
  • Lookback time / Cosmic time (Wikipedia) — בשל זמן מסע האור, ככל שהעצם רחוק יותר כך הוא נצפה בדמותו של עבר רחוק יותר
  • Meter (NIST) — בהגדרה המחודשת של 1983 קובעה מהירות האור על 299,792,458 מטר לשנייה
  • Visual phototransduction (Wikipedia) — הרשתית אינה מעבירה אור באופן פסיבי אלא ממירה אותו בשרשרת ביוכימית
  • Unconscious inference (Wikipedia) — ההיסק הבלתי מודע של Helmholtz: התפיסה אינה מגע ישיר אלא היסק סטטיסטי המשער את סיבת הקלט החושי

אמת · הצהרה · העולם הסגור

  • Speech Acts (Stanford Encyclopedia of Philosophy) — הבחנת Austin בין היגד ביצועי להיגד תיאורי: אמירה מסוימת יוצרת עובדה עצם היאמרה
  • Performative utterance (Wikipedia) — ההיגד הביצועי אינו מתאר מציאות אלא משנה מציאות חברתית. מושא של הצלחה/כישלון ולא של אמת/שקר
  • Fiction — Truth in Fiction (Stanford Encyclopedia of Philosophy) — תיאוריה ממוקדת-מחבר, שלפיה את האמת שבסיפורת קובע המחבר
  • Formalism in the Philosophy of Mathematics (Stanford Encyclopedia of Philosophy) — האמת המתמטית היא היכולת להוכיח בתוך כללי המערכת ולא התאמה למציאות פיזית
  • Axiomatic system (Wikipedia) — מבנה הגוזר משפטים מתוך אקסיומות

משפט — היטל · חישוב · אחריות

  • Formal Legal Truth and Substantive Truth in Judicial Fact-Finding (Robert S. Summers, Cornell Law) — הפער בין האמת המהותית שאליה מכוון המשפט לבין האמת המשפטית הפורמלית שיוצרים דיני הראיות, נטל ההוכחה ומגבלות הזמן
  • Constitutive Rules (John R. Searle, Argumenta) — צורת העובדה המוסדית “X counts as Y in context C”, וכוחה של ההצהרה לברוא מציאות
  • Social Ontology (Stanford Encyclopedia of Philosophy) — עובדות מוסדיות ותפקודי מעמד מוטלים באמצעות הכרה קולקטיבית ומעשי לשון הצהרתיים
  • How the Facts Enter Into the Law (Springer) — התפיסה שהמשפט הוא סדר נורמטיבי, ולכן הוא יכול לעבד רק לאחר שהוא ממיר ‘עובדות של המציאות’ ל’מצב עובדתי משפטי’
  • Niklas Luhmann (Wikipedia) — מערכות חברתיות סגורות תפעולית ובה בעת פתוחות אינפורמטיבית לסביבה (סגירות נורמטיבית, פתיחות קוגניטיבית)
  • Miscarriage of justice (Wikipedia) — עיוות הדין מראה שהפסק המשפטי והחפות העובדתית נפרדים זה מזה
  • The Rule of Law (Stanford Encyclopedia of Philosophy) — יישום כללים כלליים שהוצהרו מראש באופן בלתי אישי ולא לפי שיקול דעת פרטי, וכך נוצרת אפשרות חיזוי
  • Moral Responsibility (Stanford Encyclopedia of Philosophy) — ענפי בֵּרירות-הדין (answerability) ובֵּרירות-הסנקציה של האחריות
  • Legal liability (Wikipedia) — האחריות המשפטית היא חובה בת-כפייה ובת-תשלום, המשתרעת על חוזה, נזיקין, מיסוי וקנס

LLM — אפיסטמולוגיה והזיה

יומן שינויים

  • 2026-07-23: מהדורה ראשונה