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

کمتر از یک قرن است ( از سال 1926) که نظامهایی منطقی برای بررسی مفاهیم هنجاری و استنتاجات مربوط به آنها ، بوجود آمده است. اولین نظامی که مورد توجه منطقیون قرار گرفت نظام فون رایت ( 1951) بود. برخی اشکالات موجود در نظام فون رایت ، منطقیون دیگررا بر آن داشت تا تغییراتی در نظام تکلیفی او ایجاد کنند حاصل این تغییرات ، نظام استاندارد منطق تکلیف است. اما این نظامها هم با پارادوکسهایی مواجه شدند و همین...

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

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

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

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

شرایط اضطراری و قوۀ قاهره، اصطلاحاتی هستند که اغلب حقوقدانان درباره آنها سخن گفته و اثرشان را بر قرارداد و تعهدات طرفین تعیین کرده‌اند. در این میان، اغلب فقها و حقوقدانان ایران، با صحبت از خیار تعذر تسلیم، در باب عدم اجرای موقتی قرارداد، از حالتی که تأخیر در اجرا، موجب ضرر متعهدٌ‌له خواهد بود، سخن به میان نیاورده­اند و تعیین تکلیف نکرده‌اند. در حقوق خارجی نیز برخی از قانونگذاران، مانندِ: قانونگذا...

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

در این پایان نامه یکی از توسیع های منطق تکلیف به نام منطق ورودی/خروجی مورد بررسی قرار گرفته است. منطق تکلیف یکی از شاخه های منطق موجهات است که به بررسی گزاره های در باره وظیفه، مجوز و ممنوعیت می پردازد و در سال 1951 توسط فون رایت معرفی گردید. اما از همان ابتدا پارادوکسهای زیادی برای آن به وجود آمد. یکی از این توسیع منطق ورودی/خروجی است که در سال 2000 ارائه گردید و تا سال 2003 با ارائه دو مقاله ...