Logic and ethical analysis