Work
Begriffsschrift
Overview
Begriffsschrift (German for, roughly, "concept-writing") is a book on logic by Gottlob Frege, published in 1879, and the formal system set out in that book.
Begriffsschrift is usually translated as concept writing or concept notation; the full title of the book identifies it as "a formula language, modeled on that of arithmetic, for pure thought." Frege's motivation for developing his formal approach to logic resembled Leibniz's motivation for his calculus ratiocinator. (Despite that, in the foreword Frege clearly denied that he achieved this aim, and also that his main aim would be constructing an ideal language like Leibniz's, which Frege declared to be a quite hard and idealistic—though not impossible—task.) Frege went on to employ his logical calculus in his research on the foundations of mathematics, carried out over the next quarter-century. This is the first work in analytic philosophy, a field that British and American philosophers later further developed.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Philosophers who discussed Begriffsschrift
Related ideas
- First-order logic
- Gottfried Wilhelm Leibniz
- Harvard University Press
- Analytic philosophy
- Negation
- Formula
- Foundations of mathematics
- Language
- Ludwig Wittgenstein
- Logical conjunction
- Logical connective
- Modus ponens
- Intuitionism
- Reflexive relation
- Natural number
- Sense and reference
- Rule of inference
- Tractatus Logico-Philosophicus
- Arithmetic
- Second-order logic
- Thought
- Formal system
- Logic
- Gottlob Frege
Place in the tradition
Part of Analytic philosophy.