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

بخشهای گوناگون قرآن کریم در فاصله های زمانی نامرتّب و بر طبق مصلحتها و گاه بعد از پرسشها یا رخ دادن برخی حادثه ها، بر پیامبر (ص) نازل می گردید. یعنی در دوران رسالت، جبرئیل پیوسته بر پیامبر(ص) نازل نشده و «اتّصال وحی» در حیات تاریخی صدر اسلام، واقعیت نداشته است. با این همه، بیشتر منابع تاریخی و تفسیری، از وقوع حادثة مهمّی پس از نزول نخستین آیات و حیانی، تحت عنوان «انقطاع وحی» یاد کرده و عوامل و شؤو...

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