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

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

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

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

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

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

تمرکز مقاله بر بیان اثبات های متعدد قضیه مشهور پروانه در هندسه اقلیدسی است.

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

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

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