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

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

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

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

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

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

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