This site uses cookies. By continuing to use this site, closing this banner, or clicking "I Agree", you agree to the use of cookies.
Read our cookies policy and privacy statement for more information.
Stand with UkraineDonate
- Home
- Colorado
- University of Colorado Denver/Anschutz Medical Campus
- Course info
- phil-3440 - introduction-to-symbolic-logic
University of Colorado Denver/Anschutz Medical Campus Course Info
Denver, Colorado•
10 reviews
Course Info
Search for courses by clicking on letters of the alphabet or by using a search bar. Explore course description, number of credits required and course sequences to satisfy graduation requirements.
PHIL 3440
Introduction to Symbolic Logic
Covers truth functional and quantificational logic through polyadic first order predicate calculus and theory of identity. Attention is given to such problems in metatheory as proofs of the completeness and consistency of systems of logic. Cross-listed with MATH 3440.
Units: 3.0
Hours: 3 to 3
Prerequisites:
MATH 3000 - Introduction to Abstract Mathematics
or
PHIL 2441 - Logic, Language and Scientific Reasoning