کورت گودل در فوریه ۱۹۷۰ با دینا اسکات درباره استدلال هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبه دوم در نظام s5 است، با این همانی و یک اصل انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجه گودل، این که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست می آید، اما سوبل نشا...

.

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

«خدای­نامه» یکی از آثار برجستۀ ادبیات ایرانی به زبان پهلوی در موضوع تاریخ اساطیری- داستانی ایران باستان است که متأسّفانه هیچ نوشته­ای از آن به زبان اصلی باقی نمانده­است. خدای­نامه­ را می توان یک نوع ادبی پنداشت که روایت­های گوناگونی(دهقانی، موبدی و پهلوانی) از آن موجود بوده است. عبدالله بن مقفّع این کتاب را در قرن دوم ه.ق با عنوان سیرالملوک به عربی ترجمه کرد که پاره­های پراکنده­ای ازآن در برخی مت...

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

مزرعه خورشیدی قسمتی از نیروگاه خورشیدی است که وظیفه مبادله حرارت از خورشید به یک سیال را بر عهده دارد. تناسب اندازه مزرعه خورشیدی با دیگر تجهیزات نیروگاه یکی از عوامل مهم در قیمت تمام شده ی برق تولیدی می باشد. در این مقاله اندازه بهینه اقتصادی مزرعه خورشیدی تلفیق شده با یک سیکل ترکیبی تعیین گردیده است. بعلاوه الگوریتمی برای شبیه سازی عملکرد کلکتور خورشیدی سهموی خطی ارائه شده است. چهار مزرعه خور...

جردن هوارد سوبل در مقاله ۱۹۸۷، و سپس در کتاب ۲۰۰۴ خود، نشان داد که استدلال هستی شناسیک جدیدی که گودل در سال ۱۹۷۰ پیشنهاد کرد با شکست وجهی مواجه است و درواقع صحیح نیست. سی. انتونی اندرسون در سال ۱۹۹۰ اصلاحاتی پیشنهاد کرد و در آن راه را بر اثبات قضایای سوبل بست و نشان داد که می توان روایتی از استدلال گودل داشت که با شکست وجهی مواجه نباشد. اما گراهام آپی با نقیضه ای که در سال ۱۹۹۶، و سپس ۲۰۰۰، مطر...

موضوع مقالة حاضر، بررسیچرایی گاوسر بودن گرز فریدون است. ازآنجاکه این سلاح در روایات حماسی ما نقش پررنگیدارد و پس از فریدون در دست بیشتر پهلوانان دیده می شود، پاسخ برای یافتن منشأ اینسلاح گاوسار مهمّ می نماید. برای رسیدن به این هدف، ابتدا توضیح مختصری دربارة گرزو انواع آن به عنوان ابزاری جنگی در متون دوره های مختلف فرهنگ ایرانی و نیزنمونه هایی از دیگر فرهنگ های هندواروپایی داده شده است. سپس شواهد...

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