論理学で、ある言語の文を記号を用いて表し、意味と指示対象は無視して記号配列の関係だけに注目し、その言語の構造を明らかにしようとする分野。