Logical form, mathematical practice, and Frege's \textit{Begriffsschrift} (Q1799041)

The paper is devoted to a new reading of Frege's two-dimensional notation from his \textit{Begriffsschrift}. It is grounded in a conception of logical form. It is claimed that the latter belongs not to logic but to mathematical practice as it emerged in the 19th century in the work of Riemann and others. The author argues that on the proposed reading Frege's logical language is a Leibnizian universal language. The relevant notions are first introduced for simpler cases and then the author turns to Frege's language, in particular to Frege's proof of Theorem 133 in Part III of his 1879 logic.