A short introduction to Gottlob Frege's Begriffsschrift

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.