  Naturalism—‘methodological’ and ‘in the philosophy of mathematics’ hereafter understood—seems to have anti-revisionary consequences for mathematics. The mathematician-philosopher L.E.J. Brouwer developed intuitionistic mathematics, which sought to overthrow and replace standard (‘classical’) mathematics. Brouwer attempted to motivate intuitionistic mathematics philosophically with an intuition-based account of mathematical truth. A more recent exponent of intuitionistic mathematics is Michael Dummett, who has developed arguments from the philosophy of language, in particular the theory of meaning, on its behalf. Yet scientific standards arguably condone classical over intuitionistic mathematics: even if present-day science could be entirely recast intuitionistically—a big if—it would be less simple and more cumbersome than its current classically-based version. Mathematicians also tend to view intuitionistic mathematics as inferior to classical mathematics if construed as a rival to it. Hence neither Brouwer nor Dummett's intuitionism is apparently sanctioned by scientific or mathematical standards, so naturalism rules them out of court.  Indeed, for many of its adherents, that is precisely naturalism's point. Its point, it is often thought, is to block fanciful attacks on established disciplines such as mathematics by disciplines with less secure methodologies.