Re:The Open Logic Project
by JadeNB on Tuesday July 28, 2015 @08:35PM
(#9965585)
> 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.
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.