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

چکیده ندارد.

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

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

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

چکیده ندارد.

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

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

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

در ابتدا به طور مختصر ارتباط بین مسائل تغییراتی و معادلات دیفرانسیل را بیان می کنیم. همان طور که می دانیم هر معادله دیفرانسیل را می توان به صورت ‎egin{equation} label{yek}‎ ‎a(u)= 0‎ ‎end{equation}‎ نوشت، که در آن ‎$ a(u) $‎ یک عملگر دیفرانسیل معمولی یا جزئی خطی یا غیرخطی و ‎$ u $‎ مجهول می باشد. برای حل این معادلات و به خصوص معادلات دیفرانسیل جزیی غیرخطی راه حل مشخصی وجود ندارد.حساب تغییر...