PHL 2440 MODERN LOGIC

A basic course in modern, formal logic. Content will include sentential logic through argument forms and proofs. In addition, topics such as those raised bu predicate logic, many-valued logics, inductive logics or electronic technology, eg., thinking machines, will be covered.