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

این نوشتار پژوهشی است دربارۀ زمینه های اجتماعی قیام مردم اصفهان در جریان حملۀ امیرتیمور به قلمرو آل مظفر در سال 789 هـ ق و بازخوانی متون وقایع نگار دربارۀ این رویداد. از آنجایی که مورخان تیموری به عنوان عوامل مشروعیت بخش حکومت تنها بر جنبۀ ویژه ای از این رویداد تأکید کرده اند، جنبه های دیگر رویداد مانند نقش گروه های اجتماعی، اسباب و زمینه های اجتماعی شکل گیری رویداد، سرنوشت قیام و غیره در گزارش...

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

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

رساله حاضر با هدف بازسازی و بررسی منطق شرطی لزومی سینوی ذیل نظام های منطق جدید تدوین و ارائه شده است. دنبال کردن چنین هدفی نیازمند دو فعالیت مستقل و جداگانه است: 1) مطالعه شرطی لزومی در چارچوب نظام منطق سینوی، 2) بازسازی نتایج این مطالعات در نظام های جدید منطق بر این اساس در ابتدا بررسی و داوری اولیه در باب مباحث شرطی لزومی سینوی در محدوده بنیادهای مورد قبول منطق دانان سینوی و مبتنی بر کاربر...

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

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

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

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

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