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

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

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

در این مقاله وجود دو جواب ضعیف نابدیهی بک مساله ی پی ابکس از نوع کرشهف را با استفاده از قضیه ی مسیرکوهی و اصل اکلند ثابت می کنیم

چکیده ندارد.

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

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

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

یکی از مباحث مهم معرفت‌شناسی، بحث استقراء، انشاء حکم کلی از مشاهده مصادیق جزئی و ارائه شواهد و قرائن خوب برای تأیید آن است. مسأله این است که برای تأیید یک حکم کلی به چه تعداد و با چه کیفیتی از شواهد و قرائن نیاز است؟ همه ما قضیهG1 «هر حکم کلی،‌ بوسیله مصادیقش تأیید می‌شود» را قبول داریم. ولی دو پارادوکس تأیید، با عنوان پارادوکس کلاغ‌ها و سآبی نشان می‌دهند که قبول این قضیه در برخی موارد، ما را د...

تفکیک «تصور» و «تصدیق» از تمایزهای اصلی است که متقدمین در منطق و متأخرین در معرفت­شناسی از آن بهره برده­اند، هر دو گروه مقسم این دو را «علم حصولی» می‌دانند، این تقسیم در «معرفت­شناسی نوصدرایی» برای اقسام معرفت به کار رفته است، اما نمی­توان «تصدیق» را در اصطلاح معرفت­شناسی بنا بر تعریف فلسفۀ اسلامی «علم­حصولی» دانست. این تحقیق با مرور ادبیات فیلسوفان مسلمان به ویژه نوصدراییان، مدعی است که تفکیک ...