Applications of Formal Philosophy