Семантика выводных ролей (также концептуальная семантика ролей , функциональная семантика ролей , процедурная семантика , семантический инференциализм ) — это подход к теории значения, который отождествляет значение выражения с его отношением к другим выражениям (обычно его выводными отношениями с другими выражениями), в отличие от денотационализма , согласно которому денотаты являются первичным видом значения. [1]
Георг Вильгельм Фридрих Гегель считается одним из первых сторонников того, что сейчас называется инференциализмом. [2] [3] Он считал, что основанием для аксиом и основой для обоснованности выводов являются правильные следствия и что аксиомы не объясняют следствия. [3]
В своей нынешней форме семантика выводных ролей берет свое начало в работах Уилфрида Селларса .
Современные сторонники семантического инференциализма включают Роберта Брэндома , [4] [5] Гилберта Хармана , [6] Пола Хорвича , Неда Блока , [7] и Луку Инкурвати . [8]
Джерри Фодор ввел термин «выводная ролевая семантика», чтобы критиковать ее как целостный (т.е. по сути некомпозиционный) подход к теории значения. Выводная ролевая семантика иногда противопоставляется истинностно-условной семантике .
Семантический инференциализм связан с логическим экспрессивизмом [9] и семантическим антиреализмом . [10] Этот подход также имеет сходство с описаниями семантики теории доказательств в семантике логики , которые связывают значение с процессом рассуждения.