2004年 6月16日 作成 | 認知 と 検証 | >> 目次 (テーマ ごと) |
2008年 7月16日 補遺 |
いわゆる 「概念設計」 を対象にして、私が中核の論点にしてきた点は、感覚与件 (感覚 データ) と数学基礎論でいう モデル との関係に関する問題点です。この問題点を私が強烈に意識するようになった理由は、ウィトゲンシュタイン 氏の全集と ホワイトヘッド 氏の文献 (数冊) を読んでいたからでしょうね。 かって、小生の 「論理 データベース 論考」 を書店で立ち読みした人が、参考文献として記載されている書物のほとんどが「論理実証主義」 を標榜した人たちの作であると即断して、「論理実証衆愚」 などという皮肉を、ウェッブ 上で、綴っていたそうですが、勝手な思い込みも甚だしい。なお、「論理 データベース 論考」 では、小生は、いまだ、ホワイトヘッド 氏の考えかたを理解できていなかったので、彼の書物を、参考文献のなかには記載しなかった──ラッセル 氏との共作 「数学原理」 には言及していますが、小生が読んだ文献は、その 「序論」 であって、「数学原理」 を読破していないので、「序論」 (邦訳) のみを参考文献として記載しました。 ウィトゲンシュタイン 氏も ホワイトヘッド 氏も、論理実証主義を提唱してはいないし、参加していない。論理実証主義を提唱し推進した人物たちは、シュリック 氏、カルナップ 氏、ライヘンバッハ 氏、ノイラート 氏などである。「論理 データベース 論考」 の参考文献のなかには、カルナップ 氏の書物と ライヘンバッハ 氏の書物を記載していますが、論理実証主義に連なった人物の文献は、その 2冊しかない。哲学事典のなかには、ゲーデル 氏を、論理実証主義の範疇で記述している事典もありますが──ゲーデル 氏は、論理実証主義の グループ の一員として、名を連ねていたのは事実ですが──、彼は、論理実証主義の運動には積極的に参加していない。 ウィトゲンシュタイン 氏の 「論理哲学論考」 と ラッセル・ホワイトヘッド 共作 「数学原理」 が、論理実証主義の指導的役割を果たしたそうですが、論理実証主義の人たちが、ホワイトヘッド 氏の提示した形而上学体系を、はたして、理解していたかどうか、という点は検討の余地がある、と思います。ちなみに、ゲーデル 氏は、ウィトゲンシュタイン 氏の 「論理哲学論考」 を読んでいなかったそうです (ゲーデル 氏自身の談)。 小生の 「論理 データベース 論考」 は、ウィトゲンシュタイン 氏と ゲーデル 氏を中核にして、論を勧めているので、ウェッブ 上で、皮肉を言った件 (くだん) の人は、両氏が論理実証主義に連なっていると早とちりして (哲学の基礎知識のないままに──したがって、論理実証主義に関する正確な知識がないのにもかかわらず) 、「論理実証衆愚」 などという奇をてらった言いかたをしたのでしょう。
さて、「認知」 そのものは、当初、「生理学・心理学」 のなかで扱われていた概念でした。「認知」 には、生理学的側面と心理学的側面があって、生理学的側面では、「脳の情報処理」 が研究され、心理学的側面では、「学習」 作用が研究されてきました。そして、「認知」 の概念は、多様な精神活動と関連しているので、生理学・心理学のみならず、多くの学問領域が研究を進めています。情報科学では、パターン 認識・シミュレーション・記憶・学習 モデル・人工知能などが研究対象になっていますし、言語学では、言語獲得・言語理解・言語使用などが研究されています。
私は、データベース・エンジニア なので、データ 構造を記述するための形式的体系 (数理 モデル) のほうに興味を抱いていましたが、「認知」 には関心がなかった。したがって、私は、当初、ウィトゲンシュタイン 氏の 「論理哲学論考」 を参考にして──「真理関数」 と 「写像理論」 を参考にして──、T字形 ER手法を作りました。
T字形 ER手法を構文論として整える際に、私を最大限に悩ました問題点が、いわゆる 「HDR-DTL」 の構造でした。すなわち、ウィトゲンシュタイン 氏の 「論理哲学論考」 を底本にして、T字形 ER手法を作ったので、T字形 ER手法は、タイプ 理論を使わない前提に立っています。そのために、「関係が、そのまま モノ になる」 という現象が、作図法 (相違の サブセット 間に リレーションシップ を作ること) として、整合的であるかどうか を判断できなかった。
推論 ルール を整えたあとに、私が ぶつかった大きな壁は、写像理論でした。
このときに、私を悩ましたのが、(データ の) 「検証」 規準でした。「受注」 entity や「契約」 entity に対して、受注伝票や契約書などの原帳票が、監査証跡として、遺されるので、「データ 構造と モノ との対応」 は、比較的、整合的ですし、従業員や部門や商品なども、番号 (identifier) を付与された現実的な事物として確認できるので、単純な 「写像」 が成立するのですが、問題点となったのは、「カラー・コード」 や 「サイズ・コード」 という番号が、いったい、「現実の世界のなかで」、どのような モノ に対応するか、という点でした。
このときに役立ったのが、ホワイトヘッド 氏の 「自然を対象とした科学的認識」 と、ウィトゲンシュタイン氏の 「哲学探究 (言語使用に関する考えかた)」 (および、「心理学の哲学」) でした。
(1) 持続する現実的な事物 私は、(2) を 「event」 概念として考え、(1) を 「resource」 概念として考えていたのですが、(3) を気づかなかった。(3) は、たとえば、色合いとかです。すなわち、(3) が、たとえば、「カラー・コード」 や 「サイズ・コード」 を使って記述される モノ なのです。さらに、(4) は 「必然的な因果関係 (p → q)」 ですが、それに対して、事業は 「偶然的 (選択的) な因果関係」 にあることを意識するようになりました。
それらの モノ は、言語を使って記述されます。「認知」 は、きわめて、個人的 (生理学的・心理学的) な現象です。
T字形 ER手法は、(「論理 データベース 論考」 を執筆した後で、) 「言語の形態論」 という色彩を、強く打ち出しています。その狙いは、(合意された) 「コード 体系」 を判断規準にして、データ 正規形を作り、言葉の使いかたを判断規準して、(モノ のあいだに成立する) 関係を記述するので、データ 構造は、事業の構成 (意味) を、セマジオロジー 的に記述している、ということです。「identifier」 のことを 「認知番号」 という訳にしたのは、「論理 データベース 論考」 を出版したあとでした。 |
[ 補遺 ] (2008年 7月16日)
本 エッセー を綴ったのは 4年前でした。今に至る 4年のあいだに、TM (T字形 ER手法の拡張版) は、用語法を いちぶ 変えてきました──「T字形 ER手法」 という言いかた から 「TM (および、TM’)」 というふうに、モデル の呼称を変えたのも、その ひとつです。
本 エッセー の テーマ 「認知と検証」 に沿って言えば、「認知」 では、「認知番号 (identifier)」 のことを 「個体指定子 (entity-setter)」 というふうに言うようになりました。ちなみに、「個体指定子 (entity-setter)」 という言いかたは、Davidson 氏が使っていた用語です。この用語は、Davidson 氏の論文を集めた書物 「真理と解釈」 のなかで、どれかの論文で使われていたのですが、どの論文だったか 正確に引用できないので、この見事な訳語を記した翻訳者が──原文を分担して翻訳なさった訳者たちは、野本和幸 氏・植木哲也 氏・金子洋之 氏・高橋 要 氏ですが──誰なのか も、申し訳ないのですが、正確に引用できない状態です。 そして、「検証」 では、(Tarski 氏の 「規約 T」 を自然言語に拡張した) Davidson 氏の 「T-文」 を使うようにしています。すなわち、 言明 p が 「真」 であるのは、時刻 t において、事態 q と対応するとき、そのときに限る。 TM の体系では、「認知」 と 「検証」 のあいだに、「構成 (生成規約に従った構成)」 があるのですが、T字形 ER手法の関係文法は、そのまま、TM でも使われています。ただ、「構成」 を検証する際に、Carnap 氏が示した以下の 「真」 概念を TM は導入しました。
(1) 「(導出的な) L-真」 この 「F-真」 が、前述した 「T-文」 を満たす 「真」 です。 さて、以上のような考えかたをしたときに、争点になるのが、「カラー・コード」 「サイズ・コード」 で指示される 「色」 「寸法」 の 「存在」 です。たぶん、純然たる意味では──すなわち、「T-文」 の テスト 対象として──、「色」 「寸法」 は、「概念的な構成物」 であって、「実存」 ではないのかもしれない。そこで、TM では、(事業過程・管理過程のなかで伝達されている 「情報」 の) 「意味」 を記述するために、「認知」 「構成」 そして 「検証」 という手順に沿って、以下の 3つの概念を中核概念にしました。 「合意」 → 「L-真」 → 「F-真」 すなわち、「合意」 では、「個体指定子」 を使って entity を認知して、次に、それら (entity) に対して関係文法を適用して 「L-真」 を構成して、最後に、関係文法に従って構成された オブジェクト (対象) に対して、「T-文」 の テスト を施して 「F-真」 を検証する、という手順が、そのまま、TM の体系になっています。本 エッセー の最後の文として 「T字形 ER手法は、『反 コンピュータ 的手法』 です」 と記していますが、単なる画法 (diagramming) を モデル であると言っている連中に対する皮肉であって、TM は、上述したように、モデル の規則を遵守しています。 |
<< もどる | ベーシックス | すすむ >> | |
▼ データベースの基礎知識 |