Theoretical Logic in Sociology