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