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

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

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

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

چکیده: این پایان نامه اولین مطالعه ی نظریه اثباتی و نظریه مدلی از ترکیب منطق های با زمان محدود و منطق های ساختی است. ابتدا به منظور فراهم کردن یک پایه نظری مفید برای استدلال های زمانی که دارای خاصیت ساختی و فراسازگارند، دو منطق ib[l] و pb[l] معرفی می شود. این منطق ها دو مدل محدود و ساختی از ltl و توسیع هایی از منطق شهودی یا منطق فراسازگار نلسون هستند که تحت عنوان حساب های رشته ای گنتسنی b[l] و...

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

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

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

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