RT Conference Proceedings
T1 Frege’s Begriffsschrift and logicism
A1 Bertran-San-Millán, Joan
A2 Arazim, Pavel
A2 Lávička, Tomas
AB I put forward a new interpretation of Frege’s use of the formal system developed in Begriffsschrift, the concept-script. In contrast with the commonly-held view, I argue that this use suggests that he did not articulate a logicist programme in 1879. Two lines of argument support this claim. First, I show that between 1879 and 1882 Frege presented the concept-script of Begriffsschrift as a tool for arithmetic, and not as a logical theory from which to deduce arithmetical theorems. Second, I consider Frege’s results in Begriffsschrift and conclude that they do not imply an endorsement of his later logicist programme.
SN 978-1-84890-281-7
YR 2018
FD 2018
LK https://hdl.handle.net/20.500.14352/132639
UL https://hdl.handle.net/20.500.14352/132639
LA eng
NO 31th in the series of annual international symposia devoted to logic.The work on this paper was supported by the Formal Epistemology – the Future Synthesis grant, in the framework of the Praemium Academicum programme of the Czech Academy of Sciences.
NO Czech Academy of Sciences
DS Docta Complutense
RD 21 feb 2026