Non-Ideal Epistemic Spaces

摘要: In a possible world framework, an agent can be said to know proposition just in case the is true at all worlds that are epistemically for agent. Roughly, not ruled out by anything knows. If some agent, necessary and as such, knows proposition. This framework presupposes underlying space of we call epistemic space. Traditionally, identified with worlds, where kinds entities least verify logical truths. so, given consists solely it follows any may remain verifies As result, truths corresponding only allows us model logically omniscient agents. well-known consequence standard generally taken imply cannot used non-ideal agents fall short omniscience. A familiar attempt within broadly involving centers around use impossible logic false. shall see, if admit “any-