> Is there a difference between the sort of logic that a mathematician would need to know and the kind that would be appropriate for a philosopher?
Almost definitely, but that was not what worried me—I definitely trust philosophers to pick the topics in mathematical logic that are appropriate for a student of philosophy, but would like to see a mathematician's hand somewhere on the tiller to make sure that the discussion of those topics is fully mathematically accurate.
(Similar to how the kind of mathematics knowledge that an accountant and a physicist would need to understand would be different. Both math. One is math as it relates to the law. The other math as it relates to apples falling from trees.)