Neopositivists commit to formal theory construction. They claim that the solid symbolic representation of a theory in terms of the formal logic of mathematics necessarily increases the precision of theoretical propositions. The system of formal logic in mathematics allows substantive propositions to be expressed in terms of precisely defined concepts and to express them logically. Formal theory-building appears in two different contexts. First, there is the formalization of well-developed substantive theories. The second specific findings of the empirical investigation are codified in mathematical terms and then organized into a formal theoretical system that establishes the mathematical relationship between the variable in symbolic terms. Most empirical studies conducted by sociologists fall into this category.