Mar 28, 2024  
2010-2011 Catalog 
    
2010-2011 Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

PHL 302 - Intermediate Symbolic Logic.


A course in logic or junior standing or consent of instructor.(3).

Applications of symbolic logic to forms of reasoning more complex than those covered in PHL 202 . Relational sentences, multiple quantification, identity, definite descriptions. Properties of formal axiomatic systems, such as consistency and completeness; ways of proving that given systems have or lack such properties. Logical characteristics of reasoning underlying theories and practices in such fields as mathematics, computer science, science, social sciences, philosophy.



Add to Portfolio (opens a new window)