Title: Introduction to Formal Philosophy