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

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

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

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

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

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

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

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

در این پایان نامه حل مسئله ی بهینه سازی غیرخطی مقید به قیود نامساوی را با استفاده از الگوریتم qp-free که یک نوع الگوریتم نقطه درونی می باشد ،توصیف میکنیم. در این الگوریتم جهت جست وجوی مناسب را با حل سه دستگاه خطی با ماترس ضرایب یکسان به دست می آوریم. ‎جهت جست وجوی مناسب با توجه به کمینه سازی (بیشینه سازی) ‎تابع‎‎‎‎‎ هدف مسئله ی بهینه سازی یک جهت موجه کاهشی ( افزایشی) می باشد, که کاملا در درون ...