Была раньше такая наука - логика.