循環じゅんかん定義ていぎ

出典しゅってん: フリー百科ひゃっか事典じてん『ウィキペディア(Wikipedia)』

循環じゅんかん定義ていぎ(じゅんかんていぎ、えい: circular definition)は、ある概念がいねん定義ていぎするためにその概念がいねん自体じたいもちいることである。この場合ばあい定義ていぎぶんのみの知識ちしきでは定義ていぎした概念がいねん本質ほんしつてき理解りかい出来できないため、定義ていぎ成立せいりつしない。

概説がいせつ[編集へんしゅう]

はしてきえば、ある概念がいねん定義ていぎぶんに、その概念がいねん自体じたい名称めいしょうもちいた場合ばあい循環じゅんかん定義ていぎである。たとえば、"カシ"の定義ていぎぶんとして、「どんぐりをつける」としたとき、どんぐりの定義ていぎぶんを「カシのつく種実たねざねるい」とする。定義ていぎぶん相互そうご代入だいにゅうするとカシの定義ていぎぶんが「カシつく種実たねざねるいをつける」、どんぐりの定義ていぎぶんが「どんぐりをつけるつく種実たねざねるい」となり循環じゅんかん定義ていぎとなる。このように、定義ていぎ循環じゅんかんすると定義ていぎぶんのみの知識ちしきでは概念がいねん相対そうたいてき位置付いちづけは理解りかいできるが、定義ていぎする概念がいねん自体じたい絶対ぜったいてき理解りかいができないため、定義ていぎ成立せいりつしない。

循環じゅんかんおおきい場合ばあいには、循環じゅんかん定義ていぎ発見はっけんすることがむずかしくなるが、循環じゅんかん関係かんけいする概念がいねんかずおおくなるため実際じっさい理解りかいにおいては既知きち概念がいねん経由けいゆする可能かのうせいおおきくなり問題もんだいとならない場合ばあいおおい。そもそも、語彙ごい有限ゆうげんであり、すべての語彙ごい定義ていぎするためにはすで定義ていぎされている語彙ごいもちいるか、一切いっさい定義ていぎされていない語彙ごいもちいる必要ひつようるため、循環じゅんかん定義ていぎ完全かんぜんくすことは不可能ふかのうである(ミュンヒハウゼンのトリレンマ)。

循環じゅんかん定義ていぎれい[編集へんしゅう]

あやまった定義ていぎもちいることで、故意こい循環じゅんかん定義ていぎ発生はっせいさせることもできる。

たとえば、メートル定義ていぎ

メートル (m) はながさの単位たんいである。そのおおきさは、単位たんい m·s−1 による表現ひょうげんで、真空しんくうちゅうひかり速度そくど c数値すうち299792458さだめることによって設定せっていされる。ここで、びょうはセシウム周波数しゅうはすう ΔでるたνにゅーCsもちいて定義ていぎされたものである。
(2019ねん5がつ20にち以前いぜんきゅう定義ていぎ:メートルは、1 びょうの 1/299792458時間じかんひかり真空しんくうちゅうつたわる行程こうていながである。)

であり、「メートルの定義ていぎ」に「びょう使つかっている」ことがわかる。

びょう定義ていぎ

びょう (s) は時間じかん単位たんいである。そのおおきさは、単位たんい Hz (s−1ひとしい) による表現ひょうげんで、摂動せつどう基底きてい状態じょうたいにあるセシウム133原子げんしちょう微細びさい構造こうぞう周波数しゅうはすう ΔでるたνにゅーCs数値すうち正確せいかく9192631770さだめることによって設定せっていされる。
(2019ねん5がつ20にち以前いぜんきゅう定義ていぎびょうは、セシウム133原子げんし基底きてい状態じょうたいの 2 つのちょう微細びさいじゅんあいだ遷移せんい対応たいおうする放射ほうしゃ周期しゅうき9192631770 ばい継続けいぞく時間じかんである。

であるが、ここで、びょう

びょうは、ひかり真空しんくうちゅう299792458 メートルすすむのにようする時間じかんである。

あやまって定義ていぎすると、びょう定義ていぎ」に「メートルを使つかっている」ことになるが、「メートルの定義ていぎ」に「びょう使つかっている」ことになるため、循環じゅんかん定義ていぎ発生はっせいする。

初期しょきキログラム定義ていぎでもこのような循環じゅんかん定義ていぎ発生はっせいした[よう出典しゅってん]。キログラムは当初とうしょ、1リットルみず標準ひょうじゅん気圧きあつおよびもっと密度みつどたかくなる気温きおんやく4℃)での質量しつりょう定義ていぎされていた。圧力あつりょく単位たんい平方へいほうメートルたりのニュートン ([Pa] = [N]/[m2]) であり、ニュートンは1キログラムの質量しつりょう毎秒まいびょう毎秒まいびょう1メートル加速かそくするちから ([N] = [kg]・[m]/[s2]) である。みず容積ようせき気圧きあつ依存いぞんするため、「キログラムの定義ていぎ」に「自分じぶん自身じしん定義ていぎ」が使つかわれていることになる。混乱こんらん解決かいけつするため、キログラムはのちセーヴルにある金属きんぞくせいのキログラム原器げんき定義ていぎされた(なお、2019ねん5がつ20にち以降いこうプランク定数ていすうひかり速度そくど、およびセシウム周波数しゅうはすうもとづいて定義ていぎされる)。

」の定義ていぎもかつては循環じゅんかん定義ていぎがつきまとっていた。を「生命せいめい体液たいえき永久えいきゅうてき流動りゅうどう停止ていし」と定義ていぎしたさいに、「生命せいめい体液たいえき」とはなにかが問題もんだいとなった。

数学すうがく一理いちりろんであるゆうもとてき集合しゅうごうろんでは循環じゅんかん集合しゅうごう構築こうちくできる[よう出典しゅってん]循環じゅんかん集合しゅうごう様々さまざま循環じゅんかんする性質せいしつをもつ事象じしょうのモデル便利べんりで、よく利用りようされている。情報じょうほう工学こうがくでは再帰さいき定義ていぎ使つかった手続てつづきがあるが、これらの定義ていぎ最終さいしゅうてき完了かんりょうするので循環じゅんかん定義ていぎではない。

2007年版ねんばんのウェブスターの辞書じしょには "hill" と "mountain" がつぎのように定義ていぎされている。

  • Hill - "1: a usually rounded natural elevation of land lower than a mountain"(自然しぜんのなだらかな小高こだか陸地りくちやまよりひく[1]
  • Mountain - "1a: a landmass that projects conspicuously above its surroundings and is higher than a hill"(周囲しゅういから目立めだってしている、おかよりたか陸地りくち[2]

これも循環じゅんかん定義ていぎ典型てんけいてきれいだ。

辞典じてんにも循環じゅんかん定義ていぎ存在そんざいする可能かのうせいがあるが、存在そんざいしたとしても循環じゅんかん非常ひじょうおおきいため、発見はっけん修正しゅうせいむずかしいと予測よそくされる。

UNIXけいOSのソフトウェアのインストールもちいるパッケージ管理かんりシステムにおいても循環じゅんかん定義ていぎこりうる。ソースコード利用りようするパッケージ管理かんりシステムにおいては、あるソースコードパッケージがのソースコードパッケージの機能きのう依存いぞんする場合ばあいがあり、この依存いぞん関係かんけい循環じゅんかん形成けいせいした場合ばあい発生はっせいする。この場合ばあい依存いぞんさきをどこまで辿たどっても必要ひつよう機能きのう実装じっそうつからないため、システムに設定せっていされた回数かいすうまで依存いぞん関係かんけい沿ってインストール開始かいし延々えんえんかえ状態じょうたいおちいることになる。インストールちゅう依存いぞん関係かんけい循環じゅんかん発生はっせいさせる機能きのう無効むこうにする(循環じゅんかんそのものを切断せつだんする)か、バイナリパッケージをインストールすることで循環じゅんかんたい実装じっそうあたえる(事前じぜん定義ていぎする概念がいねんについて理解りかいすることと同義どうぎ)ことでインストールを進行しんこうさせることが可能かのうだ。

法律ほうりつ名称めいしょう目的もくてきなどでも循環じゅんかん定義ていぎ存在そんざいするれいがある。たとえば、『独立どくりつ行政ぎょうせい法人ほうじん経済けいざい産業さんぎょう研究所けんきゅうじょほうだい1じょうでは、「この法律ほうりつは、独立どくりつ行政ぎょうせい法人ほうじん経済けいざい産業さんぎょう研究所けんきゅうじょ名称めいしょう目的もくてき業務ぎょうむ範囲はんいとうかんする事項じこうさだめることを目的もくてきとする。」と規定きていされている。しかし、これはつまり、「この法律ほうりつは、独立どくりつ行政ぎょうせい法人ほうじん経済けいざい産業さんぎょう研究所けんきゅうじょ名称めいしょう(中略ちゅうりゃく)とうさだめることを目的もくてきとする」とっていながら、 その条文じょうぶんのなか自体じたいに『独立どくりつ行政ぎょうせい法人ほうじん経済けいざい産業さんぎょう研究所けんきゅうじょ』という名称めいしょうすで登場とうじょうしてしまっているのである。これは、「独立どくりつ行政ぎょうせい法人ほうじん経済けいざい産業さんぎょう研究所けんきゅうじょ名称めいしょうは、独立どくりつ行政ぎょうせい法人ほうじん経済けいざい産業さんぎょう研究所けんきゅうじょとする。」としょうするのにひとしいので、循環じゅんかん定義ていぎいちれいといえる。

関連かんれん項目こうもく[編集へんしゅう]