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

یکی از جالب ترین نتایج در سیستم های دینامیکی یک بعدی قضیه ی شارکوفسکی است که به دلیل مفروضات ساده و نتایج قوی، از اهمیت خاصی در سیستم های دینامیکی برخوردار است. این قضیه بیان می کند که اگر f:i?i یک نگاشت پیوسته باشد، که دارای یک نقطه ی تناوبی از دوره ی تناوب kاست، آنگاه f دارای یک نقطه ی تناوبی با دوره ی تناوب n نیز می باشد که k قبل از n در ترتیب شارکوفسکی است. در اینجا صورت دقیق قضیه ی شارکو...

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

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

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

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

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

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