Семантика логической роли - Inferential role semantics
Выведенная роль семантика (также концептуальная роль семантика , функциональная роль семантика , процедурный семантика , семантическое inferentialism ) является подходом к теории это означает , что отождествляет смысл выражения с его отношениями к другим выражениям ( как правило , его выведенные отношений с другими выражениями), в отличие от денотационализма , согласно которому денотации являются основным видом значения.
Обзор
Георг Вильгельм Фридрих Гегель считается одним из первых сторонников того, что сейчас называется логическим выводом. Он считал, что основание для аксиом и основание для обоснованности выводов являются правильными следствиями и что аксиомы не объясняют последствия.
В своем нынешнем виде семантика выводимых ролей возникла в работах Уилфрида Селларса .
Среди современных сторонников семантического логического вывода - Роберт Брэндом , Гилберт Харман , Пол Хорвич и Нед Блок .
Джерри Фодор ввел термин «логическая ролевая семантика» для того, чтобы критиковать его как целостный (то есть существенно некомпозиционный) подход к теории значения. Семантика логических ролей иногда противопоставляется семантике условий истинности .
Семантический инференциализм связан с логическим экспрессивизмом и семантическим антиреализмом . Этот подход также имеет сходство с описанием теоретико-доказательной семантики в семантике логики , которая связывает значение с процессом рассуждений.
Ссылки
внешние ссылки
Эта статья по семантике - незавершенная . Вы можете помочь Википедии, расширив ее . |