 Instead of attempting to characterize the logical truths of a natural language like English, the Fregean logician attempts to characterize the artificial formulae that are “stripped” correlates of those logical truths in a Fregean formalized language. In first-order Fregean formalized languages, among these formulae one finds artificial correlates of (1), (2) and (3), things like