3 Semester Credit Hours TCCNS:PHIL2303 Development of formal methods for evaluating deductive reasoning. Additional topics may include uses of language, definition, nondeductive inference. Partially fulfills Core Mathematics requirement (in conjunction with a mathematics course).