This paper analyses the idea that Frege and Lacan can be connected through a transcendental line of thought. From this viewpoint Frege’s development of modern formal logic is considered as a moment in modernity that shows that the challenge of formalization or mathematization is in fact a challenge of identification of both subject and object. Lacan’s thinking is in accord with this endeavour, but it articulates more explicitly and symbolically the connection between formalization and identification. A crucial point in our argument is that a transcendental viewpoint is not necessarily incompatible with a lacanian viewpoint, to the extent, namely, that attention is paid to the idea that subject and object are first and foremost of the order of writing or the symbolic.