TheAncientGeek comments on A defense of formal philosophy