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

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

ارزش اثباتی ادله دعوا در قانون حاکم بر داوری تجاری بین المللی* عطیه بابایی[1] چکیده با توجه به گسترش فرآیند داوری در جهان و روند رو به افزایش مراجعه پرونده های تجاری به محاکم داوری, تبیین این مسئله که چه ادله ای در این روند ملاک عمل قرار گیرد و بررسی ارزش اثباتی آنها از مسائل مورد بحث در داوری تجاری بین المللی می باشد, چرا که هدف در داوری تحقق عدالت به صورت منصفانه و از طرق ترافعی می باشد.به ه...

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

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

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

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

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

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

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