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

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

مسائل گتیه موارد یا نمونه هایی هستند که از مواجهه با تحلیل jtb معرفت، به مثابه باور صادق موجه که p، می گریزند. بنا بر نظریه jtb معرفت، s می داند که p، اگر فقط: الف) یک گزاره صادق وجود داشته باشد؛ ب) s باور داشته باشد که p صادق است؛ ج) s در باور به اینکه p، موجه باشد. مسائل گتیه بیان می-کنند که این سه شرط (الف تا ج) برای تبیین اینکه معرفت چیست کافی نیستند، چرا که احتمالاً موارد نقضی هستند که هرچن...

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

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

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

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

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

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