A Formal Framework and Fundamental Results for Social Analysis