Typically, symbolic logic classes focus on reasoning with formal systems and mathematical logic classes focus more on reasoning about formal systems. So in a symbolic logic class you would mainly learn how to do proofs while in a mathematical logic class you would learn about things like Godel’s theorems. Maybe “mathematical logic” is a bit of a misnomer, but it is the traditional title of these classes.
Typically, symbolic logic classes focus on reasoning with formal systems and mathematical logic classes focus more on reasoning about formal systems. So in a symbolic logic class you would mainly learn how to do proofs while in a mathematical logic class you would learn about things like Godel’s theorems. Maybe “mathematical logic” is a bit of a misnomer, but it is the traditional title of these classes.