This course focuses on the nature of logical inference including both formal and informal reasoning and deductive versus inductive lines of thought. Topics include: 1) the use of symbolic languages to make evident the logical essentials of language and meaning, 2) the essentials of both good and bad arguments, fallacious and non-fallacious reasoning, 3) formal and informal inferences, and 4) the essentials of proof and evidence. This is done through translating ordinary language sentences into their truth-functional form and evaluating the validity of arguments through such things as truth tables and truth trees.
IAI: H4 906.
Books/Materials info available soon