Putnam and Benacerraf's arguments about mathematical reduction show that multiple incompatible forma...