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

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

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

چکیده: در این پایان نامه بعد از تعریف مفهوم کنترل، روابط و قضایای مربوطه را بررسی و به معرفی سیستم dcl-pc می پردازیم که منطقی برای استدلال درباره توانایی عوامل و ائتلافی از عوامل با استفاده از انتقال کنترل بین عوامل می باشد. پایه منطقی dcl-pc سیستم cl-pc می باشد. این سیستم منطقی است برای همکاری بین عوامل که عوامل مجموعه ای از متغییرهای گزاره ای را کنترل می کنند و توانایی ارزشدهی به متغییرها ر...

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