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

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

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

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

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

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

در این پایان نامه ارتباطی بین معناشناسی اندازه بنیاد دانا اسکات برای منطق وجهی s4 و منطق توپولوژیک دینامیک، برقرار خواهد شد. منطق s4c در سیستم های توپولوژیک دینامیک یا فضاهای توپولوژیک با تابع پیوسته روی فضای مورد نظر، تعبیر می شود. دانا اسکات زبان منطق s4 را در جبر اندازه لبگ یا سیکما جبر زیرمجموعه ی بورل [0,1] به پیمانه مجموعه هایی با اندازه ی صفر، که در آن مربع- وجه با عملگر درون روی جبر ا...

هرچند همه­ی تلاش «ویتگنشتاین» (wittgenstein) به منظور سازگاری درونی دیدگاه متأخّر خود بوده است، لیکن با بررسی دقیق، مواردی از ناسازگاری درونی در آن مشاهده می­شود. یکی از موارد ناسازگاری درونی و بیرونی مطابق با تفسیر «کول»(cavell) و «کریپکی» قرائت شکّاکانه از دیدگاه ویتگنشتاین متأخّر است. ویتگنشتاین شک­گرایی را به طور آشکار بی­معنا می­داند. به نظر او اصولاً نباید شکّاک حتّی برای بیان شک­گرایی خود از ط...