Study On The Transmissibility Of Knowledge In Logic Of Knowledge

Knowledge is essentially commonable. That is, by its very nature, knowledge can be transmitted, communicated and shared among different episemic agents. In logic of knowledge, epistemic relationship and ascription of knowledge among the epistemic agents are formally expressed. For two epistemic agents a and b, under the premise that a recognizes the knowledge state of b, it is whether there is an epistemic relationship that makes a ascribe the knowledge belonging to b to a, or whether the knowledge belonging to b can be transferred to a, it is the knowledge transmissibility problem: KaKbp→Kap.In epistemology, the transmissibility of knowledge means that it is allowed that epistemic agent can know a proposition despite lacking any evidence for it, but this is clearly contrary to the reliability principle of inquiring knowledge. This is also shown by the vagueness of KaKbp→Kap in possible world semantics. Epistemic agent is given a very strong cognitive ability in possible world semantics?it can freely consult others'epistemic alternative worlds that is accessing to agent itself. In the case that justification can't be resulted from the transmission of knowledge, the knowledge of epistemic agent shows the opaqueness. Epistemic possible world has epistemic privacy, which is important different from traditional possible worlds. Another difference between epistemic modal logic and traditional modal logic is that the epistemic operator which epistemic modal logic uses is only semi-penetrated. That is, one can't infer KaKbp→Kap from Ka(Kbp→p). Otherwise, by modus tollens agent has to face skepticism, which calims that knowledge can not be transmitted even if agents have it. This also shows that an epistemic agent has limited computational and cognitive ability without logical omniscience.The resouce-boundness of agent makes the transmitted knowledge sensitive to context. Formally, the premise of transmissibility, KaKbp does not clarify communicating context among agents. So KaKbp has to be reduced to conditions of transmitting knowledge. Mental states related to transmitting conditions, including knowing, believing, understanding and accepting also turn to assertion the speech act to represent knowledge communication and transmission.