Introduction to Formal Philosophy