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

در این پایان نامه نیم گروه ها با یک عمل گر یکتای c به نام بستار راست مورد بررسی قرار گرفته اند.‎‏ نیم گروه های بستا‏ر‎‎ ‏را می توان به عنوان تعمیم هایی از نیم گروه های وارون پذیر (نه لزوما منظم) در نظر گرفت. هم چنین در این پایان نامه ساختارهای مختلفی از نظریه نیم گروه های وارون پذیر به بعضی رده های مهم نیم گروه های بستار مانند نیم گروه های بستار وارون پذیر‏ و نیم گروه های بستار پیچیده‏ گسترش یا...

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

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

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

روش طبقه بندی احادیث متأثر از نظام طبقه بندی در هر دوره ای است که مؤلفان کتب با در نظر گرفتن ‏روش های مرسوم در عصر خویش به طبقه بندی احادیث می پردازند. کلینی جزء محدثانی است که در ‏طبقه بندی احادیث کتاب شریف «کافی» از روش طبقه بندی عصر خود یعنی طبقه بندی مفهومی آموزه های ‏حدیثی بهره گرفته است. اصل انتخاب و گزینش مفاهیم کلیدی کافی نیز مبتنی بر ضرورت ها و مسائل مطرح ‏در زمان تألیف آن است. مهمترین...

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

کتاب گرانقدر "الصافی فی شرح اصول الکافی" نوشته مرحوم ملا خلیل غازی قزوینی - متولد سال 1001 و متوفای سال 1089 هجری - یکی از بهترین شرحهایی است که به زبان فارسی بر اصول کافی نوشته شده است . روش مرحوم قزوینی در شرح به این صورت است که ابتداء متن حدیث را تحت عنوان"اصل" آورده و سپس تجزیه و ترکیب لغات و توضیح بعضی از کلمات روایت را که لازم است به عنوان "شرح" ذکر نموده و بعد از آن با عنوان "یعنی" روایت...

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

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