قضیه ی تعریف ناپذیری صدق در سال 1936 تارسکی توسط آلفرد تارسکی مطرح و اثبات شد. این قضیه به طور غیر رسمی می گوید، صدق حساب در حساب قابل تعریف نیست. تارسکی در اثبات خود از لم قطری (یا نقطه ثابت) استفاده کرده است. در این پایان نامه سعی بر آن است که قضیه ی تعریف ناپذیر صدق را برای مدل های نااستاندارد حساب پئانو تعمیم دهیم و اثباتی نظریه مدلی برای آن بیاوریم. این اثبات را آبراهام رابینسون درسال 196...

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

براساس اصل (29) قانون اساسی جمهوری اسلامی ایران، تأمین اجتماعی از وظایف دولت بوده و همه اقشار جامعه برای دریافت خدمات تأمین اجتماعی از حقوق مساوی برخوردارند. برآورده شدن این نیاز در گذر تاریخ دچار دگرگونی های زیادی شده و هر تمدنی نگاه متفاوتی به آن داشته است. در حال حاضر ارائه خدمات درمانی یکی از تعهدات اساسی نظام تأمین اجتماعی کشورهاست.          در این مقاله درصددیم تا به تبیین نظام خدمات درما...

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

ترجمه ادبی از دشوارترین انواع ترجمه هاست که بسیاری آن را ناممکن دانسته اند و گاه با همین پیشینه فکری از انجام آن منصرف شده اند. در این مجال کوشیده ایم در گام نخست مهمترین انواع و دسته بندیهای ترجمه را واکاوی کنیم و از بین آنها بهترین روشی که ما را به اهداف ترجمه ادبی نزدیک می سازد برگزینیم. در لابه لای این کنکاش به طور همزمان در مورد خاستگاه نظریه «ترجمه ناپذیر بودن ادبیات» گفتگو می کنیم و به ا...

در این پایان نامه تاثیر سه نوع مختلف زائده تولید گردابه (vg)، شامل: 1- چهار وجهی گوه ای شکل؛ 2- مستطیلی بلوکی شکل؛ 3- مثلثی باله ای شکل ، روی یک مبدل حرارتی پره لوله ای و با استفاده از تحلیل اگزرژی و به صورت آزمایشگاهی بررسی شده است. در این تحقیق برای به جریان در آوردن هوا در محدوده ی دبی بینkg/s 054/0 تا kg/s 069/0 از روی مبدل حرارت پره لوله ای ، از یک سیستم تولید جریان هوا استفاده شده است. آب...

سقراط ادعا می کند که فضیلت ها یکی هستند و این یگانگی در نظرش نشان آن است که فضیلت معرفت است. افلاطون نیز تحت تأثیر استاد خود به یگانگی فضیلت باور داشت، اما منظور او از اینکه «فضیلت یکی است» در نگاه نخست خالی از ابهام نیست. ایــن مـوضوع در گفتــگوهای لاخــس و پــروتاگــوراس مطــرح شده است. فضیلت هایی که در این دو گفتگو مطرح شده عبارت اند: از: دینداری، شجاعت، اعتدال، عدالت و دانایی. وی آشکارا بر ...

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

در این پژوهش، صمن بیان اهمیت اختصار‏سازی و ویژگی‏های آن در زبان فارسی، با ذکر نمونه هایی از خط میخی فارسی باستان و خط پهلوی، قدمت این فرایند واژه سازی را در زبان‏های ایرانی نشان داده‏ایم و با معرفی دو اصل اقتصاد و کم کوشی و رابطۀ آنها با زبان، و نیز بیان دیدگاه زیف (1949) و مارتینه (1962)، این فرایند را توجیه‏پذیر دانسته‏ایم. اصل اقتصاد نقش بسیار مهم و تعدیل کننده ای در زبان دارد؛ به طوری که هر...