Editing Inferential role semantics (section)

{{Short description|Context-based approach to semantics}}
'''Inferential role semantics''' (also '''conceptual role semantics''', '''functional role semantics''', '''procedural semantics''', '''semantic inferentialism''') is an approach to the theory of meaning that identifies the meaning of an expression with its relationship to other expressions (typically its [[Inference|inferential]] relations with other expressions), in contradistinction to '''denotationalism'''<!--boldface per WP:R#PLA-->, according to which [[denotation]]s are the primary sort of meaning.<ref>[https://plato.stanford.edu/entries/proof-theoretic-semantics/ Proof-Theoretic Semantics (Stanford Encyclopedia of Philosophy)]</ref>