Research Seminar on Logic and Cognition

How might cognitive modeling and logical theory be of mutual benefit? What kinds of interesting logical questions arise from the study of cognition? And what kinds of tools from logic and theory of computation might be useful in modeling cognitive phenomena? Through student presentations of current research (original or from the contemporary literature) we will explore these questions. Precise topics will depend largely on student interest, but may include models of: causal reasoning, quantification, probabilistic computation and computable probability theory, erotetic theory of reasoning, moral cognition, and other topics at this intersection. 2 unit option only for Philosophy PhD students beyond the second year.