Abstract
This paper argues for a fundamental re-reading of Heideggerian philosophy, especially regarding the logical structures presented by Heidegger in the thirties and onward. The field, which this logic organizes, shows an explorative formal element of language in and of itself, and is therefore different from an analytic concept of logic. An analytic conceptualization of logic is understood here as a reflection on the inner structures of already existing notions. An explorative logic, on the other hand, explores the relations between already existing notions and the possible, but yet unknown, development of new notions. The logic of Heidegger is explorative, as it describes the relational, formal structures between the already established semantic field and its virtual excess. This virtual excess, while formal, must be nonetheless considered the primary access to whatever we call external to language in the transcendental sense in Heidegger's philosophy. Therefore, the central question of this logical re-reading of Heidegger is the formal relation to the unknown real.