Семантика логической роли - Inferential role semantics

Выведенная роль семантика (также концептуальная роль семантика , функциональная роль семантика , процедурный семантика , семантическое inferentialism ) является подходом к теории это означает , что отождествляет смысл выражения с его отношениями к другим выражениям ( как правило , его выведенные отношений с другими выражениями), в отличие от денотационализма , согласно которому денотации являются основным видом значения.

Обзор

Георг Вильгельм Фридрих Гегель считается одним из первых сторонников того, что сейчас называется логическим выводом. Он считал, что основание для аксиом и основание для обоснованности выводов являются правильными следствиями и что аксиомы не объясняют последствия.

В своем нынешнем виде семантика выводимых ролей возникла в работах Уилфрида Селларса .

Среди современных сторонников семантического логического вывода - Роберт Брэндом , Гилберт Харман , Пол Хорвич и Нед Блок .

Джерри Фодор ввел термин «логическая ролевая семантика» для того, чтобы критиковать его как целостный (то есть существенно некомпозиционный) подход к теории значения. Семантика логических ролей иногда противопоставляется семантике условий истинности .

Семантический инференциализм связан с логическим экспрессивизмом и семантическим антиреализмом . Этот подход также имеет сходство с описанием теоретико-доказательной семантики в семантике логики , которая связывает значение с процессом рассуждений.

Ссылки

внешние ссылки