Упрощение дизъюнктивных антецедентов
Упрощение дизъюнктивных предшествующих элементов Упрощение дизъюнктивных антецедентов (SDA) — явление в формальной семантике и философской логике. SDA — это явление, […]
Упрощение дизъюнктивных предшествующих элементов Упрощение дизъюнктивных антецедентов (SDA) — явление в формальной семантике и философской логике. SDA — это явление, […]
Семантика выводимой роли Логически выведенная семантика ролей отождествляет значение выражения с его отношением к другим выражениям. Георг Вильгельм Фридрих Гегель
Переоценка ценностей Супервалюционизм — семантика, используемая для работы с несущественными единичными терминами и неопределенностью. Супервалюционизм позволяет применять тавтологии пропозициональной логики
Альтернативная семантика Альтернативная семантика — основа формальной семантики и логики. В альтернативной семантике выражения обозначают альтернативные множества объектов одного семантического
Растущий декларативный Восходящий декларативный падеж в лингвистике — высказывание с синтаксической формой декларатива, но восходящей интонацией. Функция восходящего декларативного падежа
Вывод о свободном выборе Свободный выбор в естественном языке связан с логической конъюнктивной интерпретацией лингвистической дизъюнкции. Исследования в формальной семантике