Logic

Logic deals with the validity of deductive arguments. In this section I believe I will also write some things about metalogic, though that will come after the explanation of propositional and predicate logic.