Grundgesetze der Arithmetik I/II

Frege's work is the starting point of modern logic. His starting goal was to set up a universally applicable language of pure thought which is operable in all fields of science. Frege's formalization of thought does not just aim at combined propositional and predicative logical considerations, as envisaged in formal logic, but presupposes premises immanent to the system dealing with the constitution of knowledge. The historical dispute over the contradictions in the teachings of Frege led to corrections in formal logic and semantics which in general were only made up of "formal controls".