Особые правила фигур

Правило 1-ой группы

Большая послыка – общая

Меньшая посылка – утвердительная

Правило 2-ой группы

Большая посылка – общая, а одна из посылок и заключение отрицательное

Правило 3-ей группы

заключение не может быть общеутвердительным; если большая посылка - утвердит., то меньшая пос.- общая; если одна из посылок – отрицательная, то большая посылка –общая.

Контрпример- случай, в котором формы обеих посылок принимают значения –истина, а форма заключения – ложь. Если удастся построить контрпример, то КС – некорректно.

Вопрос № 25 Правдоподобные рассуждения. Индуктивные умозаключения.

Правдоподобные рассуждения — рассуждения, применяемые правила вывода, в которых не гарантируют истинности заключения при условии истинности посылок. Примером правдоподобного вывода является вывод высказывания А из посылок “если А, то В” и “В”.

    Известными классами правдоподобных рассуждений являются индукция, аналогия, абдукция.

    Данная выше весьма широкая характеризация правдоподобных рассуждений охватывает и т. н. приближенные рассуждения, основанные на формализме нечетких множеств и статистические выводы. Формализацию правдоподобных рассуждений можно считать нетривиальной, если охарактеризованы способы принятия заключений и реализован контроль за процессом построения рассуждения. Такими средствами могут быть оценки ошибки заключения или обзор возможных фальсификаторов заключения, отсутствие которых является эвристическим основанием для принятия заключения.

    Правдоподобные рассуждения являются логическим средством формализации автоматического порождения гипотез, примерами которых являются GUHA — метод, предложенный чешскими математиками П. Гаеком и Т. Гавранеком, и ДСМ — метод автоматического порождения гипотез, а также средства машинного обучения, разработанные американским специалистом по машинному обучению Р. Михальским.

    ОЦНА — метод является комбинацией логических средств и методов статистики. В рамках GUHA — метода разработана логика выдвижения гипотез.

    ДСМ — метод автоматического порождения гипотез использует идеюДж. С. Милш относительно идукгивных методов порождения гипотез о причинах, порожденных на основе сходства в наблюдаемых данных. ДСМ — метод является синтезом трех познавательных процедур — индукции, аналогии и абдукции, образующих правдоподобные рассуждения типа ДСМ. ДСМ — рассуждения формализуются средствами бесконечнозначной логики предикатов с кванторами по кортежам переменной длины. Критерием достаточного основания для принятия заключения в ДСМ — рассуждении является абдукция, посредством которой порожденные гипотезы объясняют исходное состояние фактов. Различные виды правдоподобных рассуждений используются в системах искусственного интеллекта как автоматизированное средство принятия решений и порождения гипотез.

Индуктивным называется умозаключение, в котором на основании принадлежности признака отдельным предметам или частям некоторого класса делают вывод о его принадлежности классу в целом.

Посылками индуктивного умозаключения выступают суждения, в которых фиксируется полученная опытным путем информация о повторяемости признака Р у ряда явлений.