ABSTRACT
Metalogic studies logical systems. It focuses not on how to use these systems to test arguments, but rather on the systems themselves. This chapter provides an introduction to metalogic.
Metalogic is the study of logical systems; when we do metalogic, we try to prove things about these systems. Here’s an example. Recall our first two rules for forming propositional wffs:
1. Any capital letter is a wff. 2. The result of prefixing any wff with “~” is a wff.
