کورت گودل در فوریه ی ???? با دینا اسکات درباره ی دلیل هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتیْ تا حدی متفاوت از آن را در دانشگاه پرینستُن ارائه کرد. نظام منطقی دلیل، منطق موجهات مرتبه ی دوم در نظام s5 است، با این همانی و یک اصلِ انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجه ی گودل، این که ضرورتا موجودی خدای-گونه وجود دارد( )، از مقدمات به دست می آید. سوبل اما نشان داد که ع...

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

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

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

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

This article has no abstract.

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

در این پایان نامه منطق های گودل مرتبه اول که خانواده ای از منطق های متناهی یا نامتناهی ارزشی هستند، مطالعه می شود. مجموعه ی ارزش های صدق، v، زیر مجموعه ی بسته ای از [0,1] است که شامل 0 و 1 می باشد. gv منطق حاصل از مجموعه ی v، مجموعه ی آن دسته از فرمول ها است که تحت هر تعبیری بتوی v ارزش 1 پیدا کنند. انتخاب مجموعه های متفاوت v موجب پدید آمدن منطق های متفاوت gv می شود. ثابت خواهیم کرد که gv بندا...

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