Frege's formalization of logic shows that propositional inference schemas require a semantics ground...