>>17683358

SEP considers formal formal systems and deductive systems mathematical objects tho, from what I’m seeing now:

>Today, logic is a branch of mathematics and a branch of philosophy. In most large universities, both departments offer courses in logic, and there is usually a lot of overlap between them. Formal languages, deductive systems, and model-theoretic semantics are mathematical objects and, as such, the logician is interested in their mathematical properties and relations.

>Soundness, completeness, and most of the other results reported below are typical examples. Philosophically, logic is at least closely related to the study of correct reasoning. Reasoning is an epistemic, mental activity. So logic is at least closely allied with epistemology.

I can accept that. I’ve never read philosophy of mathematics, just philosophy of science.