共義語
自義的:プラス記号「 + {\textstyle +} 」は、加法の演算を指示する。
共義性は、中世哲学における研究主題であった。共義的表現は命題を構成する役割をもつにもかかわらず、アリストテレスの範疇のいずれをも表しえない、という問題を解決したかったからである。中世の論理学者や文法家は、量化子や論理結合子は必然的に共義的であると考えた。現代の形式意味論の研究では、一般化量化子を指示する表現に対しては自義的定義を与えることができるということが示されている。しかし、共義性が自然言語において何らかの役割を果たしているのかどうかについては未だ未解明である。現代の論理学や数学では、自義的定義・共義的定義のいずれも広く用いられている。