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

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

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

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

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