Дизъюнкция Херфорда

От / / Оставьте комментарий

Дизъюнкция Харфорда Дизъюнкция Харфорда — дизъюнкция, в которой один из дизъюнктов влечет за собой другой.  Это понятие было выделено британским […]

Formal semantics (natural language), Linguistics stubs, Logic, Pragmatics, Semantics, Semantics stubs, Логика, незавершенные статьи по лингвистике, незавершенные статьи по семантике, Прагматика, Семантика, Формальная семантика (естественный язык)

Дизъюнкция Харфорда

  • Дизъюнкция Харфорда — дизъюнкция, в которой один из дизъюнктов влечет за собой другой. 
  • Это понятие было выделено британским лингвистом Джеймсом Херфордом. 
  • Дизъюнкции Харфорда, как правило, неудачны из-за их избыточности. 
  • Утверждается, что их неполноценность обусловлена их избыточностью. 
  • Некоторые конкретные примеры дизъюнкций Харфорда являются удачными. 
  • Удачные дизъюнкции Харфорда были проанализированы путем утверждения, что более слабый дизъюнкт усиливается встроенной скалярной импликатурой. 
  • Встроенная скалярная импликатура устраняет связь между дизъюнктами, что позволяет сохранить локальную избыточность. 

Полный текст статьи:

Дизъюнкция Херфорда — Википедия, бесплатная энциклопедия

Похожие статьи:

  1. Экспорт (логика) Экспорт (логика) Введение/устранение двойного условия Введение/устранение двойного условия позволяет заменить условные утверждения с конъюнктивными предпосылками на...
  2. Скалярная импликатура Скалярная импликатура Скалярная импликатура — это прагматическое правило, согласно которому человек должен быть настолько информативным, насколько...
  3. Логическая дизъюнкция Логическая дизъюнкция Дизъюнкция — логическая операция, возвращающая значение истинности «true», если оба аргумента не являются «false». ...
  4. Импликатура Импликатура Импликатура — это то, что говорящий подразумевает или предполагает в своем высказывании, даже если это...
  5. Двуусловное введение Введение с двумя условиями Введение/устранение последствий Двоякое введение позволяет вывести двоякое условие из двух условных утверждений. ...
  6. Свойства дизъюнкции и существования Свойства дизъюнкции и существования Основные свойства интуиционистской логики Интуиционистская логика не имеет закона исключенного третьего.  Интуиционистская...
  7. Гугл Пиксель Пиксель Google История и развитие Google Pixel Google Pixel — линейка смартфонов, разработанная Google.  Первый Pixel...
  8. Введение в дизъюнкцию Введение в дизъюнкцию Введение/устранение дизъюнкции — правило вывода в логике высказываний и других системах дедукции.  Правило...
  9. Упрощение дизъюнктивных антецедентов Упрощение дизъюнктивных предшествующих элементов Упрощение дизъюнктивных антецедентов (SDA) — явление в формальной семантике и философской логике. ...
  10. Утверждение (разработка программного обеспечения) Утверждение (разработка программного обеспечения) Утверждения в программировании — логические функции, связанные с точками кода, которые должны...
  11. Подтверждение дизъюнкта Подтверждающий дизъюнкт Формальная ошибочность утверждения дизъюнкта возникает, когда дедуктивный аргумент принимает неправильную логическую форму.  Ошибочность заключается...
  12. Кубиборд Кубическая доска История и характеристики Cubieboard Cubieboard — одноплатный компьютер, разработанный в Китае.  Продажи начались в...
  13. Устранение дизъюнкции Устранение дизъюнкции Устранение дизъюнкции в логике высказываний — допустимая форма аргумента и правило вывода.  Это позволяет...
  14. Sony Reader Устройство для чтения Sony Обзор электронных книг Sony Reader Sony Reader — серия электронных книг с...
  15. Xbox Xbox История и развитие Xbox Xbox была выпущена в 2001 году и стала первой консолью от...
  16. Автоматическая векторизация Автоматическая векторизация Основы векторизации Векторизация — это процесс преобразования последовательности инструкций в векторные инструкции для увеличения...
  17. Конверс (логика) Обратное (логика) В логике и математике обратное утверждение является результатом переворачивания двух составляющих утверждений.  Истинность обратного...
  18. Функтор Лакса Слабый функтор Определение слабого функтора Слабый функтор P между бикатегориями C и D обобщает понятие функтора...
  19. Исчерпаемость Исчерпываемость Исчерпываемость в лингвистике — явление, при котором пропозиция усиливается отрицанием определенных альтернатив.  Исследование по теме...
  20. Intel 810 Процессор Intel 810 Обзор чипсета Intel 810 Чипсет Intel 810 выпущен в начале 1999 года для...
  21. Внутрисхемная эмуляция Внутрисхемная эмуляция Определение и использование ICE ICE — это использование аппаратного устройства или внутрисхемного эмулятора для...
  22. Векторный процессор Векторный процессор Векторные процессоры и SIMD Векторные процессоры обрабатывают данные в виде векторов, что позволяет выполнять...

Оставьте комментарий

Прокрутить вверх