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