This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...) the semantics, such as inductive skepticism, the logic of discovery, Duhem’s problem, the articulation of theories by auxiliary hypotheses, the role of serendipity in scientific knowledge, Fitch’s paradox, deductive closure of knowability, whether one can know inductively that one knows inductively, whether one can know inductively that one does not know inductively, and whether expert instruction can spread common inductive knowledge—as opposed to mere, true belief—through a community of gullible pupils. (shrink)

Information is a notion of wide use and great intuitive appeal, and hence, not surprisingly, different formal paradigms claim part of it, from Shannon channel theory to Kolmogorov complexity. Information is also a widely used term in logic, but a similar diversity repeats itself: there are several competing logical accounts of this notion, ranging from semantic to syntactic. In this chapter, we will discuss three major logical accounts of information.

This paper provides an interpretation of the Routley-Meyer semantics for a weak negation-free relevant logic using Israel and Perry's theory of information. In particular, Routley and Meyer's ternary accessibility relation is given an interpretation in information-theoretic terms.

Tyler Burge defends the idea that memory preserves beliefswith their justifications, so that memory's role in inferenceadds no new justificatory demands. Against Burge's view,Christensen and Kornblith argue that memory is reconstructiveand so introduces an element of a posteriori justificationinto every inference. I argue that Burge is right,memory does preserve content, but to defend this viewwe need to specify a preservative mechanism. Toward thatend, I develop the idea that there is something worthcalling anaphoric thinking, which preserves content inBurge's sense of ``content (...) preservation.'' I providea model on which anaphoric thought is a fundamentalfeature of cognitive architecture, consequentlyrejecting the idea that there are mental pronounsin a Language of Thought. Since preservativememory is a matter of anaphoric thinking, thereare limits on the analogy of memory and testimony. (shrink)