Indeed, as are Antonelli and Arana. They carry joint appointments in math and philosophy, which, if I am being fair, should probably mean that their opinions should be given more, not less, weight in a book like this targeted at philosophers.
> More to the point, Mathematical Logic is a bit of a term of art referring in general to the study of formal logical systems and related objects/constructions. The term Mathematical Logic is typically used to distinguish from e.g. the sort of informal logic you might encounter in a course where one might read Aristotle and discuss informal logical fallacies.
Oh, thanks! I didn't realise this.
> Just playing the odds, it's somewhat unsurprising that a group of high-quality Mathematical Logicians just happened to not include any people with a sole appointment to a Mathematics department.
I agree that this would be unsurprising in a random selection from a random fixed department, but not so much in an institutions-spanning effort like this one. Nonetheless, as I mention, I should probably attach more, not less, weight to a joint appointment.
More to the point, Mathematical Logic is a bit of a term of art referring in general to the study of formal logical systems and related objects/constructions. The term Mathematical Logic is typically used to distinguish from e.g. the sort of informal logic you might encounter in a course where one might read Aristotle and discuss informal logical fallacies.
Also, TBF, a lot of Mathematical Logic happens in analytically-inclined Philosophy departments these days. And it's not at all uncommon for a Mathematics department to have exactly zero Logicians. Just playing the odds, it's somewhat unsurprising that a group of high-quality Mathematical Logicians just happened to not include any people with a sole appointment to a Mathematics department.