Семантика логических ролей
Семантика логических ролей (также семантика концептуальных ролей , семантика функциональных ролей , процедурная семантика , семантический инференциализм ) — это подход к теории значения, который идентифицирует значение выражения с его отношением к другим выражениям (обычно его логическими отношениями с другими выражениями), в отличие от денотационализма , согласно которому денотаты являются основным видом значения. [ 1 ]
Обзор
[ редактировать ]Георг Вильгельм Фридрих Гегель считается одним из первых сторонников того, что сейчас называется инференциализмом. [ 2 ] [ 3 ] Он считал, что основой аксиом и обоснованностью выводов являются правильные следствия и что аксиомы не объясняют следствия. [ 3 ]
В своем нынешнем виде семантика логических ролей зародилась в работах Уилфрида Селларса .
Среди современных сторонников семантического инференциализма — Роберт Брэндом , [ 4 ] [ 5 ] Гилберт Харман , [ 6 ] Пол Хорвич , Нед Блок , [ 7 ] и Лука Инкурвати . [ 8 ]
Джерри Фодор ввёл термин «семантика логических ролей», чтобы критиковать его как целостный (т.е. по существу некомпозиционный) подход к теории значения. Семантику логических ролей иногда противопоставляют семантике, обусловленной истинностью .
Семантический инференциализм связан с логическим экспрессивизмом. [ 9 ] и смысловой антиреализм . [ 10 ] Этот подход также имеет сходство с объяснениями теоретико-доказательной семантики в семантике логики , которые связывают значение с процессом рассуждения.
Ссылки
[ редактировать ]- ^ Семантика теории доказательств (Стэнфордская энциклопедия философии)
- ^ Георг Вильгельм Фридрих Гегель, Наука логики , том II, Майнер, 1975 [1932], стр. 466 и 474.
- ^ Jump up to: а б П. Стекелер-Вейтофер (2016), «Аналитический прагматизм Гегеля» , Лейпцигский университет, стр. 122–4.
- ^ «Прагматизм и инференциализм»
- ^ Брэндом, Роберт (2000). Формулирование причин: введение в инференциализм . Издательство Гарвардского университета. п. 230. ИСБН 0-674-00158-3 .
- ^ «(Несолипсическая) Семантика концептуальных ролей» Гилберта Хармана
- ^ «Семантика концептуальных ролей» Неда Блока
- ^ [1] «Веб-сайт проекта интеллектуального экспрессивизма»
- ^ Дж. Перегрин, Инференциализм: почему правила имеют значение , Springer, 2014, гл. 10.
- ^ Р. Рамануджам, Сундар Саруккай (ред.), «Логика и ее приложения» , Springer, 2009, стр. 260.
Внешние ссылки
[ редактировать ]