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

در این پایان نامه که بر مبنای مقاله ذیل نوشته می شود، مفهومی از تکامل و یک نوع کامل سازی در غیاب اصل انتخاب شمارا ارائه می شود. این کار ساخت اعداد حقیقی و کامل سازی یک فضای متری را در بر می گیرد. مجموعه اعداد حقیقی به عنوان یک میدان هیتینگ ارشمیدسی کامل که یک شئ پایانی در رسته میدان های هیتینگ ارشمیدسی می باشد، طبقه بندی می شود ‎f‎. ‎richman‎, ‎real number and other completions‎, ‎math‎. ‎lo...

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

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

داستان علمی - تخیلی درباره برخی مباحث در منطق و مبانی ریاضی.

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

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

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