PHIL 2500: Formal Logic

PHIL 2500. Formal Logic (3-0-3) An introduction to contemporary techniques in logic with special attention given to deductive models and decision methods. Emphasis is placed on the application of logic to argument analysis, problem solving, foundations of mathematics, science, and computer science.