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

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

یکی از بغرنج ‌ترین مسائل حقوق، ایجاد تعادل میان ثبات و گذر زمان است که یکی، نماد امنیت حقوقی و دیگری، نماد هماهنگی با مقتضیات روز و واقعیت‌های اجتماعی است. از سوی دیگر، یکی از مهم‌ترین مسائل حقوق بین ‌الملل معاهدات، یعنی تفسیر تکاملی معاهدات بین ‌‌المللی، با این موضوع مستقیماً مرتبط است؛ تفسیری که از یک‌سو، قصد و اراده طرفین معاهده را مدنظر قرار می‌دهد و از سوی دیگر، واقع‌بینانه، بر آن است که ای...

آیات 53 ـ 52 یوسف به دفاعیه یکی از طرفین درگیر در قضیه کام‌جویی زنانه از یوسف× اشاره دارد. گوینده دفاعیه به «نفی تحقق خیانت در غیب» و «تمایل نفس اماره به سوء» برای توجیه برائت خود از قضیه کام‌جویی تاکید دارد. گوینده این دفاعیه و تناسب میان این دو بخش از دفاعیه گوینده به روشنی مشخص نیست. این مقاله به بازپژوهی و ارزیابی رویکرد تفاسیر امامیه در تعیین گوینده و تناسب این دو بخش دفاعیه است. نتایج پژو...

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

This article has no abstract.

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

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

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

نظریه همگرایی ضعیف اندازه احتمال بطور وسیعی در مطالعه الگوهای احتمال کاربردی به کار برده شده است . تاکنون بیشترین مورد استفاده ضعیف در نظریه صف می باشد، سیستم صف بندی gl/g1 در ترافیک سبک خاصیت مساعد بازگشت به وضعیت بیکاری زیاد رخ می دهد. هدف ما در این رساله کشف این ویژگی برای توسعه قضایای حدی برای فرایندهای زیادی که توسط این سیستم تولید می باشد، این فرایندها عبارتند از: wn: زمان انتظار مشتری nا...