What is the relationship between mathematics and logic?
June 3, 2010
Response from Allen Stairs on June 24, 2010
It's a good idea to start with a distinction. If by "logic" you simply mean something like "correct deductive reasoning," then logic is something mathematicians use -- as do people in any discipline.
If by "logic" you mean the study of certain specific kinds of formal systems and their properties -- mathematical logic, as it's often called -- then logic is arguably a branch of mathematics, but also of philosophy (and perhaps also of other disciplines such as computer science; no need for turf wars.)
There are people in math departments who specialize in logic, and also people in philosophy departments. Results in mathematical logic, might be published in math journals or in philosophy journals or in computer science journals.
If you provide your e-mail address, you will be automatically notified whenever this question receives a response. Your e-mail address will not be used for any other purpose, and it will not be given or sold to anyone.
It's a good idea to start with a distinction. If by "logic" you simply mean something like "correct deductive reasoning," then logic is something mathematicians use -- as do people in any discipline.
If by "logic" you mean the study of certain specific kinds of formal systems and their properties -- mathematical logic, as it's often called -- then logic is arguably a branch of mathematics, but also of philosophy (and perhaps also of other disciplines such as computer science; no need for turf wars.)
There are people in math departments who specialize in logic, and also people in philosophy departments. Results in mathematical logic, might be published in math journals or in philosophy journals or in computer science journals.