טיעון:

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

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

לדוגמה: ניתן להוכיח כי קיימים במציאות פילים שיש להם 2 אוזניים. אך לא ניתן להוכיח כי לא קיימים בשום מקום פילים שיש להם 7 אוזניים. משום שלא ניתן להוכיח ולשלול את קיומה של ישות כלשהי.

וממילא, לא ניתן להוכיח בשום דרך כי אין אלוהים.

ניתן אולי לומר כי אי אפשר להוכיח שיש אלוהים, אך לא ניתן להוכיח שאין אלוהים.

סוף טיעון.

טענה נגדית:

ניתן להוכיח בצורה לוגית את אי קיומה של ישות כלשהי.

כיצד?

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

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

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

נקודה נוספת:

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

הוכחת אי קיומו של אלוהים:

האם ניתן להוכיח שאין אלוהים?

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

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

טיעון:

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

סוף טיעון.

תגובה:

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

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

פירוש:

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

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

טיעון:

לא ניתן להוכיח כי X אינו קיים.

סוף טיעון.

הפרכה:

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

דוגמה לישות שקיומה אינו אפשרי מבחינה לוגית:

ניקח 2 הפכים כלשהם, כגון חום וקור, חושך ואור, יש ואין, טוב ורע וכיו"ב.

נגדיר ישות X שמהותה היא החיבור של 2 ההפכים כלשהם בשלמות. לדוגמה: ישות X שהיא גם תכלית החום וגם תכלית הקור בו זמנית, בנקודה אחת בציר המקום ובציר הזמן.

ישות כנ"ל אינה יכולה להתקיים מבחינה לוגית. משום שההגדרה שלה אינה אפשרית מבחינה לוגית.

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

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

נחדד:

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