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

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

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

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

چکیده ندارد.

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

در این پایان نامه که براساس دو مقاله از رومن ونسل نوشته می شود، ابتدا نشان داده می شود که اگر m,<,+,...)‎ ) یک بسط ت-کمینه ضعیف غیرارزیابی از یک گروه مرتب ‎(m,<,+)‎ باشد، آنگاه بسط آن با گردایه ای از محمولات تک موضعی غیرارزیابی همچنان غیرارزیابی باقی می ماند. سپس با به کار بردن نتیجه ای از دایاز درباره استقلال جبری دنباله های معینی از اعداد، نشان داده می شود که اگرk یک میدان از درجه تعالی مت...