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

از نظر منطقدانان مسلمان، سور در منطق حملی کمیت افراد موضوع را نشان می دهد؛ لذا بر سر موضوع می آید. در این صورت اگر بر سر محمول ظاهر شود نوعی انحراف در گزاره ایجاد می­شود؛ چنین گزاره ای «قضیه منحرفه» نامیده می شود. در منطق جدید، در مقابل، ویژگی اصلی یک محمول کلی و غیر اشباع بودن آن است؛ و از آنجایی که محمول دارای متغیر آزاد(= شناسه) است می تواند مسور گردد و گزاره به دست آمده کاملا خوش ساخت است. ...

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

سُوَر عزائم به سوره‌های «سجده، فصلت، نجم و علق» گفته می‌شود. اشتراک ظاهری و مهم آنها وجود آیات دارای سجده واجب است. این مقاله حاصل پژوهشی تفسیری با هدف ‌یافتن علّت سجده واجب در مفاد آیات سجده‌دار است. بدین‌منظور اطلاعات به دست آمده از تفاسیر و سایر منابع مرتبط، پس از معناشناسی سجده در قرآن، تحلیل توصیفی محتوایی شده‌اند. سجده اصلی‌ترین و مهم‌ترین اشتراک سور عزائم، به‌نحو خاصی در این چهار سوره مطرح ...

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

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

تفسیر مقاتل بن سلیمان، یکی از اولین تفاسیر ترتیبی و مختصر نوشته شده در قرن دوم هجری و آمیزه ای از تفسیر لغوی، نقلی، عقلی و اجتهادی است. جنبة لغوی این تفسیر از اهمیت بیشتری برخوردار است. دربارة مذهب مقاتل اختلاف نظر وجود دارد و شخصیت رجالی او توثیق نشده است. ولی علمای اهل سنت برای تفسیر او اهمیت فراوانی قائل شده اند. برخی علمای شیعه نیز از آن نقل کرده اند. برجستگی های این تفسیر عبارتند از: اختصا...

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

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

قرآن مجید کتاب جاویدان حضرت محمد(ص)است که از جهات مختلف معجزه است.در دنیا امروز که دنیا علم و فناوری است و بشر قله ها متعدد را فتح کرده وقتی نگاه می کنیم می-بینیم که همان طور که قرآن چهارده قرن پیش کیفیت بوجود آمدن این کیهان و جهان کنونی را بیان نموده بشر امروزی نیز توانسته با کمک علم و با دقت در جهان هستی نظریه ای را ارائه دهد مثلا اینکه خلقت جهان از ماده فشرده گازی بوده که قبلاً به هم پیوسته ب...