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

فیلسوفان مسلمان حمل اولی و شایع را به دو معنای متفاوت به کار برده‌اند: 1. به قید قضیه 2.به قید موضوع. حمل اولی و شایع به قید قضیه نخستین معنای این دو اصطلاح و به ترتیب، به معنای «اتحاد مفهومی» و «حمل مصداقی» است؛ اما حمل اولی و شایع به قید موضوع، معنایی است که بعدها اختراع شده و به ترتیب، به معنای «ارادة مفهومِ موضوع» و «ارادة مصادیق موضوع» است و در حقیقت، چیزی جز همان تفکیک معروف میان «قضیة طبی...

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

قضیه ای کلاسیک در نظریۀ گروه ها می گوید اگر G یک 2-گروه متناهی باشد که تنها یک عضو مرتبۀ 2 دارد، آن گاه  G دوری است یا با یک ٢-گروه کواترنیون تعمیم یافته یکریخت است. هدف این نوشته، ارائۀ برهانی جدید برای این قضیه است.

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

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

می دانیم نظریه گروه های آبلی مرتب، کامل و تصمیم پذیر است و حذف سور دارد. همچنین مدل تکمیل نظریه گروه های آبلی مرتب است. چنین ویژگی هایی در گسترش این نظریه با یک نگاشت انقباض نیز حفظ می شوند. در این پایان نامه نظریه گروه های آبلی مرتب با یک انقباض مرکزگرا را بررسی می کنیم و نشان می دهیم چنین گروه هایی کامل و تصمیم پذیر است و حذف سور دارد.

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

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

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