Универсальная логика
Универсальная логика Определение и развитие универсальной логики Универсальная логика стремится изучать общие черты всех логических систем. В XX веке были […]
Вики
Logic
Вики
Логическое программирование
Логическое программирование Основы логического программирования Логическое программирование – это декларативный язык программирования, основанный на логике первого порядка. Оно отличается от
Вики
Бесцветные зеленые идеи яростно спят
Бесцветные зеленые идеи яростно спят Происхождение и значение фразы “Бесцветные зеленые идеи яростно спят” Фраза была придумана американским лингвистом Ноамом
Вики
Корабль Тесея
Корабль Тесея История и значение парадокса “Корабля Тесея” Парадокс “Корабля Тесея” – это мысленный эксперимент, который поднимает вопрос о том,
Вики
Экзистенциальный граф
Экзистенциальный граф Машинный перевод полезен для перевода, но требует исправления ошибок и подтверждения точности. Не переводите ненадежный или некачественный текст.
Вики
Упрощение дизъюнктивных антецедентов
Упрощение дизъюнктивных предшествующих элементов Упрощение дизъюнктивных антецедентов (SDA) – явление в формальной семантике и философской логике. SDA – это явление,
Вики
Актуальность
Актуальность Релевантность – это концепция, согласно которой одна тема связана с другой темой таким образом, что при рассмотрении первой темы
Вики
Логика и рациональность
Логика и рациональность Изучение аргументации имеет значение для обоснования истинности вещей. Логика и рациональность являются фундаментальными понятиями в философии. Философский
Вики
Каноническая нормальная форма
Каноническая нормальная форма В булевой алгебре логические функции могут быть выражены в канонической дизъюнктивной нормальной форме (CDNF), minterm или сумме
Вики
Схематическое рассуждение
Схематическое рассуждение Диаграммы используются в логике для представления и анализа аргументов и рассуждений. Чарльз Сандерс Пирс разработал графический формализм для
Вики
Карта аргументов
Карта аргументов Сопоставление аргументов – метод визуализации аргументов для улучшения критического мышления. Тулмин разработал диаграммы опровержений для отображения аргументов. Роберт
Вики
Самоссылка
Ссылка на себя Самореференция – это использование одного элемента для ссылки на себя или на свое собственное произведение. В литературе
Вики
Квантование (лингвистика)
Квантование (лингвистика) В формальной семантике предикат квантуется, если его истинность требует, чтобы объект не был истинен для соответствующих частей. Предикат
Вики
Динамическая семантика
Динамическая семантика Динамическая семантика рассматривает обновление значений в контексте. Интерсективное обновление предлагает формализацию речевого акта утверждения. Перекрестное обновление обеспечивает переход
Вики
Теория репрезентации дискурса
Теория репрезентации дискурса Теория дискурсивной репрезентации (DRT) является основой для изучения значения в формальной семантике. DRT включает в свой формализм
Вики
Пункт «Полярность»
Элемент полярности Отрицательная полярность (NPI) в английском языке включает в себя элементы, которые имеют противоположное значение по сравнению с утвердительными
Вики
Дизъюнкция Херфорда
Дизъюнкция Харфорда Дизъюнкция Харфорда – дизъюнкция, в которой один из дизъюнктов влечет за собой другой. Это понятие было выделено британским
Вики
Условное доказательство
Условное доказательство Условное доказательство демонстрирует, что если бы предположение об условном доказательстве (CPA) было истинным, то из него обязательно следовал
Вики
Полином Жегалкина
Многочлен Жегалкина Многочлен Жегалкина – алгебраическое представление булевой функции в виде полинома. Метод построения многочлена Жегалкина основан на таблице истинности
Вики
Указатель статей по логике
Указатель логических статей Статья представляет собой список тем и терминов, связанных с логикой и философией. В статье обсуждаются различные аспекты