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

بسیاری از فیلسوفان مدعی هستند که معنا و محتوای سمانتیکی زبان، امری هنجاری است، یعنی معنای یک کلمه تعیین‌کنندة الگوی درست‌کاربرد بوده و این الگو را تجویز می‌کند. مهم‌ترین استدلال‌هایی که فیلسوفانی مانند کریپکی و بوقوسیان به نفع هنجاری‌بودن معنا ارائه داده‌اند بر مفاهیمی مانند «قواعد»، «کاربردهای صحیح»، و «امکان خطای سمانتیکی» استوار است. اما برخی فلاسفه، ادعای هنجاری‌بودن معنا را زیر سؤال برده و...

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

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

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