 Proponents of the Semantic View claim that their perspective on scientific theory accurately portrays the theoretical structure of population genetics. Thompson (2007) provides both set-theoretical and state-space renditions of Mendelian genetics. The first involves defining a set-theoretic predicate for the system, viz., \(\{P, A, f, g\}\), where \(P\) and \(A\) are sets representing, respectively, the total collection of alleles and loci in the population, while \(f\) and \(g\) are functions assigning an allele to a specific location in, respectively, the diploid cells of an individual or the haploid gametic cells. Axioms in this set-theoretic formalization include “The sets \(P\) and \(A\) are finite and non empty” (2007, 498). In contrast, the state-space approach of the Semantic View articulates a phase space with each dimension representing allelic (or genotypic) frequencies (e.g., cover and Chapter 3 of Lloyd 1994 [1988]). As an example, “for population genetic theory, a central law of succession is the Hardy-Weinberg law” (Thompson 2007, 499). Mathematically, the diploid version of HWP is written thus: