چکیده ندارد.

بر تقریر سینوی برهان صدیقین دو گونه اشکال وارد شده است؛ برخی ناظر به صدیقی بودن این برهان است و بعضی دیگر ساختار درونی برهان را مخدوش می­داند. صدرالمتألهین با آنکه صدق عنوان صدیقین بر این برهان را خالی از اشکال نمی­بیند، ساختار درونی اشکال را متین و قابل دفاع می­خواند و یکی از مهم­ترین اشکالاتی را که بر این برهان وارد شده است، پاسخ می­گوید. اشکال این است که برهان سینوی، از طریق ممکن به اثبات ...

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

با توجه به کاربرد¬های گسترده سیستم¬های نرم افزاری در همه جوانب زندگی امروز بشر، لزوم تولید نرم افزارهای تقریباً بدون خطا و با کیفیت بالا بیش از پیش اهمیت پیدا کرده است. قابلیت اطمینان نرم افزار یک رهیافت مهم برای ارزیابی کیفیت نرم افزار در نظر گرفته می¬شود. مدل¬سازی قابلیت اطمینان نرم افزار بر اساس فرایند پواسون ناهمگن یکی از روش¬های کاملاً موفق در مهندسی قابلیت اطمینان نرم افزار می¬باشد. در این ...

مخروط­افکنه­ها از جمله اشکال ژئومورفولوژیکی می­باشند که در اثر عوامل گوناگونی در ارتفاعات آلاداغ مخصوصاً در دامنه های جنوبی آن شکل گرفته­اند. در شکل­گیری و گسترش این مخروط­افکنه­ها عواملی دخالت دارند که  در گذشته سبب شکل­گیری و در شرایط کنونی سبب گسترش آنها شده­اند. یکی از عوامل مهمی که نقش تعیین­کننده­ای در شکل­گیری و گسترش مخروط­افکنه­های منطقه داشته است، فعالیت­های تکتونیک می­باشد. تأثیرات ای...

یکی از استدلال هایی که برای دفاع از معقولیت باور به گزاره «خدا وجود دارد» به کار می رود استدلال شرط بندی پاسکال است. یکی از مهم ترین اشکالات به این استدلال، «اشکال خدایان متعدد» نام دارد. در این مقاله ابتدا یکی از رایج ترین تقریرهای شرط­بندی پاسکال به نام «سود مورد انتظار برتر» را ارائه می کنیم و سپس به شرح دو نسخه از اشکال خدایان متعدد می پردازیم. نسخه اول نسخه امکانی و نسخه دوم نسخه واقعی نام...