Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Is logic a subset of mathematics or is mathematics a subset of logic? I have heard the former view, but is there any argument for the latter?

share|improve this question
    
Logicism: en.wikipedia.org/wiki/Logicism –  Doug Spoonwood Dec 7 '12 at 4:16
    
Perfect Thanks! –  vanattab Dec 7 '12 at 4:18

4 Answers 4

up vote 6 down vote accepted

Mathematical logic is a branch of mathematics. But mathematical logic is by no means all of logic.

There have been recurrent attempts, from Frege through Whitehead/Russell and others, to develop mathematics within what they thought of as logic. The attempts failed, we have moved on.

share|improve this answer

[(logic) $\cap$ (math) $\neq \varnothing$] $\;\land\;$ [(logic)$\setminus$(math) $\neq \varnothing$] $\;\land\;$ [(math)$\setminus$ (logic) $\neq \varnothing$].

That is, the intersection of logic and math is clearly not empty, but I think it is also the case that neither one completely encompasses (contains) the other.

Also note:
Mathematical Logic is a branch of mathematics, and is also of interest to (some) philosophers.
Likewise,
Philosophy of Math is a branch of Philosophy, which is also of interest to (some) mathematicians.

share|improve this answer
1  
Nice answer, but every theorem can be rewritten using propositional calculus, for example. We can, of course, think of rules of inference as mathematical operations. –  glebovg Dec 7 '12 at 4:28
    
Thanks, @glebovg. Of course, I root for philosophy as overarching ALL. Every discipline is (or was at one time) the birthchild of Philosophy! –  amWhy Dec 7 '12 at 4:34

It is actually the other way around. Philosophy is the root of all sciences, including mathematics. You can think of mathematics as an application of logic.

share|improve this answer

Also, you can think of both mathematics and logic as subsets of the Philosophy of Proof.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.