 It is often claimed that the theories PFO and PFO+ qualify as “pure logic”. We will refer to this (admittedly vague) claim as the Logicality Thesis. Since the corresponding languages are interpreted by the translation \(\Tr\) into ordinary English, this is a claim about the logicality of certain axioms and inferences rules of ordinary  English.[12]