概念記法
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/10/05 19:17 UTC 版)
『概念記法』（がいねんきほう、独: Begriffsschrift）は、ゴットロープ・フレーゲによって1879年に出版された論理学に関する短い本の題名であり、またその本で創始された形式体系の名称である。
- ^ Bynum (1972)
- ^ Her(F),In(x,F),FN(f),*=などの記号は,田畑(2002)を参考にした。
- ^ Heyting, Arend (1930). “Die formalen Regeln der intuitionistischen Logik”. Sitzungsbericht PreuBische Akademie der Wissenschaften Berlin, physikalisch-mathematische Klasse II: 42–56.
[続きの解説]
「概念記法」の続きの解説一覧
固有名詞の分類
このページでは「ウィキペディア」から概念記法を検索した結果を表示しています。
Weblioに収録されているすべての辞書から概念記法を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から概念記法を検索
Weblioに収録されているすべての辞書から概念記法を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から概念記法を検索 - 概念記法のページへのリンク
