Выведенная роль семантика (также концептуальная роль семантика , функциональная роль семантика , процедурный семантика , семантическое inferentialism ) является подходом к теории это означает , что отождествляет смысл выражения с его отношениями к другим выражениям ( как правило , его выведенные отношений с другими выражениями), в отличие от денотационализма , согласно которому денотации являются основным видом значения. [1]
Обзор [ править ]
Георг Вильгельм Фридрих Гегель считается одним из первых сторонников того, что сейчас называется логическим выводом. [2] [3] Он считал, что основанием для аксиом и основанием для обоснованности выводов являются правильные следствия, и что аксиомы не объясняют следствия. [3]
В своем нынешнем виде семантика выводимых ролей возникла в работах Уилфрида Селларса .
Современные сторонники семантической inferentialism включают в себя Роберт Brandom , [4] [5] Гилберта Харман , [6] Пол Хорвич , Нед Блок , [7] и Лука Инкервати . [8]
Джерри Фодор ввел термин «логическая ролевая семантика» для того, чтобы критиковать его как целостный (т.е. существенно некомпозиционный) подход к теории значения. Семантика логических ролей иногда противопоставляется семантике условий истинности .
Семантический инференциализм связан с логическим экспрессивизмом [9] и семантическим антиреализмом . [10] Подход также имеет сходство с описанием теоретико-доказательной семантики в семантике логики , которая связывает значение с процессом рассуждений.
Ссылки [ править ]
- ^ Теоретико-доказательная семантика (Стэнфордская энциклопедия философии)
- ^ Георг Вильгельм Фридрих Гегель, Wissenschaft der Logik Vol. II, Meiner, 1975 [1932], стр. 466 и 474.
- ^ a b П. Стекелер-Вейтофер (2016), «Аналитический прагматизм Гегеля» , Лейпцигский университет, стр. 122–4.
- ^ "Прагматизм и логический вывод"
- ^ Брэндом, Роберт (2000). Формулирование причин: введение в инференциализм . Издательство Гарвардского университета. п. 230. ISBN 0-674-00158-3.
- ^ "(Несолипсистская) семантика концептуальных ролей" Гилберта Хармана
- ^ "Концептуальная семантика ролей" Неда Блока
- ^ [1] "Веб-сайт проекта выводного экспрессивизма"
- ^ J. Перегрин, Inferentialism: Почему Правила Matter , Springer, 2014, гл. 10.
- ^ Р. Рамануджам, Сундар Саруккай (ред.), Логика и ее приложения , Springer, 2009, стр. 260.
Внешние ссылки [ править ]
- «Концептуальная ролевая семантика» . Интернет-энциклопедия философии .
