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

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

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

هدف از بهینه سازی این واحد، افزایش دبی خوراک به شرط ارضاءشدن سایر محدودیت هاست . بهینه سازی به روش sqp که یکی از بهترین روشهای nlp می باشد، انجام شده است که نتایج حاصل به خوبی با هدف مورد نظر مطابقت دارد و در محدوده های مورد نظر صدق می کند.

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

در این مقاله با تبیین نظریۀ تبعیت از صدق نوزیک و بررسی اشکالات وارد بر آن، به دو روایت اولیه و اصلاح‌شدۀ سوسا از شرطی التزامی امنیت، به‌عنوان شرط لازم دانستن پرداخته شده است. پس از پرداختن به روایت دقیق سوسا از امنیت، برخی اشکالات بدان بررسی شده‌، نشان داده می‌شود که برخی از این اشکال‌ها بر نظریه سوسا واردند. درعین‌حال، من تلاش کرده‌ام نشان دهم که برخی از این اشکال‌ها بر روایت دقیق این شرط وارد...

قضیه ی تعریف ناپذیری صدق در سال 1936 تارسکی توسط آلفرد تارسکی مطرح و اثبات شد. این قضیه به طور غیر رسمی می گوید، صدق حساب در حساب قابل تعریف نیست. تارسکی در اثبات خود از لم قطری (یا نقطه ثابت) استفاده کرده است. در این پایان نامه سعی بر آن است که قضیه ی تعریف ناپذیر صدق را برای مدل های نااستاندارد حساب پئانو تعمیم دهیم و اثباتی نظریه مدلی برای آن بیاوریم. این اثبات را آبراهام رابینسون درسال 196...