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

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

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

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

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

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

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

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

موضوع محوری مقالۀ حاضر دلالت شناسی قضایای موجهه (به ویژه قضایای ضروریه و دائمه) است. در این باب ابتدا شرح مختصری از قضایای موجهه، بنا بر متون منطق سنتی، عرضه می شود و سپس ضمن توضیحِ تحلیلِ زمانی آنها، نقد چنین تفسیری در دستور کار قرار می گیرد. اما این نوشته صرفاً نگاهی سلبی ندارد و در آن تلاش شده است تا سخن قدما درباب دلالت شناسی قضایای موجهه بازخوانی و بازشناسی شود.

قاضی ابوبکرباقلانی ( د 403 ق در بغداد) سهم بسزایی در شکل گیری کلام اشاعره داشت. او نه تنها در علم کلام، بلکه در اصول فقه و علوم قرآن نیز صاحب تألیف و نظر بود. در این مقاله ما فقط از زاویة علم کلام به او نگریسته و اندیشه های کلامی وی را بررسی کرده ایم. دستگاه کلامی باقلانی به طور کلی همچون یک سازة هندسی طراحی شده است. به عبارت دیگر مسائلی را که او طرح می کند دارای ترتیب منطقی و استنتاجی است و قض...