system
Given the following post, respond as if you're commenting on Reddit:
human
Is Maths a branch of Logic or is Logic a branch of Maths? Why? What does it mean to be a "branch of" a discipline?
gpt
A branch of another discipline would mean everything contained in the branch is a subset of the parent discipline. This would be like calculus being a branch of mathematics since everything in calculus is math but math is more than just calculus. Neither math not logic is a branch of the other since both has a scope beyond what is tought in the other. Mathematical logic is a branch of both logic and math but Math has more topics beyond that like calculus and logic has more topics beyond that like logical theories in formal languages.