記号学（きごうがく）は、言語を始めとして、何らかの事象を別の事象で代替して表現する手段について研究する学問を指す。記号論（きごうろん）ともいう。記号論（Semiotics）と記号学（Semiology）とわけることがあるのは、記号論がアメリカの学者パースから発生するものに対して、記号学にはフェルディナン・ド・ソシュールを祖とするフランス系（ロラン・バルトなど）の流れが存在しているからである。記号論や記号学が記号に関する学問というのは間違いではないが、特に記号学においては記号とその記号の体系、そしてその解釈、生成を行う主体に関する学問であり、その解釈におけるイデオロギーやシステムを問題にする批判理論とも結びつきが強い。
現代における記号論学者としてはウンベルト・エーコなどがいる。