یکی از مباحث مهم درباره علم غیب این است که: علم ائمه (ع) به جهان غیب مطلق و نامحدود است یا محدود؟ نکته مهم این است که در آیات و روایات، تعبیرات به ظاهر متفاوتی دیده می‌شود. در این بحث، علم غیب را طبق دلالت آیات و روایات و از منظر کلامی طباطبایی و شاگردان وی بیان می‌کنیم. غیب دارای مراتب و مراحلی است؛ مثل غیب از حواس مانند گذشته و آینده، علم کتاب، علم لدنی، علم به لوح محو و اثبات، لوح محفوظ، علو...

This article has no abstract.

ممکن است استناد دوباره به دلایلی که در دادرسی گذشته به درستی آنها رسیدگی شده است مفید یا ضروری باشد. این امر به ویژه زمانی اهمیت پیدا می کند که عرضه دوباره دلیل در دادرسی دیگر متعذر یا متعسر شده باشد. در این مقاله در پی کشف تکلیف دادگاه در مواجهه با دلایلی هستیم که در گذشته و در دادرسی دیگر مورد ارزیابی قرار گرفته اند. آیا محکمه رسیدگی کننده مکلف به تبعیت از نظر دادگاه قبلی در ارزیابی ادله می ب...

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

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

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

سیستم بازنویسی ترم (trs) یک مدل محاسباتی است که به دلیل قابلیت های خوبی که دارد در تحلیل زبان های تابعی از آن استفاده می شود. یک سیستم بازنویسی ? رابطه ای روی ترم های منطقی مرتبه اول است، بطوریکه برای هر ?? (l, r) شرایط ، l??? و ??ar(l) ? ??ar(r) برقرار باشد. مجموعه ??ar(t)شامل متغیرهای ظاهر شده در ترم t می باشد. پایان پذیری یک ویژگی ضروری برای زبان های تابعی است. سیستم ? پایان پذیر است اگر دن...