Apr 25, 2018  
2014-2015 Catalog 
    
2014-2015 Catalog [ARCHIVED CATALOG]

[Add to Portfolio]

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]