Formal Philosophy view 1