About: 概念記法

『概念記法』（がいねんきほう、独: Begriffsschrift）は、ゴットロープ・フレーゲによって1879年に出版された論理学に関する短い本の題名であり、またその本で創始された形式体系の名称である。 この本の完全な書名は「算術の式言語を模した、純粋な思考のための一つの式言語 eine der arithmetischen nachgebildete Formelsprache des reinen Denkens」である。『概念記法』は、アリストテレスが論理学という主題を創設して以来、論理学に関するおそらく最も重要な出版物であった。フレーゲが自分の式を開発して論理に到達しようとした動機は、ライプニッツが彼の推論計算機に対して持った動機と似ている。続いてフレーゲは、数学の基礎の研究に彼の論理計算を用い、それは次の四半世紀にわたって遂行された。