Dec 03, 2023  
2021-2022 Undergraduate Catalog 
    
2021-2022 Undergraduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

PHIL 221 - Symbolic Logic I


Class Hours: 3
Lab/Discussion: 0
Credits: 3

Introduces students to the study of formal patterns of good reasoning. Topics include symbolizing English sentences in an artificial language, distinguishing between the semantics and syntax of that language, and learning to test for logical properties and relations using semantic methods (truth-tables, models) and syntactic methods (derivations). Students with an interest in computer science and mathematics will find the material of particular interest and use.



Add to Portfolio (opens a new window)