Формирование и проверка гипотез

Проверка по теореме показывает, что корректность структуры не нарушится.Некоторые из этих суждений (например, A®) можно исключить сразу же без проверки на корректность.Эта мыслительная деятельность относится уже к правдоподобным рассуждениям.Абдукцию мы рассмотрим позже.Рассмотрим сначала самые простые случаи такого бесконфликтного обновления знаний.Суждения такого типа можно считать нейтральными относительно исследуемого знания.В качестве примера рассмотрим полисиллогизм Л. Кэрролла.Все неразумные люди не заслуживают уважения.Добавим в этот полисиллогизм еще одно суждение: Все обманщики не заслуживают уважения.Рассмотрим пример условного экзистенциального суждения.