PHIL 225 Formal Logic

We will study the formal properties of arguments and sets of statements. This will involve learning two formal languages the propositional calculus and the predicate calculus. Within these languages we will formalize the notions of validity soundness and consistency and show how these properties can be tested.