Theoretical logic in sociology