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

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

دراین مقاله، قضیه وجودی برای رده ای از سیستم های نامتناهی از معادلات تابعی-انتگرالی در فضای دنباله ای باناخ $c_{0}$ با استفاده از قضیه معروف نقطه ثابت شادر و همچنین محکی برای فشردگی در فضای $c_{0}$ ثابت می شود. بعلاوه، نکاتی نیز ارائه می گردد که متضمن بزرگی رده مورد بررسی است که نتیجه ارائه شده در مقاله آن را پوشش می دهد. به منظور کاربردپذیری نتیجه حاصل از بررسی نیز مثالی از سیستم نامتناهی ارائ...

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

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

تفکیک «تصور» و «تصدیق» از تمایزهای اصلی است که متقدمین در منطق و متأخرین در معرفت­شناسی از آن بهره برده­اند، هر دو گروه مقسم این دو را «علم حصولی» می‌دانند، این تقسیم در «معرفت­شناسی نوصدرایی» برای اقسام معرفت به کار رفته است، اما نمی­توان «تصدیق» را در اصطلاح معرفت­شناسی بنا بر تعریف فلسفۀ اسلامی «علم­حصولی» دانست. این تحقیق با مرور ادبیات فیلسوفان مسلمان به ویژه نوصدراییان، مدعی است که تفکیک ...

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

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

در این پایان نامه به معرفی دو خاصیت bsp و absp میپردازیم و نشان می دهیم جبرهایی مانندl1(g) ,c0(g) دارای خاصیت bsp می باشند. همچنین نشان می دهیم هر همریختی فشرده از یک جبر باناخ منظم قوی که دارای خاصیت bsp باشد به یک جبر باناخ دیگر دارای بردی با بعد متناهی می باشد. در نهایت نشان می دهیم هر جبر باناخ منظم آرنز ، wsc که یک همانی تقریبی کراندار داشته باشد یکدار است. به عنوان اصلی ترین قضایای ای...

تفکیک «تصور» و «تصدیق» از تمایزهای اصلی است که متقدمین در منطق و متأخرین در معرفت­شناسی از آن بهره برده­اند، هر دو گروه مقسم این دو را «علم حصولی» می دانند، این تقسیم در «معرفت­شناسی نوصدرایی» برای اقسام معرفت به کار رفته است، اما نمی­توان «تصدیق» را در اصطلاح معرفت­شناسی بنا بر تعریف فلسفۀ اسلامی «علم­حصولی» دانست. این تحقیق با مرور ادبیات فیلسوفان مسلمان به ویژه نوصدراییان، مدعی است که تفکیک ...