PHIL 4110 - Symbolic Logic U (3-0) [0.50]
A study of issues and techniques beyond the level of elementary sentential logic and quantification. A consideration of some topics in logical theory. An extension of material explored in PHIL*2110, with special focus on philosophical aspects or implications of formal logic.
