4 ms·

Just from purusing the author's personal websites: Avigad's Ph.D. is in Mathematics (from Berkeley) and he is a professor in a mathematics department. More to

by nmrm2 11y ago

Just from purusing the author's personal websites: Avigad's Ph.D. is in Mathematics (from Berkeley) and he is a professor in a mathematics department. 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.

JadeNB 11y ago
> Avigad's Ph.D. is in Mathematics (from Berkeley) and he is a professor in a mathematics department. 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.

by nmrm2 11y ago

JadeNB 11y ago

> Avigad's Ph.D. is in Mathematics (from Berkeley) and he is a professor in a mathematics department. 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.