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

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

برخی فیلسوفان برای اثبات ناممکن بودن مدل کردن ذهن با ماشین از قضیۀ گودل و نتایج آن استفاده کرده اند. در فلسفۀ ذهن استدلالات مبتنی بر قضیۀ گودل را استدلالات گودلی می نامند. در این مقاله قصد داریم که سه استدلال گودلی را مورد نقد و بررسی قرار دهیم. این استدلال ها به ترتیب توسط رودی روکر، جان راندولف لوکاس و راجر پنروز ارائه شده اند. تلاش می کنیم تا نشان دهیم: (الف) بخشی از استدلال روکر مقبول و بخش...

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

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

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

This article has no abstract.

غرض از نگارش نوشتار حاضر، ارائه‌ی تحلیلی مستدلّ و مستند از دو طبقه‌بندی مهم منطقی است؛ یکی تقسیم قضیه‌ی مسوّره به حقیقیه و خارجیه و دیگری تقسیم قضیه‌ی حملیّه‌ی موجبه به حقیقیه، خارجیه و ذهنیه. تداخل این دو طبقه‌بندی به دلیل اشتراک در عنوان، در طول تاریخ موجب بروز اشکالات و ابهامات متعددی در فهم علم­شناسی قدما شده است. در پژوهش حاضر، با اشراف بر تطوّر تاریخی هر دو طبقه‌بندی و با اخذ روی­آوردی منطقی ...

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

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