News for hackers. Stuff that matters.

A comment on The Open Logic Project. Parent comment

Re:The Open Logic Project by link_108 on Tuesday July 28, 2015 @07:23PM (#9965211)
Well logic is a sub-category of philosophy, not mathematics. Logic and math are similar in some ways, but logic != math. Both contain lots of symbols and formal methods of getting from a to b, however the content is quite different. There is overlap however in mathematical logic, but again, logic systems != math.
[ Parent | on HN ]
Re:The Open Logic Project by JadeNB on Tuesday July 28, 2015 @08:41PM (#9965601)
> Well logic is a sub-category of philosophy, not mathematics.

I disagree! (I would probably say something like that logic, in its informal mathematical meaning (i.e., the meaning that would be given it by a mathematician who is not a logician), lives at the intersection at least of all the sciences.) Nonetheless, it's probably more a matter of terminology, if not even just of my ignorance of the proper domain of philosophy, than of substantive disagreement.

[ Parent | on HN ]