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

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

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

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

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

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