4 ms·

Logic is usually considered as a part of philosophy. There are people in philosophy departments studying formal logic. I think all formal sciences should be co

Logic is usually considered as a part of philosophy. There are people in philosophy departments studying formal logic. I think all formal sciences should be considered as part of philosophy because they provide tools and language for the deepest ideas. https://en.wikipedia.org/wiki/Outline_of_formal_science https://en.wikipedia.org/wiki/Outline_of_formal_science

ColinWright 7y ago
Not in my experience. All the mathematics departments with which I've been associated have had logicians. Perhaps philosophy departments also have logicians, and perhaps they take different approaches, but certainly "Logic" is considered a sub-discipline of mathematics.
- buckminster 7y ago
  When I studied maths at Oxford the foundations of logic course was taught by the philosophy department. And the university offers a maths and philosophy course. I think it's fair to say that logic is where maths meets philosophy.
  - ColinWright 7y ago
    When I studied maths at Cambridge, it was part of the DPMMS, the Department of Pure Mathematics and Mathematical Statistics. It still is: https://www.maths.cam.ac.uk/postgrad/part-iii/prospective/preparation/resources/logic https://www.maths.cam.ac.uk/postgrad/part-iii/prospective/pr... The same was true when I was working at the University of Manchester: https://en.wikipedia.org/wiki/School_of_Mathematics,_University_of_Manchester#Research https://en.wikipedia.org/wiki/School_of_Mathematics,_Univers...