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

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

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

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

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

قضایا و قواعد منطق موجهات، در جهان‌های ممکن، معتبرند اما قضایای منطق ربط، در جهان‌های منطقی، و قواعد آن، در وضعیت‌ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات‌های صدق و کذبِ ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت‌ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات‌ه...

نیاز آبیاری گیاه برابر با نیاز آبی منهای باران مؤثر می باشد. در برنامه ی netwat نیاز آبی و نیاز آبیاری گیاهان زراعی مهم هر منطقه در سطح کشور گزارش شده است، اما در این برنامه داده های میانگین مورد استفاده قرار گرفته و لذا مقادیر نیاز آبی و نیاز آبیاری محاسبه شده در سطح احتمالاتی 50 درصد می باشند، در حالی که در بعضی شرایط لازم است تا نیاز آبیاری گیاه در سطوح گوناگون احتمال تعیین شود. به همین علت،...

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

در پژوهش حاضر یک سامانه همادی با استفاده از مدل های میان مقیاسmm5 و wrf با پیکربندی های گوناگون و تغییر در فیزیک آنها ساخته شد. سپس برون داد هر عضو (به صورت جداگانه) درسامانه همادی برای کمیت بارش با استفاده از یک شبکه عصبی مصنوعی مورد پس پردازش (post processing) قرار گرفت و در نهایت با استفاده از روش بافت نگار رتبه ای پیش بینی های احتمالاتی بارش برای آستانه های گوناگون بارش برای منطقه شمال ایرا...

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