توسط محاسبات نمادین اثبات های ساده ای برای تصمیم ناپذیری منطق مرتبه اول و نظریه های ساختارهای پایه ای (مانند الحاق یا حساب) به دست می آیند. با استفاده از دستورزبان ها یک اثبات برای نشان دادن اینکه اعتبار در منطق مرتبه اول تصمیم ناپذیر است (برای فرمول هایی با سور پیشوند ?? در زبان شامل حداقل یک رابطه یک تایی و تابع دوتایی) ارایه می کنیم. یک اثبات مشابه، قضیه ناتمامیت اول گودل برای ساختار رشته ها...

تفسیر المیزان، با استفاده از«تفسیر قرآن به قرآن» و استخراج مقاصد الهی با استناد به آیات همگون، توانسته است مبهمات بسیاری از آیات الهی را تبیین کند و یکی از بی نظیرترین تفاسیر را به جهان اسلام تقدیم کند. یکی از ویژگی های برجسته «المیزان»، شیوه های نقد علامه طباطبایی، بر آرای تفسیری دیگر مفسران است، که در این مقاله نگارنده کوشیده است تا با مطالعه بیش از نیمی از تفسیر المیزان،  گونه های نقد را در ...

مبنای کلامیِ تفسیر، آن دسته باورهای دینی است که بر اساس آنها منابع، قواعد و یا محتوای تفسیر آیات قرآن شکل می گیرد و بدین نحوه در تفسیر قرآن تاثیرگذارند. مبانی کلامی تفسیر، در چهار بخش جای دارند: اول، مبانی کلامی مربوط به پدیدآورنده قرآن: خداوند. به عنوان نمونه: خدا عادل و حکیم است. این صفت با توجه با اصل حسن و قبح عقلی بدین معنا می انجامد که خدا از هر قبیح عقلی به دور است. بر اساس این آموزه،...

سندرم روده تحریک پذیر (ibs) یکی از شایع ترین و مزمن ترین اختلالات کنشی دستگاه گوارش است که بار زیادی را بر فرد و جامعه تحمیل می کند. بنابراین، بررسی متغیر های روانشناختی مرتبط با ibs می تواند کمک شایانی به فهم بهتر این اختلال و مدیریت و کاهش شدت نشانه های آن در بیماران کند. هدف پژوهش حاضر بررسی نقش واسطه ای تحمل ناپذیری بلاتکلیفی در رابطه بین روان سازه های ناسازگار اولیه و شدت نشانه ها در بیمار...

در این پروژه به بررسی پتانسیل برهمکنشی کل و اهمیّت معادله حالت هسته ای در واکنشهای همجوشی پرداخته ایم. بدین منظور مطالعاتمان را برروی سه دسته از واکنشهای همجوشی معطوف کرده ایم: واکنشهای همجوشی با هسته های نیمه سنگین- نیمه سنگین متقارن (ni64 + ni64 و ni58 + ni58) 2- واکنشهای همجوشی با هسته های سبک - نیمه سنگین نامتقارن (zr92 + c12، zr92 + o16، zr92 + si28 و zr92 + cl35) 3- واکنشهای همجوشی با هسته...

در این مقاله به بررسی اصطلاح «ترکِ أولی» به‌ عنوان راه‌کاری برای دفاع از عصمت انبیاء در مواجهه با آیاتی از قرآن کریم که ظاهرشان بر ارتکاب معاصی توسط انبیاء دلالت دارند، پرداخته شده و پس از معناشناسی «ترکِ أولی»، این سئوال محور بحث و بررسی قرار گرفته است که آیا دلایل عقلی عصمت انبیاء با صدور ترکِ أولیٰ از انبیاء سازگار است؟ به عقیدۀ نگارنده با توجه به این‌که ترکِ أولی، نوعی خطا و لغزش است و چون دلایل...

در این پایان¬نامه از روش هیدرودینامیک ذرات هموار با تراکم¬ناپذیری ضعیف و هیدرودینامیک ذرات هموار تراکم¬ناپذیر جهت بررسی جریان سیال از زیر یک دریچه¬ استفاده شده است، در این راستا جهت اعمال شرط مرزی دیوار از دو روش استفاده شده است و نتایج به دست آمده با نتایج به دست آمده از روش vof مقایسه شده¬اند. جهت اعتبار سنجی برنامه نوشته شده در قسمت جامد چند مسئله در رابطه با ارتعاش یک صفحه¬ی الاستیک به کمک ...

از نظر تمام مفسران و نیز فیلسوفان دستیابی به معرفت برای انسان امکان‌پذیر است. آدمی می‌تواند با توسل به روش‌های مختلف به معرفت دست یابد. در این میان، حس راهی برای نیل به شناخت و طریقی برای مواجهه با جهان خارج است. حس انسان را با جهان خارج آشنا کرده پرده از رازهای حسّی برمی‌دارد. متفکّران در ارتباط با اعتبار طریق حس دیدگاه‌های متفاوتی را مطرح کرده‌اند امّا آموزه‌های قرآن و استدلال‌های که از آیات قرآ...

تفسیر قرآن کریم و باورهای کلامی رابطه‌ای دوسویه دارند. از سویی باورهای کلامی به آیات قرآن مستدل می‌شوند، واز سویی دیگر باورهای کلامی به منزله قرینه صارفه موجب رفع ید از ظواهر برخی آیات قرآن وگذر از معنای حقیقی به معانی غیرحقیقی می‌شود. تحلیل و بررسی گستره تاثیر مبانی کلام در تفسیر، آسیب‌ها و نابسامانی‌هایی را آشکار می‌کند. سیدمرتضی (م436هـ) در آثار کلامی خویش، آیاتی از قرآن را تفسیر کرده است. و...