اکنون به بررسی فقرات استدلال محال بودن دانستن مجموعه تمام حقائق می پردازیم:
فرمولاسیون
1- خداوند یک موجود علیم است. بنابر تعریف خدا.
2- یک موجود علیم باید تمامی اجزاء مجموعه تمام حقایق هستی را بداند. بنابر تعریف خدا و تعریف مجموعه حقایق هستی.
3- دانستن تمامی اجزاء مجموعه تمام حقایق هستی محال است. بنابر قضیه کانتور.
4- یک وجود علیم نمیتواند وجود داشته باشد. نتیجه از 3.
5- خدا نمیتواند وجود داشته باشد. نتیجه از 4 و 1.
6- خدا وجود ندارد. نتیجه از 5.
کلماتی که زیر آنها خط کشیده شده مورد عنایت است ، بعدا إن شاء الله ثابت می کنم :
1- خداوند موجود به وجود وصفی نیست
2- دانستن دو نوع است دانستن شهودی و دانستن شناختی منطقی
3- اما آنچه فعلا محور سخن است مجموعه تمام حقائق است.
تعریف مجموعه
یک مجموعه از اجتماع نهاد های قابل تمایز از یکدیگر پدید می آید.
هر چند مجموعه را تعریف نمی کنند و از مفاهیم ابتدایی به حساب آورده و تعریف ناشده رها می کنند و به نظر من این نقص بسیار بزرگی است ولی چون در اینجا تعریف کرده اند من هم مغتنم شمرده و این سؤال را می پرسم: منظور از کلمه پدید آمدن در این تعریف چیست؟ یعنی در خارج ذهن موجود می شود؟ یا در ذهن موجود می شود؟ و اگر در ذهن موجود می شود کنش ذهن در ارتباط با آن درک چیزی است یا فرض و ادّعای چیزی است؟ یا موارد مختلف است و نیازمند یک ضابطه در دسته بندی مجموعه هاست؟
یک دسته از حقایق حقایق گزاره ای یا قضیه ای هستند، که میتوان آنها را بر اساس اصل دوالانسی منطق صحیح یا غلط دانست. بعنوان مثال هرکدام از روابط ریاضی موجود بین اعداد حقیقتی هستند. یعنی 4=2+2 یک حقیقت است و همچنین 0=2-2 یک حقیقت دیگر. حال از آنجا که این حقایق قابل تمیز داده شدن از یکدیگر هستند میتوان اجتماع آنها را بصورت یک مجموعه تصور کرد.
در نهایت در این دلیل گفته می شود : مجموعه تمام حقائق وجود ندارد اجازه بدهید ما از همین حال سؤال کنیم اینکه می گویید: (یعنی 4=2+2 یک حقیقت است) آیا این حقیقت موجود است؟
اگر معدوم است پس چگونه می گویید تمایز دارد؟!
اگر موجود است چون یک حقیقت است پس به ذهن ما وابسته نیست هیچ ذهنی هم اگر نبود این یک حقیقت بود ، پس اگر موجود است در کجا موجود است؟ بر مبنای مادی، موجود مجرّد از ماده قائل نمی شوند، در کجا می خواهید سراغ این حقیقت واضح ریاضی بروید؟
بخصوص که در بحث (برهان پنهانی الهی، یا ناباوری) این عبارت را می خوانیم:
آیا تابحال به این قضیه فکر کرده اید که،
الف- هرچیز که وجود دارد آشکار است!
ممکن است شما بگویید، خیر بسیاری از چیزها وجود دارند که آشکار نیستند، مثلا امواج رادیویی و مادون قرمز وجود دارند اما آشکار نیستند. در پاسخ به این اعتراض باید بگویم که شما از کجا میدانید امواج رادیویی و مادون قرمز وجود دارند؟ آیا غیر از این است که اثر مشتق شده از وجود آنها را دیده اید و یا با هر ارگان حسی دیگری وجود آنرا دریافت حسی کرده اید؟ ممکن است از لحاظ فیزیکی بتوان گفت منظور از آشکار بودن همان "قابل اندازه گیری کردن" باشد، امواج رادیویی و مادون قرمز از جنس انرژی موجی هستند و دوره و طول موج آنها قابل اندازه گیری کردن است، ما از آنجایی که این امواج بر ما آشکار شده اند یعنی توانسته ایم آنها را اندازه بگیریم و بسنجیم به وجود آنها پی برده ایم. پس ما به نحوی توانسته ایم وجود این چیزها را دریافت حسی کنیم، پس وجود چنین چیزهایی نمیتواند مثال نقضی برای الف باشد.
آیا حقائق ریاضی اگر موجود هستند چگونه قابل انداره گیری هستند؟ آیا سیستمهای ریاضی محض و دستگاه های هندسی مستقل چه اقلیدسی و غیر اقلیدسی که صحیح هستند و از حقائق به شمار می آیند قابل اندازه گیری هستند؟
این سؤال جدّی است و بر هر سه مبنای فلسفه ریاضی (منطق گرایی ، صورت گرایی ، شهود گرایی) به پاسخ نیاز دارد.
جواب من این است که حقائق موجود هستند اما نه به وجود وصفی بلکه به وجود اشاری که توضیح آن گذشت ، پس مستقل از ذهن هستند و ذهن تنها آنها را درک می کند و آن هم درکی شهودی که مقابل آن عدم نیست بلکه ناصحیح که خود مفهومی اشاری است می باشد و در نهایت ناصحیح بودن نا صحیح هم امری شهودی است که اصلا مقابل ندارد و کسی که به دنبال مقابل برای آن باشد دچار تسلسل می شود و از ادراک ذهنی ساده که همه از آن برخورداریم فاصله می گیرد و در نوشتار قبلی گذشت که این صحیح آخری اساسا مقابل ندارد (یعنی اینکه ناصحیح بودن ناصحیح حتما صحیح است) و (صحیح بودن صحیح حتما صحیح است).
بعنوان مثال مجموعه A را در نظر بگیرید که اعضای آن دو حقیقت یاد شده هستند.
A = { "2+2=4", "2-2=0" }
پرواضح است که به دلیل بی نهایت بودن مجموعه اعداد، بی نهایت نیز رابطه حقیقی از نوع یاد شده در میان آنها وجود دارد، یعنی میتوان مجموعه ای از حقایق ریاضی را تصور کرد که تمامی این حقایق را در خود گنجانیده است، نام این مجموعه را T بگذاریم.
از نکات جالب سلسله مراتبی بودن حقائق است و در این مثال ما می توانیم با تعریف عدد و عمل جمع و تفریق برای اعضاء یا رفتار مجموعه فرمول ارائه بدهیم که خود یک حقیقت بیش نیست.
حال یکی از ویژگیهای خدا در تعریف آن (خداوند چیست؟) علیم بودن خدا است، به این معنی که خدا بر تمامی حقایق آگاه است.
آگاهی بر دو نوع است شهودی و شناختی که بعدا توضیح خواهم داد.
مرحله بعدی در این استدلال این است که نشان دهیم دانستن مجموعه T محال است. زیرا مجموعه T بنا بر قضیه کانتور قابل تصور نیست.
به یاد داشته باشید که فرض کردیم مجموعه T تمامی حقایق هستی را در بر دارد و مجموعه ای بینهایت است. آشکار است که دانستن اعضای این مجموعه برای انسان میسر نیست زیرا شما هرچقدر هم که از اجزاء این مجموعه را بدانید باز هم اعضای دیگری خواهند بود که شما آنها را هنوز نمیدانید. اما ممکن است گفته شود که دانستن اعضای این مجموعه برای خدا محال نیست زیرا خدا خود نیز بینهایت است و میتواند این مجموعه را درک کند. البته این پاسخ، قانع کننده نیست زیرا بی نهایت بودن خدا به خودی خود به معنی این نیست که او بتواند اعضای این مجموعه را بداند.
اما استدلال ما این نیست، همانطور که گفته شد مسئله اینجا است که بنابر قضیه کانتور که از راه برهان خلف اثبات میشود که چنین مجموعه نمیتواند وجود داشته باشد.
چهار خط کشیده را ملاحظه کنید:
اولا تصور کردن مربوط به علم شناختی است نه شهودی.
ثانیا تصور تک تک اعضای مجموعه اگر ممکن نباشد منافاتی ندارد که ما تمام مجموعه را از طریق تعریف و فرمول خاص مجموعه بدانیم و فلاسفه نام این را علم به جزئی از طریق علم به کلی می گذارند.
ثالثا استدلال کننده باید قانع کند اشکال کننده را ، یعنی باید احتمال اشکال کننده را دفع کند تا برهان او تام باشد ، نه اینکه به اشکال کننده بگوید این احتمال تو من را قانع نمی کند ، پس کجا رفت بی خدایی مثبت گرا؟؟!! این به بی خدایی منفی گرا باز گشت!
رابعا اکنون رسوب زدایی که در مفهوم وجود کردم بسیار کارآیی دارد ، می گویید چنین مجموعه نمی تواند وجود داشته باشد ، می گوییم اگر منظور مجموعه تمام حقائق است در ابتدای امر یعنی قبل از در نظر گرفتن قوت مجموعه توانی این مجموعه ، می پرسیم آیا وجود وصفی نمی تواند داشته باشد که مقابل آن عدم است یا وجود اشاری شهودی که در تمام حقائق جریان داشت؟ هیچ حقیقتی وجود وصفی ندارد ، اما همین مجموعه خود از حقائق است و امر ثابت و صحیحی است و اشکالات در وجود نا متناهی در وجود وصفی جاری است و گرنه همه می پذیریم که حقائق صحیح و ثابت هستند و لو : بینهایت بینهایت به توان بینهایت حقیقت داشته باشیم ، و تازه این اول راه است که ذهن ما می خواهد با امر مجرّد از ماده آشنا شود ، و اگر منظور بزرگترین مجموعه است که قوت مجموعه توانی هم در نظر گرفته شود هم جواب نقضی و هم حلی دارد که در بررسی فقرات بعدی توضیح می دهم.
بنابر این همانگونه که قضیه کانتور نشان میدهد، مجموعه توانی "تمامی مجموعه ها" از مجموعه "تمامی مجموعه ها" بزرگ تر است. بنابر این حقایقی بیش از آنچه در T وجود داشته است وجود دارند، و این یک تناقض است چون T را مجموعه تمام حقایق هستی که هیچ حقیقتی خارج از آن وجود ندارد فرض کرده ایم، لذا با استفاده از برهان خلف نشان داده ایم که چنین مجموعه ای اساسا نمیتواند وجود داشته باشد.
نتیجه آنکه مجموعه ای با فرنام "مجموعه تمام حقایق هستی" وجود ندارد و چون این مجموعه وجود ندارد دانستن آن از دیدگاه معرفت شناسی (Epistemologically) محال است، و چون یک موجود علیم باید قطعاً تمامی حقایق هستی را بداند که بتوان علیم اش نامید، هیچ موجود علیمی نمیتواند وجود داشته باشد و چون هیچ موجود علیمی نمیتواند وجود داشته باشد خدا نیز نمیتواند وجود داشته باشد.
مسائل بسیار مهمی در این اینجا مطرح است که اگر توفیق بود در نوشتار بعدی پی می گیریم.
ادامه بررسی استدلال محال بودن دانستن مجموعه تمام حقایق:
گفته شد:
لحظه ای تأمل می کنیم تا معنای قضیه کانتور را دریابیم. این قضیه نشان می دهد که برای هر مجموعه ای، مجموعه دیگری وجود دارد که به معنای خاص نوع بزرگتری از نامتناهی بودن، بزرگتر است. بنابراین، “بزرگترین نامتناهی” هم نمی تواند وجود داشته باشد! بنابراین، انواع نامتناهی، “نامتناهی” هستند!
دقت کنید که از این بیان ، بینهایت عدد ترانسفینی ثابت می شود که همه حقیقتی ریاضی است و ثابت و صحیح است هر چند نظریه مجموعه ها نتواند آنها را صید کند ، مانند اینکه بینهایت عدد طبیعی حقیقت دارد اما یک عدد که بینهایت باشد وجود ندارد و نظریه اعداد نمی تواند یک چنین عددی به دست ما دهد.
به دلیل اینکه حقایق از یکدیگر قابل تمایز هستند، اجتماع آنها را میتوان بصورت مجموعه ای از حقایق نشان داد. آشکار است که تمامی حقایق موجود در هستی باید مجموعه حقایق ریاضی را نیز در خود بگنجاند و از آنجا که آن مجموعه بینهایت است، مجموعه تمامی حقایق موجود در هستی نیز مجموعه ای بینهایت است. نتیجه منطقی آنکه خداوند به دلیل علیم بودن خود باید لزوماً مجموعه تمامی حقایق هستی را که آنرا نیز T فرض میکنیم بداند و در صورتی که حتی یکی از اعضای این مجموعه را نیز نداند علیم نیست.
در نوشتار قبلی توضیح دادم که عبارت حقائق موجود در هستی آغشته به چه رسوباتی است.
بنابر این همانگونه که قضیه کانتور نشان میدهد، مجموعه توانی "تمامی مجموعه ها" از مجموعه "تمامی مجموعه ها" بزرگ تر است. بنابر این حقایقی بیش از آنچه در T وجود داشته است وجود دارند، و این یک تناقض است چون T را مجموعه تمام حقایق هستی که هیچ حقیقتی خارج از آن وجود ندارد فرض کرده ایم، لذا با استفاده از برهان خلف نشان داده ایم که چنین مجموعه ای اساسا نمیتواند وجود داشته باشد.
نتیجه آنکه مجموعه ای با فرنام "مجموعه تمام حقایق هستی" وجود ندارد و چون این مجموعه وجود ندارد دانستن آن از دیدگاه معرفت شناسی (Epistemologically) محال است، و چون یک موجود علیم باید قطعاً ( ... ) تمامی حقایق هستی را بداند که بتوان علیم اش نامید، هیچ موجود علیمی نمیتواند وجود داشته باشد و چون هیچ موجود علیمی نمیتواند وجود داشته باشد خدا نیز نمیتواند وجود داشته باشد.
اکنون نوبت آن است مغالطه ای که در این بیان است را آشکار کنیم:
ملاحظه کنید چندین بار کلمه مجموعه در مقدمات به کار رفته و در وقت نتیجه گیری کلمه مجموعه حذف شده و به جای آن حکم برای عضوهای مجموعه ثابت شده (که من به جای کلمه حذف شده سه نقطه گذاشته ام)، لکن چون مجموعه تمام حقائق هستی وجود ندارد پس دانستن این مجموعه محال است پس یک موجود علیم نمی تواند مجموعه تمام حقائق هستی را بداند ولی چه مانعی دارد که خود حقائق را بداند ، و لازم است برای توضیح این مغالطه اشاره ای تاریخی ذکر کنم:
آنها که آشنا به تاریخ نظریه مجموعه ها هستند می دانند که در ابتدای امر که به هر نحو دلخواه مجموعه انتخاب می شد و هنوز خوش تعریفی مجموعه مطرح نبود پارادوکس ها پدید آمد و معلوم شد تعریف بعض مجموعه ها مشتمل بر تناقض است و این تناقض تاثیری در واقعیت عضوهای آن مجموعه نداشت بلکه اشکال در عضویت و تشکیل مجموعه برای آنها بود و لذا به جای نظریه طبیعی مجموعه ها ریاضی دانان سراغ نظریه اصل موضوعی مجموعه ها رفتند تا از اینها جلوگیری کنند.
قبل از جواب حلی می توان جوابی جدلی داد که فرق است بین اینکه عضوهای یک مجموعه خود مجموعه باشد و بین اینکه عضوها غیر مجموعه باشد ، چون در اولی اجتماع فقط به فرض است و واقعیت ندارد ، و همچنین عضوهای یک مجموعه با زیر مجموعه های آن تفاوت می کند ، بنابر این در مجموعه ای که اجتماع در آن فرضی باشد علم به عضوهای مجموعه تعلق می گیرد نه به اجتماع فرضی آنها و نه به زیر مجموعه های فرضی ، مثلا پنج نفر معین را به عنوان یک مجموعه در نظر بگیرید کسی که این پنج نفر را می شناسد می توانیم بگوییم عالم به اینها است ولو علم به اینکه شما آن پنج نفر را به عنوان یک مجموعه در نظر گرفته اید نداشته باشد و همچنین شما که عضوهای مجموعه خود را می دانید می توانیم بگوییم عالم به این مجموعه هستید هر چند علم به زیر مجموعه های ممکن آن نداشته باشید ، به همین بیان مثلا علم می تواند تعلق بگیرد به کاردینال الف که در قبال آن اعداد حقیقی قرار می گیرند چون عضوها و عناصر مجموعه فرضی نیستند بلکه حقیقت دارند اما علم به کاردینال پس از آن که تنها از قوت مجموعه توانی آن حاصل شده باشد لازم نیست تعلق بگیرد چون صرف فرض است ، به خلاف اینکه کاردینال بعدی متعلق به مجموعه ای باشد که عضوهای آن خود مجموعه فرضی نباشد ، و این جواب به این جمله استدلال آنها مربوط می شود: ( بنابر این حقایقی بیش از آنچه در T وجود داشته است وجود دارند) که می گوییم خیر مجموعه توانی ، حقیقتی را اضافه نمی کند چون جز فرض زیر مجموعه های یک مجموعه چیزی نیست.
اما جواب صحیح حلی آن است که تمام سلسله بینهایت اعداد ترانسفینی حقیقت دارد و کانتور آنها را کشف کرده نه فرض کرده باشد و واقعا کاردینال مجوعه توانی هر مجموعه بزرگتر از کاردینال خود مجموعه است و این یک حقیقت است که قضیه کانتور آن را اثبات کرده است ، و نتیجه آنکه بزرگترین مجموعه و بزرگترین کاردینال معنی ندارد ، و دقت کنید که چون سلسله کاردینال ها بینهایت است بزرگترین کاردینال وجود ندارد و از این نمی توان نتیجه گرفت که چون بزرگترین کاردینال نداریم پس سلسله بینهایت کاردینال ها وجود ندارد ، مانند اینکه چون بینهایت عدد طبیعی حقیقت دارد پس یک عدد که بینهایت باشد وجود ندارد نه اینکه چون یک عددی که بینهایت باشد نداریم پس سلسله بینهایت اعداد طبیعی هم نداریم ، و این جواب به این جمله استدلال آنها مربوط می شود: ( و این یک تناقض است چون T را مجموعه تمام حقایق هستی که هیچ حقیقتی خارج از آن وجود ندارد فرض کرده ایم) یعنی آنچه از قضیه کانتور نتیجه می شود اینکه این فرض ما اشتباه بوده و مشتمل بر تناقض است نه اینکه بینهایت مجموعه با کاردینال خاص خود واقعیت ندارد ، و توضیح بیشتر در بررسی شبهه دومی که ذکر کرده اند خواهد آمد.
شبهه نخست
ممکن است خداباور این نتیجه را انکار کند و بگوید از آنجا که خدا خود تنها خالق تمامی واقعیت ها و حقایق (البته به غیر از واقعیت خودش) است، میتواند T را بداند. اما ایراد این شببه سفسطه مصادره به مطلوب است که در آن بکار برده شده است. مسئله اینجا است که چیزی که بنا بر تعریفش متناقض است بنا بر اصل تناقض قابل دانستن نیست و خالقی ندارد.
معلوم شد که در تعریف مجموعه همه حقائق تناقض است و در عین حال بینهایت مجموعه حقیقت دارد که می تواند معلوم خداوند باشد و ملاحظه می کنید که چگونه مجموعه با عضوهای آن جاگذاری شده است.
شبهه دوم
ممکن است خداباور بگوید عدم امکانپذیری قرار دادن مفهوم "تمام حقایق" در تعریف مجموعه به این معنی نیست که تمام حقایق وجود ندارد. در پاسخ میتوان گفت با فرض وجود تمام حقایق هیچ دلیلی وجود ندارد که نتوان آنرا بصورت مجموعه ای بینهایت تعریف کرد، برای اینکه جقایق مجموعه ای شوند تنها کافی است که از یکدیگر قابل تمیز دادن باشند، و اگر اجماع تمام حقایق ممکن بود، مجموعه تمام حقایق نیز ممکن میبود، اما از آنجا که وجود مجموعه تمام حقایق غیر ممکن است (بنابر اثباتی که صورت گرفت)، میتوان نتیجه گرفت که "تمام حقایق" نیز غیر قابل تصور است، لذا نمیتوان تصور کرد که علیمی وجود داشته باشد، یا بعبارت دیگر وجود علیم به دلیل عدم امکان اتحاد تمامی حقایق محال است.
اولا: کلمه با فرض وجود تمام حقائق می فهماند که استدلال کننده وجود تمام حقائق را منکر می شود و این همان مغالطه ای است که جواب حلی آن را دادم.
ثانیا: چرا هیچ دلیلی ندارد؟!! دلیل اینکه حقائق وجود دارد اما نمی توان آنها را به صورت یک مجموعه در نظر گرفت این است که ما یک کاردینال ترانسفینی پایانی نداریم در حالی که هر مجموعه یک کاردینال خاص خود را دارد ، پس ما بینهایت مجموعه داریم که ممکن نیست آنها را در یک مجموعه مرجع جای داد و این ممکن نبودن صدمه ای به واقعیت آن بینهایت مجموعه نمی زند.
ثالثا: اینکه: ( با فرض وجود تمام حقایق ، از آنجا که وجود مجموعه تمام حقایق غیر ممکن است ، میتوان نتیجه گرفت که "تمام حقایق" نیز غیر قابل تصور است ) ، می پرسیم منظور از تصور چیست؟ اگر سان دادن تفصیلی در ذهن منظور است در این صورت مجموعه اعداد طبیعی هم تصور آن ممکن نیست ، و اگر ادراک عقلانی منظور است می گوییم درک عقلانی حقائق هیچ وابسته به این نیست که آنها را در مجموعه قرار دهیم ، و اگر دقت کنیم می بینیم کانتور ادراک عقلانی بینهایت کاردینال ترانسفینی را به ریاضی دانان عرضه کرد در حالی که مجموعه تمام آنها ها نمی تواند وجود داشته باشد.
رابعا: تصور از نوع ادراک شناختی است و علم خداوند از نوع ادراک شهودی است که توضیح خواهم داد.