In §7 wurden drei Aufgaben genannt, die sich einer Logik stellen, die formale Apophantik und formale Ontologie umgreift. In FTL werden — anders als in den Prolegomena¹ — die in §7 erwähnten Punkte (i) und (ii) nur berührt. Die Entwicklung einer Mannigfaltigkeitslehre, deren formallogisches Korrelat eine "Theorie möglicher Theorieformen " ist, wird in FTL hingegen als "höchste Aufgabe" der Logik bezeichnet und ist dort Gegenstand detaillierter Analysen.