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

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

سیستم ارتفاعی دوگانه در سرشکنی سطح مبنای آمریکای شمالی (NAD-83) به کار برده شده که کمتر افرادی در سطح دنیا از این موضوع باخبر هستند، و چنانچه درباره­ ی این مطلب از قبل چیزی شنیده باشند. کاربرد این موضوع در اینجا در واقع یک نوع یادآوری به حساب می­ آید زیرا که مسائل ژئودتیکی بسیاری وجود دارند که راه دسترسی به آنها از این قضیه آسانتر می­ باشد. این مقاله سعی دارد که بیان نماید این موضوع چیست، و چرا...

برای مطالعه ی‎‎ نقاط برشی ، فضاهای توپولوژیک همبند با حداقل دو نقطه در نظرگرفته می شوند. یک نقطه ی برشی از فضای توپولوژیک x‎ نقطه ای مثل ‎x‎ است به طوری که ‎x-x‎ ناهمبند باشد. این سوال که آیا نقاط غیر برشی وجود دارند، درمباحث نقاط برشی اهمیت ویژه ای دارد. اگر یک فضا حداقل دو نقطه غیربرشی داشته باشد گوئیم قضیه وجودی نقطه ی غیر برشی برای فضا برقراراست. این قضیه برای هر فضای همبند بر قرار نیست. به...

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

در این پایان نامه ‏به بررسی‏ برخی قضایای نقطه ثابت می پردازیم. برای این منظور ابتدا قضیه نقطه ثابت براور را روی r بیان نموده و آن را به فضای ?r تعمیم می دهیم. سپس قضیه نقطه ثابت کاکوتانی را روی یک تناظر اثبات می کنیم. در ادامه قضایای نقطه ثابت نگاشت انقباضی و تارسکی را اثبات می کنیم. در پایان به مطالعه ی قضایای نقطه ثابت هان و کاکوتانی بر روی شارش ها خواهیم پرداخت. همچنین قضیه نقطه ثابت دی که خ...

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

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

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

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