He regarded formal semiotic, as logic, as furthermore encompassing study of arguments (hypothetical, deductive, and inductive) and inquiry's methods including pragmatism; and as allied to but distinct from logic's pure mathematics.