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

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

دیوان بین‌المللی دادگستری در یازدهم مهر ۱۳۹۷ (3 اکتبر ۲۰۱۸) به درخواست ایران برای صدور دستور موقت در قضیۀ نقض‌های ادعایی عهدنامۀ مودت به اتفاق آرا پاسخ مثبت داد و آمریکا را ملزم کرد تا تمهیدات لازم را در مورد صادرات آزاد به ایران در خصوص نیازهای انسان‌دوستانه از جمله دارو و لوازم پزشکی و بهداشتی، محصولات کشاورزی و غذایی و قطعات یدکی و تجهیزات ضروری و خدمات برای ایمنی هواپیمایی کشوری اتخاذ کند و...

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

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

مسئلة مورد بحث در نوشتار حاضر این است که علم و آگاهی آدمی چگونه به امور معدوم و ممتنع و ناموجود در خارج تعلق می‌گیرد؟ باور به یک شیء ناموجود چگونه ممکن است؟ این معضل معرفت‌شناختی برای متفکران اسلامی و فیلسوفان غربی با اهداف و انگیزه‌های مختلف مطرح بوده است و هر کدام با تکیه بر مشرب فلسفی و فکری و زیرساخت تفکر خویش راه حل برون رفت از مشکل را ارائه داده‌اند. فرضیة این نوشتار آن است که با قطع نظر ...

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

مادۀ 27 اساسنامۀ رم مصونیت سران دولت‌ها را رافع مسئولیت کیفری آنها در خصوص جنایات تحت صلاحیت دیوان نمی‌داند. این امر در خصوص دولت‌های عضو اساسنامه کاملاً صادق است؛ چه آنکه آنان با پذیرش عضویت در دیوان تلویحاً از مصونیت سران دولت خود در صورت ارتکاب جنایات تحت صلاحیت دیوان اعراض کرده‌اند. مشکل جایی است که براساس ارجاع شورای امنیت وضعیت یک کشور غیرعضو به دیوان ارجاع شود. در این صورت برخی از اصول حقو...

دیوان بین‌المللی دادگستری، در پی طرح دعوای کرواسی علیه صربستان و رویارویی با دعوای متقابل، پس از نزدیک به شانزده سال رسیدگی، در نهایت در سال 2015 مبادرت به صدور رأی ترافعی راجع به جنایت نسل‌زدایی کرد. دیوان بین‌المللی دادگستری که در صدور این رأی، بسیار تحت تأثیر دیوان بین‌المللی کیفری برای یوگسلاوی سابق بود، با عدم احراز عنصر معنوی، حکم به عدم تحقق جنایت نسل‌زدایی داده و تلویحاً آستانۀ بسیار بال...

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