Mar 29, 2024  
2021-2022 Catalog 
    
2021-2022 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.  Graded ABCDE Offered infrequently.



Add to Portfolio (opens a new window)