View that statements of logic can be considered to be statements about the consequences of certain string manipulation rules.