80-810 Seminar in Logic and Probability

12 units, Carnegie Mellon University

Logic and probability theory are intimately and intricately related, with deep technical and conceptual connections at multiple levels. Both provide a theory of rational inference probability can in some sense be seen as a generalization of logic many logical systems have natural probabilistic semantics logic can be used to reason explicitly about probability logical methods can illuminate probabilistic inference and logic and probability can be combined into systems that capitalize on the advantages of each. In this seminar we present and discuss some of the most important ideas and results covering these various points of contact between logic and probability. We will discuss topics ranging from the foundations of probability to topics in philosophical logic and formal epistemology, to mathematically fruitful aspects of the logicprobability interface, to the philosophy of induction and statistics.

Prerequisites: none listed

Courseweave needs JavaScript to show sections, workloads and planning tools.