אלוהים ולוגיקה
איך ניתן להוכיח שאלוהים כפוף לחוקי הלוגיקה ? אני ״מרגיש שהוא כן״, כלומר שהוא לו יכול לעשות ש2+2 יעשו 5, או שהוא לא יכול לצייר ריבוע עגול.
אבל כאשר אני אומר את זה לחבר שלי הוא אומר לי ״מה פתאום הוא על הלוגיקה !״, ואני לא יודע איך להוכיח לו שאני צודק, (באינטואיציה שלי זה כל כך ברור שאני צודק (ממך למדתי את היסוד החשוב הזה) אבל הוא מבקש הוכחה)
זה לא עניין להוכחה. הטענה שהוא לא כפוף לחוקי הלוגיקה היא חסרת מובן. שהרי אם הוא לא כפוף לחוקי הלוגיקה אז הוא גם כן כפפוף, והוא גם קיים וגם לא קיים, ואתה גןם מאמין וגם אתאיסט וכו' וכו'.
כתבתי על כך הרבה מאד באתר, ותוכל למצוא כאן הרבה הסבר ופירוט. למשל בטור כאן, אבל יש עוד הרבה מאד.
אוקיי הבנתי.
אתה יכול להפנות אותי למקום בו פירטת והבהרת מה ניתן להוכחה מה לא ? מה זה רגרסיה ? איזה אקסיומות ניתן להוכיח, ואחרת איזה מהן ניתן לקבל בלי הוכחה ? על סמך מה מקבלים מערכת אקסיומתית כנכונה בלי הוכחות ? וכו וכו
לא הבנתי את השאלות הללו, ועוד פחות הבנתי מה הקשר שלהן לדיון? אם אתה רוצה לדון בשאלה כלשהו, אנא העלה אותה במקום נפרד ופרט, בלי "וכו' וכו'". שים לב להפניות שנתתי לדברים שכתבתי כבר.
כך שאלתי ובקשתי: ידוע שכל דדוקציה מבוססת על הנחות כלשהן. אני מוכיח מסקנה x באמצעות הנחה y. אבל איך ניתן להוכיח גופא את y ?
למשל בגיאומטריה, מוכיחים הכל באמצעות אקסיומות של אוכליד. אבל איך מוכיחים גופא את האקסיומות הללו ? או במילים אחרות, איך מתווכחים על אקסיומות ?
בניסוח אחר, משתמשים בכללי הלוגיקה להוכיח טענה אנליטית, אבל מה הכלים להוכחת טענות סינתטית ?
וזה הרב?
או בניסוח אחר, מה לדעתך הפיתרון לדילמה המשולשת של מינכהאוזן ?
התגובות לא הגיעו למייל שלי היום. כעת זה תוקן.
האינטואיציה היא הבסיס לאקסיומות. אי אפשר להוכיח אותן כמובן.
לא יודע מהי הדילמה המשולשת של מינכהאוזן.
השאר תגובה
Please login or Register to submit your answer