Inferential role semantics (also conceptual role semantics, functional role semantics, procedural semantics) is an approach to the theory of meaning that identifies the meaning of an expression with its relationship to other expressions, typically its inferential relations with other expressions. Proponents include Robert Brandom, Gilbert Harman, Paul Horwich, and Ned Block.