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

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

در این پایان‏نامه نگاشت‏های نستر-‏کوراتفسکی‏-مازورکویچ ( kkm) وقضایای آن در فضاهای متریک ابر‏محدب، -‏فضاهای متریک و فضاهای متریک ابر‏محدب نافشرده برای نگاشت‏های چند مقداری بررسی شده‏است. همچنین قضایای نقطه ثابت برای این فضاها مورد بررسی قرار گرفته‏است و در نهایت کاربردهای این قضایا بیان شده‏است.

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

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