Physical Sciences and Mathematics Commons^™

Soundness And Completeness Results For The Logic Of Evidence Aggregation And Its Probability Semantics, Eoin Moore

Dissertations, Theses, and Capstone Projects

The Logic of Evidence Aggregation (LEA), introduced in 2020, offers a solution to the problem of evidence aggregation, but LEA is not complete with respect to the intended probability semantics. This left open the tasks to find sound and complete semantics for LEA and a proper axiomatization for probability semantics. In this thesis we do both. We also develop the proof theory for some LEA-related logics and show surprising connections between LEA-related logics and Lax Logic.

Logic And Rationality, Rohit J. Parikh

Publications and Research

Logic aims at truth, or more accurately, at deriving some truths from other truths. But why are we interested in truth in the first place? Surely one reason is that relying on truth makes it easier to make better choices.

One could think of Game theory as a tool which bridges the gap between logic and rationality.

Decision theory - or single agent game theory tells us when to make the best choice in a game of us against nature. But nature has no desire to further or frustrate our efforts. Nature is mysterious but not malign. Things change when …