Teoria dos jogos aplicada ao contrato social concentra-se em modelos de negociação, formação de coalizões e soluções cooperativas.

Ken Binmore desenvolve representações formais e analisa comportamentos estratégicos por meio de exemplos matemáticos e cenários hipotéticos.

O volume 1 enfatiza pressupostos teóricos, critérios de estabilidade para acordos sociais e aplicações conceituais relevantes para economia e ciência política.