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

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

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

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

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

در فصل اول این پایان نامه به تعریف انواع جبرهای استلزامی و فیلترهای آنها پرداخته و سپس قضایای نمایش را در مورد آنها بررسی می کنیم. در فصل دوم ‏‎s‎‏ و ‏‎r‎‏ و ‏‎-ql‎‏ استلزام را تعریف کرده و پس از تعریف انواع استلزام قضایایی را در مورد آنها می آوریم . در فصل سوم ابتدا لیستی از عملگرهای استلزام شناخته شده را ارائه و سپس نوع جبر و بعد از آن خواص ذکر شده در فصل اول و دوم را در مورد آنها بررسی می کن...

در این پایان نامه ابتدا به بررسی گرامر آزاد از متن، اتوماتای پشته ای و ارتباط بین این دو می پردازیم. سپس مفهوم گرامر آزاد از متن را به گرامر آزاد از متن فازی و مفهوم اتوماتای پشته ای را به اتوماتای پشته ای فازی گسترش می دهیم. همچنین روش هایی مناسب برای به دست آوردن زبان آن ها ارائه می دهیم. پس از آن به بررسی ارتباط بین گرامر آزاد از متن فازی و اتوماتای پشته ای فازی می پردازیم. به ویژه نشان می د...

منطق تک‌نرم UL یک منطق فازی، زیرساختاری و نیمه‌ربطی است. سیستم گنتزن UL از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست می‌آید. UL فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تک‌نرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ULΔ را معرفی می‌کنیم. ULΔ با افزودن اپراتور وجهی Δ به UL بدست می‌آید. ULΔ که بسطی از منطق کلاسیک است، یک منطق موجهات نرما...

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