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

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

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

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

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

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

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