True Desrtopa. But just as doing mathematics is harder when mathematicians can’t agree on what constitutes a valid proof (cf. constructivists versus nonconstructivists), likewise formalising a normative account of ideal rational agency is harder where disagreement exists over the criteria of rationality.
Not necessarily if the math is really difficult. There are, after all, plenty of mathematical problems which have never been solved.
True Desrtopa. But just as doing mathematics is harder when mathematicians can’t agree on what constitutes a valid proof (cf. constructivists versus nonconstructivists), likewise formalising a normative account of ideal rational agency is harder where disagreement exists over the criteria of rationality.
True enough, but in this case the math is not difficult. It’s only the application that people are arguing about.