איך אפשר להוכיח שיש אלוהים ?

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

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

האם אין דרך להוכיח דבר ?

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

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

ובכל זאת איך נצא מהמלכוד? מה תהיינה האקסיומות שנוכל להתבסס עליהן?

אני רוצה להשתמש בשלושה מבחנים הגיוניים שעליהם נתבסס:

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

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

ג. מבחן השלמות הלוגית - אקסיומה שהמסקנות שלהן סותרות אותה נוכל לטעון בסבירות גבוהה שהיא לא אמת.

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