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

در این مقاله با طرح دلالت شناسی سول کریپکی، فیلسوف و منطق‌دان آمریکایی معاصر در باب اسم‌های خاص و اسم‌های داستانی، به شرح و نقد آراء اومبرتو اکو فیلسوف، نشانه‌شناس و داستان‌نویس ایتالیایی در باب دلالت‌شناسی اسم‌های داستانی (fictional names) پرداخته‌ایم و در این میان، ردپای بعضی از مهم‌ترین این مباحث یعنی اسم‌های خاص واقعی را در آثار ابن‌سینا نشان داده‌ایم.

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

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

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

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

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