Proof, Computation and Agency

"Proof, Computation and Agency: Logic at the Crossroads" explores modern logic's interplay with various fields. It features articles on 'social software', game theory, and social choice, alongside discussions on the logic-language-cognition link. Additionally, it examines Indian logic's ties to epistemology and the philosophy of science.