If the proposition expressed by a formula were constituted entirely by its role within a formal syst...