Задача психотерапевта перевести проблему клиента в: 1) задачу 2) эмоцию от неспособности решить задачу Дальше находят когнитивные искажения и разбирают их с помощью разных видов логики: Предикатная. 1) Квантор всеобщности — все блондинки красотки. 2) Квантор существования — существует хотя бы одна блондинка-красотка. Формальная. 1) Двусмысленности недопустимы — «страшная блондинка красотка» (а что такое красота?). 2) Истинность и ложность не могут существовать одновременно — «эта блондинка красотка и не красотка одновременно». 3) Любое утверждение либо истинно, либо ложно — «эта блондинка либо красотка, либо нет». Неформальная. 1) Интерпретация — «она блондинка, значит, она красотка». 2) Аргументация — «она блондинка и у неё голубые глаза, значит, она красотка». 3) Уточнение смысла — «что именно считается “красоткой”?» 4) Выявление предпосылок — «если она блондинка, значит, она должна быть красоткой». Сентенциональная. Высказывания рассматриваются через математические функции: 1)