タグ

logicとcircular-definitionに関するnabinnoのブックマーク (1)

  • 循環定義 - Wikipedia

    循環定義(じゅんかんていぎ、英: circular definition)は、ある概念を定義するためにその概念自体を用いることである。この場合、定義文のみの知識では定義した概念の質的な理解が出来ないため、定義は成立しない。 概説[編集] 端的に言えば、ある概念の定義文に、その概念自体の名称を用いた場合が循環定義である。例えば、"カシ"の定義文として、「どんぐりをつける木」としたとき、どんぐりの定義文を「カシの作る種実類」とする。定義文を相互に代入するとカシの定義文が「カシの作る種実類をつける木」、どんぐりの定義文が「どんぐりをつける木の作る種実類」となり循環定義となる。このように、定義が循環すると定義文のみの知識では概念の相対的な位置付けは理解できるが、定義する概念自体の絶対的な理解ができないため、定義は成立しない。 循環の輪が大きい場合には、循環定義を発見することが難しくなるが、循環に

  • 1