23503

PHI2 471

كارشناسي ارشد

منطق

ادبيات و علوم انساني

دي ماه 1402

55 ص.

مقداد قاري

هومن محمد قربانيان

مساله همه‌چيزداني منطقي , معناشناسي جهان¬هاي ممكن , معرفت‌شناسي , جهان‌هاي غيرنرمال , آگاهي.

در اين پژوهش به طوركلي به بررسي مساله همه‌چيزداني منطقي و دو رويكرد جهان‌هاي غيرنرمال و رويكرد آگاهي به عنوان راه حلي براي اين مساله پرداخته شده است. يكي از منابع ايجاد مساله همه‌چيزداني منطقي قاعده ضرورت است چون قاعده ضرورت بيان مي¬كند كه اگرφ قضيه باشد در اين صورت K_i φ نيز قضيه است، به اين معني كه عامل مورد نظر به φ معرفت دارد. و از آنجايي كه تعداد قضيه‌ها بي‌نهايت شمارا است پس عامل مورد نظر به بي‌نهايت شمارا قضيه معرفت دارد، كه اين يك صورت از مساله همه‌چيزداني منطقي است. براي حل اين مساله راه‌حل‌هاي زيادي ارائه شده است كه در اين رساله تنها دو راه حل مورد بررسي قرار خواهد گرفت. منابع اصلي كه در اين پايان نامه به كار گرفته شده است، عبارت اند از كتاب استدلال درباره معرفت كه توسط رونالد فاگين، جوزف هالپرن، يورام موس و وردي نوشته شده است و هم چنين مي توان به كتاب معرفت و باور هينتيكا نيز اشاره كرد كه در اين كتاب وي به مساله باور و هم چنين همه چيزداني منطقي پرداخته است. در زمينه همه‌چيزداني منطقي مقاله‌هاي زيادي به رشته تحرير در آمده است كه تعدادي از آن ها در نوشتن اين پايان نامه به كارگرفته شده است. به عنوان نمونه مي‌توان به مقاله «جهان‌هاي غيرنرمال و همه چيزداني منطقي» كه توسط جان بجيرينگ نوشته شده است، اشاره كرد.

: The problem of logical omniscience , Semantics of possible worlds , Epistemology , Non-normal worlds , Awareness

The logical omniscience problem in epistemic modal logics: on the basis of the non-normal worlds and awareness approach55

فلسفه

In this dissertation, the problem of logical omniscience and the two approaches of non-normal worlds and awareness as a solution to this problem have been investigated in general. One of the sources of logical omniscience problem is the rule of necessity, because the rule of necessity states that if φ is a theorem, then Kiφ is also a theorem. This means that agent i knows that φ. And since the number of y theorems is countably infinite, then agent i has knowledge about countably infinite theorems, which can be considered as a form of the problem of logical omniscience. Many solutions have been proposed to solve this problem, and only two solutions will be discussed in this dissertation. The main sources used in this thesis are the book Reasoning about Knowledge written by Ronald Fagin, Joseph Halpern, Yoram Moss and Vardi, and we can also refer to Hintikka's book Knowledge and Belief. In this book, he has discussed the issue of belief and also logical omniscience. Many articles have been written in the field of logical omniscience, some of which have been used in writing this thesis. As an example, we can refer to the article "Non-normal Worlds and Logical Omniscience" written by John Bejering.

5