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

در جبرهای c* مفهومی به نام -c*محدب و -c*فرین وجود دارد که تعریف -c* محدب را در قسمت تعاریف اصلی خواهیم آورد و تعریف نقاط c^*- فرین را از مقاله ی لوئبل و پالسن (1981) می اوریم. این نقاط برای زیر مجموعه های k از جبر c*، r=m_n?m_n (c) ،همان نقاط فرین در مقاله ی لوئبل و پالسن(1981)هستند که عکس آن طبق مقاله های هاپنواسر و مور (1981)و فارنیک و مورنز (1993)بر قرار نمی باشد. طبق مقاله ی لوئبل و پالسن(1...

در این پایان نامه به بررسی بود و نبود برخی از ماتریس های وزنی دورانی می پردازیم. برای این کار، ابتدا به تعریف ماتریس های وزنی و ماترس های وزنی دورانی می پردازیم که از مفهوم حلقه ی گروهی، برای سهولت در مطالعه ی این ماتریس ها استفاده می کنیم. به کمک شبه مجموعه های تفاضلی ساختاری را ارائه می دهیم که اگر ‎ q ‎ توانی از یک عدد اول باشد، بتوان ‎ cw (q^2+q+1,q^2) را ساخت. سپس نشان می دهیم برای n‎هایی ...

?نشان می دهیم اگر ? g = ab?گروه متناهی باشد که در آن ? a, b?زیرگروههای آبلی اند،? ?آنگاه بنا به قضیه ی ایتو زیرگروه مشتق یعن ?? g?آبلی است.? ?همچنین در حالت که زیرگروههای ? a?یا ? b?دوری باشند، می توان خواص بیشتری را مورد بررسی قرار داد. نشان? ?می دهیم، به عنوان مثال (? g? /(g? ? a?در این حالت با زیرگروهی از ? b?یکریخت است.?

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

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

تفکیک «تصور» و «تصدیق» از تمایزهای اصلی است که متقدمین در منطق و متأخرین در معرفت­شناسی از آن بهره برده­اند، هر دو گروه مقسم این دو را «علم حصولی» می دانند، این تقسیم در «معرفت­شناسی نوصدرایی» برای اقسام معرفت به کار رفته است، اما نمی­توان «تصدیق» را در اصطلاح معرفت­شناسی بنا بر تعریف فلسفۀ اسلامی «علم­حصولی» دانست. این تحقیق با مرور ادبیات فیلسوفان مسلمان به ویژه نوصدراییان، مدعی است که تفکیک ...

دو اصل مهمی که تشکیل‌دهندۀ پارادوکس تأیید هستند، عبارتند از: 1. اصل یا معیار نیکو؛ 2. اصل یا شرط هم‌ارزی؛ راه‌حل‌های مطرح‌شده برای حل پارادوکس تأیید نیز بر همین مبنا در دو دسته کلی قابل دسته‌بندی هستند: نخست‌، راه‌حل‌هایی که بر رد یا اصلاح معیار نیکو مبتنی‌اند؛ دوم،‌ راه‌حل‌هایی که بر رد یا اصلاح شرط هم‌ارزی مبتنی هستند. در مقاله حاضر، با توصیف اجمالی پارادوکس تأیید، به چهار راه حل پرداخته‌ایم....

ترکیب تابع ارزشی p  با ماتریس [1011] که از آن در منطق جدید به استلزام مادّی تعبیر می شود و کذب مقدّم یا صدق تالی شرط لازم و کافی صدق آن به شمار می آید، معادل ترکیب های تابع ارزشی  و  در منطق جدید است که دارای همان ماتریس می باشد. این ترکیب اساسی ترین مفهوم منطق جدید محسوب می شود و در استدلال های پیچیدۀ ریاضی نتایج رضایت بخشی داده است. آگاهی یا عدم آگاهی منطق دانان قدیم از شروط صدق این ترکیب سئوا...