A short introduction to Gottlob Frege's Begriffsschrift
Sven-Ake Wegner

TL;DR
This paper explains Gottlob Frege's 1879 Begriffsschrift notation, comparing it with modern propositional logic to highlight its foundational role in formal logic development.
Contribution
It provides a clear explanation and comparison of Frege's original notation with contemporary logic systems, clarifying its historical and conceptual significance.
Findings
Frege's notation formalizes mathematical arguments effectively.
Comparison reveals similarities and differences with modern propositional logic.
Highlights Frege's innovative methods in logical notation development.
Abstract
In his 1879 paper on the Begriffsschrift, Gottlob Frege introduced a notation to formalize mathematical arguments. In this note we explain Frege's notation by using the nowadays common notions from elementary propositional logic. We compare Frege's notation with the modern one and discuss some of the methods he used in his paper.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsPhilosophy and Theoretical Science · Philosophy, Science, and History
