矛盾を許す


ダイナセット型データーベースにおいて、リレーションの定義に矛盾があるが、
それを許容して強制的にリレーションを行い、また、更新可能とすること。

論理が完全に矛盾を排していなくても、それに基づいて実行することで、
取り敢えず前に進み、そこから遡って矛盾を排したり、単純に役に立ったり、
することがあり得るということの例となる。

しかし世界はどの時点を取ってもみても、矛盾無く存在しているはずで、
元を正せば/よく観察すれば、矛盾は人間が設定した理論側に内在すると考えられる。

矛盾を許せばリレーション出来るのに、それを矛盾だとすることは、
本来は矛盾ではなく、選択可能なパラメーターの構成が不完全だということになる。
その言語またシステムでは、世界の全ての状態を記述することが出来ないということである。

allow inconsistent





INDEX

AliceGallery StrataDictionary

(c) 1995 - 2022 AliceGallery