間眅埶AV

Please note:

To view the current calendar go to

Natural Deductive Logic PHIL 210 (3)

This course studies a natural deductive system of propositional and quantificational logic, the first-order theory of identity and the first-order theory of relations. Topics include the metatheory of propositional logic and the application of formal theory to the assessment of natural language arguments. Quantitative.