There have been many attempts to bring psychoanalytical theory up to date. This paper approaches the problem by discussing the work of Gregory Bateson and Ignacio Matte-Blanco, with particular reference to the use made by these authors of Russell's theory of logical types. Bateson's theory of the double bind and Matte-Blanco's bilogic are both based on concepts of logical typing. It is argued that the two theories can be linked by the idea that neurotic symptoms are based on category errors in thinking. Clinical material is presented from the analysis of a middle-aged woman. The intention is to demonstrate that the process of making interpretations can be thought of as revealing errors in thinking. Changes in the patient's inner world are then seen to be the result of clarifying childhood experiences based on category errors. Matte-Blanco's theory of bilogic and infinite experiences is a re-evaluation of the place of the primary process in mental life. It is suggested that a combination of bilogic and double bind theory provides a possibility of reformulating psychoanalytical theory.