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

هدف این مقاله توصیفی، آشناکردن علاقه مندان با نمونه هایی از تلاش هایی است که در جهت استفاده از سیستم های منطقی برای ماشینی سازی اثبات در دست انجام است. اهداف این مقاله عبارتند از (1) ارائه الگوریتیم که با استفاده از ایده کاربر و ادامه روند اثبات توسط رایانه، اثباتی در سیستم گنسنی ارائه دهد. (2) ارائه الگوریتمی که با استفاده از ایده کاربر و ادامه اثبات با رایانه، اثباتی متنی در سیستم استنتاج طبی...

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

های کلیدی: جرم، جرم شناسی کلاسیک، جرم شناسی اثباتی، جرم شناسی انتقادی، گفتمان، ذهنیت، قدرت. در یک تقسیم بندی تاریخی می توان تئوری های جرم شناسی را به کلاسیک(روشنگری)، اثباتی(مدرن)و انتقادی تقسیم بندی کرد. بعد از مطرح شدن پارادایم های فکری کلاسیک و اثباتی، این پارادیم ها در دهه 1950 به وسیله پارادایم انتقادی با نقد اساسی مواجهه شد. از مهم ترین نظریه هایی که در این پارادایم مطرح شد می توان ب...

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

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

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