Семантика выводимой роли
- Логически выведенная семантика ролей отождествляет значение выражения с его отношением к другим выражениям.
- Георг Вильгельм Фридрих Гегель был одним из первых сторонников инференциализма.
- Логически выведенная ролевая семантика возникла в работах Уилфрида Селларса.
- Современные сторонники семантического инференциализма включают Роберта Брэндома, Гилберта Хармана, Пола Хорвича и других.
- Джерри Фодор критиковал семантику логических ролей как целостный (некомпозиционный) подход к теории значения.
- Логически выведенная семантика ролей иногда противопоставляется семантике, обусловленной истиной.
- Семантический инференциализм связан с логическим экспрессивизмом и семантическим антиреализмом.
- Этот подход имеет сходство с описаниями теоретико-доказательной семантики в семантике логики.
Полный текст статьи: