 Often the appeal to what we do and do not say, or can or cannot say is resisted, Ryle says, by those who hold that philosophical disputes can be settled by formalising the warring theses, or translating them out of the natural language in which they were originally constructed into the notation, perhaps, of a Principia Mathematica. As we should expect from a philosopher who sees his job as the plotting of the logical force of expressions as they appear in different contexts, Ryle describes as a “formaliser’s dream” the conviction that the investigation can be regularised in such a way as to replace what was philosophically puzzling by logical problems amenable to known and teachable procedures of calculation. Indeed, he denies not only that the logic of everyday statements but even the logic of the statements of scientists, lawyers, historians and bridge-players can in principle be adequately represented by the formulae of formal logic.