Определите какие ошибки допускаются в следующем доказательстве

То, что должно быть (М), является добром (Р).
Зло (S) должно быть (М).
Зло (S) есть добро (Р).
Логическая форма правильная. Но ошибка в истинности посылок . Посылки по смыслу противоречат друг другу. Мы не можем называть одно т то же и добром, и злом. В данном силлогизме сделано именно так, отсюда и противоречивое заключение.
Нарушен семантический принцип однозначности: каждое имя должно иметь только одно значение (экстенсионал)