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

   وقوع بغی در فضای مجازی و اجرای احکام بغی بر باغیان از طریق فضای مجازی، می­تواند از مسائل مستحدثه و چالش­برانگیز در عصر حاضر تلقی شود. سؤالات مهمی که در این تحقیق مورد بررسی قرار می­گیرد، عبارتند از: آیا تحقّق بغی در فضای مجازی عملاً ممکن است؟ بر فرض امکان، آیا بغی مجازی صلاحیت برای اجرای احکام بغی را دارا می­باشد؟ بر فرض صلاحیت، دلیل مشروعیت تسری احکام بغی بر بغی مجازی چیست؟ پس از فحص و بر...

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

غرض از نگارش نوشتار حاضر، ارائه‌ی تحلیلی مستدلّ و مستند از دو طبقه‌بندی مهم منطقی است؛ یکی تقسیم قضیه‌ی مسوّره به حقیقیه و خارجیه و دیگری تقسیم قضیه‌ی حملیّه‌ی موجبه به حقیقیه، خارجیه و ذهنیه. تداخل این دو طبقه‌بندی به دلیل اشتراک در عنوان، در طول تاریخ موجب بروز اشکالات و ابهامات متعددی در فهم علم­شناسی قدما شده است. در پژوهش حاضر، با اشراف بر تطوّر تاریخی هر دو طبقه‌بندی و با اخذ روی­آوردی منطقی ...

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

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

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

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