Abstract

In this piece of work we considerer mathematical logic as a whole. The three steps distinguished by Husserl, to wit, pure logic grammar, logic of the non-contradiction and logic of the truth, are analysed. They are applied to the logistics by distinguishing different levels and layers. In each level the logistics methods and its correspondence with the formal ontology inside the philosophical phenomenology are taken into account. The subject is completed explaining the axiomatic as well as the Greek life in Euclides and in comparison with Hilbert. Finally, we intend to interpret the Greek logic, Leibniz logic and logistics from the viewpoint of different types of life related to them. In all these cases we presuppose, as a source, the apofantic aristotelian form of the proposition.