推論役割意味論

推論役割意味論（すいろんやくわりいみろん、Inferential role semantics）とは、意味論へのアプローチの一つであり、任意の表現の意味を他の表現との関係（通常は他の表現との推論関係）に見出す立場である。推論主義（inferentialism）、意味論的推論主義（semantic inferentialism）、概念役割意味論（conceptual role semantics）、機能役割意味論（functional role semantics）、手続き的意味論（procedural semantics）とも呼ばれる。指示（denotations）こそが主要な意味であるとする指示主義（denotationalism）と対立するアプローチであるProof-Theoretic Semantics (Stanford Encyclopedia of Philosophy)。

 概要 
ゲオルク・ヴィルヘルム・フリードリヒ・ヘーゲルが、現在「推論主義（inferentialism）」と呼ばれる立場の初期の支持者と考えられているGeorg Wilhelm Friedrich Hegel, Wissenschaft der Logik Vol. II, Meiner, 1975 [1932], pp. 466 and 474.P. Stekeler-Weithofer (2016), "Hegel's Analytic Pragmatism", University of Leipzig, pp. 122–4.。彼によれば、公理の根拠と推論の妥当性の基礎は正しい帰結そのものなのであって、公理が帰結を説明するわけではない。

意味論的推論主義の現代の支持者には、ロバート・ブランダム"Pragmatism and Inferentialism"、ギルバート・ハーマン"(Nonsolipsistic) Conceptual Role Semantics" by Gilbert Harman、、およびネッド・ブロック"Conceptual Role Semantics" by Ned Blockが含まれる。推論役割意味論は、後期ルードヴィヒ・ヴィトゲンシュタインの研究から生まれた。

ジェリー・フォーダーが「推論役割意味論」という言葉の名付け親であるが、彼の目的は全体論的（holistic、すなわち本質的に非合成的な（non-compositional））意味論的アプローチを批判するためであった。推論役割意味論は、真理条件意味論（truth-conditional semantics）としばしば対比される。

このアプローチは、意味を推論プロセスと関連付ける形式意味論（semantics of logic）における証明論的意味論（proof-theoretic semantics）と関連付けられる。

意味論的推論主義は論理的表出主義（logical expressivism）J. Peregrin, Inferentialism: Why Rules Matter, Springer, 2014, ch. 10.や意味論的反実在論（semantic anti-realism） R. Ramanujam, Sundar Sarukkai (eds.), Logic and Its Applications, Springer, 2009, p. 260.と関連付けられる。

 脚注 

 関連文献 



 外部リンク 
 Conceptual Role Semantics . Internet Encyclopedia of Philosophy.

Category:意味論
Category:言語理論
Category:演繹理論