形式論理学における発 見
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/07 16:37 UTC 版)
「チャールズ・サンダース・パース」の記事における「形式論理学における発 見」の解説
1880-1881年には、否定論理和のfunctional completeness（en:Functional completeness）を示した。これはヘンリー・M・シェファー (en:Henry M. Sheffer) の研究の33年前である。 1885年の「論理代数について」で、パースは一階の量化と二階の量化を区別した。またこの同じ論文において彼は初めての公理的集合論として読めるものを提示しているが、これはエルンスト・ツェルメロの研究の20年以上前である。 1890年代後半までには、述語論理の図表的記法である存在グラフを開発していた。
※この「形式論理学における発 見」の解説は、「チャールズ・サンダース・パース」の解説の一部です。
「形式論理学における発 見」を含む「チャールズ・サンダース・パース」の記事については、「チャールズ・サンダース・パース」の概要を参照ください。
ウィキペディア小見出し辞書の「形式論理学における発 見」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 形式論理学における発 見のページへのリンク
