Речевой акт
Речевой акт Речевые акты — это действия, которые совершаются с помощью слов для передачи информации и намерений. Они играют важную […]
Вики
Semantics
Вики
Область действия (формальная семантика)
Область применения (формальная семантика) Область действия семантического оператора связана с семантическим объектом, к которому он применяется. Взаимосвязь между синтаксическими позициями
Вики
Пресуппозиция
Предпосылка Критический дискурсивный анализ (CDA) изучает злоупотребление социальной властью и неравенство в текстах и разговорах. CDA анализирует, как доминирование и
Вики
Логическая форма (лингвистика)
Логическая форма (лингвистика) Статья обсуждает проблему неоднозначности в предложениях на разных языках. В английском языке, предложение может иметь разные интерпретации
Вики
Обобщенный квантор
Обобщенный квантификатор Квантификаторы используются для определения количества элементов в наборе. Квантификаторы могут быть простыми (например, «каждый») или сложными (например, «ровно
Вики
Расширение (семантика)
Расширение (семантика) Расширение понятия, идеи или знака состоит из вещей, к которым они относятся, а не их понимания или интенции.
Вики
Обозначение
Обозначение Денотация — это значение слова или выражения, которое не включает в себя его смысл или референцию. Обозначения играют важную
Вики
Принцип композиционности
Принцип композиционности Принцип композиционности в семантике, математической логике и смежных дисциплинах определяет значение сложного выражения через значения составляющих и правила
Вики
Возможный мир
Возможный мир Возможные миры — понятие, используемое в философии, логике и теории баз данных. Аргумент из разных источников часто относится
Вики
Утверждение и отрицание
Утверждение и отрицание Отрицание в языках может быть выражено различными способами, включая добавление частицы «не» или использование связочного глагола. В
Вики
Следствие (лингвистика)
Логическое следствие (лингвистика) Лингвистические следствия возникают в естественном языке и связаны с семантикой языковых выражений. Предложение A влечет за собой
Вики
Формальная семантика (естественный язык)
Формальная семантика (естественный язык) Формальная семантика изучает формальные аспекты значения выражений языка. Знание значения предложения требует знания условий его истинности
Вики
Неформальная логика
Неформальная логика Неформальная логика — раздел логики, изучающий рассуждения, не основанные на формальных правилах. Неформальная логика связана с анализом и
Вики
Эксклюзив или
Исключительный или XOR — логическая операция, которая является инверсией операции AND. XOR используется в криптографии, искусственных нейронных сетях и аппаратных
Вики
Логический перевод
Логический перевод Логика — наука о правильном мышлении и рассуждении. Логические преобразования включают перевод между логиками и между логическими системами.
Вики
Область дискурса
Область дискурса Область дискурса представляет собой набор сущностей с определенными переменными, представляющими интерес при формальном рассмотрении. Область дискурса обычно определяется
Вики
Высказывание (логика)
Утверждение (логическое) Термин «утверждение» имеет разные значения в логике и семантике. Утверждение может быть осмысленным декларативным предложением, истинным или ложным.
Вики
Двойной турникет
Двойной турникет Двойной турникет используется в логике для обозначения семантического следствия или более сильного утверждения. Он тесно связан с символом
Вики
Наглядное определение
Наглядное определение Наглядное определение передает значение термина с указанием примеров. Этот тип определения часто используется в случаях, когда термину трудно