It is trying, in effect, to anchor the rights and limitations of a formal logic in a reﬂection of the transcendental type, and also to link transcendental subjectivity to the implicit horizon of empirical contents, which it alone contains the possibility of constituting, maintaining, and opening up by means of infinite explicitations.