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

در میان فلاسفة اسلامی معاصر، محمد تقی مصباح یزدی در باب تعریف قضایای تحلیلی نظریه‌پردازی کرده است. مقالة حاضر که پژوهشی است پیرامون نظریة وی در باب تعریف قضایای تحلیلی، از دو بخش تشکیل می‌شود؛ در بخش اول ابتدا «تعریف اولیه» قضیة تحلیلی را که برگرفته از آثار مکتوب محمدتقی مصباح یزدی است ارائه می‌کنیم، سپس مثال‌هایی را که وی قضیة تحلیلی می‌داند به بحث می‌گذاریم و استدلال می‌کنیم که نمی‌توان این ق...

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

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

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

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

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

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

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

تفاوت قضایای تحلیلی و ترکیبی و کاربرد­های هر یک از آنها از مسائل مهم معرفت­شناسی و فلسفة تحلیلی است که ابتکار آن به نام «امانوئل کانت» رقم خورده­ است. بررسی سابقة این تقسیم و معرفی لایب نیتس به عنوان مبتکر واقعی آن اولین بحثی است که در این نوشته آمده­ است. تعریف قضایای تحلیلی و ترکیبی از نظر آیت الله مصباح یزدی و همچنین تعریف حمل ذاتی اولی و حمل شایع صناعی از منظر ایشان بحث بعدی این نوشتار است....