It seems that most academic writing on logic, in terms of papers and textbooks, is written by philosophers. Is it generally considered to be a branch of philosophy, and university teaching takes place in these departments? Looking at an arbitrary logic paper, it seems that this is a highly formalised area that uses strictly defined notations, so one might wonder whether that doesn’t rather put it into mathematics.
Anecdotally, my class in logic at university was offered by the philosophy department.
Same.
I got formal logic in college as part of the discrete mathematics class, which was in the mathematics department. Logic is part of the intersection of math and philosophy, and properly belongs to both.
On that note: symbolic logic was a philosophy class at my college, but met a (liberal arts curriculum) math requirement.
I would agree. In our school, it was in the philosophy department, but it satisfied a “formal studies” distribution requirement (where math and computer classes resided), and not the distribution requirement where most philosophy classes were (“ethics and values.”) So it’s a bit of both.
It was for me as well. I was really confused when I started my second semester of philosophy class and it was more like a math class, especially since the first semester was pretty much what you’d expect (ie, discussing philosophers and their philosophies).
Luckily for me, I thoroughly enjoyed it. But it still seemed like it should have been a math class. The only thing I’ve been able to come up with is that it’s aimed at law students. While it feels algebraic in nature, at it’s core, it was about showing how to take one set of things and show how it proves another set of things. It also heavily covered common biases that crop up on those same situations, but are much easier to see when represented with letters rather than concepts, at least if your brain is wired that way, which it tends to be for the hard sciences students.
My logic classes were also taught out of the philosophy department, although they were required for my computer science degree. I think philosophy has historically been the discipline that originated methods for how to reason, and developed the predicate calculus and propositional calculus so that wise men could reason about whether Socrates is mortal.
It bled over into math when people figured out that they could use AND/OR to build machines.
Mine as well. And it was a requirement for the computer science degree.
The University of Waterloo has a number of mathematical logic classes in the Pure Mathematics department.
Mathematical logic is real enough. I’m sure even laymen have heard of the continuum hypothesis, completeness/incompleteness theorems, set theory, etc.
Formal logic was a requirement for my philosophy degree, back in the 70’s.
I passed it, but not easily, because while I found much of it useful I objected to one of the axioms; so instead of being able to answer on exams in a fashion that made sense to me, I instead had to just memorize the answers I was supposed to give.
What axiom did you object to? I really would like to know. Excluded middle?
At McGill, logic is taught in both departments and I am not clear on how different they are. I taught the math dept course a few times and it was very formal, kind of like HS geometry. The only answer to the OP is: both.
Yup, that’s the one.
It probably didn’t help that the book for the class used the example “Either it is raining or it is not raining”; and I was in Rochester, NY and first read that line on a day on which it was clearly doing something that was neither raining nor not raining. And the book had been written by the professor giving the class, so I didn’t figure it was worth trying to argue with him about it.
My logic classes were taught through the Computer Science department. Logic is probably about as hard-science as philosophy gets.
I’ve always had problems reconciling Logic/Math, the way it was taught in school. (This from my perspective of upbringing in India)
The reason is that Logic taught in school is primarily Western or Greek Logic or Western Philosophy. Its different from Eastern Philosophies / Logic. But there is no Eastern Math / Western Math.
I have to mentally recalibrate when thinking math / science. For example, A particle can be wave or particle, or both … is intuitive per Eastern logic but counterintuitive per Western logic.
(Please note that I am not claiming that Eastern logic discovered or knew Quantum mechanics - it didn’t. Just saying that Duality is a central theme in Eastern logic and makes some science concepts intuitive.)
I also have trouble reconciling - “I think , therefore I am” which is Western logic to “I am, therefore I think” which is Eastern logic when contemplating consciousness or AI.
I took logic twice, once in a philosophy class and once in a mathematics class.
Is logic taught in Computer Science different than logic taught in philosophy? (really asking…I’m not sure we are talking about the same thing)
But it is formal logic, so you do not have to reconcile anything, merely memorize the axiom(s). Then prove they are consistent…
I’m not sure, since I didn’t take a logic class taught by a philosophy department 
At least in concept, they are the same topic, but I’m sure the focus is different. It’s been a while, but it was primarily predicate logic, and focused on the sorts of things that are relevant to solving relevant computer-sciency problems and assumed a certain technical capability. I imagine relatively few philosophy departments have their students program in Prolog, for example. But maybe they do?
It was largely symbolic math, but probably differed somewhat from a math or philosophy logic class because while those disciplines often care about what’s provable or knowable, computer science is much more interested in the subset that is computable.