از زمان ابن سینا تاکنون دلایل گوناگونی بر اثبات وجود ذهنی ارائه شده است که مهم ترین آن ها ده دلیل است. این مقاله می کوشد تا، ضمن بررسی و نقد این براهین ده گانه، نشان دهد که: 1) اثبات وجود ذهنی برای ادراکات حصولی صرفاً با یاری مقدّمه ای تعمیم دهنده ممکن است. 2) دو برهانِ حکم بر معدومات و قضایا‏ی حقیقیه صرفاً در صورت ارجاع به برهانِ تصوّر معدومات نتیجه بخش اند. 3) هفت برهان از براهین وجود ذهنی از قبیل ...

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

در این پژوهش که با روش مطالعۀ کیفی و نگرشی تحلیلی، تدوین شده است پس از ذکر اجمالیِ مقدماتی در مصلحت اندیشی، با تحلیل بارزترین نمونۀ مصلحت اندیشی در سورۀ یوسف (علیه السلام) یعنی ماجرای جاسازی ظرف مخصوص در بار بنیامین و تطبیق ضوابط اصولی بر آن، ضمن پاسخ به شبهات پیرامونی، به یافته های جدیدی رسیده است؛ اولاً متزاحم اهمّ در این ماجرا -که بر بیشتر مفسّران مشتبه شده - مشخص شده است . ثانیاَ با تطبیق اجزای ...

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

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

 در منطق موجهات جدید، رابطۀ جهت و سور را با فرمول‌هایی نشان می‌دهند که به افتخار ژان بوریدان و خانم روت بارکن مارکوس ـ دو منطق‌دان از سدۀ چهاردهم و بیستم میلادی ـ فرمول‌های بوریدان و بارکن نامیده شده‌اند. ضیاء موحد، لطف‌الله نبوی و مهدی عظیمی پیشینۀ این فرمول‌ها را به ابن‌سینا می‌رسانند. در این مقاله نشان می‌دهیم که ابن‌سینا فقط تمایز «جهت سور» و «جهت حمل» را بیان کرده است و اشاره‌های او در دو ...

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

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

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