共義語のソースを表示

[[論理学]]および[[言語学]]において、表現が'''共義的'''（syncategorematic）であるのは、その表現が指示対象を欠くが、にもかかわらずその表現を含むより大きな表現の指示対象に影響を与えうる場合を言う。共義的表現は、'''自義的'''（categorematic）表現と対比される。自義的表現とは、それ自身の指示対象をもつような表現のことである。

例えば、[[プラス記号とマイナス記号|プラス記号]]を解釈する次の規則について考えてみよう。規則1は、共義的である。なぜならば、この規則はプラス記号を含む表現の解釈を与えてはいるが、プラス記号そのものの解釈を与えてはいないからである。他方、規則2はプラス記号そのものの解釈を与えている。それゆえ、この規則は自義的である。

# '''共義的'''：任意の数字「<math display="inline">n</math>」および「<math display="inline">m</math>」に対し、表現「<math display="inline">n+m</math>」は「<math display="inline">n</math>」と「<math display="inline">m</math>」によって支持される数の和を指示する。
# '''自義的'''：プラス記号「<math display="inline">+</math>」は、加法の演算を指示する。

共義性は、[[中世哲学]]における研究主題であった。共義的表現は命題を構成する役割をもつにもかかわらず、[[アリストテレス]]の[[範疇]]のいずれをも表しえない、という問題を解決したかったからである。中世の論理学者や文法家は、量化子や[[論理演算|論理結合子]]は必然的に共義的であると考えた。現代の[[形式意味論]]の研究では、[[一般化量化子]]を指示する表現に対しては自義的定義を与えることができるということが示されている。しかし、共義性が[[自然言語]]において何らかの役割を果たしているのかどうかについては未だ未解明である。現代の[[論理学]]や[[数学]]では、自義的定義・共義的定義のいずれも広く用いられている<ref>{{cite encyclopedia |last= MacFarlane |first= John |editor-last1= Zalta |editor-first1=Edward N.|encyclopedia=The Stanford Encyclopedia of Philosophy |title=Logical constants |url=https://plato.stanford.edu/archives/win2017/entries/logical-constants/|year=2017}}</ref><ref>{{cite book |last1=Heim |first1=Irene | last2=Kratzer | first2=Angelika |author-link1=Irene Heim |author-link2=Angelika Kratzer |date=1998 |title=Semantics in Generative Grammar |publisher=Wiley Blackwell | location = Oxford |page=98}}</ref><ref>{{cite book |last=Gamut |first=L. T. F. |author-link=L.T.F. Gamut |date=1991 |title=Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar|publisher=University of Chicago Press |page=101}}</ref><ref>Grant, p. 120.</ref>。

== 古代および中世における理解 ==

自義語・共義語の区別は、古代ギリシア文法において確立された。自己充足的に存在物を指示する語（名詞や形容詞など）は自義的と言われた。これに対し、それ自身を表さない語（前置詞や論理結合子など）は共義的とされた。[[プリスキアヌス]]はその著書『[[文法学]]教程』<ref>Priscian, ‘’Institutiones grammaticae’‘, II, 15</ref> において、共義語のことを「consignificantia」と訳している。スコラ学者はこの違いをそのまま残し、13世紀の論理学の復興後、学問上の主題となった。{{仮リンク|シャーウッドのウィリアム|en|William of Sherwood}}は、『Syncategoremata』という論文を書いた。その後、彼の弟子である{{仮リンク|ヒスパニアのペドロ|en|Peter of Spain}}が、『Syncategoreumata』と題する同様の著作を発表した<ref>[http://plato.stanford.edu/entries/peter-spain/#4 Peter of Spain],’‘Stanford Encyclopedia of Philosophy’’ online</ref>。

== 現代における理解 ==

現代的な理解では、共義性は、ある種の形式的特徴として捉えられる。すなわち、表現の定義の仕方や表現の言語へ導入の仕方によって決定されるような形式的特徴として捉えられるのである。[[命題論理]]の標準的な[[意味論]]{{要曖昧さ回避|date=2023年6月}}では、論理結合子は共義的に扱われる。<math display="inline">\land</math>を例に取ろう。<math display="inline">\land</math>の意味論的規則は以下の通りである。

<math display="block">
\|\phi\land\psi\| = 1 \text{ iff } \|\phi\| = \|\psi\| = 1
</math>

このように、<math display="inline">\land</math>の意味は、<math display="inline">\phi</math>と<math display="inline">\psi</math>という二つの論理式の結合のなかで出現している場合に定義される。<math display="inline">\land</math>は単体では意味を持たないのだ。だから<math display="inline">\|\land\|</math>は定義されない。

もっとも、[[ラムダ計算|λ抽象]]を用いれば、同等の定義を自義的に与えることもできる。<math display="inline">\land</math>の意味を<math display="inline">(\lambda b.(\lambda v.b(v)(b)))</math>と定義するのだ。この関数は、ブール値（例えば、TRUEやFALSE。これらはそれぞれ<math display="inline">(\lambda x.(\lambda y.x))</math>および<math display="inline">(\lambda x.(\lambda y.y))</math>のように定義される）の順序対を引数として取るものである。これは、[[タイプ]]<math display="inline">\langle\langle t,t\rangle,t\rangle</math>の表現である。つまりこの表現の意味は、タイプ<math display="inline">t</math>（[[真理値]]）の存在物の順序対からタイプ<math display="inline">t</math>の存在物への二項関数だということになる。この定義のもとでは、<math display="inline">\land</math>は非共義的ないし自義的である。ただし、この定義が形式的には<math display="inline">\land</math>関数を定義するとしても、その定義にはλ抽象を用いることが必要であり、λそれ自体は共義的に導入されるため、単に問題を別のレベルの抽象へと棚上げしたにすぎないとも考えられる{{要出典|date=2022年7月}}。

== 関連項目 ==

* [[ラムダ計算]]
* [[論理演算]]
* [[代示]]

== 脚注 ==

{{脚注ヘルプ}}
{{reflist}}

== 参考文献 ==

* Grant, Edward, ‘’God and Reason in the Middle Ages’’, Cambridge University Press (July 30, 2001), {{ISBN2|978-0-521-00337-7}}.

{{DEFAULTSORT:きょうきこ}} [[Category:論理学]]
[[Category:意味論]]
[[Category:言語哲学]]
[[Category:中世哲学]]