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

در این رساله به بررسی منطقهای توجیه و ارتباط آنها با منطقهای موجهات می پردازیم. نتایج این رساله به سه گروه قابل تقسیم هستند. ارایه منطقهای توجیه جدید، از جمله: ‎ jb (صورت صریح منطق موجه براوری ‎ kb)، ‎ jgl (صورت صریح منطق اثبات پذیری گودل لوب ‎ gl)‎ و jld (صورتهای صریح منطقهای دانشی توزیعی). بررسی ارتباط منطقهای توجیه ارایه شده با منطقهای موجهات متناظر آنها بوسیله ارایه قضیه تحقق، از جمله: اثبا...

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

  یکی از مسائلی که همواره اندیشمندان مختلف درگیر آن بوده ­اند، تلاش برای اثبات روش درست دستیابی به تصمیم صحیح و به واسطه ­ی آن نظام سیاسی ایده<span style="font-size: 14.0pt; line-height: 107%; font-family: &quot;Cambria&quot;,&quot;serif&quot;; mso-bidi-font-family: Cambria;" lang="AR...

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

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

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

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

قضیه ی تثبیت کاسپاروف بیان می دارد که برای هر *c- جبر a و هر a- مدول هیلبرت شمارا تولید شده ی e، جمع مستقیم ah?e به عنوان a- مدول هیلبرت یکریخت با ah است. طبیعی است که در مورد تعمیم این قضیه به a- مدول های هیلبرت دلخواه سوال کنیم که در آن ah را جایگزین a j?j? ، برای یک مجموعه ی به قدر کافی بزرگ j وابسته به e، کنیم. به عبارت دیگر برای هر a- مدول هیلبرت e، آیا مجموعه ی مناسب j ای وابسته به e وجود...

سرینیواسا رامانوجان ‎(srinivasa ramanujan)‎ ریاضی دان هندی در یکی از دست نوشته های معروفش یک نامساوی برای تابع شمارنده ی اعداد اول بیان کرد، در این پایان نامه به بررسی این نامساوی خواهیم پرداخت.