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

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

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

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

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

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