Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens

The article "Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens" ("Concept Script, a Formula Language Modeled upon That of Arithmetic, for Pure Thought") by Friedrich Ludwig Gottlob Frege, published in 1879, introduces his conceptual notation for logic. Key points include:

1. **Symbolic Language for Logic:** Frege develops a formal system of symbolic notation to represent logical relationships and propositions. This system is designed to capture the structure of logical reasoning with precision.

2. **Predicate Logic:** Frege introduces the concept of predicate logic, where predicates express relationships between objects. This departure from traditional Aristotelian logic contributes to the foundation of modern mathematical logic.

3. **Quantifiers:** Frege introduces quantifiers, symbols (∀, ∃) representing universal and existential quantification. These quantifiers play a crucial role in expressing generality and existence in logical statements.

4. **Notation for Functions:** Frege's notation includes a representation of functions and arguments, laying the groundwork for understanding mathematical functions in a logical context.

5. **Philosophical Significance:** The Begriffsschrift is not only a contribution to formal logic but also carries philosophical implications. Frege seeks to establish a logical foundation for mathematics, emphasizing the relationship between logic and mathematics.

6. **Influence on Analytic Philosophy:** Frege's work significantly influences the development of analytic philosophy, particularly the works of philosophers like Bertrand Russell and Ludwig Wittgenstein.

Frege's Begriffsschrift is considered a landmark in the history of logic and philosophy, setting the stage for advancements in formal logic and the philosophy of language.

The two-valued propositional framework of Frege with respect to material implication (conditio per quam).

see also: SUB Uni Göttingen