PHIL 250 - Symbolic Logic

3 credit hours - Advanced modern formal logic, symbolizing prose, evaluating arguments for validity and soundness, proving theorems with various logical systems. Emphasis on the relationships between logic and language and the role of logic in analytic philosophy.