در گفتمان فلسفی نوصدرایی، در سه زمینة صوری، روشی، و محتوایی، دگرگونی روی داده است. در فلسفۀ ملا هادی سبزواری نیز در این زمینه‌ها دگرگونی و تجدّدی روی داده که بر این اساس، او را آغازگر جنبش فلسفی نوصدرایی معرفی می‌کنیم. سیر اندیشة او در مسیر حکمت صدرایی بوده و در مواردی با ملاصدرا اختلاف نظر داشته؛ اما ابداعاتی نیز در اندیشۀ او وجود دارد. در ساختار صوری و روشی، استفادۀ او از منطق و سبک نگارش شرح ...

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

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

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

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

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

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