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

چکیده شورای اتحادیه اروپا در اجرای قطعنامه 1267 شورای امنیت سازمان ملل متحد که در 15 اکتبر 1999 در چارچوب مبارزه جهانی علیه تروریسم صادر شده بود، نام یاسین عبدالله کادی (قاضی) را در تاریخ 19 اکتبر 2001 به فهرست افراد تحت تحریم خود اضافه نمود. با شکایت نامبرده چهار رأی به ترتیب در سال های 2005، 2008، 2010، و 2013 از ارکان قضایی اتحادیه اروپا صادر شد که بی تردید مهم ترین رویه قضایی بین المللی را ...

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

کادی یکی از اتباع و ساکنان کشور عربستان سعودی است که برای سهولت در انجام کارهای تجاری خود، موسسه ای بین المللی در سوئد به نام البرکات ثبت نمود. در 19 اکتبر 476 اتحادیه اروپا در فهرست اشخاص / 2001 ، این شخص بر اساس مقرره شماره 2001 مظنون به حمایت مالی از تروریسم قرار گرفت؛ به استناد این مقرره، تمام اموال وی به نفع جامعه اروپایی توقیف شد. در 27 مه 2002 این مقرره بوسیله مقررة شورای اتحادیه ارو...

تعارض میان قطعنامه‏ های شورای امنیت و قواعد حقوق بشر، اخیراً موضوع قضایای بسیاری بوده است. دیوان دادگستری اروپا در رأی اخیر خود در قضیه موسوم به شرکت فولمن و محمودیان علیه شورای اتحادیه اروپا به بررسی این مهم پرداخته است. بررسی این رأی و قضایای مشابه همگی مؤید آنند که برخی از موازین حقوق بشری مطلقند و حتی شورای امنیت هم علی‏رغم وسعت اختیاراتش، در اتخاذ تدابیر محدودکننده خود مبسوط‌الید نیست و بای...

تمرکز مقاله بر بیان اثبات های متعدد قضیه مشهور پروانه در هندسه اقلیدسی است.

قضیه بورسوک-اولام و قضیه نقطه ثابت براوئر هر دو از قضیه های شناخته شده در توپولوژی هستند و هر دو غیر ساختاری و وجودی به شمار می آیند. بیشتر کتابهای درسی این قضیه ها را بدون ذکر رابطه آنها با یکدیگر بیان کرده اند. با وجود این ثابت می شود که قضیه بورسوک-اولام، قضیه نقطه ثابت براوئر را نتیجه می دهد. در این مقاله این نتیجه را با روشی مستقیم ثابت می کنیم.

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

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