Introduction to Formal Logic

Catalog description

Students will have the opportunity of discovering and exploring the structure and interrelations of the various kinds of propositions that occur in deductive reasoning. Logic will be presented as applying to the actual world incidentally, but to possible types of order explicitly. Propositional logic, predicated logic, classes and relations will be part of its content. Quantified expressions will be studied. Some attention will also be given to the non-deductive processes of the scientific method and the analysis of probabilities. Throughout the course there will be a wide selection of problem-solving challenges.