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

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

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

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

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

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

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

دراین مقاله، قضیه وجودی برای رده ای از سیستم های نامتناهی از معادلات تابعی-انتگرالی در فضای دنباله ای باناخ $c_{0}$ با استفاده از قضیه معروف نقطه ثابت شادر و همچنین محکی برای فشردگی در فضای $c_{0}$ ثابت می شود. بعلاوه، نکاتی نیز ارائه می گردد که متضمن بزرگی رده مورد بررسی است که نتیجه ارائه شده در مقاله آن را پوشش می دهد. به منظور کاربردپذیری نتیجه حاصل از بررسی نیز مثالی از سیستم نامتناهی ارائ...

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

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