Анализ логических ошибок с помощью E-структур. Коллизиями E-структуры: коллизии парадокса и цикла. Основные методы анализа рассуждений. Построение графа рассуждения и применение к посылкам правила контрапозиции. Корректные и некорректные E-структуры.
Аннотация к работе
Коллизиями E-структуры называются следующие ситуации, появляющиеся при построении CT-замыкания: коллизия парадокса: появление в CT-замыкании по крайней мере одного из суждений типа X® или ®X; Например, из суждения "Все мои друзья - не мои друзья" следует, что друзей у меня нет. Попробуем смоделировать коллизию парадокса в примере, добавив в число посылок суждение S® ("Все разумные люди не укрощают крокодилов"). Те, кто справился с этой задачей, наверное, смогли убедиться в том, что в этом сорите отсутствуют коллизии, но некоторые следствия кажутся несколько странными для членов парламента (например, "Все, кто не в здравом рассудке, являются членами палаты лордов" или "Все, кто принимает участие в скачках на мулах, являются членами палаты общин"). в каждом из выбранных конусов проверить наличие или отсутствие пар альтернативных литералов (например, A и ). использовать следующий критерий распознавания коллизии парадокса: если хотя бы в одном из максимальных верхних конусов встречается пара альтернативных литералов, то в структуре имеется коллизия парадокса, в противном случае коллизия парадокса отсутствует.