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

در این رساله به بررسی منطقهای توجیه و ارتباط آنها با منطقهای موجهات می پردازیم. نتایج این رساله به سه گروه قابل تقسیم هستند. ارایه منطقهای توجیه جدید، از جمله: ‎ jb (صورت صریح منطق موجه براوری ‎ kb)، ‎ jgl (صورت صریح منطق اثبات پذیری گودل لوب ‎ gl)‎ و jld (صورتهای صریح منطقهای دانشی توزیعی). بررسی ارتباط منطقهای توجیه ارایه شده با منطقهای موجهات متناظر آنها بوسیله ارایه قضیه تحقق، از جمله: اثبا...

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

سابقه و هدف: مدل سازی سینتیک خشک شدن با استفاده از روشهای جدید مدل سازی از جمله منطق فازی و شبکه های عصبی مصنوعی می تواند به بهینه سازی فرایند و کاهش انرژی مصرفی کمک کند. در این پژوهش علاوه بر مدل سازی رگرسیونی، در رویکردی جدید اصول منطق فازی و شبکه های عصبی مصنوعی به صورت ترکیبی و مکمل هم به کار برده شده و مدلی فازی – عصبی ارائه ودر نهایت توپولوژی بهینه شبکه های عصبی مصنوعی برای خشک کردن پیاز...

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

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

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

- بررسی وجود محمولی در منطق آزاد و نتایج منطقی و فلسفی آن. - بررسی مبانی منطق آزاد در باب پذیرش محمول وجود؛ - بررسی نظریات جدید درباره وجود و محمول واقع شدن آن؛ - بررسی نظریات فلاسفه اسلامی و غربی در باب وجود محمولی.