Introduction to formal methods in philosophy