Criticism of Gaher's analysis of the so-called Second way, i.e. second proof of the divine existence of Thomas Aquinas from the point of view of logic and logical semantics.
