مقاله ﺗﻘﺮﯾﺮ ﺑﺮﻫﺎن ﺻﺪﯾﻘﯿﻦ ﺳﯿﻨﻮي ﺑﻪ روش ﻣﻨﻄﻖ ﺻﻮري ﺟﺪﯾﺪ از آقاي عسكري سليماني اميري در نشريه معرفت کلامی 5 - بهار 1390 منتشر شده است. فايل اينترنتي و كم حجم مقاله را از اين پيوند مي‌توانيد باز كنيد. (پيوند پيشين ۱۱ مگابايت و نسبتا سنگين است).

در اين مقاله، آقاي سليماني اميري اثبات وجود خداوند را در قالب دو صورت‌برهان زير كه اولي صورت ديگري از قاعدۀ حذف فاصل است فرمول‌بندي كرده:

p v q , p --> r , q --> r   |-   r

p v q , q --> p   |-  p

و برای اولي به روش‌های گوناگون برهان آورده است (برهان مستقيم و برهان خلف؛ به زبان منطق گزاره‌‌ها و به زبان منطق محمول‌ها). (آيا چنين برهان‌هايي منكران خدا را به وجود او مي‌باوراند؟) آنچه در صورت‌برهان نخست مهم مي‌نمايد مقدمه سوم است كه هيچ تلاشي براي اثبات صوري آن انجام نشده است. (همچنين است مقدمه دوم از صورت‌برهان دوم). اگر قرار است وجود خداوند به زبان صوري اثبات شود بايد دلايل كافي براي اين مقدمه آورده مي‌شد.

صورت‌برهان دوم را مهدي حائري يزدي بيش از 30 سال پيش آزموده است:

حائري يزدي، مهدي، (1360)، هرم هستي، تهران، چاپ اول، موسسه مطالعات و تحقيقات فرهنگي (چاپ دوم، 1361، چاپ سوم 1385، موسسه پژوهشي حكمت و فلسفه ايران).

حائري يزدي، مهدي، (1360ب)، متافيزيك، به اهتمام عبدالله نصري، تهران، نهضت زنان مسلمان.

و سليماني اميري اين صورت‌برهان را در ص 39 مقاله خود بدون هيچ ارجاعي به حائري يزدي آورده است.

نزديك به 20 سال پيش نيز دكتر عبدالرسول كشفي در پايان نامه ارشد خود برهان ديگري براي اثبات وجود خداوند در منطق وجهي آورده است. اطلاعات كتاب‌شناختي اين پايان نامه به قرار زير است:

كشفي، عبد الرسول، (1373)، روش اصل موضوعي و كاربرد آن در فلسفه اسلامي، پايان نامه كارشناسي ارشد به راهنمايي غلامحسين ابراهيمي ديناني و لطف اله نبوي، تهران، دانشگاه تربيت مدرس.

براي مراجعه به صورت‌بندي‌هاي ديگري از براهين وجود خداوند به زبان منطق جديد مقدمه تفصيلي نگارنده در مقالۀ زير و منابع آن را مي‌توانيد ببينيد:

مقاله «امتناع برهان صديقين بدون پيش فرض فلسفي در منطق جديد» - یکشنبه یازدهم اردیبهشت 1390