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

شهاب‌الدین سهروردی (587-549 ه.ق) در کتاب مهم خود، حکمه‌الاشراق، ادعا می‌کند که نظریه قیاسات ارسطو را با کاهش تعداد قواعد آن ساده کرده است، به گونه‌ای که با همین تعداد اندک قواعد، اعتبار تمام ضرب‌ها قابل اثبات است. این کار (ساده‌سازی نظریه قیاسات ارسطو) با تحویل تمام قضایای سالب حملی و جزئی به قضایای موجب کلی و ارائه دو قاعده فرازبانی، یکی برای شکل دوم و دیگری برای شکل سوم قیاس صورت گرفته ‌است. ...

در این مقاله دو مدعای منطق ریاضی، مبنی بر: 1) وجودی بودن همه قضایای جزئیه. 2) شرطی بودن همه قضایای کلیه، نخست مورد بررسی و نقد قرار گرفته، سپس موضع منطق قدیم در این باب مطرح شده است. نتیجه به‌دست آمده آن است که هیچ یک از دو مدعای فوق به صورت موجبه کلیه درست نیست.

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

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

مقالة 1951 کواین با عنوان «دو حکم جزمی تجربه گرایی» با نقدی دور از انتظار به دوگانة مشهور تحلیلی ـ ترکیبی، ضمن موضع گیری علیه استفاده از مفهوم تحلیلت در توضیح و تبیین ضرورت و پیشینی بودن، هرگونه تلاش در جهت ارائة تمایزی غیر دوری میان گزاره های تحلیلی و ترکیبی را ناکام دانست. به اعتقاد کواین مفاهیمی نظیر تناقض، ترادف، و معنا که در تعریف قضایای تحلیلی از آن ها بهره برده می شود، در عین حال که وضوح...

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

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

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

بررسی قضایای نقطه ثابت برای توابع انقباضی روی فضاهای متریک کامل مرتب جزئی و کاربرد آن در حل برخی از معادلات دیفرانسیل