国产91麻豆一区二区久久久

Title: Epistemic logic and the problem of logical omniscience

Speaker：Ren-June Wang （王仁俊），中正大学

Time: May 19th 3：10-6：00pm  北大二教525

Abstract:

In this talk, I try to sort out the source of the problem of logical omniscience in the search of proper logical formalism for epistemic notions such as knowledge and belief. The source, I believe, comes from three different assumptions that are normally imposed on a single epistemic formalism: 1) the intended concept to be dealt with by the formalism is explicit knowledge (or belief), instead of implicit 2) the modeled agent is a competent deductive reasoner and the logical relation between the known propositions or believed propositions of the modeled agent is a direct reflection of this competence, and 3) the modeled agent is a realistic one in the sense of not knowing all the logical consequences of her knowledge. Thus the problem of logical omniscience is the result of the difficulty of reconciling these assumptions in the traditional way of dealing with the subject. After the analysis, a suggested formalism is given.

Ren-June Wang is currently an Assistant Professor in the Department of Philosophy of National Chung Cheng University in Taiwan. He got M.S. in Mathematics, M.A. in Philosophy, and Ph.D. in Computer Science from the Graduate Center of CUNY in USA. He is interested in mathematical and philosophical Logic, philosophy of mathematics, and philosophy of language. His current research is mainly focused on epistemic logic, and structural proof theory.  
奥别产蝉颈迟别：丑迟迟辫://谤别苍箩耻苍别.飞别别产濒测.肠辞尘/.