An Interpretation of G. Frege's Begriffsschrift

Qing-xiong ZHANG
DOI: https://doi.org/10.3969/j.issn.1671-7511.2003.06.011
2003-01-01
Abstract:G. Frege's Begriffsschrift, a Formalized Language of Pure Thought Modelled upon the Language of Arithmetic is well-known as a foundation stone in modern logic. This work, however, is difficult to understand. This article aims to reveal the way of thinking by which Frege created his artificial language and to compare his notation system with the widely accepted logical symbols today. It may serve as a ladder for approaching this logical classic.
What problem does this paper attempt to address?