Title: Introduction to Formal Logic with Philosophical Applications