推論役割意味論
ゲオルク・ヴィルヘルム・フリードリヒ・ヘーゲルが、現在「推論主義(inferentialism)」と呼ばれる立場の初期の支持者と考えられている。彼によれば、公理の根拠と推論の妥当性の基礎は正しい帰結そのものなのであって、公理が帰結を説明するわけではない。
意味論的推論主義の現代の支持者には、ロバート・ブランダム、ギルバート・ハーマン、ポール・ホーウィッチ(英語版)、およびネッド・ブロックが含まれる。推論役割意味論は、後期ルードヴィヒ・ヴィトゲンシュタインの研究から生まれた。
ジェリー・フォーダーが「推論役割意味論」という言葉の名付け親であるが、彼の目的は全体論的(holistic、すなわち本質的に非合成的な(non-compositional))意味論的アプローチを批判するためであった。推論役割意味論は、真理条件意味論(truth-conditional semantics)としばしば対比される。
このアプローチは、意味を推論プロセスと関連付ける形式意味論(semantics of logic)における証明論的意味論(proof-theoretic semantics)と関連付けられる。
意味論的推論主義は論理的表出主義(logical expressivism)や意味論的反実在論(semantic anti-realism)と関連付けられる。