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

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

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

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

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