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

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

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

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

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

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

در این مقاله ما شرط لازم و کافی برای وجود جواب تناوبی غیربدیهی معادله دیفرانسیل معمولی مرتبه سوم غیرخطی را مطالعه نموده و با استفاده از قضیه نقطه ثابت شادر ،وجود این جواب را ثابت میکنیم. سپس با استفاده از کامپیوتر جواب تناوبی را در حالات خاص تقریب نموده و آن را در صفحات xt ؛ xx? و x?x?? رسم مینمائیم. مطلب جالب در این مقاله، کاربرد این مسئله در ترمز خودروهای سنگین است، یعنی ما با استفاده از فرمو...

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

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

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