چکیده ندارد.

در فایل اصل مقاله موجود است

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

مقاله حاضر در زمینۀ اخلاق هنجاری است که تلاش دارد نظریه ای نو دربارۀ معیار درستی و نادرستی اعمال ارائه دهد. تقریرهای سنّتی نظریه های نتیجه گرایی (که معیار درستی عمل را خوبی نتایج آن می داند) و وظیفه گرایی (که معیار درستی عمل را ذات عمل بیان می کند، نه نتیجه) هر دو ناقص بوده و دارای اشکالاتی هستند. فیلسوفان اخلاق معاصر، با ادغام دو نظریۀ نتیجه گرایی و وظیفه گرایی سعی کرده اند نظریه های تلفیقی جدی...

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

در شعر حافظ یکی از برجسته ترین رابطه هایی که دو جمله یا دو مصراعِ یک بیت را از نظر معنایی به هم پیوند می-دهد، رابطۀ تعلیلی ـ استنتاجی است. این نوع رابطه، الگوی ساخت بسیاری از ابیاتِ شعر اوست. به طوری که از نظر ساخت جمله های بیت، مشخصۀ سبکِ شخصیِ او محسوب می شود. در این الگوی ساختی که گاه از دو جملۀ مستقل تشکیل شده و گاهی از یک جملۀ مرکّب، یکی از جملات از نظر معنایی برای جملۀ دیگر، جملۀ نتیجه، حکم علّ...

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

چکیده: این پایان نامه اولین مطالعه ی نظریه اثباتی و نظریه مدلی از ترکیب منطق های با زمان محدود و منطق های ساختی است. ابتدا به منظور فراهم کردن یک پایه نظری مفید برای استدلال های زمانی که دارای خاصیت ساختی و فراسازگارند، دو منطق ib[l] و pb[l] معرفی می شود. این منطق ها دو مدل محدود و ساختی از ltl و توسیع هایی از منطق شهودی یا منطق فراسازگار نلسون هستند که تحت عنوان حساب های رشته ای گنتسنی b[l] و...