Logic and Philosophy

Paul Tidman received his Ph.D. in philosophy from the University of Notre Dame. He teaches philosophy at Mount Union College in Ohio. Howard Kahane received a master's degree from the University of California at Los Angeles and a Ph.D. from the University of Pennsylvania. He was a professor of philosophy at Bernard M. Baruch college in New York and is considered one of the founders of the critical-thinking movement, an approach to logic that makes it less abstract and more practical as a tool for analyzing political and social issues.

Part one Sentential logic: introduction; truth functions; truth tables; proofs; conditional and indirect proofs. Part two Predicate logic: predicate logic symbolization; predicate logic semantics; predicate logic proofs; relational predicate logic; rationale behind the precise formulation of the four quantifier rules; identity and definite descriptions; truth trees. Part three Other systems of logic; Aristotelian logic; inductive logic; axiom systems; alternative logics.