複数量化

複数量化とは

複数量化（ふくすうりょうか）とは、数学や論理学の分野において、個体変項が単一の値だけでなく、複数の値を取ることを示す概念です。この理論により、特定の対象（たとえばアリスや数値の1、ロンドンにある特定のビルなど）を代入するだけでなく、アリスとボブのように複数の個体を含めたり、広範な集合（0から10までのすべての数や、ロンドンにある特定の高さ以上のビルなど）を扱ったりすることが可能になります。

理論の意義

複数量化の主要な意義は、一階述語論理に集合論の構想を取り入れることにありますが、集合という存在に対する「存在論的コミットメント」を伴うことはありません。この点は、論理の効率性や柔軟性を大きく向上させる要因となります。複数量化に関する著作では、1984年のジョージ・ブーロスの研究や1991年のデイヴィッド・ルイスによる論文が特に有名です。

歴史的背景

複数量化の考え方は、ジョージ・ブーロスに主に起因するものとされていますが、実際にはそれ以前からの先駆者たちとも関連付けられます。ジョン・スチュアート・ミルは、「クラス」は独立した存在を持たず、クラスに属する個々の対象に他ならないと主張しました。この見解は、後にバートランド・ラッセルなどによっても議論されていますが、最終的には「クラスなし」理論に取って代わられました。さらに、複数量化に対する関心は1970年代の言語学において再び盛り上がり、さまざまな研究がなされました。

文の構造と多項述語

複数量化は多項（可変数）述語と密接に関係しています。たとえば、「アリスとボブは協力する」という文と「アリス、ボブ、キャロルは協力する」という文は、どちらも「協力する」という関係を持つ多項述語を含みます。このような文は、固定された引数の数を持たないため、同じ概念を異なる形で表現することができます。複数量化は、そのような可変長の引数に対する論理的な扱いを検討します。

唯名論との関連

唯名論は、集合、クラス、関係、性質といった普遍者の存在を否定する立場です。このため、複数量化は集合という概念に頼ることなく、同じ論理的推論を形式化しようとする試みでもあります。標準的な一階述語論理は、多くの場合複数量化を十分に扱い切れず、その結果として現れる様々な文を表現するのが難しくなっています。

学術的及び理論的展開

ブーロスは、複数量化の概念が二階単項量化を通じて解釈可能で、《存在論的に無害》であると論じました。後に、他の研究者たちも様々な式の持つ意味が論理的に解釈されるべきであると示しました。理論の発展を踏まえ、複数量化の際に必要なモデルや構文、意味論の理解が進んでいます。特に、複数変項記号を使用することで、領域を特定の集合と見なさずとも論理的に扱える可能性が示されています。

結論

複数量化は哲学や言語学において多岐にわたって影響を与える理論であり、多項述語の理解を深め、集合論の限界に対抗する手段を提供しています。言語における複数性や関係に対する新しい視点を得るための重要な鍵となっていると言えるでしょう。

もう一度検索