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

حاشیة المقالة العاشرة من أصول الهندسة والحساب عنوان رساله‌ای از محمدکاظم بن رضا طبری (13ق) است که بنا به گفتۀ مؤلف در ابتدای رساله، در واقع تعلیقه‌ای بر شرح محمدباقر یزدی (زنده در 1047ق) بر مقالۀ دهم اصول اقلیدس است. محمدباقر یزدی در شرح خود بر مقالۀ دهم اصول اقلیدس با عنوان شرح المقالة العاشرة من أصول أقلیدس از 109 قضیۀ مقالۀ دهم، 67 قضیۀ آن را شرح می‌دهد و ضمن توضیح بسیاری از برهان‌های اقلیدس...

در این پایان نامه خاصیت جایگشت پذیری و بازنویسی پذیری گروه ها را مورد بررسی قرار می دهیم. ثابت می کنیم که: 1) هر گروه آبلی –بواسطه –دوری، دارای خاصیت 3-بازنویسی پذیری است اگروفقط اگر یک زیر گروه آبلی با شاخص 2 داشته باشد یا مرتبه زیر گروه مشتق آن کمتر از 6 باشد. 2) هر 2-گروه پوچ توان از رده 2، دارای خاصیت 3-بازنویسی پذیری است اگروفقط اگر یک زیر گروه آبلی با شاخص 2 داشته باشد یا مرتبه زیر گرو...

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

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

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

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

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

This article has no abstract.

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