This tutorial will provide an introduction to the field of judgment aggregation, which deals with the formal aspects of amalgamating the judgments made by several agents regarding the truth of a number of mutually dependent propositions expressed in a logical language. This has important applications in law, philosophy, economics, artificial intelligence and computer science.
For additional material, consult the website of my course on computational social choice, given annually at the ILLC.