Our task in this chapter is (i) to undertake a delimitation of the frontier of formal logic within the total realm of thought and further, (ii) to study the exact nature of this discipline along with its inner stratifications and outer ramifications. In connection with formal logic Husserl was chiefly preoccupied with these two problems. What he has given us therefore in his Logische Untersuchungen and the Formale und transzendentale Logik is not a system of logic but a systematic meta-logic.