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.
