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

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

چکیده ندارد.

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

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

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

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

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

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